Good \(B\)-quasi-Ehresmann semigroups. (Q989753)

Let \(S\) be a semigroup with plentiful supply of idempotents, i.e. each \(\mathcal L^*\) and \(\mathcal R^*\)-class contains an idempotent [\textit{J. Fountain}, Proc. Lond. Math. Soc., III. Ser. 44, 103-129 (1982; Zbl 0481.20036)]. Let \(B\) be a non-empty set of idempotents of \(S\); for \(a\in S\) denote by \(B_a^r\), \(B_a^l\) the sets of right and left identities of \(a\) in \(B\). The semigroup \(S\) is called \(B\)-semiabundant if each \(\widetilde{\mathcal L}^B\), \(\widetilde{\mathcal R}^B\)-class meets \(B\), where the equivalence \(\widetilde{\mathcal L}^B\) is defined by \(\widetilde{\mathcal L}^B=\{(a,b)\in S\times S,\;B_a^r=B_b^r\}\) and \(\widetilde{\mathcal R}^B\) is defined dually [\textit{M. V. Lawson}, Proc. Edinb. Math. Soc., II. Ser. 33, No. 1, 23-37 (1990; Zbl 0668.20049)]. If \(B\) is a sub-band of a \(B\)-semiabundant semigroup \(S\), then \(S\) is called good \(B\)-quasi-Ehresmann if \(aB({a^*})B({b^ + })b\subseteq B({(ab)^ + })abB({(ab)^*})\), where \(a^*\) is a typical element from \(B\cap\widetilde{\mathcal L}_a^B\) and \(a^+\) is a typical element from \(B\cap\widetilde{\mathcal R}_a^B\). It is proved that every good \(B\)-quasi-Ehresmann semigroup has a global and a standard representation.