Let denote the class of aperiodic monoids with central idempotents. A subvariety of that is not contained in any finitely generated subvariety of is said to be inherently non-finitely generated. A characterization of inherently non-finitely generated subvarieties of , based on identities that they cannot satisfy and monoids that they must contain, is given. It turns out that there exists a unique minimal inherently non-finitely generated subvariety of , the inclusion of which is both necessary and sufficient for a subvariety of to be inherently non-finitely generated. Further, it is decidable in polynomial time if a finite set of identities defines an inherently nonfinitely generated subvariety of .
Similar content being viewed by others
References
S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer Verlag, New York (1981).
M. Jackson, “On the finite basis problem for finite Rees quotients of free monoids,” Acta Sci. Math. (Szeged), 67, 121–159 (2001).
M. Jackson, “Finiteness properties of varieties and the restriction to finite algebras,” Semigroup Forum, 70, 159–187 (2005).
M. Jackson and O. Sapir, “Finitely based, finite sets of words,” Internat. J. Algebra Comput., 10, 683–708 (2000).
E. W. H. Lee, “Finitely generated limit varieties of aperiodic monoids with central idempotents,” J. Algebra Appl., 8, 779–796 (2009).
E. W. H. Lee, “Cross varieties of aperiodic monoids with central idempotents,” Port. Math., 68, 425–429 (2011).
E. W. H. Lee, “Maximal Specht varieties of monoids,” Mosc. Math. J., 12, 787–802 (2012).
E. W. H. Lee, “Varieties generated by 2-testable monoids,” Studia Sci. Math. Hungar., 49, 366–389 (2012).
E. W. H. Lee, “Almost Cross varieties of aperiodic monoids with central idempotents,” Beitr. Algebra Geom., 54, 121–129 (2013).
P. Perkins, “Bases for equational theories of semigroups,” J. Algebra, 11, 298–314 (1969).
O. Sapir, “Finitely based words,” Internat. J. Algebra Comput., 10, 457–480 (2000).
O. Sapir, “The variety of idempotent semigroups is inherently non-finitely generated,” Semigroup Forum, 71, 140–146 (2005).
H. Straubing, “The variety generated by finite nilpotent monoids,” Semigroup Forum, 24, 25–38 (1982).
Author information
Authors and Affiliations
Corresponding author
Additional information
Published in Zapiski Nauchnykh Seminarov POMI, Vol. 423, 2014, pp. 166–182.
Rights and permissions
About this article
Cite this article
Lee, E.W.H. Inherently Non-Finitely Generated Varieties of Aperiodic Monoids with Central Idempotents. J Math Sci 209, 588–599 (2015). https://doi.org/10.1007/s10958-015-2515-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-015-2515-1