Covers for monoids. (Q1421817)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Covers for monoids.
scientific article

    Statements

    Covers for monoids. (English)
    0 references
    0 references
    0 references
    0 references
    3 February 2004
    0 references
    A monoid \(M\) is said to be an extension of a submonoid \(T\) by a group \(G\) if there is a homomorphism \(\varphi\colon M\to G\) such that \(T=\varphi^{-1}(1)\). Given a monoid \(M\) and a submonoid \(T\), if there is a monoid \(\widehat M\) with a homomorphism \(\theta\colon\widehat M\to M\) such that \(\widehat M\) is an extension of a submonoid \(\widehat T\) by a group and \(\theta\) maps \(\widehat T\) isomorphically onto \(T\), then such a monoid \(\widehat M\) is said to be a \(T\)-cover of \(M\). The main results in the paper are the following: (1) several characterizations of when a monoid is an extension of a given submonoid by a group (Theorem 4.5); (2) a sufficient condition, in terms of a monoid \(M\) and its submonoid \(T\), for \(M\) to admit a \(T\)-cover (Theorem 5.1). These rather general and remarkable results, which extend considerably many results in the area and for whose precise statements the reader is referred to the paper, are then specialized to particular classes of monoids of interest, namely: (1) monoids which have a minimum group congruence; (2) \(E\)-dense monoids; (3) regular monoids; and (4) finite monoids. -- Group actions on categories play an important role in the characterizations and proofs of the main results.
    0 references
    0 references
    covers
    0 references
    group actions on categories
    0 references
    groupoids
    0 references
    congruences
    0 references
    \(E\)-dense monoids
    0 references
    regular monoids
    0 references
    finite monoids
    0 references
    extensions
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers