A concept of variety for regular biordered sets (Q1337481)

From MaRDI portal
Revision as of 22:50, 19 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: reviewed by (P1447): Item:Q587993)
scientific article
Language Label Description Also known as
English
A concept of variety for regular biordered sets
scientific article

    Statements

    A concept of variety for regular biordered sets (English)
    0 references
    0 references
    25 April 1995
    0 references
    A regular biordered set \((E,\cdot,\omega^ l, \omega^ r)\) is a set \(E\) together with two quasiorders \(\omega^ l\) and \(\omega^ r\) and a partial binary operation \(\cdot\), satisfying a finite (but somehow complicated) system of axioms. Regular biordered sets were introduced by \textit{K. S. S. Nambooripad} [Mem. Am. Math. Soc. 224 (1979; Zbl 0457.20051)] and are an abstract characterization of the partial groupoid \(E(S)\) of idempotents of a regular semigroup \(S\). Nambooripad also introduced suitable concepts of morphic image and substructure of regular biordered sets (called ``regular bimorphic image'' and ``relatively regular biordered subset''). In the paper under review, a concept of variety for regular biordered sets is introduced by putting a class \(\mathcal E\) of regular biordered sets to be a ``bivariety'' if \(\mathcal E\) is closed under taking direct products (which are defined in an obvious way), relatively regular biordered subsets, and regular bimorphic images. In the main theorem it is shown that the mapping \({\mathcal V} \mapsto \{E(S) \mid S \in {\mathcal V}\}\) is a complete surjective morphism from the lattice of all existence varieties of regular semigroups onto the lattice of all bivarieties of regular biordered sets. Another interesting result of the paper states that a bivariety \(\mathcal E\) of regular biordered sets contains all free objects if and only if \(\mathcal E\) consists entirely of local semilattices or solid biordered sets. Precisely in these cases, regular biordered sets can be equipped with a total binary operation (extending the partial biordered set product) so that the bivarieties are precisely the varieties of the resulting algebras.
    0 references
    partial groupoid of idempotents
    0 references
    lattice of existence varieties of regular semigroups
    0 references
    lattice of bivarieties of regular biordered sets
    0 references
    quasiorders
    0 references
    partial binary operation
    0 references
    system of axioms
    0 references
    regular biordered sets
    0 references
    regular bimorphic images
    0 references
    local semilattices
    0 references
    solid biordered sets
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references