Abundant semigroups with adequate transversals (Q1961693): Difference between revisions

For a semigroup \(S\), we say that \(a{\mathcal L}^*b\) for \(a,b\in S\) if \(ax=ay\) just when \(bx=by\) for all \(x,y\in S\) and \(a{\mathcal R}^*b\) if \(xa=ya\) just when \(xb=yb\). It is known that \({\mathcal L}^*\) and \({\mathcal R}^*\) are generalizations of the \(\mathcal L\)- and \(\mathcal R\)-Green relations. A semigroup \(S\) is called abundant if any \({\mathcal L}^*\)- and any \({\mathcal R}^*\)-class contains an idempotent element. If, moreover, idempotents commute we say that \(S\) is adequate. An abundant subsemigroup \(U\) of an abundant semigroup \(S\) is called \(*\)-subsemigroup of \(S\) if for any \(a\in U\) there exist idempotents \(e,f\in U\) with \(e{\mathcal L}^*a\) and \(f{\mathcal R}^*a\). A \(*\)-adequate subsemigroup \(S^0\) of an abundant semigroup \(S\) is called an adequate transversal of \(S\) if for any \(x\in S\) there exist a unique \(\overline x\in S^0\), idempotents \(e,f\in S\) and idempotents \(\overline x^*,\overline x^+\in S^0\) with \(x=e\overline xf\), \(e{\mathcal L}\overline x^+\), \(f{\mathcal R}\overline x^*\), \(\overline x{\mathcal L}^*\overline x^*\), and \(\overline x{\mathcal R}^*\overline x^+\). A description of all abundant semigroups with an adequate transversal is presented. This characterization is a generalization of the Rees matrix semigroup construction of all completely simple semigroups and it is also a generalization of El-Qallali's construction of abundant semigroups with an adequate transversal.