The lattice of varieties of monoids
We survey results devoted to the lattice of varieties of monoids. Along with known results, some unpublished results are given with proofs. A number of open questions and problems are also formulated.
arXiv subjects
Publications and source records attributed to Boris M. Vernikov.
We survey results devoted to the lattice of varieties of monoids. Along with known results, some unpublished results are given with proofs. A number of open questions and problems are also formulated.
We completely determine all varieties of monoids on whose free objects all fully invariant congruences or all fully invariant congruences contained in the least semilattice congruence permute. Along the way, we find several new monoid varieties with the distributive subvariety lattice (only a few examples of varieties with such a property are known so far).
We completely determine all cancellable elements in the lattice OC of overcommutative semigroup varieties. In particular, we prove that an overcommutative semigroup variety is a cancellable element of the lattice OC if and only if it is a neutral element of this lattice
A variety of universal algebras is called a chain variety if its subvariety lattice is a chain. Non-group chain varieties of semigroups were completely classified by Sukhanov in 1982. Here we completely determine non-group chain varieties of monoids as algebras of tyoe (2,0).
We completely determine all semigroup varieties satisfiyng a permutational identity of length 3 that are cancellable elements of the lattice of all semigroup varieties. Using this result, we provide a series of new examples of semigroup varieties that are a modular but not cancellable elements of this lattice.
We completely determine all semigroup varieties satysfiyng a permutational identity of length 3 that are modular elements of the lattice of all semigroup varieties. Using this result, we provide an example of a semigroup variety that is a modular but not cancellable element of this lattice.
We completely determine all commutative semigroup varieties that are cancellable elements of the lattice SEM of all semigroup varieties. In particular, we prove that, for commutative varieties, the properties of being cancellable and modular elements of SEM are equivalent.