Congruences on eventually regular semigroups. (Q1006330)

A semigroup \(S\) is `eventually regular' if some power of each element is regular. Let \(P\) be a subset of the set \(E_S\) of idempotents of such a semigroup that meets each \(\mathcal R\)- and \(\mathcal L\)-class of \(S\). (In addition to the obvious choice of \(P=E_S\), one might consider in a *-regular semigroup the set of projections, that is, the idempotents \(e\) such that \(e=e^*\).) \textit{F. Shao} and the first author [Semigroup Forum 71, No. 3, 401-410 (2005; Zbl 1098.20046)] introduced the notion of the `\(P\)-partial kernel normal system' as a generalization of the kernel normal system of a regular semigroup: a collection of subsets of \(S\) that consists of the congruence classes \(\{p\rho:p\in P\}\) for some congruence \(\rho\) on \(S\). The paper under review expands this idea to that of the `\(P\)-partial congruence pair': a pair \((K,\tau)\) comprising a subset \(K\) of \(S\) and an equivalence relation \(\tau\) on \(P\) such that \(K=P\rho\) and \(\tau=\rho_{|P\times P}\) for some congruence \(\rho\). A variation is the `extensively \(P\)-congruence pair', in which instead \(\tau\) is the restriction of \(\rho\) to \(E_S\times E_S\). The authors define lattice operations on the various classes of kernel normal systems and congruence pairs and consider mappings between the lattices. In the special case of regular semigroups, the mappings are all complete isomorphisms.