Abundant semigroups with a medial idempotent (Q1899945)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Abundant semigroups with a medial idempotent
scientific article

    Statements

    Abundant semigroups with a medial idempotent (English)
    0 references
    0 references
    18 March 1996
    0 references
    As a generalization of regular semigroups \textit{J. Fountain} [Proc. Lond. Math. Soc., III. Ser. 44, 103-129 (1982; Zbl 0481.20036)] introduced abundant semigroups, defined by the property that every \({\mathcal L}^*\)-class and every \({\mathcal R}^*\)-class of \(S\) contains an idempotent, where \(a{\mathcal L}^*b\) \((a{\mathcal R}^*b)\) if and only if \(a, b \in S\) are \(\mathcal L\)- (\({\mathcal R}\)-)related in some oversemigroup of \(S\). An idempotent \(u\) of an abundant semigroup \(S\) is medial if \(x = xux\) for any \(x \in \langle E_S\rangle\), the subsemigroup of \(S\) generated by the set \(E_S\) of idempotents of \(S\). Furthermore, a medial idempotent \(u \in S\) is normal if \(u\langle E_S \rangle u\) is a semilattice. \textit{T. Blyth} and \textit{R. McFadden} [Proc. R. Soc. Edinb., Sect. A 91, 107-122 (1981; Zbl 0503.20025)] found a construction of all regular semigroups with a normal medial idempotent. \textit{M. Loganathan} [Semigroup Forum 36, 69-74 (1987; Zbl 0627.20035)] modified this construction obtaining all regular semigroups with a medial idempotent. And \textit{A. El-Qallali} [Acta Math. Hung. 56, 77-91 (1990; Zbl 0717.20044)] generalized this construction to the class of all abundant semigroups containing a normal medial idempotent. In the paper under review, the author finally extends this method to all abundant semigroups with a medial idempotent starting from an idempotent generated regular semigroup containing a medial idempotent \(u\) and an abundant semigroup \(S\) such that \(E_S = uRu\). Remark: As far as we are aware of, the semigroups \(S\) indicated in the last sentence above are not known yet.
    0 references
    regular semigroups
    0 references
    abundant semigroups
    0 references
    idempotents
    0 references
    normal medial idempotents
    0 references
    0 references

    Identifiers