Abstract
We survey results devoted to the lattice of varieties of monoids. Along with known results, some unpublished results are given with proofs. A number of open questions and problems are also formulated.
Similar content being viewed by others
References
P. Aglianò and J.B. Nation, Lattices of pseudovarieties, J. Austral. Math. Soc. Ser. A, 46 (1989), 177–183.
A.Ya. Aǐzenštat and B.K. Boguta, A lattice of varieties of semigroups, In: Polugruppovye Mnogoobraziya i Polugruppy Endomorfizmov, (Semigroup Varieties and Semigroups of Endomorphisms), Leningrad State Pedagogical Inst. 1979, pp. 3–46. (Russian); Fourteen Papers Translated from the Russian, Amer. Math. Soc. Transl., 134, Amer. Math. Soc., Providence, RI, 1987, pp. 5–32.
J. Almeida, Finite Semigroups and Universal Algebra, World Sci. Publ., Singapore, 1994.
V.A. Artamonov, Chain varieties of groups, Trudy Sem. Petrovsk., 3 (1978), 3–8. (Russian)
G. Birkhoff, On the structure of abstract algebras, Math. Proc. Cambridge Philos. Soc., 31 (1935), 433–454.
A.P. Biryukov, Varieties of idempotent semigroups, Algebra i Logika, 9 (1970), 255–273. (Russian); Algebra and Logic, 9 (1970), 153–164.
A.P. Biryukov, Minimal non commutative varieties of semigroups, Sibirsk. Mat. Z., 17 (1976), 677–681. (Russian); Siberian Math. J., 17 (1976), 520–523.
A.I. Budkin and V.A. Gorbunov, On the theory of quasivarieties of algebraic systems, Algebra i Logika, 14 (1975), 123–142. (Russian); Algebra and Logic, 14 (1975), 73–84.
S. Burris and E. Nelson, Embedding the dual of Π∞ in the lattice of equational classes of semigroups, Algebra Universalis, 1 (1971), 248–253.
S. Burris and E. Nelson, Embedding the dual of Πm in the lattice of equational classes of commutative semigroups, Proc. Amer. Math. Soc., 30 (1971), 37–39.
S. Burris and H.P. Sankappanavar, A Course in Universal Algebra, Grad. Texts in Math., 78, Springer-Verlag, 1981.
A.H. Clifford and G.B. Preston, The Algebraic Theory of Semigroups. Vol. I, Mathematical Surveys, 7, Amer. Math. Soc., Providence, RI, 1961.
V. Diercks, M. Erné and J. Reinhold, Complements in lattices of varieties and equational theories, Algebra Universalis, 31 (1994), 506–515.
S. Eilenberg, Automata, Languages, and Machines. Vol. B, Pure Appl. Math., 59, Academic Press, New York, 1976.
T. Evans, The lattice of semigroup varieties, Semigroup Forum, 2 (1971), 1–43.
C.F. Fennemore, All varieties of bands. I, II, Math. Nachr., 48 (1971), 237–252, 253–262.
J.A. Gerhard, The lattice of equational classes of idempotent semigroups, J. Algebra, 15 (1970), 195–224.
G. Grätzer, Lattice Theory: Foundation, Springer-Verlag, 2011.
S.V. Gusev, On the lattice of overcommutative varieties of monoids, Izv. Vyssh. Uchebn. Zaved. Mat., no. 5 (2018), 28–32. (Russian); Russian Math. (Iz. VUZ), 62, no. 5 (2018), 23–26.
S.V. Gusev, Special elements of the lattice of monoid varieties, Algebra Universalis, 79 (2018), Paper no. 29, 12p.
S.V. Gusev, On the ascending and descending chain conditions in the lattice of monoid varieties, Sib. Èlektron. Mat. Izv., 16 (2019), 983–997.
S.V. Gusev, Cross varieties of aperiodic monoids with commuting idempotents, preprint, arXiv:2004.03470.
S.V. Gusev, A new example of a limit variety of monoids, Semigroup Forum, 101 (2020), 102–120.
S.V. Gusev, Standard elements of the lattice of monoid varieties, Algebra Logika, 59 (2020), 615–626. (Russian); Algebra Logic, 59 (2021), 415–422.
S.V. Gusev, Distributive and lower-modular elements of the lattice of monoid varieties, preprint, arXiv:2201.08036; Siberian Math. J., to appear.
S.V. Gusev, Varieties of aperiodic monoids with central idempotents whose subvariety lattice is distributive, Monatsh. Math., to appear, https://doi.org/10.1007/s00605-022-01717-x.
S.V. Gusev and E.W.H. Lee, Varieties of monoids with complex lattices of subvarieties, Bull. Lond. Math. Soc., 52 (2020), 762–775.
S.V. Gusev and E.W.H. Lee, Cancellable elements of the lattice of monoid varieties, Acta Math. Hungar., 165 (2021), 156–168.
S.V. Gusev, Y.X. Li and W.T. Zhang, Limit varieties of monoids satisfying a certain identity, preprint, arXiv:2107.07120v2; Algebra Colloq., to appear.
S.V. Gusev and O.B. Sapir, Classification of limit varieties of \({\cal J}\)-trivial monoids, Comm. Algebra, 50 (2022), 3007–3027.
S.V. Gusev and B.M. Vernikov, Chain varieties of monoids, Dissertationes Math., 534 (2018), 73p.
S.V. Gusev and B.M. Vernikov, Two weaker variants of congruence permutability for monoid varieties, Semigroup Forum, 103 (2021), 106–152.
T.E. Hall and K.G. Johnston, The lattice of pseudovarieties of inverse semigroups, Pacific J. Math., 138 (1989), 73–88.
T.E. Hall and P.R. Jones, On the lattice of varieties of bands of groups, Pacific J. Math., 91 (1980), 327–337.
T.J. Head, The varieties of commutative monoids, Nieuw Arch. Wisk. (3), 16 (1968), 203–206.
D. Hobby and R.N. McKenzie, The Structure of Finite Algebras, Contemp. Math., 76, Amer. Math. Soc., Providence, RI, 1988.
J.M. Howie, Fundamentals of Semigroup Theory, London Math. Soc. Monogr. (N.S.), 12, Clarendon Press, Oxford, 1995.
M. Jackson, Finite semigroups whose varieties have uncountably many subvarieties, J. Algebra, 228 (2000), 512–535.
M. Jackson, Finite semigroups with infinite irredundant identity bases, Internat. J. Algebra Comput., 15 (2005), 405–422.
M. Jackson, Finiteness properties of varieties and the restriction to finite algebras, Semigroup Forum, 70 (2005), 159–187; Erratum, Semigroup Forum, 96 (2018), 197–198.
M. Jackson, Syntactic semigroups and the finite basis problem, In: Structural Theory of Automata, Semigroups, and Universal Algebra, (eds. V.B. Kudryavtsev and I.G. Rosenberg), NATO Sci. Ser. II Math. Phys. Chem., 207, Springer-Verlag, 2005, pp. 159–167.
M. Jackson and E.W.H. Lee, Monoid varieties with extreme properties, Trans. Amer. Math. Soc., 370 (2018), 4785–4812.
M. Jackson and W.T. Zhang, From A to B to Z, Semigroup Forum, 103 (2021), 165–190.
J. Ježek, Primitive classes of algebras with unary and nullary operations, Colloq. Math., 20 (1969), 159–179.
J. Ježek, Intervals in the lattice of varieties, Algebra Universalis, 6 (1976), 147–158.
J. Ježek and R.N. McKenzie, Definability in the lattice of equational theories of semigroups, Semigroup Forum, 46 (1993), 199–245.
J. Kalicki and D. Scott, Equational completeness of abstract algebras, Nederl. Akad. Wetensch. Proc. Ser. A, 58 (1955), 650–659.
A. Kisielewicz, Varieties of commutative semigroups, Trans. Amer. Math. Soc., 342 (1994), 275–306.
I.O. Korjakov, A sketch of the lattice of commutative nilpotent semigroup varieties, Semigroup Forum, 24 (1982), 285–317.
P.A. Kozhevnikov, On nonfinitely based varieties of groups of large prime exponent, Comm. Algebra, 40 (2012), 2628–2644.
W.A. Lampe, Further properties of lattices of equational theories, Algebra Universalis, 28 (1991), 459–486.
E.W.H. Lee, Minimal semigroups generating varieties with complex subvariety lattices, Internat. J. Algebra Comput., 17 (2007), 1553–1572.
E.W.H. Lee, On the variety generated by some monoid of order five, Acta Sci. Math. (Szeged), 74 (2008), 509–537.
E.W.H. Lee, Maximal Specht varieties of monoids, Mosc. Math. J., 12 (2012), 787–802.
E.W.H. Lee, Varieties generated by 2-testable monoids, Studia Sci. Math. Hungar., 49 (2012), 366–389.
E.W.H. Lee, Almost Cross varieties of aperiodic monoids with central idempotents, Beitr. Algebra Geom., 54 (2013), 121–129.
E.W.H. Lee, Inherently non-finitely generated varieties of aperiodic monoids with central idempotents, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI), 423 (2014), 166–182; J. Math. Sci. (N.Y.), 209 (2015), 588–599.
E.W.H. Lee, A minimal pseudo-complex monoid, Arch. Math. (Basel), to appear.
E.W.H. Lee and J.R. Li, Minimal non-finitely based monoids, Dissertationes Math., 475 (2011), 65p.
E.W.H. Lee and W.T. Zhang, The smallest monoid that generates a non-Cross variety, Xiamen Daxue Xuebao Ziran Kexue Ban, 53 (2014), 1–4. (Chinese)
R.N. McKenzie, G.F. McNulty and W.F. Taylor, Algebras. Lattices. Varieties. Vol. I, Wadsworth & Brooks/Cole Math. Ser., Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA, 1987.
M. Morse and G.A. Hedlund, Unending chess, symbolic dynamics and a problem in semigroups, Duke Math. J., 11 (1944), 1–7.
S. Oates and M.B. Powell, Identical relations in finite groups, J. Algebra, 1 (1964), 11–39.
F.J. Pastijn, The lattice of completely regular semigroup varieties, J. Austral. Math. Soc. Ser. A, 49 (1990), 24–42.
F.J. Pastijn, Commuting fully invariant congruences on free completely regular semigroups, Trans. Amer. Math. Soc., 323 (1991), 79–92.
F.J. Pastijn and P.G. Trotter, Complete congruences on lattices of varieties and of pseudovarieties, Internat. J. Algebra Comput., 8 (1998), 171–201.
P. Perkins, Bases for equational theories of semigroups, J. Algebra, 11 (1969), 298–314.
M. Petrich and N.R. Reilly, The modularity of the lattice of varieties of completely regular semigroups and related representations, Glasgow Math. J., 32 (1990), 137–152.
M. Petrich and N.R. Reilly, Completely Regular Semigroups, Wiley-Intersci. Canad. Math. Ser. Monogr. Texts, 23, John Wiley & Sons, Inc., New York, 1999.
L. Polák, On varieties of completely regular semigroups. I, Semigroup Forum, 32 (1985), 97–123.
L. Polák, On varieties of completely regular semigroups. II, Semigroup Forum, 36 (1987), 253–284.
L. Polák, On varieties of completely regular semigroups. III, Semigroup Forum, 37 (1988), 1–30.
G. Pollák, Some lattices of varieties containing elements without cover, In: Non Commutative Structures in Algebra and Geometric Combinatorics, (ed. A. de Luca), Quad. Ricerca Sci., 109, Consiglio Nazionale delle Ricerche (CNR), Rome, 1981, pp. 91–96.
P. Pudlák and J. Tuma, Every finite lattice can be embedded in a finite partition lattice, Algebra Universalis, 10 (1980), 74–95.
V.V. Rasin, Varieties of orthodox Clifford semigroups, Izv. Vyssh. Uchebn. Zaved. Mat., no. 11 (1982), 82–85. (Russian); Soviet Math. (Iz. VUZ), 26, no. 11 (1982), 107–110.
J. Rhodes and B. Steinberg, The q-Theory of Finite Semigroups, Springer Monogr. Math., Springer-Verlag, 2009.
D. Sachs, Identities in finite partition lattices, Proc. Amer. Math. Soc., 12 (1961), 944–945.
M.V. Sapir, On Cross semigroup varieties and related questions, Semigroup Forum, 42 (1991), 345–364.
O.B. Sapir, Finitely based words, Internat. J. Algebra Comput., 10 (2000), 457–480.
O.B. Sapir, Limit varieties generated by finite non-J-trivial aperiodic monoids, preprint, arXiv:2012.13598.
O.B. Sapir, Limit varieties of J-trivial monoids, Semigroup Forum, 103 (2021), 236–260.
M.P. Schützenberger, On finite monoids having only trivial subgroups, Information and Control, 8 (1965), 190–194.
R. Schwabauer, A note on commutative semigroups, Proc. Amer. Math. Soc., 20 (1969), 503–504.
V.Yu. Shaprynskiǐ, Periodicity of special elements of the lattice of semigroup varieties, Proc. of Inst. Math. Mechanics of Ural Branch of the Russ. Acad. Sci., 18, no. 3 (2012), 282–286. (Russian)
V.Yu. Shaprynskiǐ, D.V. Skokov and B.M. Vernikov, Cancellable elements of the lattices of varieties of semigroups and epigroups, Comm. Algebra, 47 (2019), 4697–4712.
L.N. Shevrin, B.M. Vernikov and M.V. Volkov, Lattices of semigroup varieties, Izv. Vyssh. Uchebn. Zaved. Mat., no. 3 (2009), 3–36. (Russian); Russian Math. (Iz. VUZ), 53, no. 3 (2009), 1–28.
M. Stern, Semimodular Lattices. Theory and Applications, Cambridge Univ. Press, 1999.
E.V. Sukhanov, Almost-linear varieties of semigroups, Mat. Zametki, 32 (1982), 469–476. (Russian); Math. Notes, 32 (1982), 714–717.
A.V. Tishchenko, The finiteness of a base of identities for five-element monoids, Semigroup Forum, 20 (1980), 171–186.
A.N. Trakhtman, Covering elements in the lattice of varieties of algebras, Mat. Zametki, 15 (1974), 307–312. (Russian); Math. Notes, 15 (1974), 174–177.
A.N. Trakhtman, A six-element semigroup that generates a variety with a continuum of subvarieties, Ural. Gos. Univ. Mat. Zap., 14, no. 3 (1988), Algebr. Sistemy i ikh Mnogoobr., (Algebraic Systems and their Varieties), 138–143. (Russian).
P.G. Trotter, Subdirect decompositions of the lattice of varieties of completely regular semigroups, Bull. Austral. Math. Soc., 39 (1989), 343–351.
C. Vachuska, On the lattice of completely regular monoid varieties, Semigroup Forum, 46 (1993), 168–186.
B.M. Vernikov, Dualities in lattices of semigroup varieties, Semigroup Forum, 40 (1990), 59–76.
B.M. Vernikov, Semicomplements in lattices of varieties, Algebra Universalis, 29 (1992), 227–231.
B.M. Vernikov, Proofs of definability of some varieties and sets of varieties of semigroups, Semigroup Forum, 84 (2012), 374–392.
B.M. Vernikov, Special elements in lattices of semigroup varieties, Acta Sci. Math. (Szeged), 81 (2015), 79–109; an extended version, preprint, arXiv:1309.0228.
B.M. Vernikov and M.V. Volkov, Complements in lattices of varieties and quasivarieties, Izv. Vyssh. Uchebn. Zaved. Mat., no. 11 (1982), 17–20. (Russian); Soviet Math. (Iz. VUZ), 26, no. 11 (1982), 19–24.
M.V. Volkov, Semigroup varieties with a modular lattice of subvarieties, Izv. Vyssh. Uchebn. Zaved. Mat., no. 6 (1989), 51–60. (Russian); Soviet Math. (Iz. VUZ), 33, no. 6 (1989), 48–58.
M.V. Volkov, Young diagrams and the structure of the lattice of overcommutative semigroup varieties, In: Transformation Semigroups, (ed. P.M. Higgins), Univ. of Essex, Colchester, 1994, pp. 99–110.
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 (2002), 875–894.
S.L. Wismath, The lattice of varieties and pseudovarieties of band monoids, Semigroup Forum, 33 (1986), 187–198.
W.T. Zhang and Y.F. Luo, A new example of limit variety of aperiodic monoids, preprint, arXiv:1901.02207.
Acknowledgements
The authors are indebted to the following colleagues: the anonymous reviewers for valuable suggestions, Marcel Jackson and Olga Sapir for very helpful discussions, and Mikhail Volkov for important information on pseudovarieties in Sub-sect. 1.2.
The first and third authors were supported by the Ministry of Science and Higher Education of the Russian Federation (project FEUZ-2020-0016).
Author information
Authors and Affiliations
Corresponding authors
Additional information
Communicated by: Toshiyuki Kobayashi
In memory of Professor Lev N. Shevrin (1935–2021)
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Gusev, S.V., Lee, E.W.H. & Vernikov, B.M. The lattice of varieties of monoids. Jpn. J. Math. 17, 117–183 (2022). https://doi.org/10.1007/s11537-022-2073-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11537-022-2073-5