*-bisimple type A \(\omega\)-semigroups. I
type: Item
instance of: scholarly article
title: *-bisimple type A \(\omega\)-semigroups. I
zbMATH Open document ID: 0549.20045
DOI: 10.1007/BF02572642
author: U. Asibong-Ibe
published in: Semigroup Forum
publication date: 1985-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/134739
review text: Two elements a, b of a semigroup S are said to be \({\mathcal L}^*\)-related if there is an over-semigroup T of S in which \(a{\mathcal L}b\); \({\mathcal R}^*\)-related elements are defined dually. The semigroup S is said to be a type A semigroup if each \({\mathcal L}^*\), \({\mathcal R}^*\) class contains an idempotent and if, for each \(a\in S\), \(e\in E(S)\), there exist idempotents f, g such that f\({\mathcal L}^*ea\), \(g{\mathcal R}^*ae\) and \(ea=af\), \(ae=ga\). These semigroups generalize both inverse semigroups and cancellative monoids. Following the pattern of Green's relations in semigroups, we denote by \({\mathcal H}^*\) the intersection of \({\mathcal L}^*\) and \({\mathcal R}^*\) and by \({\mathcal D}^*\) the join of \({\mathcal L}^*\) and \({\mathcal R}^*\). In general it is not true that \({\mathcal L}^*\) and \({\mathcal R}^*\) commute. Also associated with \({\mathcal L}^*\) and \({\mathcal R}^*\) is the relation \(\tilde {\mathcal D}\) defined by \(a\tilde {\mathcal D}b\) if and only if there are idempotents e,f,g,h such that a\({\mathcal L}^*e\), b\({\mathcal L}^*f\), e\({\mathcal D}f\), a\({\mathcal R}^*g\), b\({\mathcal R}^*h\), g\({\mathcal D}h\). On a type A semigroup \({\mathcal D}\subseteq\tilde {\mathcal D}\subseteq {\mathcal D}^*\) but in general \(\tilde {\mathcal D}\neq {\mathcal D}^*.\) The author gives structure and isomorphism theorems for type A semigroups consisting of a single \(\tilde {\mathcal D}\)-class in which the idempotents form an \(\omega\)-chain under the natural partial order. The results obtained are entirely analogous to \textit{N. R. Reilly's} structure theorems for \(\omega\)-bisimple semigroups [Proc. Glasg. Math. Assoc. 7, 160-167 (1966; Zbl 0138.019)]. The role played by a group in Reilly's theory is played by a cancellative monoid here.
Mathematics Subject Classification ID: 20M10
Mathematics Subject Classification ID: 20M15
zbMATH DE Number: 3875550
zbMATH Keywords: idempotents
zbMATH Keywords: inverse semigroups
zbMATH Keywords: cancellative monoids
zbMATH Keywords: Green's relations in semigroups
zbMATH Keywords: isomorphism theorems
zbMATH Keywords: type A semigroups
MaRDI profile type: Publication
cites work: Hereditary and semi-hereditary monoids
cites work: Completely injective semigroups
cites work: Completely Right Injective Semigroups
cites work: Adequate Semigroups
cites work: Abundant Semigroups
cites work: The Maximum Idempotent-Separating Congruence on an Inverse Semigroup
cites work: Q4126563
cites work: Commutative monoids all of whose principal ideals are projective
cites work: Groups, Semilattices and Inverse Semigroups
cites work: Groups, Semilattices and Inverse Semigroups. II
cites work: One-to-one partial right translations of a right cancellative semigroup
cites work: Regular ω-semigroups
cites work: FUNDAMENTAL INVERSE SEMIGROUPS
cites work: Bisimple ω-Semigroups
description: scientific article; zbMATH DE number 3875550