Rees matrix covers for regular semigroups (Q795929)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Rees matrix covers for regular semigroups
scientific article

    Statements

    Rees matrix covers for regular semigroups (English)
    0 references
    1984
    0 references
    A regular semigroup S is called locally P (for some property P) if each local submonoid eSe has P (where \(e\in E(S))\). A homomorphism from a regular semigroup is called a local isomorphism if it is one-to-one on all local submonoids. In [Trans. Am. Math. Soc. 277, 727-738 (1983; Zbl 0516.20039)] the author showed that S is locally inverse if and only if S is a locally isomorphic image of a regular Rees matrix semigroup over an inverse semigroup. In this paper he proves analogs of this theorem for locally E-solid semigroups (regular semigroups whose idempotent generated part is completely regular), for locally orthodox semigroups and for locally L-unipotent semigroups. He proves that S is locally E-solid [locally orthodox, locally L-unipotent] if and only if S is a locally isomorphic image of a regular Rees matrix semigroup over an E-solid [orthodox, L-unipotent] semigroup. The proof utilises a construction which begins with a Rees matrix semigroup \({\mathcal M}(S;E,E;Q)\), where \(E=E(S)\) and Q is any \(E\times E\) matrix such that (i) \(q_{f,e}\in fSe\) and (ii) \(q_{e,e}=e\), for all e,\(f\in E\). One then considers the regular subsemigroup \(W=\{(e,x,f):\quad x\in eSf\}.\) The key result is that if \(\psi\) :\(W\to T\) is a local isomorphism onto a regular semigroup T, then S is a locally isomorphic image of a regular Rees matrix semigroup over T. This is coupled with results of \textit{T. E. Hall} [Semigroup Forum 25, 35-48 (1982; Zbl 0497.20049)] to obtain these covering theorems. Locally isomorphic images of regular Rees matrix semigroups over completely regular semigroups are characterized as those regular semigroups which are locally complete regular and whose principal ideals form a semilattice under intersection. Finally it is shown that if a locally E-solid semigroup S is the multiplicative semigroup of a ring, then S is in fact a semilattice of groups.
    0 references
    0 references
    0 references
    0 references
    0 references
    local isomorphism
    0 references
    local submonoids
    0 references
    locally isomorphic image
    0 references
    regular Rees matrix semigroup
    0 references
    inverse semigroup
    0 references
    locally E-solid semigroups
    0 references
    locally orthodox semigroups
    0 references
    locally L-unipotent semigroups
    0 references
    covering theorems
    0 references
    multiplicative semigroup of a ring
    0 references
    semilattice of groups
    0 references
    0 references