Skip to main content
SpringerLink
Log in

Historical Overview and Main Results

  • Chapter
  • First Online:
Advances in the Theory of Varieties of Semigroups

Part of the book series: Frontiers in Mathematics ((FM))

  • 171 Accesses

Abstract

An overview of the main results of the monograph and a general survey of the relevant literature are given.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  • C.L. Adair, Bands with an involution. J. Algebra 75(2), 297–314 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  • J. Almeida, Finite Semigroups and Universal Algebra (World Scientific, Singapore, 1994)

    MATH  Google Scholar 

  • D.N. Ashikmin, M.V. Volkov, W.T. Zhang, The finite basis problem for Kiselman monoids. Demonstr. Math. 48(4), 475–492 (2015)

    MathSciNet  MATH  Google Scholar 

  • K. Auinger, M.B. Szendrei, On identity bases of epigroup varieties. J. Algebra 220(2), 437–448 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  • K. Auinger, I. Dolinka, M.V. Volkov, Equational theories of semigroups with involution. J. Algebra 369, 203–225 (2012a)

    Article  MathSciNet  MATH  Google Scholar 

  • K. Auinger, I. Dolinka, M.V. Volkov, Matrix identities involving multiplication and transposition. J. Eur. Math. Soc. 14(3), 937–969 (2012b)

    Article  MathSciNet  MATH  Google Scholar 

  • K. Auinger, I. Dolinka, T.V. Pervukhina, M.V. Volkov, Unary enhancements of inherently non-finitely based semigroups. Semigroup Forum 89(1), 41–51 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  • K. Auinger, Y.Z. Chen, X. Hu, Y.F. Luo, M.V. Volkov, The finite basis problem for Kauffman monoids. Algebra Universalis 74(3–4), 333–350 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  • Yu.A. Bahturin, A.Yu. Ol’shanskiı̆, Identical relations in finite Lie rings (in Russian). Mat. Sb. (N.S.) 96(4), 543–559 (1975). English translation: Math. USSR-Sb. 25(4), 507–523 (1975)

    Google Scholar 

  • A.Ya. Belov, The local finite basis property and local representability of varieties of associative rings (in Russian). Izv. Ross. Akad. Nauk Ser. Mat. 74(1), 3–134 (2010). English translation: Izv. Math. 74(1), 1–126 (2010)

    Google Scholar 

  • A.P. Birjukov, Varieties of idempotent semigroups (in Russian). Algebra i Logika 9(3), 255–273 (1970). English translation: Algebra and Logic 9(3), 153–164 (1970)

    Google Scholar 

  • G. Birkhoff, On the structure of abstract algebras. Proc. Cambridge Philos. Soc. 31(4), 433–454 (1935)

    Article  MATH  Google Scholar 

  • A.D. Bol’bot, Finite basing of identities of four-element semigroups. Siberian Math. J. 20(2), 323 (1979)

    Google Scholar 

  • Y.Z. Chen, X. Hu, Y.F. Luo, O.B. Sapir, The finite basis problem for the monoid of two-by-two upper triangular tropical matrices. Bull. Aust. Math. Soc. 94(1), 54–64 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  • D.F. Cowan, N.R. Reilly, Partial cross-sections of symmetric inverse semigroups. Internat. J. Algebra Comput. 5(3), 259–287 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  • S. Crvenković, I. Dolinka, Varieties of involution semigroups and involution semirings: a survey. Bull. Soc. Math. Banja Luka 9, 7–47 (2002)

    MathSciNet  MATH  Google Scholar 

  • S. Crvenković, I. Dolinka, M. Vinčić, Equational bases for some 0-direct unions of semigroups. Studia Sci. Math. Hungar. 36(3–4), 423–431 (2000)

    MathSciNet  MATH  Google Scholar 

  • A. Distler, T. Kelsey, The monoids of orders eight, nine & ten. Ann. Math. Artif. Intell. 56(1), 3–21 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  • A. Distler, T. Kelsey, The semigroups of order 9 and their automorphism groups. Semigroup Forum 88(1), 93–112 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  • I. Dolinka, All varieties of normal bands with involution. Period. Math. Hungar. 40(2), 109–122 (2000a)

    Article  MathSciNet  MATH  Google Scholar 

  • I. Dolinka, Remarks on varieties of involution bands. Comm. Algebra 28(6), 2837–2852 (2000b)

    Article  MathSciNet  MATH  Google Scholar 

  • I. Dolinka, On the lattice of varieties of involution semigroups. Semigroup Forum 62(3), 438–459 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  • I. Dolinka, On identities of finite involution semigroups. Semigroup Forum 80(1), 105–120 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  • C.C. Edmunds, On certain finitely based varieties of semigroups. Semigroup Forum 15(1), 21–39 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  • C.C. Edmunds, Varieties generated by semigroups of order four. Semigroup Forum 21(1), 67–81 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  • C.C. Edmunds, E.W.H. Lee, K.W.K. Lee, Small semigroups generating varieties with continuum many subvarieties. Order 27(1), 83–100 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  • A. Escada, The G-exponent of a pseudovariety of semigroups. J. Algebra 223(1), 15–36 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  • T. Evans, The lattice of semigroups varieties. Semigroup Forum 2(1), 1–43 (1971)

    Article  MathSciNet  MATH  Google Scholar 

  • S. Fajtlowicz, Equationally complete semigroups with involution. Algebra Universalis 1(1), 355–358 (1971)

    Article  MathSciNet  MATH  Google Scholar 

  • C. Fennemore, All varieties of bands. Semigroup Forum 1(2), 172–179 (1970)

    Article  MathSciNet  MATH  Google Scholar 

  • M. Gao, W.T. Zhang, Y.F. Luo, A non-finitely based involution semigroup of order five. Algebra Universalis 81(3), Article 31, 14 pp. (2020a)

    Google Scholar 

  • M. Gao, W.T. Zhang, Y.F. Luo, The monoid of 2 × 2 triangular boolean matrices under skew transposition is non-finitely based. Semigroup Forum 100(1), 153–168 (2020b)

    Article  MathSciNet  MATH  Google Scholar 

  • M. Gao, W.T. Zhang, Y.F. Luo, Finite basis problem for Lee monoids with involution. Comm. Algebra 49(10), 4258–4273 (2021)

    Article  MathSciNet  MATH  Google Scholar 

  • M. Gao, W.T. Zhang, Y.F. Luo, Finite basis problem for Catalan monoids with involution. Internat. J. Algebra Comput. 32(6), 1161–1177 (2022)

    Article  MathSciNet  MATH  Google Scholar 

  • J.A. Gerhard, The lattice of equational classes of idempotent semigroups. J. Algebra 15(2), 195–224 (1970)

    Article  MathSciNet  MATH  Google Scholar 

  • I.A. Gol’dberg, On the finite basis problem for the monoids of extensive transformations, in Semigroups and Formal Languages (Lisbon 2005), ed. by J.M. André, V.H. Fernandes, M.J.J. Branco, G.M.S. Gomes, J. Fountain, J.C. Meakin (World Scientific, Singapore, 2007), pp. 101–110

    Chapter  Google Scholar 

  • C.K. Gupta, A. Krasilnikov, The finite basis question for varieties of groups—some recent results. Illinois J. Math. 47(1–2), 273–283 (2003)

    MathSciNet  MATH  Google Scholar 

  • S.V. Gusev, On the ascending and descending chain conditions in the lattice of monoid varieties. Sib. Èlektron. Mat. Izv. 16, 983–997 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  • S.V. Gusev, A new example of a limit variety of monoids. Semigroup Forum 101(1), 102–120 (2020a)

    Article  MathSciNet  MATH  Google Scholar 

  • S.V. Gusev, Cross varieties of aperiodic monoids with commuting idempotents (2020b). https://doi.org/10.48550/arXiv.2004.03470

  • S.V. Gusev, E.W.H. Lee, Varieties of monoids with complex lattices of subvarieties. Bull. London Math. Soc. 52(4), 762–775 (2020)

    Article  MathSciNet  MATH  Google Scholar 

  • S.V. Gusev, O.B. Sapir, Classification of limit varieties of J-trivial monoids. Comm. Algebra 50(7), 3007–3027 (2022)

    Article  MathSciNet  MATH  Google Scholar 

  • S.V. Gusev, B.M. Vernikov, Chain varieties of monoids. Dissertationes Math. 534, 73 pp. (2018)

    Google Scholar 

  • J. Hage, T. Harju, On involutions arising from graphs, in Algorithmic Bioprocesses (Leiden 2007), ed. by A. Condon, D. Harel, J.N. Kok, A. Salomaa, E. Winfree. Natural Computing Series (Springer, Berlin, 2009), pp. 623–630

    Google Scholar 

  • T.E. Hall, S.I. Kublanovskiı̆, S. Margolis, M.V. Sapir, P.G. Trotter, Algorithmic problems for finite groups and finite 0-simple semigroups. J. Pure Appl. Algebra 119(1), 75–96 (1997)

    Google Scholar 

  • B.B. Han, W.T. Zhang, Y.F. Luo, Equational theories of upper triangular tropical matrix semigroups. Algebra Universalis 82(3), Article 44, 21 pp. (2021)

    Google Scholar 

  • T.J. Head, The varieties of commutative monoids. Nieuw Arch. Wisk. (3) 16, 203–206 (1968)

    Google Scholar 

  • G. Higman, Ordering by divisibility in abstract algebras. Proc. London Math. Soc. 2(1), 326–336 (1952)

    Article  MathSciNet  MATH  Google Scholar 

  • J.M. Howie, Fundamentals of Semigroup Theory (Clarendon Press, Oxford, 1995)

    MATH  Google Scholar 

  • X. Hu, Y.Z. Chen, Y.F. Luo, On the finite basis problem for the monoids of partial extensive injective transformations. Semigroup Forum 91(2), 524–537 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  • M. Jackson, Small Semigroup Related Structures with Infinite Properties. Ph.D. thesis (University of Tasmania, Australia, 1999)

    Google Scholar 

  • M. Jackson, Finite semigroups whose varieties have uncountably many subvarieties. J. Algebra 228(2), 512–535 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  • M. Jackson, On the finite basis problem for finite Rees quotients of free monoids. Acta Sci. Math. (Szeged) 67(1–2), 121–159 (2001)

    Google Scholar 

  • M. Jackson, Small inherently nonfinitely based finite semigroups. Semigroup Forum 64(2), 297–324 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  • M. Jackson, Finite semigroups with infinite irredundant identity bases. Internat. J. Algebra Comput. 15(3), 405–422 (2005a)

    Article  MathSciNet  MATH  Google Scholar 

  • M. Jackson, Finiteness properties of varieties and the restriction to finite algebras. Semigroup Forum 70(2), 159–187 (2005b)

    Article  MathSciNet  MATH  Google Scholar 

  • M. Jackson, E.W.H. Lee, Monoid varieties with extreme properties. Trans. Am. Math. Soc. 370(7), 4785–4812 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  • M. Jackson, R.N. McKenzie, Interpreting graph colorability in finite semigroups. Internat. J. Algebra Comput. 16(1), 119–140 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  • M. Jackson, O.B. Sapir, Finitely based, finite sets of words. Internat. J. Algebra Comput. 10(6), 683–708 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  • M. Jackson, M.V. Volkov, The algebra of adjacency patterns: Rees matrix semigroups with reversion, in Fields of Logic and Computation (Brno 2010), ed. by A. Blass, N. Dershowitz, W. Reisig. Lecture Notes in Computer Science, vol. 6300 (Springer, Berlin, 2010), pp. 414–443

    Google Scholar 

  • M. Jackson, W.T. Zhang, From A to B to Z. Semigroup Forum 103(1), 165–190 (2021)

    Google Scholar 

  • P.R. Jones, The semigroups B 2 and B 0 are inherently nonfinitely based, as restriction semigroups. Internat. J. Algebra Comput. 23(6), 1289–1335 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  • J. Kaďourek, On varieties of combinatorial inverse semigroups. II. Semigroup Forum 44(1), 53–78 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  • J. Kaďourek, Uncountably many varieties of semigroups satisfying \(x^2y \bumpeq xy\). Semigroup Forum 60(1), 135–152 (2000)

    Google Scholar 

  • J. Kaďourek, On bases of identities of finite inverse semigroups with solvable subgroups. Semigroup Forum 67(3), 317–343 (2003)

    Article  MathSciNet  Google Scholar 

  • J. Kaďourek, On finite completely simple semigroups having no finite basis of identities. Semigroup Forum 97(1), 154–161 (2018)

    Article  MathSciNet  Google Scholar 

  • J. Kaďourek, On bases of identities of finite central locally orthodox completely regular semigroups. Semigroup Forum 102(3), 697–724 (2021)

    Article  MathSciNet  Google Scholar 

  • J. Kalicki, D. Scott, Equational completeness of abstract algebras. Nederl. Akad. Wetensch. Proc. Ser. A 58, 650–659 (1955)

    Article  MathSciNet  MATH  Google Scholar 

  • J. Karnofsky, Finite equational bases for semigroups. Notices Am. Math. Soc. 17(5), 813–814 (1970)

    Google Scholar 

  • A.R. Kemer, Solution of the problem as to whether associative algebras have a finite basis of identities (in Russian). Dokl. Akad. Nauk SSSR 298(2), 273–277 (1988). English translation: Soviet Math. Dokl. 37(1), 60–64 (1988)

    Google Scholar 

  • A. Kisielewicz, Varieties of commutative semigroups. Trans. Am. Math. Soc. 342(1), 275–306 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  • E.I. Kleı̆man, On basis of identities of Brandt semigroups. Semigroup Forum 13(3), 209–218 (1977)

    Google Scholar 

  • E.I. Kleı̆man, Bases of identities of varieties of inverse semigroups (in Russian). Sibirsk. Mat. Zh. 20(4), 760–777 (1979). English translation: Siberian Math. J. 20(4), 530–543 (1979)

    Google Scholar 

  • E.I. Kleı̆man, A pseudovariety generated by a finite semigroup (in Russian). Ural. Gos. Univ. Mat. Zap. 13(1), 40–42 (1982)

    Google Scholar 

  • R.L. Kruse, Identities satisfied by a finite ring. J. Algebra 26(2), 298–318 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  • S.I. Kublanovskiı̆, On the rank of the Rees–Sushkevich varieties (in Russian). Algebra i Analiz 23(4), 59–135 (2011). English translation: St. Petersburg Math. J. 23(4), 679–730 (2012)

    Google Scholar 

  • S.I. Kublanovskiı̆, E.W.H. Lee, N.R. Reilly, Some conditions related to the exactness of Rees–Sushkevich varieties. Semigroup Forum 76(1), 87–94 (2008)

    Google Scholar 

  • E.W.H. Lee, On the Lattice of Rees–Sushkevich Varieties. Ph.D. thesis (Simon Fraser University, Canada, 2002)

    Google Scholar 

  • E.W.H. Lee, Identity bases for some non-exact varieties. Semigroup Forum 68(3), 445–457 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, Subvarieties of the variety generated by the five-element Brandt semigroup. Internat. J. Algebra Comput. 16(2), 417–441 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, On identity bases of exclusion varieties for monoids. Comm. Algebra 35(7), 2275–2280 (2007c)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, On the complete join of permutative combinatorial Rees–Sushkevich varieties. Int. J. Algebra 1(1–4), 1–9 (2007d)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, On the variety generated by some monoid of order five. Acta Sci. Math. (Szeged) 74(3–4), 509–537 (2008b)

    Google Scholar 

  • E.W.H. Lee, Hereditarily finitely based monoids of extensive transformations. Algebra Universalis 61(1), 31–58 (2009b)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, Finite basis problem for 2-testable monoids. Cent. Eur. J. Math. 9(1), 1–22 (2011b)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, A sufficient condition for the non-finite basis property of semigroups. Monatsh. Math. 168(3–4), 461–472 (2012a)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, Varieties generated by 2-testable monoids. Studia Sci. Math. Hungar. 49(3), 366–389 (2012c)

    MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, Finite basis problem for semigroups of order five or less: generalization and revisitation. Studia Logica 101(1), 95–115 (2013b)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, Varieties generated by unstable involution semigroups with continuum many subvarieties. C. R. Math. Acad. Sci. Paris 356(1), 44–51 (2018b)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, Variety membership problem for two classes of non-finitely based semigroups. Wuhan Univ. J. Nat. Sci. 23(4), 323–327 (2018c)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, Non-finitely based finite involution semigroups with finitely based semigroup reducts. Korean J. Math. 27(1), 53–62 (2019a)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, Varieties of involution monoids with extreme properties. Q. J. Math. 70(4), 1157–1180 (2019b)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, Non-Specht variety generated by an involution semigroup of order five. Tr. Mosk. Mat. Obs. 81(1), 105–115 (2020b). Reprint: Trans. Moscow Math. Soc. 81, 87–95 (2020)

    Google Scholar 

  • E.W.H. Lee, Intervals of varieties of involution semigroups with contrasting reduct intervals. Boll. Unione Mat. Ital. 15(4), 527–540 (2022)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, A minimal pseudo-complex monoid. Arch. Math. (Basel) 120(1), 15–25 (2023)

    Google Scholar 

  • E.W.H. Lee, J.R. Li, Minimal non-finitely based monoids. Dissertationes Math. 475, 65 pp. (2011)

    Google Scholar 

  • E.W.H. Lee, J.R. Li, The variety generated by all monoids of order four is finitely based. Glas. Mat. Ser. III 50(2), 373–396 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, N.R. Reilly, The intersection of pseudovarieties of central simple semigroups. Semigroup Forum 73(1), 75–94 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, N.R. Reilly, Centrality in Rees–Sushkevich varieties. Algebra Universalis 58(2), 145–180 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, M.V. Volkov, On the structure of the lattice of combinatorial Rees–Sushkevich varieties, in Semigroups and Formal Languages (Lisbon 2005), ed. by J.M. André, V.H. Fernandes, M.J.J. Branco, G.M.S. Gomes, J. Fountain, J.C. Meakin (World Scientific, Singapore, 2007), pp. 164–187

    Chapter  Google Scholar 

  • E.W.H. Lee, M.V. Volkov, Limit varieties generated by completely 0-simple semigroups. Internat. J. Algebra Comput. 21(1–2), 257–294 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, W.T. Zhang, The smallest monoid that generates a non-Cross variety (in Chinese). Xiamen Daxue Xuebao Ziran Kexue Ban 53(1), 1–4 (2014)

    MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, W.T. Zhang, Finite basis problem for semigroups of order six. LMS J. Comput. Math. 18(1), 1–129 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  • E.W.H. Lee, J.R. Li, W.T. Zhang, Minimal non-finitely based semigroups. Semigroup Forum 85(3), 577–580 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  • J.R. Li, Y.F. Luo, On the finite basis problem for the monoids of triangular boolean matrices. Algebra Universalis 65(4), 353–362 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  • J.R. Li, Y.F. Luo, Classification of finitely based words in a class of words over a 3-letter alphabet. Semigroup Forum 91(1), 200–212 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  • J.R. Li, W.T. Zhang, Y.F. Luo, On the finite basis problem for certain 2-limited words. Acta Math. Sin. (Engl. Ser.) 29(3), 571–590 (2013)

    Google Scholar 

  • I.V. L’vov, Varieties of associative rings. I (in Russian). Algebra i Logika 12(3), 269–297 (1973). English translation: Algebra and Logic 12(3), 150–167 (1973)

    Google Scholar 

  • S.O. MacDonald, M.R. Vaughan-Lee, Varieties that make one Cross. J. Austral. Math. Soc. Ser. A 26(3), 368–382 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  • G.I. Mashevitzky, An example of a finite semigroup without an irreducible basis of identities in the class of completely 0-simple semigroups (in Russian). Uspekhi Mat. Nauk 38(2), 211–212 (1983). English translation: Russian Math. Surveys 38(2), 192–193 (1983)

    Google Scholar 

  • G.I. Mashevitzky, On bases of completely simple semigroup identities. Semigroup Forum 30(1), 67–76 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  • G.I. Mashevitzky, Varieties generated by completely 0-simple semigroups (in Russian), in Semigroups and Their Homomorphisms, ed. by E.S. Lyapin (Ross. Gos. Ped. University, Leningrad, 1991), pp. 53–62

    Google Scholar 

  • G.I. Mashevitzky, On the finite basis problem for completely 0-simple semigroup identities. Semigroup Forum 59(2), 197–219 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  • G.I. Mashevitzky, A new method in the finite basis problem with applications to rank 2 transformation semigroups. Internat. J. Algebra Comput. 17(7), 1431–1463 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  • G.I. Mashevitzky, Bases of identities for semigroups of bounded rank transformations of a set. Israel J. Math. 191(1), 451–481 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  • R.N. McKenzie, Equational bases for lattice theories. Math. Scand. 27, 24–38 (1970)

    Article  MathSciNet  MATH  Google Scholar 

  • R.N. McKenzie, Tarski’s finite basis problem is undecidable. Internat. J. Algebra Comput. 6(1), 49–104 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  • I.I. Mel’nik, Varieties and lattices of varieties of semigroups (in Russian), in Studies in Algebra 2, ed. by V.V. Vagner (Izdat. Saratov Univ., Saratov, 1970), pp. 47–57

    Google Scholar 

  • I. Mikhailova, O.B. Sapir, Lee monoid \(L_4^1\) is non-finitely based. Algebra Universalis 79(3), Article 56, 14 pp. (2018)

    Google Scholar 

  • S. Oates, M.B. Powell, Identical relations in finite groups. J. Algebra 1(1), 11–39 (1964)

    Article  MathSciNet  MATH  Google Scholar 

  • P. Perkins, Decision Problems for Equational Theories of Semigroups and General Algebras. Ph.D. thesis (University of California, Berkeley, 1966)

    Google Scholar 

  • P. Perkins, Bases for equational theories of semigroups. J. Algebra 11(2), 298–314 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  • P. Perkins, Finite axiomatizability for equational theories of computable groupoids. J. Symbolic Logic 54(3), 1018–1022 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  • M. Petrich, Inverse Semigroups (Wiley, New York, 1984)

    MATH  Google Scholar 

  • L. Polák, On varieties of completely regular semigroups. I. Semigroup Forum 32(1), 97–123 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  • L. Polák, On varieties of completely regular semigroups. II. Semigroup Forum 36(3), 253–284 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  • L. Polák, On varieties of completely regular semigroups. III. Semigroup Forum 37(1), 1–30 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  • G. Pollák, On hereditarily finitely based varieties of semigroups. Acta Sci. Math. (Szeged) 37(3–4), 339–348 (1975)

    Google Scholar 

  • G. Pollák, A class of hereditarily finitely based varieties of semigroups, in Algebraic Theory of Semigroups (Szeged 1976), ed. by G. Pollák (Colloquia Mathematica Societatis János Bolyai 20, Amsterdam, 1979a), pp. 433–445

    Google Scholar 

  • G. Pollák, On identities which define hereditarily finitely based varieties of semigroups, in Algebraic Theory of Semigroups (Szeged 1976), ed. by G. Pollák (Colloquia Mathematica Societatis János Bolyai 20, Amsterdam, 1979b), pp. 447–452

    Google Scholar 

  • G. Pollák, On two classes of hereditarily finitely based semigroup identities. Semigroup Forum 25(1–2), 9–33 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  • G. Pollák, Some sufficient conditions for hereditarily finitely based varieties of semigroups. Acta Sci. Math. (Szeged) 50(3–4), 299–330 (1986)

    Google Scholar 

  • G. Pollák, A new example of limit variety. Semigroup Forum 38(3), 283–303 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  • G. Pollák, M.V. Volkov, On almost simple semigroup identities, in Semigroups (Szeged 1981), ed. by G. Pollák, Št. Schwarz, O. Steinfeld (Colloquia Mathematica Societatis János Bolyai 39, Amsterdam, 1985), pp. 287–323

    Google Scholar 

  • V.V. Rasin, Varieties of orthodox Clifford semigroups (in Russian). Izv. Vyssh. Uchebn. Zaved. Mat. 1982(11), 82–85 (1982). English translation: Soviet Math. (Iz. VUZ) 26(11), 107–110 (1982)

    Google Scholar 

  • D. Rees, On semi-groups. Proc. Cambridge Philos. Soc. 36(4), 387–400 (1940)

    Article  MathSciNet  MATH  Google Scholar 

  • N.R. Reilly, Complete congruences on the lattice of Rees–Sushkevich varieties. Comm. Algebra 35(11), 3624–3659 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  • N.R. Reilly, The interval [B 2, NB 2] in the lattice of Rees–Sushkevich varieties. Algebra Universalis 59(3–4), 345–363 (2008a)

    Article  MathSciNet  MATH  Google Scholar 

  • N.R. Reilly, Varieties generated by completely 0-simple semigroups. J. Aust. Math. Soc. 84(3), 375–403 (2008b)

    Article  MathSciNet  MATH  Google Scholar 

  • N.R. Reilly, Shades of orthodoxy in Rees–Sushkevich varieties. Semigroup Forum 78(1), 157–182 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  • V.B. Repnitskiı̆, M.V. Volkov, The finite basis problem for pseudovariety \(\mathscr {O}\). Proc. Roy. Soc. Edinburgh Sect. A 128(3), 661–669 (1998)

    Google Scholar 

  • J. Rhodes, B. Steinberg, Krohn–Rhodes complexity pseudovarieties are not finitely based. Theor. Inform. Appl. 39(1), 279–296 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  • M.V. Sapir, Inherently non-finitely based finite semigroups (in Russian). Mat. Sb. (N.S.) 133(2), 154–166 (1987a). English Translation: Math. USSR-Sb. 61(1), 155–166 (1988)

    Google Scholar 

  • M.V. Sapir, Problems of Burnside type and the finite basis property in varieties of semigroups (in Russian). Izv. Akad. Nauk SSSR Ser. Mat. 51(2), 319–340 (1987b). English translation: Math. USSR-Izv. 30(2), 295–314 (1988)

    Google Scholar 

  • M.V. Sapir, On Cross semigroup varieties and related questions. Semigroup Forum 42(3), 345–364 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  • M.V. Sapir, Identities of finite inverse semigroups. Internat. J. Algebra Comput. 3(1), 115–124 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  • M.V. Sapir, Combinatorial Algebra: Syntax and Semantics, Springer Monographs in Mathematics (Springer, Cham, 2014)

    Book  Google Scholar 

  • M.V. Sapir, E.V. Sukhanov, Varieties of periodic semigroups (in Russian). Izv. Vyssh. Uchebn. Zaved. Mat. 1981(4), 48–55 (1981). English translation: Soviet Math. (Iz. VUZ) 25(4), 53–63 (1981)

    Google Scholar 

  • M.V. Sapir, M.V. Volkov, On the joins of semigroup varieties with the variety of commutative semigroups. Proc. Am. Math. Soc. 120(2), 345–348 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  • O.B. Sapir, Identities of Finite Semigroups and Related Questions. Ph.D. thesis (University of Nebraska–Lincoln, USA, 1997)

    Google Scholar 

  • O.B. Sapir, Finitely based words. Internat. J. Algebra Comput. 10(4), 457–480 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  • O.B. Sapir, The variety of idempotent semigroups is inherently non-finitely generated. Semigroup Forum 71(1), 140–146 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  • O.B. Sapir, Finitely based monoids. Semigroup Forum 90(3), 587–614 (2015a)

    Article  MathSciNet  MATH  Google Scholar 

  • O.B. Sapir, Non-finitely based monoids. Semigroup Forum 90(3), 557–586 (2015b)

    Article  MathSciNet  MATH  Google Scholar 

  • O.B. Sapir, The finite basis problem for words with at most two non-linear variables. Semigroup Forum 93(1), 131–151 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  • O.B. Sapir, Lee monoids are nonfinitely based while the sets of their isoterms are finitely based. Bull. Aust. Math. Soc. 97(3), 422–434 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  • O.B. Sapir, Finitely based sets of 2-limited block-2-simple words. Semigroup Forum 99(3), 881–897 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  • L.N. Shevrin, M.V. Volkov, Identities of semigroups (in Russian). Izv. Vyssh. Uchebn. Zaved. Mat. 1985(11), 3–47 (1985). English translation: Soviet Math. (Iz. VUZ) 29(11), 1–64 (1985)

    Google Scholar 

  • L.N. Shevrin, B.M. Vernikov, M.V. Volkov, Lattices of semigroup varieties (in Russian). Izv. Vyssh. Uchebn. Zaved. Mat. 2009(3), 3–36 (2009). English translation: Russian Math. (Iz. VUZ) 53(3), 1–28 (2009)

    Google Scholar 

  • L.M. Shneerson, On the axiomatic rank of varieties generated by a semigroup or monoid with one defining relation. Semigroup Forum 39(1), 17–38 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  • E.P. Simel’gor, On identities of four-element semigroups (in Russian). Modern Algebra, in Republican Collection of Scientific Works (Leningrad. Gos. Ped. Inst., Leningrad, 1978), pp. 146–152

    Google Scholar 

  • W. Specht, Gesetze in Ringen. I. Math. Z. 52(5), 557–589 (1950)

    Google Scholar 

  • H. Straubing, The variety generated by finite nilpotent monoids. Semigroup Forum 24(1), 25–38 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  • A.K. Suschkewitsch, Über die endlichen Gruppen ohne das Gesetz der eindeutigen Umkehrbarkeit. Math. Ann. 99(1), 30–50 (1928)

    Article  MathSciNet  MATH  Google Scholar 

  • A. Tarski, Equational logic and equational theories of algebras, in Contributions to Mathematical Logic (Hannover 1966), ed. by H.A. Schmidt, K. Schütte, H.J. Thiele (North-Holland, Amsterdam, 1968), pp. 275–288

    Chapter  Google Scholar 

  • A.V. Tishchenko, The finiteness of a base of identities for five-element monoids. Semigroup Forum 20(2), 171–186 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  • N.G. Torlopova, Varieties of quasiorthodox semigroups (in Russian). Acta Sci. Math. (Szeged) 47(3–4), 297–301 (1984)

    Google Scholar 

  • A.N. Trahtman, A basis of identities of the five-element Brandt semigroup (in Russian). Ural. Gos. Univ. Mat. Zap. 12(3), 147–149 (1981a)

    MathSciNet  Google Scholar 

  • A.N. Trahtman, Graphs of identities of a completely 0-simple five-element semigroup (in Russian) (Ural Polytechnic Institute, Sverdlovsk, 1981b). Deposited at VINITI, Moscow, no. 5558-81

    Google Scholar 

  • A.N. Trahtman, The finite basis question for semigroups of order less than six. Semigroup Forum 27(1–4), 387–389 (1983)

    Article  MathSciNet  Google Scholar 

  • A.N. Trahtman, Some finite infinitely basable semigroups (in Russian). Ural. Gos. Univ. Mat. Zap. 14(2), 128–131 (1987)

    MathSciNet  Google Scholar 

  • A.N. Trahtman, A six-element semigroup that generates a variety with a continuum of subvarieties (in Russian). Ural. Gos. Univ. Mat. Zap. 14(3), 138–143 (1988)

    MathSciNet  Google Scholar 

  • A.N. Trahtman, Finiteness of identity bases of five-element semigroups (in Russian), in Semigroups and Their Homomorphisms, ed. by E.S. Lyapin (Ross. Gos. Ped. Univ., Leningrad, 1991), pp. 76–97

    Google Scholar 

  • A.N. Trahtman, Identities of a five-element 0-simple semigroup. Semigroup Forum 48(3), 385–387 (1994)

    Article  MathSciNet  Google Scholar 

  • A.N. Trahtman, Identities of locally testable semigroups. Comm. Algebra 27(11), 5405–5412 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  • P.G. Trotter, M.V. Volkov, The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups. Semigroup Forum 52(1), 83–91 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  • B.M. Vernikov, Distributivity, modularity, and related conditions in lattices of overcommutative semigroup varieties, in Semigroups with Applications, Including Semigroup Rings, ed. by S.I. Kublanovskiı̆, A.V. Mikhalev, P.M. Higgins, J. Ponizovskii (St. Petersburg State Technical University, St. Petersburg, 1999), pp. 411–439

    Google Scholar 

  • B.M. Vernikov, Semidistributive law and other quasi-identities in lattices of semigroup varieties. Proc. Steklov Inst. Math. 2001(suppl. 2), S241–S256 (2001)

    MathSciNet  MATH  Google Scholar 

  • M.V. Volkov, An example of a limit variety of semigroups. Semigroup Forum 24(4), 319–326 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  • M.V. Volkov, On the join of varieties. Simon Stevin 58(4), 311–317 (1984b)

    MathSciNet  MATH  Google Scholar 

  • M.V. Volkov, Bases of identities of Brandt semigroups (in Russian). Ural. Gos. Univ. Mat. Zap. 14(1), 38–42 (1985)

    MathSciNet  Google Scholar 

  • M.V. Volkov, Semigroup varieties with a modular lattice of subvarieties (in Russian). Izv. Vyssh. Uchebn. Zaved. Mat. 1989(6), 51–60 (1989a). English translation: Soviet Math. (Iz. VUZ) 33(6), 48–58 (1989)

    Google Scholar 

  • M.V. Volkov, The finite basis question for varieties of semigroups (in Russian). Mat. Zametki 45(3), 12–23 (1989b). English translation: Math. Notes 45(3), 187–194 (1989)

    Google Scholar 

  • M.V. Volkov, A general finite basis condition for systems of semigroup identities. Semigroup Forum 41(2), 181–191 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  • M.V. Volkov, Young diagrams and the structure of the lattice of overcommutative semigroup varieties, in Transformation Semigroups (Colchester 1993), ed. by P.M. Higgins (University of Essex, Colchester, 1994), pp. 99–110

    Google Scholar 

  • M.V. Volkov, On a class of semigroup pseudovarieties without finite pseudoidentity basis. Internat. J. Algebra Comput. 5(2), 127–135 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  • M.V. Volkov, Covers in the lattices of semigroup varieties and pseudovarieties, in Semigroups, Automata and Languages (Porto 1994), ed. by J. Almeida, G.M.S. Gomes, P.V. Silva (World Scientific, Singapore, 1996), pp. 263–280

    Google Scholar 

  • M.V. Volkov, The finite basis problem for the pseudovariety \(\mathcal {P}\mathcal {O}\), in Semigroups and Applications (St. Andrews 1997), ed. by J.M. Howie, N. Ruškuc (World Scientific, Singapore, 1998), pp. 239–257

    Google Scholar 

  • M.V. Volkov, The finite basis problem for finite semigroups: a survey, in Semigroups (Braga 1999), ed. by P. Smith, E. Giraldes, P. Martins (World Scientific, River Edge, NJ, 2000), pp. 244–279

    Chapter  Google Scholar 

  • M.V. Volkov, The finite basis problem for finite semigroups. Sci. Math. Jpn. 53(1), 171–199 (2001)

    MathSciNet  MATH  Google Scholar 

  • M.V. Volkov, György Pollák’s work on the theory of semigroup varieties: its significance and its influence so far. Acta Sci. Math. (Szeged) 68(3–4), 875–894 (2002)

    Google Scholar 

  • M.V. Volkov, On a question by Edmond W. H. Lee. Izv. Ural. Gos. Univ. Mat. Mekh. 7(36), 167–178 (2005)

    MathSciNet  MATH  Google Scholar 

  • M.V. Volkov, A nonfinitely based semigroup of triangular matrices, in Semigroups, Algebras and Operator Theory (Kochi, India 2014), ed. by P.G. Romeo, J.C. Meakin, A.R. Rajan. Springer Proceedings in Mathematics and Statistics vol. 142 (Springer, New Delhi, 2015), pp. 27–38

    Google Scholar 

  • M.V. Volkov, Identities in Brandt semigroups, revisited. Ural Math. J. 5(2), 80–93 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  • M.V. Volkov, I.A. Gol’dberg, Identities of semigroups of triangular matrices over finite fields (in Russian). Mat. Zametki 73(4), 502–510 (2003). English translation: Math. Notes 73(3–4), 474–481 (2003)

    Google Scholar 

  • M.V. Volkov, I.A. Gol’dberg, The finite basis problems for monoids of triangular boolean matrices, in Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory, ed. by M. Ito. Kôkyûroku, vol. 1366 (Research Institute for Mathematical Sciences, Kyoto University, 2004), pp. 205–214

    Google Scholar 

  • S.L. Wismath, The lattices of varieties and pseudovarieties of band monoids. Semigroup Forum 33(2), 187–198 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  • W.T. Zhang, Existence of a new limit variety of aperiodic monoids. Semigroup Forum 86(1), 212–220 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  • W.T. Zhang, Y.F. Luo, The variety generated by a certain transformation monoid. Internat. J. Algebra Comput. 18(7), 1193–1201 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  • W.T. Zhang, Y.F. Luo, A new example of a minimal nonfinitely based semigroup. Bull. Aust. Math. Soc. 84(3), 484–491 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  • W.T. Zhang, Y.F. Luo, A sufficient condition under which a semigroup is nonfinitely based. Bull. Aust. Math. Soc. 93(3), 454–466 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  • W.T. Zhang, Y.F. Luo, The finite basis problem for involution semigroups of triangular 2 × 2 matrices. Bull. Aust. Math. Soc. 101(1), 88–104 (2020)

    Article  MathSciNet  MATH  Google Scholar 

  • W.T. Zhang, Y.D. Ji, Y.F. Luo, The finite basis problem for infinite involution semigroups of triangular 2 × 2 matrices. Semigroup Forum 94(2), 426–441 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  • W.T. Zhang, Y.F. Luo, N. Wang, Finite basis problem for involution monoids of unitriangular boolean matrices. Algebra Universalis 81(1), Article 7, 23 pp. (2020)

    Google Scholar 

  • A.I. Zimin, Blocking sets of terms (in Russian). Mat. Sb. (N.S.) 119(3), 363–375 (1982). English translation: Math. USSR-Sb. 47(2), 353–364 (1984)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Nova Southeastern University, Fort Lauderdale, FL, USA

    Edmond W. H. Lee

Authors
  1. Edmond W. H. Lee
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Lee, E.W.H. (2023). Historical Overview and Main Results. In: Advances in the Theory of Varieties of Semigroups. Frontiers in Mathematics. Birkhäuser, Cham. https://doi.org/10.1007/978-3-031-16497-2_1

Download citation

Publish with us

Policies and ethics

Search

Navigation