On eventually regular semigroups (Q1964672)

The authors prove that a weakly commutative semigroup is eventually regular if and only if it is idempotent surjective. Studying properties of eventually regular semigroups, they get a new short proof of the known statement that in a regular semigroup, any congruence is completely determined by its kernel and trace. Finally, they attempt to describe the smallest congruence on an eventually regular semigroup, for which the quotient semigroup is regular.\newline [Supplement by R. Grigon, added November 2014:\newline Weipoltshammer (see https://zbmath.org/?q=an:01837421) gave an example of a finite semigroup with semilattice of idempotents on which the smallest regular congruence does not exist (Example 5.1 on page 239). However, the authors showed that if \(I\) is an ideal of an arbitrary semigroup \(S\), then the Ress congruence \(\rho_I\) is regular (that is, the quotient semigroup \(S/\rho_I\) is regular) if and only if the set of all non-regular elements of \(S\) is contained in \(I\). ]