Varieties of groupoids associated with involuted restrictive bisemigroups of binary relations (Q1184170)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Varieties of groupoids associated with involuted restrictive bisemigroups of binary relations
scientific article

    Statements

    Varieties of groupoids associated with involuted restrictive bisemigroups of binary relations (English)
    0 references
    28 June 1992
    0 references
    Let \({\mathcal B}(X)\) be the set of binary relations on a set \(X\). Consider the operation \(*\) on \({\mathcal B}(X)\) defined by \(\phi*\psi =\{(x,y)\mid (\exists z)\;(x,z)\in\phi\text{ and }(y,x)\in\psi\}\) (unfortunately, this definition is misprinted in the paper under review). Groupoids embeddable into a groupoid of the form \(({\mathcal B}(X),*)\) for some set \(X\) are proved to form a variety whose basis of identities (consisting of 6 identities) is found.
    0 references
    bases of identities
    0 references
    binary relations
    0 references
    variety
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references