Skip to main content
SpringerLink
Log in

The lattice of semigroup varieties

  • Survey Articles
  • Published:
Semigroup Forum Aims and scope Submit manuscript

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.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Austin, A. K.,A note on models of identities, Proc. Amer. Math. Soc. 16 (1965), 522–523.

    Article  MATH  MathSciNet  Google Scholar 

  2. —,A closed set of laws which is not generated by a finite set of laws, Quart. J. Math. Oxford (2), 17 (1966), 11–13.

    Article  MATH  MathSciNet  Google Scholar 

  3. Baker, K. A.,Equational classes of modular lattices, Pac. J. Math., 28 (1969), 9–15.

    MATH  Google Scholar 

  4. Baumslag, G. and D. Solitar,Some two-generator one-relator non-hopfian groups, Bull. Amer. Math. Soc. 68 (1962), 199–201.

    MATH  MathSciNet  Google Scholar 

  5. Birjukov, A. P.,On infinite sets of identities in semigroups, Algebra i Logika 4 (1965), 31–32 (in Russian).

    MathSciNet  Google Scholar 

  6. Birjukov, A. P.,The lattice of varieties of idempotent semigroups, All-Union Colloq. on General Algebra, Riga (1967), 16–18 (in Russian).

  7. Birjukov, A. P.,On varieties of idempotent semigroups, 1st All-Union Symposium on the Theory of Semigroups, Sverdlovsk (1969), 4–6 (in Russian).

  8. Birkhoff, G.,On the structure of abstract algebras, Proc. Cambr. Phil. Soc. 31 (1935), 433–454.

    MATH  Google Scholar 

  9. Birkhoff, G.,Lattice Theory, Amer. Math. Soc. Colloq. Pub. XXV., 3rd ed. Providence (1967).

  10. Burris, S. and E. Nelson,Embedding the Dual of ∏m in the lattice of equational classes of commuta-semigroups, to appear.

  11. Carlisle, W. H., Ph.D. Thesis, Emory University (1970).

  12. Chrislock, J. L.,A certain class of identities on semigroups, Proc. Amer. Math. Soc. 21 (1969), 189–190.

    Article  MATH  MathSciNet  Google Scholar 

  13. 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.

  14. Cohn, P. M.,Universal Algebra, 1965, Harper and Row Publishers.

  15. Dean, R. A. and T. Evans,A remark on varieties of lattices and semigroups, Proc. Amer. Math. Soc. 21 (1969), 394–396.

    Article  MATH  MathSciNet  Google Scholar 

  16. Evans, T. and B. H. Neumann,On varieties of groupoids and loops, J. London Math. Soc. 28 (1953), 342–350.

    Article  MATH  MathSciNet  Google Scholar 

  17. Evans, T.,A condition for a cancellation semigroup to be a group, Amer. Math. Monthly, 73 (1966), 1104–1106.

    Article  MATH  MathSciNet  Google Scholar 

  18. —,The number of semigroup varieties, Oxford Quart. J. (2), 19 (1968).

    Google Scholar 

  19. —,Finitely presented loops, lattices, etc. are hopfian, J. London Math. Soc. 44 (1969), 551–552.

    Article  MATH  MathSciNet  Google Scholar 

  20. —,Some connections between residual finiteness, finite embeddability and the word problem. J. London Math. Soc. (2), 1 (1969), 399–403.

    Article  MATH  MathSciNet  Google Scholar 

  21. —,Schreier varieties of semigroups, Math. Zeitschr. 112 (1969), 296–299.

    Article  MATH  Google Scholar 

  22. Evans, T.,Identical relations in loops,I., J. Austr. Math. Soc. (to appear).

  23. Evans, T.,Identical relations in loops,II., (in preparation).

  24. Fennemore, C. F.,All varieties of bands, Ph.D. dissertation, Pennsylvania State University, 1969.

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

    Article  MATH  MathSciNet  Google Scholar 

  26. Gratzer, G.,Equational classes of lattices, Duke Math. J. 33 (1966), 613–622.

    Article  MathSciNet  Google Scholar 

  27. —,Universal Algebra, Princeton, D. Van Nostran Company, Inc., 1968.

    Google Scholar 

  28. Green, J. A. and D. Rees,On semigroups in which x r=x, Proc. Cambr. Phil. Soc. 48 (1952), 35–40.

    Article  MATH  MathSciNet  Google Scholar 

  29. Head, T. J.,The varieties of commutative monoids, Nieuw Archief voor Wiskunde (3), XVI (1968), 203–206.

    MathSciNet  Google Scholar 

  30. Jezek, J.,Primitive classes of algebras with unary and nullary operations, Coll. Math. XX, Fasc. 2 (1969), 159–179.

    MathSciNet  Google Scholar 

  31. Jonsson, B. and A. Tarski,On two properties of free algebras, Math. Scand. 9 (1961), 95–101.

    MATH  MathSciNet  Google Scholar 

  32. Jonsson, B.,Algebras whose congruence lattices are distributive, Math. Scand. 21 (1967), 110–121.

    MATH  MathSciNet  Google Scholar 

  33. —,Equational classes of lattices, Math. Scand. 22 (1968), 187–196.

    MATH  MathSciNet  Google Scholar 

  34. Kalicki, J. and D. Scott,Equational completeness of abstract algebras, Akademie von Wetenschappen Proc., Series A, 58 (1955), 650–659.

    MathSciNet  MATH  Google Scholar 

  35. Kalicki, J.,The number of equationally complete classes of equations, Akademie von Wetenschappen Proc., Series A, 58 (1955), 660–662.

    MathSciNet  MATH  Google Scholar 

  36. Kimura, N.,The structure of idempotent semigroups (I), Pacific J. Math. 8 (1958), 257–275.

    MATH  MathSciNet  Google Scholar 

  37. Kostrikin, A. I.,On Burnside's problem, Izvestiya Akad. Nauk S.S.S.R., Ser. Mat. 23 (1959), 3–34.

    MATH  MathSciNet  Google Scholar 

  38. Lyndon, R. C.,Identities in two-valued calculi, Trans. Amer. Math. Soc. 71 (1951), 457–465.

    Article  MATH  MathSciNet  Google Scholar 

  39. —,Two notes on nilpotent groups, Proc. Amer. Math. Soc. 3 (1952), 579–583.

    Article  MATH  MathSciNet  Google Scholar 

  40. Mal'cev, A. I.,Multiplication of classes of algebraic systems, Sibirskii Matematicheskii Zurnal, 8 (1967), 346–365.

    MathSciNet  Google Scholar 

  41. —,On the general theory of algebraic systems, Mat. Sb. (N.S.) 35 (77) (1954), 3–20.

    MathSciNet  Google Scholar 

  42. McLean, D.,Idempotent semigroups, Amer. Math. Monthly 6 (1954), 110–113.

    Article  MathSciNet  Google Scholar 

  43. McKenzie, R.,Equational bases and non-modular lattice varieties (to appear).

  44. 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.

    Google Scholar 

  45. Nelson, E.,The lattice of equational classes of commutative semigroups (to appear).

  46. Neumann, B. H.,Identical relations in groups, I. Math. Ann. 114 (1937), 506–525.

    Article  MATH  MathSciNet  Google Scholar 

  47. —,Embedding theorems for semigroups, J. London Math. Soc. 35 (1960), 184–192.

    Article  MATH  MathSciNet  Google Scholar 

  48. Neumann, B. H.,Special Topics in Algebra, Lecture notes, Courant Institute of Mathematical Sciences, New York University, 1961–62.

  49. —,Varieties of groups, (invited address) Bull. Amer. Math. Soc. 73 (1967), 603–613.

    Article  MATH  MathSciNet  Google Scholar 

  50. Neumann, H.,On varieties of groups and their associated near-rings, Math. Zeitschr. 65 (1956), 36–69.

    Article  MATH  Google Scholar 

  51. —,Varieties of Groups, Springer Verlag New York, 1967.

    Google Scholar 

  52. Neumann, P. M. and J. Wiegold,Schreier varieties of groups, Math. Zeitschr. 85 (1964), 392–400.

    Article  MATH  MathSciNet  Google Scholar 

  53. 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.

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  55. Olshanskii, A., to be published in Izvestia Akad. Nauk. S.S.S.R.

  56. Perkins, P.,Bases for equational theories of semigroups, J. of Algebra XI (1969), 298–314.

    Article  MathSciNet  Google Scholar 

  57. Pierce, R. S.,Introduction to the Theory of Abstract Algebras, 1968, Holt, Rinehart and Winston, Inc.

  58. Schein, B. M.,Homomorphisms and subdirect decompositions of semigroups, Pac. J. Math. 17 (1966), 530–547.

    MathSciNet  Google Scholar 

  59. Schwabauer, R.,A note on commutative semigroups, Proc. Amer. Math. Soc. 20 (1969), 503–504.

    Article  MATH  MathSciNet  Google Scholar 

  60. —,Commutative semigroup laws, Proc. Amer. Math. Soc. 22 (1969), 591–595.

    Article  MathSciNet  Google Scholar 

  61. Tamura, T.,Attainability of systems of identities on semigroups, J. of Algebra 3 (1966), 261–276.

    Article  MATH  Google Scholar 

  62. Tarski, A.,Equationally complete rings and relation algebras, Indag. Math. 18 (1956), 39–46.

    MathSciNet  Google Scholar 

  63. —,Equational logic and equational theories of algebras, Contributions to Math. Logic (Colloquium, Hannover, 1966), 275–288. North Holland, Amsterdam, 1968.

    Google Scholar 

  64. Vaughan-Lee, M. R.,Uncountably many varieties of groups, to be published.

  65. Yamada, M.,The structure of separative bands, Ph.D. dissertation, University of Utah, 1962.

  66. Yaqub, A.,On the identities of certain algebras, Proc. Amer. Math. Soc. 8 (1957), 522–524.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematics Department, Emory University, 30322, Atlanta, Georgia

    Trevor Evans

Authors
  1. Trevor Evans
    View author publications

    You can also search for this author in PubMed Google Scholar

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

Reprints 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

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02572269

Keywords

Search

Navigation