Construction of semigroups with the congruence extension property (Q4527170)

A semigroup \(S\) is said to have the congruence extension property (CEP) if for every congruence \(\rho_T\) on any subsemigroup \(T\) of \(S\) there exists a congruence \(\rho\) on \(S\) whose restriction to \(T\) is \(\rho_T\). A characterization of semigroups with CEP was given recently by the author. Using the result that a semigroup \(S\) having CEP is a semilattice \(Y\) of nil-extensions of rectangular groups \(S_\alpha\) (\(\alpha\in Y\)), the author presents a construction of all such semigroups \(S\). It is based on the construction of all (nil-)extensions of completely simple semigroups due to \textit{A. H. Clifford} [Trans. Am. Math. Soc. 68, 165-175 (1950; Zbl 0037.01001)], resp. to \textit{S. Bogdanović} [Semigroups with a system of subsemigroups, Novi Sad (1985; Zbl 0569.20049)] and that of all (orthodox) completely regular semigroups given by \textit{M. Petrich} [Trans. Am. Math. Soc. 189, 211-236 (1974; Zbl 0291.20082)]. It consists of 12 conditions on certain relations defined on the semilattice \(Y\) and further 7 conditions on certain homomorphisms of the rectangular groups \(S_\alpha\) (\(\alpha\in Y\)). Defining a multiplication on \(T=\bigcup S_\alpha\) (5 different cases) it is shown that every semigroup \(S\) with CEP is isomorphic to some semigroup \(T\) constructed in the way above. For the entire collection see [Zbl 0946.00017].