Quasi-orthodox semigroups with inverse transversals
type: Item
instance of: scholarly article
title: Quasi-orthodox semigroups with inverse transversals
zbMATH Open document ID: 0618.20041
DOI: 10.1007/BF02575004
author: Tatsuhiko Saito
published in: Semigroup Forum
publication date: 1987-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/134884
review text: Let S be a regular semigroup. A subsemigroup \(S\circ\) of S is called an inverse transversal of S if \(S\circ\) contains a single inverse of every element of S. Regular semigroups with inverse transversals were first studied by Blyth and McFadden (1982). In case that an inverse transversal \(S\circ\) of a regular semigroup S is a quasi-ideal of S, a complete description of the structure of S was given by McAlister and McFadden (1983). A regular semigroup S is called quasi-orthodox if there exist an inverse semigroup \(\Gamma\) and a surjective homomorphism \(\phi\) : \(S\to \Gamma\) such that \(\lambda \phi^{-1}\) is a completely simple subsemigroup of S for each idempotent \(\lambda\) of \(\Gamma\). In this paper, we first obtain a necessary and sufficient condition in order for regular semigroups with inverse transversals to be quasi- orthodox. The inverse transversal \(S\circ\) of a quasi-orthodox semigroup S does not necessarily need to be a quasi-ideal of S. Let S be a regular semigroup with an inverse transversal \(S\circ\). If \(x\in S\), the inverse of x which belongs to \(S\circ\) is denoted by \(x\circ\). The sets \(I=\{e\in S:\) \(ee\circ =e\}\) and \(\Lambda =\{f\in S:\) \(f\circ f=f\}\) play an important role to investigate the structure of S. McAlister and McFadden showed that, if \(S\circ\) is a quasi-ideal of S, then they are subbands of S. We here show that I and \(\Lambda\) are subbands of S when S is a quasi- orthodox semigroup. In case that I and \(\Lambda\) are subbands of S, a structure theorem of a regular semigroup S with an inverse transversal \(S\circ\) was given by the author (1984). By using the result, we obtain a structure theorem of quasi-orthodox semigroups with inverse transversals.
Mathematics Subject Classification ID: 20M10
zbMATH DE Number: 4002389
zbMATH Keywords: inverse transversals
zbMATH Keywords: idempotent
zbMATH Keywords: regular semigroups
zbMATH Keywords: quasi-orthodox semigroup
zbMATH Keywords: quasi-ideal
zbMATH Keywords: subbands
MaRDI profile type: Publication
cites work: Regular semigroups with a multiplicative inverse transversal
cites work: Q4126563
cites work: REGULAR SEMIGROUPS WITH INVERSE TRANSVERSALS
cites work: SEMIGROUPS WITH INVERSE TRANSVERSALS AS MATRIX SEMIGROUPS
cites work: Q3800298
cites work: A note on regular semigroups with inverse transversals
cites work: Q3903186
OpenAlex ID: W2078105472
description: scientific article; zbMATH DE number 4002389