\(E\)-inversive Dubreil-Jacotin semigroups. (Q2391159)

From MaRDI portal
scientific article
Language Label Description Also known as
English
\(E\)-inversive Dubreil-Jacotin semigroups.
scientific article

    Statements

    \(E\)-inversive Dubreil-Jacotin semigroups. (English)
    0 references
    0 references
    0 references
    24 July 2009
    0 references
    A semigroup \(S\) with non-empty set \(E\) of idempotents is said to be \(E\)-inversive if for every \(x\in S\) there exists \(y\in S\) such that \(xy\in E\). This concept was introduced by \textit{G. Thierrin} [Acad. R. Belg., Bull. Cl. Sci., V. Sér. 41, 83-92 (1955; Zbl 0064.02003)]. The class of \(E\)-inversive semigroups is wide and contains many different types, for example all regular, all eventually regular (hence all finite) semigroups, and all Rees matrix semigroups over a group with zero. Here the authors are concerned with those \(E\)-inversive semigroups that are equipped with a compatible order, called `ordered \(E\)-inversive semigroups'. An ordered semigroup \(S\) is a `Dubreil-Jacotin semigroup' if and only if there is an ordered group \(G\) and an isotone epimorphism \(f\colon S\to G\) that is principal, in the sense that the pre-image of the negative cone of \(G\) is a principal down-set of \(S\) [\textit{T. S. Blyth}, Lattices and ordered algebraic structures. Universitext. London: Springer (2005; Zbl 1073.06001)]. Using group congruences, the authors obtain necessary and sufficient conditions for an ordered \(E\)-inversive semigroup to be a Dubreil-Jacotin semigroup. The authors also determine when such a semigroup is naturally ordered. In particular, when the subset of regular elements is a subsemigroup it contains a multiplicative inverse transversal.
    0 references
    \(E\)-inversive semigroups
    0 references
    Dubreil-Jacotin semigroups
    0 references
    inverse transversals
    0 references
    idempotents
    0 references
    compatible orders
    0 references
    ordered semigroups
    0 references
    congruences
    0 references
    0 references

    Identifiers