The lattice generated by some subvarieties of completely regular semigroups. (Q1042811)

The first author and \textit{J.-G. Zhang} [Semigroup Forum 73, No. 2, 261-266 (2006; Zbl 1114.20034)] proved that, in the lattice of varieties of completely regular semigroups, the join of the variety \(\mathcal{OBG}\) of orthodox cryptogroups (orthodox bands of groups) with the variety \(\mathcal{BA}\) of cryptogroups over Abelian groups is the variety \(\mathcal{CBG}\) of central cryptogroups. They relied on a structure theorem proved by \textit{G.-T. Song} and themselves [Acta Math. Sin., Engl. Ser. 23, No. 5, 789-798 (2007; Zbl 1129.20036)]. In the current paper, that and related techniques are used to construct a host of joins in that same lattice of varieties. One key step is to identify the join of the variety of bands with the variety of regular cryptogroups over Abelian groups, by means of a new identity they term `\(x\)-orthodox'. A second is to identify the join of that variety with \(\mathcal{OBG}\).