Varieties generated by ordered bands. I. (Q2490426)

A band is a semigroup in which every element is an idempotent. An algebraic system \((S,\cdot,\leq)\) is called an ordered band if \((S,\cdot)\) is a band, \((S,\leq)\) a chain. Given the ordered band \((S,\cdot,\leq)\) one writes \(a+b=a\) if and only if \(a\leq b\). The algebra \((S,+,\cdot)\) is in fact an idempotent semiring: both \((S,+)\) and \((S,\cdot)\) are bands. Equivalently, an ordered band is a semiring \((S,+,\cdot)\) such that \((S,\cdot)\) is a band and \((S,+)\) is a semilattice which happens to be a chain. In the paper, ordered bands are regarded as such semirings. Let \(Sl^+\) denote the variety consisting of the semirings \((S,+,\cdot)\) for which \((S,+)\) is a semilattice and \((S,\cdot)\) is a band. The authors prove that \(Sl^+\) is generated, as a variety, by all ordered bands. They notice that the lattice of subvarieties of \(Sl^+\) contains 78 varieties, 35 of which are displayed in the diagram of the paper.