IDEMPOTENT-CONNECTED ABUNDANT SEMIGROUPS WHICH ARE DISJOINT UNIONS OF QUASI-IDEAL ADEQUATE TRANSVERSALS (Q4532453)

For a semigroup \(S\) and \(a,b\in S\) let \(a{\mathcal L}^*b\) if and only if \(a\) and \(b\) are \(\mathcal L\)-related in some oversemigroup of \(S\). Define \({\mathcal R}^*\) in a dual way. A semigroup \(S\) is called abundant if every \({\mathcal L}^*\)-class and every \({\mathcal R}^*\)-class of \(S\) contains an idempotent. An adequate semigroup is an abundant semigroup in which the idempotents commute. An abundant semigroup \(S\) is called idempotent-connected if the following condition and its dual hold for every \(a\in S\): if \(f\leq e=e^2{\mathcal L}^*a\) then \(af=ba\) for some \(b\in S\). A subsemigroup \(U\) of an abundant semigroup \(S\) is said to be a *-subsemigroup of \(S\) if for every \(a\in U\) the \({\mathcal L}^*\)-class and the \({\mathcal R}^*\)-class of \(a\) in \(S\) each contain an idempotent of \(U\). An adequate transversal \(S^\circ\) of an abundant semigroup \(S\) is an adequate *-subsemigroup of \(S\) such that for every \(x\in S\) there exists a unique \(x^\circ\in S^\circ\) and idempotents \(e,f,g,h\) where \(g,h\in S^\circ\), \(x=ex^\circ f\) and \(e{\mathcal L}^*g{\mathcal R}^*x^\circ{\mathcal L}^*h{\mathcal R}^*f\). The adequate transversals considered in this paper also need to be quasi-ideals. The semigroups described in the title are referred to as DUQT-semigroups. Guiding examples are locally inverse semigroups considered in the paper [\textit{F. Pastijn} and \textit{M. Petrich}, Proc. Lond. Math. Soc., III. Ser. 49, 307-328 (1984; Zbl 0519.20041)]. The structure theorems obtained for DUQT-semigroups are patterned after the results of that paper. It is proved that an idempotent-connected abundant semigroup is a DUQT-semigroup if and only if it is a perfect rectangular band of adequate *-subsemigroups of \(S\), and it is found that a semigroup is a DUQT-semigroup if and only if it is isomorphic to a Rees matrix semigroup over an adequate semigroup \(T\) where the entries of the sandwich matrix are units in the translational hull of \(T\).