Varieties generated by ordered bands. II. (Q2490428)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Varieties generated by ordered bands. II. |
scientific article |
Statements
Varieties generated by ordered bands. II. (English)
0 references
2 May 2006
0 references
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.
0 references
idempotent semirings
0 references
orders
0 references
identities
0 references
ordered bands
0 references
multiplicative reducts
0 references
additive reducts
0 references
varieties of semirings
0 references
lattices of varieties
0 references
finitely based varieties
0 references