Partial kernel normal systems for eventually regular semigroups. (Q2491197)

A semigroup \(S\) is eventually regular (sometimes \(\pi\)-regular elsewhere in the literature) if some power of each element is regular. The authors have generalised the familiar notion of kernel normal system to that of a so-called \(P\)-partial kernel normal system and prove that every regular congruence on \(S\) is uniquely determined by its \(P\)-partial kernel normal system. The set of \(P\)-partial kernel normal systems of \(S\) forms a complete lattice that is a meet-homomorphic image of the lattice of congruences of \(S\).