Skip to main content
SpringerLink
Log in

Finite Basis Problem for Semigroups of Order Five or Less: Generalization and Revisitation

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

A system of semigroup identities is hereditarily finitely based if it defines a variety all semigroups of which are finitely based. Two new types of hereditarily finitely based identity systems are presented. Two of these systems, together with eight existing systems, establish the hereditary finite basis property of every semigroup of order five or less with one possible exception.

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. Birjukov, A. P., Varieties of idempotent semigroups, Algebra and Logic 9:153–164, 1970. translation of Algebra i Logika 9:255–273, 1970.

  2. Bol’bot, A. D., Finite basing of identities of four-element semigroups, Siberian Mathematical Journal 20(2): 323, 1979. translation of Sibirsk. Mat. Zh. 20(2):451, 1979.

  3. Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, 1981.

  4. Distler A., Kelsey T.: The monoids of orders eight, nine & ten. Annals of Mathematics and Artificial Intelligence 56, 3–25 (2009)

    Article  Google Scholar 

  5. Distler, A., and J. D. Mitchell, Smallsemi – a GAP package, version 0.6.2, 2010., available at http://www.gap-system.org/Packages/smallsemi.html.

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

  9. Fennemore C.F.: All varieties of bands. I, II. Mathematische Nachrichten 48, 237–262 (1971)

    Article  Google Scholar 

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

    Article  Google Scholar 

  11. Jackson M.: Finite semigroups whose varieties have uncountably many subvarieties. Journal of Algebra 228, 512–535 (2000)

    Article  Google Scholar 

  12. Karnofsky J.: Finite equational bases for semigroups. Notices of the American Mathematical Society 17, 813–814 (1970)

    Google Scholar 

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

    Article  Google Scholar 

  14. Lee E.W.H.: Minimal semigroups generating varieties with complex subvariety lattices. International Journal of Algebra and Computation 17, 1553–1572 (2007)

    Article  Google Scholar 

  15. Lee E.W.H.: On the complete join of permutative combinatorial Rees–Sushkevich varieties. International Journal of Algebra 1, 1–9 (2007)

    Google Scholar 

  16. Lee E.W.H.: Combinatorial Rees–Sushkevich varieties are finitely based.. International Journal of Algebra and Computation 18, 957–978 (2008)

    Article  Google Scholar 

  17. Lee E.W.H.: On the variety generated by some monoid of order five. Acta Scientiarum Mathematicarum (Szeged) 74, 509–537 (2008)

    Google Scholar 

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

    Article  Google Scholar 

  19. Lee E.W.H.: Finite basis problem for 2-testable monoids. Central European Journal of Mathematics 9, 1–22 (2011)

    Article  Google Scholar 

  20. Lee E.W.H., Li J.R.: ‘Minimal non-finitely based monoids’. Dissertationes Mathematicae (Rozprawy Matematyczne) 475, 65 (2011)

    Google Scholar 

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

    Article  Google Scholar 

  22. Lee E.W.H., Volkov M.V.: Limit varieties generated by completely 0-simple semigroups. International Journal of Algebra and Computation 21, 257–294 (2011)

    Article  Google Scholar 

  23. Luo Y.F., Zhang W.T.: On the variety generated by all semigroups of order three. Journal of Algebra 334, 1–30 (2011)

    Article  Google Scholar 

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

    Article  Google Scholar 

  25. Oates S., Powell M.B.: Identical relations in finite groups. Journal of Algebra 1, 11–39 (1964)

    Article  Google Scholar 

  26. Perkins, P., Decision Problems for Equational Theories of Semigroups and General Algebras, Ph.D. thesis, Univeristy of California, Berkeley, 1966.

  27. Perkins P.: Bases for equational theories of semigroups. Journal of Algebra 11, 298–314 (1969)

    Article  Google Scholar 

  28. Pickert G.: Zur Übertragung der Kettensätze. Mathematische Annalen 121, 100–102 (1949) (in German)

    Article  Google Scholar 

  29. Plemmons R.J.: There are 15973 semigroups of order 6. Mathematical Algorithms 2, 2–17 (1967)

    Google Scholar 

  30. Pollák G.: On hereditarily finitely based varieties of semigroups. Acta Scientiarum Mathematicarum (Szeged) 37, 339–348 (1975)

    Google Scholar 

  31. Pollák, G., A class of hereditarily finitely based varieties of semigroups, in Colloq. Math. Soc. János Bolyai, Vol. 20, North Holland, 1979, pp. 433–445.

  32. Pollák, G., On identities which define hereditarily finitely based varieties of semigroups, in Colloq. Math. Soc. János Bolyai, Vol. 20, North Holland, 1979, pp. 447–452.

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

    Article  Google Scholar 

  34. Pollák, G., and M. V. Volkov, On almost simple semigroup identities, in Colloq. Math. Soc. János Bolyai, Vol. 39, North Holland, 1985, pp. 287–323.

  35. Shevrin, L. N., and M. V. Volkov, Identities of semigroups, Russian Mathematics (Izvestiya VUZ) 29(11):1–64, 1985. translation of Izv. Vyssh. Uchebn. Zaved. Mat. (11):3–47, 1985.

  36. Tarski, A., Equational logic and equational theories of algebras, in H. A. Schmidt et al., (eds.), Contributions to Mathematical Logic, North Holland, 1968, pp. 275–288.

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

    Article  Google Scholar 

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

    Google Scholar 

  39. Trahtman, A. N., Bases of identities of five-element semigroups, in The 16-th All-Union Algebraic Conference, Leningrad, 1981, p. 133 (in Russian).

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

    Article  Google Scholar 

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

  42. Volkov, M. V., Semigroup varieties with a modular subvariety lattice. III, Russian Mathematics (Izvestiya VUZ) 36(8):18–25 1992. translation of Izv. Vyssh. Uchebn. Zaved. Mat. 8:21–29, 1992.

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Division of Math, Science, and Technology, Nova Southeastern University, Fort Lauderdale, FL, 33314, 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

Corresponding author

Correspondence to Edmond W. H. Lee.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lee, E.W.H. Finite Basis Problem for Semigroups of Order Five or Less: Generalization and Revisitation. Stud Logica 101, 95–115 (2013). https://doi.org/10.1007/s11225-012-9369-z

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-012-9369-z

Keywords

Search

Navigation