Varieties generated by ordered bands. II. (Q2490428)

The paper is a continuation of the article by \textit{S. Ghosh, F. Pastijn} and \textit{X. Z. Zhao} [Order 22, No. 2, 109-128 (2005; see the preceding review Zbl 1097.16018)]. 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. In the above mentioned article the authors proved that \(Sl^+\) is generated, as a variety, by all ordered bands and noticed that the lattice \(L(Sl^+)\) of subvarieties of \(Sl^+\) contains 78 varieties. In this paper the author proves that the lattice \(L(Sl^+)\) is distributive, each element of \(L(Sl^+)\) is a finitely based variety and generated by a finite number of finite ordered bands.