On modular elements of the lattice of semigroup varieties
A semigroup variety is called if it is a modular element of the lattice of all semigroup varieties. We obtain a strong necessary condition for a semigroup variety to be modular. In particular, we prove that every modular nil-variety may be given by 0-reduced identities and substitutive identities only. (An identity is called if the words and depend on the same letters and may be obtained from by renaming of letters.) We completely determine all commutative modular varieties and obtain...