Semigroup varieties with modular lattice of subvarieties. III (Q1317587)

In the first two parts of the paper [Sov. Math. 33, No. 6, 48-58 (1989); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1989, No. 6(325), 51-60 (1989; Zbl 0706.20044) and Russ. Math. 36, No. 7, 1-6 (1992); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1992, No. 7(362), 3-8 (1992; see the preceding review Zbl 0815.20048)] the author reduced the problem of description of semigroup varieties with a modular subvariety lattice to a consideration of nilpotent varieties and so-called varieties of index \(\leq 2\), i.e. varieties all whose nil-semigroups are zero ones. Analogous results were obtained there for varieties with a distributive subvariety lattice. In the article under review the author proves that a semigroup variety of index \(\leq 2\) has a modular subvariety lattice if and only if, for some \(n > 1\), it satisfies one of the following systems of identities: \(xy = (xy)^ n\); \(xy = x^ ny\), \((xy)^ n = xy^ n\), \(xyzt = xyx^{n- 1}zt\); \(xy = xy^ n\), \((xy)^ n = x^ ny\), \(xyzt = xyt^{n - 1}zt\). It is proved also that if \(V\) is a variety of index \(\leq 2\) and \(V\) does not satisfy the first of the listed identity systems for any \(n > 1\) then the subvariety lattice of \(V\) is distributive if and only if \(V\) satisfies one of the two remaining identity systems for some \(n > 1\) and each subvariety of \(V\) consisting of groups has a distributive subvariety lattice.