On lattice-universal varieties of algebras (Q1390477)

A class \(K\) of algebras is lattice-universal if every lattice can be embedded into the subalgebra lattice of some algebra in \(K\). Theorem 1: A variety of semigroups \(V\) is lattice-universal iff \(V\) contains a semigroup that is not a nilpotent extension of a rectangular band of groups, or \(V\) is periodic and the class of groups in \(V\) is a lattice-universal class of semigroups. Theorem 2: The associative ring varieties defined by \(\{ px=0, x=x^{p}\} \) or \(\{ px=0, xy=yx, x^{p} =0 \} \) for some prime \(p\) are lattice-universal. Thus every non-nilpotent variety of associative rings is lattice-universal. Theorem 3: Every nontrivial lattice variety is lattice-universal. This strengthens a result of \textit{D. X. Hong} [``On sublattice lattice varieties'', Algebra Univers. 27, 411-412 (1990; Zbl 0723.06008)].