Extensions of left regular bands by \(\mathcal{R}\)-unipotent semigroups (Q2052791)

A semigroup \(S\) is an extension of a subsemigroup \(H\) by a semigroup \(T\) if \(H\) is the inverse image of the set of idempotents of \(T\) under a morphism of \(S\) onto \(T\). The extension is idempotent-pure if \(H\) itself consists of idempotents. Thus, given an \({\mathcal{R}}\)-unipotent semigroup \(T\), the (regular) semigroups in the title are the \({\mathcal{R}}\)-unipotent semigroups that are idempotent-pure extensions of \(T\). This work builds on foundational work of O'Carroll, on \(E\)-unitary inverse semigroups, and the generalization by \textit{M. B. Szendrei} [Semigroup Forum 32, 87--96 (1985; Zbl 0564.20037)], to \(E\)-unitary \({\mathcal{R}}\)-unipotent semigroups. Given an \({\mathcal{R}}\)-unipotent semigroup \(S\), it is shown that the set of `permissible' subsets forms an inverse semigroup that maps onto the corresponding semigroup of the inverse quotient \(S/\gamma\). A wreath product construction involving this semigroup yields the main theorem, that if \(S\) is an \({\mathcal{R}}\)-unipotent semigroup and \(\rho\) an idempotent-pure congruence on \(S\), then \(S\) is embeddable in a semidirect product of a left regular band with \(S/\rho\). In the last section, a question raised by \textit{M. J. J. Branco} et al. [Semigroup Forum 81, No. 1, 51--70 (2010; Zbl 1237.20055)] regarding embedding in a \(\lambda\)-semidirect product, is answered in the negative.