Abstract
Semigroups are considered here in terms of the identities which they may satisfy with the emphasis on the identities and on classes of semigroups defined by identities, rather than on the semigroups themselves. These classes, called varieties, form a lattice under inclusion and it is illuminating to interpret properties of semigroup identities and varieties in terms of this lattice, its cardinality, its atoms, its infinite chains, and so on.
Similar content being viewed by others
References
Austin, A. K.,A note on models of identities, Proc. Amer. Math. Soc. 16 (1965), 522–523.
—,A closed set of laws which is not generated by a finite set of laws, Quart. J. Math. Oxford (2), 17 (1966), 11–13.
Baker, K. A.,Equational classes of modular lattices, Pac. J. Math., 28 (1969), 9–15.
Baumslag, G. and D. Solitar,Some two-generator one-relator non-hopfian groups, Bull. Amer. Math. Soc. 68 (1962), 199–201.
Birjukov, A. P.,On infinite sets of identities in semigroups, Algebra i Logika 4 (1965), 31–32 (in Russian).
Birjukov, A. P.,The lattice of varieties of idempotent semigroups, All-Union Colloq. on General Algebra, Riga (1967), 16–18 (in Russian).
Birjukov, A. P.,On varieties of idempotent semigroups, 1st All-Union Symposium on the Theory of Semigroups, Sverdlovsk (1969), 4–6 (in Russian).
Birkhoff, G.,On the structure of abstract algebras, Proc. Cambr. Phil. Soc. 31 (1935), 433–454.
Birkhoff, G.,Lattice Theory, Amer. Math. Soc. Colloq. Pub. XXV., 3rd ed. Providence (1967).
Burris, S. and E. Nelson,Embedding the Dual of ∏m in the lattice of equational classes of commuta-semigroups, to appear.
Carlisle, W. H., Ph.D. Thesis, Emory University (1970).
Chrislock, J. L.,A certain class of identities on semigroups, Proc. Amer. Math. Soc. 21 (1969), 189–190.
Clifford, A. H. and G. B. Preston,The Algebraic Theory of Semigroups, Math. Surveys 7, 2nd ed., 1 (1964), and 2 (1967), Amer. Math Soc.
Cohn, P. M.,Universal Algebra, 1965, Harper and Row Publishers.
Dean, R. A. and T. Evans,A remark on varieties of lattices and semigroups, Proc. Amer. Math. Soc. 21 (1969), 394–396.
Evans, T. and B. H. Neumann,On varieties of groupoids and loops, J. London Math. Soc. 28 (1953), 342–350.
Evans, T.,A condition for a cancellation semigroup to be a group, Amer. Math. Monthly, 73 (1966), 1104–1106.
—,The number of semigroup varieties, Oxford Quart. J. (2), 19 (1968).
—,Finitely presented loops, lattices, etc. are hopfian, J. London Math. Soc. 44 (1969), 551–552.
—,Some connections between residual finiteness, finite embeddability and the word problem. J. London Math. Soc. (2), 1 (1969), 399–403.
—,Schreier varieties of semigroups, Math. Zeitschr. 112 (1969), 296–299.
Evans, T.,Identical relations in loops,I., J. Austr. Math. Soc. (to appear).
Evans, T.,Identical relations in loops,II., (in preparation).
Fennemore, C. F.,All varieties of bands, Ph.D. dissertation, Pennsylvania State University, 1969.
Gerhard, J. A.,The lattice of equational classes of idempotent semigroups, J. of Algebra, 15 (1970), 195–224.
Gratzer, G.,Equational classes of lattices, Duke Math. J. 33 (1966), 613–622.
—,Universal Algebra, Princeton, D. Van Nostran Company, Inc., 1968.
Green, J. A. and D. Rees,On semigroups in which x r=x, Proc. Cambr. Phil. Soc. 48 (1952), 35–40.
Head, T. J.,The varieties of commutative monoids, Nieuw Archief voor Wiskunde (3), XVI (1968), 203–206.
Jezek, J.,Primitive classes of algebras with unary and nullary operations, Coll. Math. XX, Fasc. 2 (1969), 159–179.
Jonsson, B. and A. Tarski,On two properties of free algebras, Math. Scand. 9 (1961), 95–101.
Jonsson, B.,Algebras whose congruence lattices are distributive, Math. Scand. 21 (1967), 110–121.
—,Equational classes of lattices, Math. Scand. 22 (1968), 187–196.
Kalicki, J. and D. Scott,Equational completeness of abstract algebras, Akademie von Wetenschappen Proc., Series A, 58 (1955), 650–659.
Kalicki, J.,The number of equationally complete classes of equations, Akademie von Wetenschappen Proc., Series A, 58 (1955), 660–662.
Kimura, N.,The structure of idempotent semigroups (I), Pacific J. Math. 8 (1958), 257–275.
Kostrikin, A. I.,On Burnside's problem, Izvestiya Akad. Nauk S.S.S.R., Ser. Mat. 23 (1959), 3–34.
Lyndon, R. C.,Identities in two-valued calculi, Trans. Amer. Math. Soc. 71 (1951), 457–465.
—,Two notes on nilpotent groups, Proc. Amer. Math. Soc. 3 (1952), 579–583.
Mal'cev, A. I.,Multiplication of classes of algebraic systems, Sibirskii Matematicheskii Zurnal, 8 (1967), 346–365.
—,On the general theory of algebraic systems, Mat. Sb. (N.S.) 35 (77) (1954), 3–20.
McLean, D.,Idempotent semigroups, Amer. Math. Monthly 6 (1954), 110–113.
McKenzie, R.,Equational bases and non-modular lattice varieties (to appear).
Murskii, V. L.,The existence in three-valued logic of a closed class with finite basis not having a finite complete system of identities, Soviet Math. Doklady, 6 (1965), 1020–1024.
Nelson, E.,The lattice of equational classes of commutative semigroups (to appear).
Neumann, B. H.,Identical relations in groups, I. Math. Ann. 114 (1937), 506–525.
—,Embedding theorems for semigroups, J. London Math. Soc. 35 (1960), 184–192.
Neumann, B. H.,Special Topics in Algebra, Lecture notes, Courant Institute of Mathematical Sciences, New York University, 1961–62.
—,Varieties of groups, (invited address) Bull. Amer. Math. Soc. 73 (1967), 603–613.
Neumann, H.,On varieties of groups and their associated near-rings, Math. Zeitschr. 65 (1956), 36–69.
—,Varieties of Groups, Springer Verlag New York, 1967.
Neumann, P. M. and J. Wiegold,Schreier varieties of groups, Math. Zeitschr. 85 (1964), 392–400.
Novikov, P. S. and S. I. Adyan,On infinite periodic groups, Izvestyia Akad. Nauk S.S.S.R. Soc. Mat. 32 (1968), 212–244, 251–524, 709–731.
Oates, S. and M. B. Powell,Identical relations in finite groups, J. of Algebra 1, (1964), 11–39.
Olshanskii, A., to be published in Izvestia Akad. Nauk. S.S.S.R.
Perkins, P.,Bases for equational theories of semigroups, J. of Algebra XI (1969), 298–314.
Pierce, R. S.,Introduction to the Theory of Abstract Algebras, 1968, Holt, Rinehart and Winston, Inc.
Schein, B. M.,Homomorphisms and subdirect decompositions of semigroups, Pac. J. Math. 17 (1966), 530–547.
Schwabauer, R.,A note on commutative semigroups, Proc. Amer. Math. Soc. 20 (1969), 503–504.
—,Commutative semigroup laws, Proc. Amer. Math. Soc. 22 (1969), 591–595.
Tamura, T.,Attainability of systems of identities on semigroups, J. of Algebra 3 (1966), 261–276.
Tarski, A.,Equationally complete rings and relation algebras, Indag. Math. 18 (1956), 39–46.
—,Equational logic and equational theories of algebras, Contributions to Math. Logic (Colloquium, Hannover, 1966), 275–288. North Holland, Amsterdam, 1968.
Vaughan-Lee, M. R.,Uncountably many varieties of groups, to be published.
Yamada, M.,The structure of separative bands, Ph.D. dissertation, University of Utah, 1962.
Yaqub, A.,On the identities of certain algebras, Proc. Amer. Math. Soc. 8 (1957), 522–524.
Author information
Authors and Affiliations
Additional information
This paper is an expansion of addresses to the Southeastern Section of the Mathematical Association of America at East Carolina University, March 1968 and to the Symposium on Semigroups and Rings at the University of Puerto Rico, Mayaguez, March 1970. The preparation of the paper was supported in part by NSF Grants GP 6597 and GP 20638.
Rights and permissions
About this article
Cite this article
Evans, T. The lattice of semigroup varieties. Semigroup Forum 2, 1–43 (1971). https://doi.org/10.1007/BF02572269
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02572269