On a conjecture of Brown.
A semigroup variety is called modular 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 substitutive if the words and depend on the same letters and may be obtained from by renaming of letters.) We completely determine all commutative modular...
The paper contains characterizations of semigroup varieties whose semigroups with one generator (two generators) are permutable. Here all varieties of regular -semigroups are described in which each semigroup with two generators is permutable.