Relationship between the quasi-ideal adequate transversals of an abundant semigroup. (Q1434262): Difference between revisions
From MaRDI portal
Latest revision as of 17:22, 6 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relationship between the quasi-ideal adequate transversals of an abundant semigroup. |
scientific article |
Statements
Relationship between the quasi-ideal adequate transversals of an abundant semigroup. (English)
0 references
7 July 2004
0 references
Let \(S\) be a semigroup. \(a{\mathcal R}^*b\) means that \(xa=ya\) if and only if \(xb=yb\) for all \(x,y\in S^1\). The relation \({\mathcal L}^*\) is defined dually. A semigroup \(S\) is called an abundant semigroup if each \({\mathcal R}^*\)-class and each \({\mathcal L}^*\)-class contains an idempotent. An abundant semigroup is called adequate if its idempotents commute. The so called adequate transversals of abundant semigroups are considered. If \(S^0\) is an adequate transversal of \(S\) then two special idempotents \(e_x\) and \(f_x\) are determined for every \(x\in S\). A subsemigroup \(S^0\) of \(S\) is called a quasi-ideal if \(S^0SS^0\subseteq S^0\). The main result says that if \(S^0\) and \(S^*\) are quasi-ideal adequate transversals of an abundant semigroup \(S\) and the corresponding sets \(I=\{e_x\mid x\in S\}\) and \(\Lambda=\{f_x\mid x\in S\}\) are sub-bands of \(S\), then \(S^0\) and \(S^*\) are isomorphic.
0 references
abundant semigroups
0 references
quasi-ideals
0 references
transversals
0 references
idempotents
0 references