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
    0 references
    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

    Identifiers