Proper covers for left ample semigroups. (Q2491199)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proper covers for left ample semigroups.
scientific article

    Statements

    Proper covers for left ample semigroups. (English)
    0 references
    0 references
    0 references
    26 May 2006
    0 references
    A left ample semigroup can be defined as a semigroup \((S,.)\) with a unary operation \(+\) such that there exists a \((2,1)\)-algebra embedding of \(S\) into an inverse monoid. In particular, any inverse semigroup \(I\) is left ample defining \(a^+=aa^{-1}\) for any \(a\in I\). A left ample semigroup \(S\) is called proper if \(a^+=b^+\) and \(a\rho b\) imply \(a=b\), where \(\rho\) denotes the least right cancellative monoid congruence on \(S\). A left ample semigroup \(P\) is a proper cover of \(S\) if \(P\) is proper and there exists a \((2,1)\)-homomorphism from \(P\) onto \(S\) which maps \(E(P)\) isomorphically onto \(E(S)\). Using relational resp. dual prehomomorphisms of a left ample semigroup \(S\), analogues of results on \(E\)-unitary covers of inverse semigroups due to \textit{D. B. McAlister} and \textit{N. R. Reilly} [Pac. J. Math. 68, 161-174 (1977; Zbl 0368.20043)] are proved for left ample semigroups. If a left ample semigroup \(S\) is \(E\)-dense (i.e., for any \(a\in S\) there is \(b\in S\) such that \(ab\in E(S)\)) the construction given yields \(E\)-dense proper covers of \(S\). Also, proper covers of left ample semigroups \(S\) are constructed using strict embeddings of \(S\) into factorizable left ample monoids. It is noted that in this case not all proper covers of \(S\) arise in this way. However, if \(S\) is \(E\)-dense those \(E\)-dense proper covers are characterized, which can be constructed from such embeddings.
    0 references
    left ample semigroups
    0 references
    monoid congruences
    0 references
    inverse semigroups
    0 references
    \(E\)-unitary covers
    0 references
    proper covers
    0 references
    idempotents
    0 references
    relational morphisms
    0 references
    dual prehomomorphisms
    0 references
    strict embeddings
    0 references
    0 references

    Identifiers