Abstract
Let \(\mathfrak A\) be an alphabet and W be a set of words in the free monoid \({\mathfrak A}^*\). Let S(W) denote the Rees quotient over the ideal of \({\mathfrak A}^*\) consisting of all words that are not subwords of words in W. We call a set of words W finitely based if the monoid S(W) is finitely based. We find a simple algorithm that recognizes finitely based words among words with at most two non-linear variables. We also describe syntactically all hereditary finitely based monoids of the form S(W).
Similar content being viewed by others
References
McKenzie, R.N.: Tarski’s finite basis problem is undecidable. Int. J. Algebra Comput. 6, 49–104 (1996)
Shevrin, L.N., Volkov, M.V.: Russian Math (Iz. VUZ). Identities of semigroups 29(11), 1–64 (1985)
Volkov, M.V.: The finite basis problem for finite semigroups. Sci. Math. Jpn. 53, 171–199 (2001)
Sapir, M.V.: Problems of Burnside type and the finite basis property in varieties of semigroups. Math. USSR Izv. 30(2), 295–314 (1988)
Sapir, M.V.: Inherently nonfinitely based finite semigroups. Math. USSR Sbornik 61(1), 155–166 (1988)
Perkins, P.: Bases for equational theories of semigroups. J. Algebra 11, 298–314 (1969)
Jackson, M.G., Sapir, O.B.: Finitely based, finite sets of words. Int. J. Algebra Comput. 10(6), 683–708 (2000)
Chen, Y.Z., Hu, X., Luo, Y.F., Sapir, O.B.: The finite basis problem for the monoid of \(2 \times 2\) upper triangular tropical matrices. Bull. Aust. Math. Soc. (2016). doi:10.1017/S0004972715001483
Pastijn, F.: Polyhedral convex cones and the equational theory of the bicyclic semigroup. J. Aust. Math. Soc. 81, 63–96 (2006)
Shneerson, L.M.: On the axiomatic rank of varieties generated by a semigroup or monoid with one defining relation. Semigroup Forum 39, 17–38 (1989)
Sapir, O.B.: Finitely based words. Int. J. Algebra Comput. 10(4), 457–480 (2000)
Jackson, M.G.: Finiteness properties of varieties and the restriction to finite algebras. Semigroup Forum 70, 159–187 (2005)
Li, J.R., Zhang, W.T., Luo, Y.F.: On the finite basis problem for certain 2-limited words. Acta Math. Sinica. 29(3), 571–590 (2013)
Sapir, O.B.: Non-finitely based monoids. Semigroup Forum 90(3), 557–586 (2015)
Sapir, O.B.: Finitely based monoids. Semigroup Forum 90(3), 587–614 (2015)
Lee, E.W.H.: Maximal Specht varieties of monoids. Mosc. Math. J. 12, 787–802 (2012)
Jackson, M.G.: On the finite basis problem for finite Rees quotients of free monoids. Acta. Sci. Math. (Szeged) 67, 121–159 (2001)
Lallement, G.: Semigroups and Combinatorial Applications. Wiley, New York (1979)
Lyndon, R.C., Schupp, P.E.: Combinatorial Group Theory. Spriner, Berlin (1977)
Schreier, O.J.: Die Untergruppen der freien Gruppen. Abh. Math. Sem. Univ. Hamburg. 5, 161–183 (1927)
Sapir, O.B.: Finitely based sets of 2-limited block-2-simple words. arXiv:1509.07920 [math.GR]
Acknowledgments
The author thanks Gili Golan for her thoughtful comments and Victor Guba for his suggestion to prove Theorem 6.2 by using the argument of Lyndon and Schupp. The author is also very grateful to the anonymous referee for the helpful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Marcel Jackson.
Rights and permissions
About this article
Cite this article
Sapir, O. The finite basis problem for words with at most two non-linear variables. Semigroup Forum 93, 131–151 (2016). https://doi.org/10.1007/s00233-016-9799-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-016-9799-4