Restriction \(\omega \)-semigroups
type: Item
instance of: scholarly article
title: Restriction \(\omega \)-semigroups
zbMATH Open document ID: 1414.20019
author: Dilshad Abdulkadir
author: Yanhui Wang
published in: Semigroup Forum
publication date: 2019-03-01T00:00:00Z
review text: One of the classic theorems of inverse semigroup theory, found independently by \textit{W. D. Munn} [Glasg. Math. J. 9, 46--66 (1968; Zbl 0165.33504)] and \textit{B. P. Kochin} [Vestn. Leningr. Univ., Mat. Mekh. Astron. 23, No. 2, 41--50 (1968; Zbl 0162.32903)], determines the simple inverse semigroups (in fact, by means of a modest extension, all such inverse semigroups), whose semilattice of idempotents is an $\omega$-chain, that is, isomorphic to the nonnegative integers under the reverse of the usual order. The characterization is by ``Bruck-Reilly'' semigroups over finite chains of groups. Various authors have extended this theory (and its precursor, for bisimple $\omega$-semigroups) to classes of ample semigroups and, then, of restriction semigroups. In such semigroups, the semilattice of all idempotents is replaced by a semilattice $E$ of ``distinguished'' idempotents, or ``projections''. The corresponding generalized Green's relations $\widetilde{\mathcal{R}}$, $\widetilde{\mathcal{L}}$, and so on, may then be used to define $\sim$-bisimplicity and $\widetilde{\mathcal{J}}$-simplicity, by analogy. In the class of restriction semigroups, the natural generalization of a finite chain of groups is the strong semilattice of a finite chain of monoids. The authors show that Bruck-Reilly semigroups over such semilattices of monoids are $\widetilde{\mathcal{J}}$-simple restriction $\omega$-semigroups. However, they have the additional property of possessing an ``inverse skeleton'': each member $a$, say, of an $\widetilde{\mathcal{H}}$-class is ``$E$-regular'', that is, possesses an inverse $a^0$ such that $aa^0$, $a^0a$ belong to $E$. The main result is then that the $\widetilde{\mathcal{J}}$-simple restriction $\omega$-semigroups having an inverse skeleton correspond precisely to the above Bruck-Reilly semigroups, generalizing the Munn-Kocin theorem. Reducing to the $\sim$-bisimple case yields the theorem of \textit{S. Ma} et al. [Front. Math. China 8, No. 6, 1391--…
reviewed by: Peter R. Jones
Mathematics Subject Classification ID: 20M10
zbMATH DE Number: 7031581
zbMATH Keywords: Bruck-Reilly semigroups
zbMATH Keywords: $\widetilde{\mathcal{J}}$-simple restriction $\omega$-semigroups
zbMATH Keywords: inverse skeleton
MaRDI profile type: Publication
full work available at URL: s00233-018-9961-2
OpenAlex ID: W2888703994
cites work: *-bisimple type A \(\omega\)-semigroups. I
cites work: \(^*\)-simple type \(A\) \(\omega\)-semigroups
cites work: A Class of d-Simple Semigroups
cites work: Adequate Semigroups
cites work: A Munn type representation for a class of \(E\)-semiadequate semigroups
cites work: Restriction Semigroups and Inductive Constellations
cites work: Semigroups with inverse skeletons and Zappa-Szép products
cites work: Q4846425
cites work: An invitation to \(C\)-semigroups
cites work: On lattices of varieties of restriction semigroups.
cites work: The semigroups \(B_2\) and \(B_0\) are inherently nonfinitely based, as restriction semigroups.
cites work: Almost perfect restriction semigroups
cites work: Q5545984
cites work: Q4537454
cites work: Regular ω-semigroups
cites work: On \(U\)-ample \(\omega\)-semigroups
cites work: ON THE IDEAL STRUCTURE OF A SEMI-GROUP SATISFYING A CANCELLATION LAW
cites work: Bisimple ω-Semigroups
cites work: Weakly \(B\)-orthodox semigroups.
cites work: Hall-type representations for generalised orthogroups.
cites work: Beyond regular semigroups
DOI: 10.1007/S00233-018-9961-2
Recommended article: Q3337662
Recommended article: Finite presentability of Bruck-Reilly extensions of groups
Recommended article: Bicyclic extensions
Recommended article: Restriction and Ehresmann Semigroups
Recommended article: Q3390946
Recommended article: Inverse Monoids With a Natural Semilattice Ordering
Recommended article: Domain theory and mirror properties in inverse semigroups
Recommended article: Distributive closed inverse subsemigroup lattices
Recommended article: The translational hull of an inverse semigroup
Recommended article: Q5325081
description: scientific article; zbMATH DE number 7031581