The varieties of semilattice-ordered semigroups satisfying \(x^3\equiv x\) and \(xy\equiv yx\) (Q1677543)

Let \(\mathbf {CSr}\) be the variety of all additively idempotent semirings \((S,+,\cdot)\) such that \((S,\cdot)\) is a commutative Clifford semigroup satisfying \(x^3\approx x\). It is shown that the lattice \({\mathcal L}(\mathbf{SCr})\) of all subvarieties of \(\mathbf{SCr}\) is a distributive lattice of order 9 which contains the well-known 5-element lattice \(\{{\mathbf T}, {\mathbf D}, {\mathbf M}, {\mathbf D} \vee {\mathbf M}, \mathbf {Bi}\}\) of all idempotent subvarieties. Moreover, all varieties in \({\mathcal L}(\mathbf{SCr})\) are finitely based and finitely generated. This result is obtained by considering semirings \((G^o,+,\cdot)\) constructed from \(0\)-groups \((G^o,\cdot)\) with the commutative and idempotent addition \(a+a=a\) and \(a+b=o\) for all \(a\not=b\) in \(G^o\). If \(A\) denotes the semiring obtained from the group \(G\) of order 2 in this way, and \(A^0\) its semiring with an absorbing zero \(0\) adjoined, then \(\mathbf{HSP}(A^0) = \mathbf{CSr}\). The remaining 3 subvarieties are \({\mathbf D}\vee \mathbf{HSP}(A), {\mathbf D}\vee {\mathbf M}\vee \mathbf{HSP}(A)\) and \(\mathbf{Bi}\vee \mathbf{HSP}(A)\). Moreover, all subdirectly irreducible members of \(\mathbf{HSP}(A)\) are characterized and it is shown that this variety is semisimple.