T. A. Ershova

The lattice of varieties of semigroups with completely regular square. II

We solve (modulo groups) the word problem for free semigroup satisfying $xy = (xy)^n$. This enables us to show that the variety ${\cal {SCR}}_n$ given by this identity is not equal to the join of the varieties ${\cal{CR}}_n$ and ${\cal{SI}}$ defined by the identities $x = x^n$ and $xy = (xy)^2$ respectively. Therefore the result of (M.V.Volkov, T.A.Ershova, The lattice of varieties of semigroup with completely regular square, Monash Conference on Semigroup Theory in Honour of G. B. Preston, World Scientific, Singapore, 1991, 306-322) that the lattice $L({\cal {SCR}}_n)$ is modular does not follow from the earlier results concerning $L({\cal{CR}}_n)$ and $L({\cal{SI}})$. However the variety ${\cal{SO}}_n$ consisting of all semigroups from ${\cal {SCR}}_n$ whose idempotents form a subsemigroup turns out to be equal to the join of the varieties ${\cal O}_n$ of all orthogroups and ${\cal{SI}}$. We deduce from this a description of the lattice $L({\cal{SO}}_n)$ modulo groups.