Union of monomial varieties of algebras (Q799715)

Let M be the lattice of varieties of algebras on a fixed associative commutative ring R, with respect to union and intersection of varieties. The problem whether all finitely based varieties of M form a sublattice is still open for lattices of the classical varieties Ass, Alt and Lie. The author proves that the set of all monomial varieties i.e. varieties defined by a set of polylinear monomials forms a lattice Mon and gives a negative answer to the problem for the lattice Mon. Indeed, he proves that if A and B are varieties defined by the monomials \((x_ 1x_ 2)((x_ 3x_ 4)x_ 5)\) and \(x_ 1(x_ 2(x_ 3x_ 4))\), respectively then their union \(A+B\) has no finite basis of identities (Theorem 2). The author also proves that all infinitely based monomial varieties form no sublattice of the lattice Mon (Theorem 3). Indeed, he finds two infinitely based monomial varieties the union of which is a finitely based monomial variety.