Semigroup varieties with modular lattice of subvarieties. II (Q1317569)

In the first part 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)] the author proved that a semigroup variety \(V\) with a modular subvariety lattice satisfies one of the following conditions: (a) every nil-semigroup of \(V\) is a zero one; (b) \(V \subseteq C \vee G \vee M\) where \(C = \text{var}\{x^ 2 = x^ 3\), \(xy = yx\}\), \(G\) is an abelian periodic group variety, and \(M \subseteq \text{var}\{x^ 2y = xyx = yx^ 2 = 0\), \(x_ 1 x_ 2 x_ 3 x_ 4 = x_{1\pi} x_{2\pi} x_{3\pi} x_{4\pi}\}\) where \(\pi\) is an even permutation of \(S_ 4\); (c) \(V\subseteq N \vee SL\) where \(N\) is a nil- variety and \(SL = \text{var}\{x = x^ 2\), \(xy = yx\}\). (Actually, the condition (b) here slightly differs from that in the paper mentioned above where the restriction to \(\pi\) was incorrect.) It was also proved in the first part of the paper that if a variety \(V\) has a distributive subvariety lattice then it satisfies either one of conditions (a) and (c) or the following condition: (\(\text{b}'\)) \(V \subseteq C \vee G \vee M\) where \(C\) and \(G\) have the same meaning as in the condition (b) and \(M \subseteq \text{var}\{x^ 2y = xyx = yx^ 2 = 0\), \(x_ 1 x_ 2 x_ 3 = x_{1\pi} x_{2\pi} x_{3\pi}\}\) where \(\pi\) is a non-trivial permutation of \(S_ 3\). In the paper under review the author proves that a variety satisfying the condition (b) (resp., (\(\text{b}'\))) has a modular (resp., distributive) subvariety lattice.