Relationship between the quasi-ideal adequate transversals of an abundant semigroup. (Q1434262)

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.