Abstract
We establish a new sufficient condition under which a monoid is non-finitely based and apply this condition to show that the 9-element monoid \(L_4^1\) is non-finitely based. The monoid \(L_4^1\) was the only unsolved case in the finite basis problem for Lee monoids \(L_\ell ^1\), obtained by adjoining an identity element to the semigroup \(L_\ell \) generated by two idempotents a and b subjected to the relation \(0=abab \cdots \) (length \(\ell \)). We also prove a syntactic sufficient condition which is equivalent to the sufficient condition of Lee under which a semigroup is non-finitely based. This gives a new proof to the results of Zhang–Luo and Lee that the semigroup \(L_\ell \) is non-finitely based for each \(\ell \ge 3\).
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
References
Edmunds, C.C.: On certain finitely based varieties of semigroups. Semigroup Forum 15(1), 21–39 (1977)
Edmunds, C.C.: Varieties generated by semigroups of order four. Semigroup Forum 21(1), 67–81 (1980)
Jackson, M.G.: Finiteness properties of varieties and the restriction to finite algebras. Semigroup Forum 70, 159–187 (2005)
Lee, E.W.H.: A sufficient condition for the absence of irredundant bases. Houston J. Math. 44(2), 399–411 (2018)
Lee, E.W.H.: On a class of completely join prime J-trivial semigroups with unique involution. Algebra Universalis 78, 131–145 (2017)
McKenzie, R.N.: Tarski’s finite basis problem is undecidable. Internat. J. Algebra Comput. 6, 49–104 (1996)
Perkins, P.: Bases for equational theories of semigroups. J. Algebra 11, 298–314 (1969)
Sapir, O.B.: Non-finitely based monoids. Semigroup Forum 90(3), 557–586 (2015)
Sapir, O.B.: Lee monoids are non-finitely based while the sets of their isoterms are finitely based. Bull. Aust. Math. Soc. 97(3), 422–434 (2018). https://doi.org/10.1017/S0004972718000023
Volkov, M.V.: The finite basis problem for finite semigroups. Sci. Math. Jpn. 53, 171–199 (2001)
Zhang, W.T., Luo, Y.F.: A new example of non-finitely based semigroups. Bull. Aust. Math. Soc. 84, 484–491 (2011)
Zhang, W.T.: Existence of a new limit variety of aperiodic monoids. Semigroup Forum 86, 212–220 (2013)
Acknowledgements
The authors thank an anonymous referee for helpful comments.
Author information
Authors and Affiliations
Additional information
The research of the first author was supported by the Russian Foundation for Basic Research, project no. 17-01-00551, the Ministry of Education and Science of the Russian Federation, project no. 1.3253.2017, and the Competitiveness Program of Ural Federal University.
Rights and permissions
About this article
Cite this article
Mikhailova, I.A., Sapir, O.B. Lee monoid \(L_4^1\) is non-finitely based. Algebra Univers. 79, 56 (2018). https://doi.org/10.1007/s00012-018-0541-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-018-0541-9