The lattice of ai-semiring varieties satisfying \(x^n \approx x\) and \(xy \approx yx\) (Q2308104)

The semirings in the title are algebras \((S,+,\cdot)\) such that the additive reduct is a semilattice, the multiplicative reduct is a semigroup, and where multiplication distributes over addition. The authors study varieties of ai-semirings with commutative multiplication satisfying the identitity \(x^n = x\). Note that such algebras may also be considered as semilattice ordered commutative semigroups satisfying \(x^n = x\). For \(n = 2\) they are bisemilattices (both reducts are semilattices). The lattice of such bisemilattices was described by \textit{R. McKenzie} and the reviewer [Proc. Klagenfurt Conf. 1978, 213--218 (1979; Zbl 0419.06003)]. Further investigations of varieties of semilattice ordered semigroups have quite a long history briefly summarized in the introduction. The authors investigate the lattice \(\mathcal{L}(\mathbf{CSr}(n,1))\) of subvarieties of the variety \(\mathbf{CSr}(n,1)\) of ai-semirings in the title. They divide the lattice into five intervals, and provide an explicit description of four of them. They also show that all members of \(\mathcal{L}(\mathbf{CSr}(n,1))\) are finitely based and finitely generated.