A concept of variety for regular biordered sets

DOI10.1007/BF02573495MaRDI QIDQ1337481zbMATH OpenFDO

Authors Raymond Broeksteeg

Publication date 25 April 1995

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/135358

zbMATH Keywords

lattice of bivarieties of regular biordered setslattice of existence varieties of regular semigroupslocal semilatticespartial binary operationpartial groupoid of idempotentsquasiordersregular bimorphic imagesregular biordered setssolid biordered setssystem of axioms

Mathematics Subject Classification ID

Partial algebras (08A55) Lattices of varieties (08B15) Varieties and pseudovarieties of semigroups (20M07) Regular semigroups (20M17)

Review text

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.

Recommendations

• A new proof that regular biordered sets come from regular semigroups
• Biordered Sets of Eventually Regular Semigroups
• scientific article; zbMATH DE number 459358
• A biordered set representation of regular semigroups.
• Concepts of congruence, morphic image and substructure for biordered sets^†
• Coextensions of eventually regular biordered sets by rectangular biordered sets
• scientific article; zbMATH DE number 3972917
• Biordered sets of semigroups
• scientific article; zbMATH DE number 1829420
• Construction of biordered sets from vector bundles

Cites work

• Biordered sets come from semigroups
• Biordered sets of bands
• Biordered Sets of Eventually Regular Semigroups
• Coextensions of Regular Semigroups by Rectangular Bands.I
• scientific article; zbMATH DE number 3179521 (Why is no real title available?)
• scientific article; zbMATH DE number 3732115 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3552814 (Why is no real title available?)
• Identities for existence varieties of regular semigroups
• Local semilattices on two generators
• On regular semigroups
• On the Lattice of Existence Varieties of Locally Inverse Semigroups
• Regular semigroups: Amalgamation and the lattice of existence varieties
• Structure of regular semigroups. I
• Structure of regular semigroups. I: Fundamental regular semigroups
• THE EXISTENCE OF E-FREE OBJECTS IN E-VARIETIES OF REGULAR SEMIGROUPS
• The free local semilattice on a set
• The free pseudo-semilattice on two generators
• The fundamental representation of a completely regular semigroup
• The set of idempotents of a completely regular semigroup as a binary algebra
• The structure of pseudo-semilattices
• The structure of solid binary algebras

Cited in

(8)

• \(e\)-varieties of regular semigroups, relatively bifree objects and fully invariant congruences
• A biordered set representation of regular semigroups.
• Uniform bands.
• Biorder ideals and regular rings
• scientific article; zbMATH DE number 1829420 (Why is no real title available?)
• Concepts of congruence, morphic image and substructure for biordered sets^†
• A new proof that regular biordered sets come from regular semigroups
• Independence of axioms for biordered sets

This page was built for publication: A concept of variety for regular biordered sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1337481)