Finitely based monoids.

From MaRDI portal



Abstract: We present a method for proving that a semigroup is finitely based and find some new sufficient conditions under which a monoid is finitely based. As an application, we find a class of finite monoids where the finite basis property behaves in a complicated way with respect to the lattice operations but can be recognized by a simple algorithm. The method results in a short proof of the theorem of E. Lee that every monoid that satisfies xtxysy = xtyxsy and xytxsy = yxtxsy is finitely based. Also, the method gives an alternative proof of the theorem of F. Blanchet-Sadri that a pseudovariety of n-testable languages is finitely based if and only if n < 4.


The author provides a rather technical condition (Lemma 3.1) that can be used to prove that certain monoids are finitely based. She applies her condition to give alternative proofs of some results by \textit{E. W. H. Lee} [Mosc. Math. J. 12, No. 4, 787-802 (2012; Zbl 1295.20063)] and \textit{F. Blanchet-Sadri} [Semigroup Forum 47, No. 3, 305-317 (1993; Zbl 0814.20048)] and to investigate the finite basis problem for monoids satisfying the identities \(xyt_1xt_2y=yxt_1xt_2y\), \(xt_1yt_2xy=xt_1yt_2yx\).











This page was built for publication: Finitely based monoids.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q744848)