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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Birjukov, A. P., Varieties of idempotent semigroups, Algebra and Logic 9:153–164, 1970. translation of Algebra i Logika 9:255–273, 1970.
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.
Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, 1981.
Distler A., Kelsey T.: The monoids of orders eight, nine & ten. Annals of Mathematics and Artificial Intelligence 56, 3–25 (2009)
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.
Edmunds C.C.: On certain finitely based varieties of semigroups. Semigroup Forum 15, 21–39 (1977)
Edmunds C.C.: Varieties generated by semigroups of order four. Semigroup Forum 21, 67–81 (1980)
Edmunds C.C., Lee E.W.H., Lee K.W.K.: Small semigroups generating varieties with continuum many subvarieties. Order 27, 83–100 (2010)
Fennemore C.F.: All varieties of bands. I, II. Mathematische Nachrichten 48, 237–262 (1971)
Gerhard J.A.: The lattice of equational classes of idempotent semigroups. Journal of Algebra 15, 195–224 (1970)
Jackson M.: Finite semigroups whose varieties have uncountably many subvarieties. Journal of Algebra 228, 512–535 (2000)
Karnofsky J.: Finite equational bases for semigroups. Notices of the American Mathematical Society 17, 813–814 (1970)
Lee E.W.H.: Identity bases for some non-exact varieties. Semigroup Forum 68, 445–457 (2004)
Lee E.W.H.: Minimal semigroups generating varieties with complex subvariety lattices. International Journal of Algebra and Computation 17, 1553–1572 (2007)
Lee E.W.H.: On the complete join of permutative combinatorial Rees–Sushkevich varieties. International Journal of Algebra 1, 1–9 (2007)
Lee E.W.H.: Combinatorial Rees–Sushkevich varieties are finitely based.. International Journal of Algebra and Computation 18, 957–978 (2008)
Lee E.W.H.: On the variety generated by some monoid of order five. Acta Scientiarum Mathematicarum (Szeged) 74, 509–537 (2008)
Lee E.W.H.: Hereditarily finitely based monoids of extensive transformations. Algebra Universalis 61, 31–58 (2009)
Lee E.W.H.: Finite basis problem for 2-testable monoids. Central European Journal of Mathematics 9, 1–22 (2011)
Lee E.W.H., Li J.R.: ‘Minimal non-finitely based monoids’. Dissertationes Mathematicae (Rozprawy Matematyczne) 475, 65 (2011)
Lee E.W.H., Reilly N.R.: Centrality in Rees–Sushkevich varieties. Algebra Universalis 58, 145–180 (2008)
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)
Luo Y.F., Zhang W.T.: On the variety generated by all semigroups of order three. Journal of Algebra 334, 1–30 (2011)
Mashevitzky G.: On the finite basis problem for completely 0-simple semigroup identities. Semigroup Forum 59, 197–219 (1999)
Oates S., Powell M.B.: Identical relations in finite groups. Journal of Algebra 1, 11–39 (1964)
Perkins, P., Decision Problems for Equational Theories of Semigroups and General Algebras, Ph.D. thesis, Univeristy of California, Berkeley, 1966.
Perkins P.: Bases for equational theories of semigroups. Journal of Algebra 11, 298–314 (1969)
Pickert G.: Zur Übertragung der Kettensätze. Mathematische Annalen 121, 100–102 (1949) (in German)
Plemmons R.J.: There are 15973 semigroups of order 6. Mathematical Algorithms 2, 2–17 (1967)
Pollák G.: On hereditarily finitely based varieties of semigroups. Acta Scientiarum Mathematicarum (Szeged) 37, 339–348 (1975)
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.
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.
Pollák G.: On two classes of hereditarily finitely based semigroup identities. Semigroup Forum 25, 9–33 (1982)
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.
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.
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.
Tishchenko A.V.: The finiteness of a base of identities for five-element monoids. Semigroup Forum 20, 171–186 (1980)
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)
Trahtman, A. N., Bases of identities of five-element semigroups, in The 16-th All-Union Algebraic Conference, Leningrad, 1981, p. 133 (in Russian).
Trahtman A.N.: The finite basis question for semigroups of order less than six. Semigroup Forum 27, 387–389 (1983)
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).
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.
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.
Author information
Authors and Affiliations
Corresponding author
Rights 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
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9369-z