Varieties generated by ordered bands. I. (Q2490426)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Varieties generated by ordered bands. I. |
scientific article |
Statements
Varieties generated by ordered bands. I. (English)
0 references
2 May 2006
0 references
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.
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