Cancellable elements of the lattice of monoid varieties

From MaRDI portal
Publication:2236649



Abstract: The set of all cancellable elements of the lattice of semigroup varieties has recently been shown to be countably infinite. But the description of all cancellable elements of the lattice mathbbMON of monoid varieties remains unknown. This problem is addressed in the present article. The first example of a monoid variety with modular but non-distributive subvariety lattice is first exhibited. Then a necessary condition of the modularity of an element in mathbbMON is established. These results play a crucial role in the complete description of all cancellable elements of the lattice mathbbMON. It turns out that there are precisely five such elements.


A monoid variety is a cancellable element of the lattice of monoid varieties if and only if it coincides with one of the varieties \(T\), \(SL\), \(C_2\), \(D\) or \(MON\). \par Here, \(T\), \(SL\), and \(MON\) denote the variety of trivial monoids, the variety of semilattice monoids, and the variety of all monoids, respectively. Moreover \(C_2 = \mathrm{var}\{x^2 \approx x^3, xy \approx yx\}\) and \(D = \mathrm{var}\{x^2 \approx x^3, x^2 y \approx xyx \approx yx^2\}\).











This page was built for publication: Cancellable elements of the lattice of monoid varieties

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