Tolerance relations on eventually regular semigroups (Q1924510)

A semigroup \((S,\cdot)\) is called eventually regular if a power of each element is regular. \textit{P. M. Edwards} [Bull. Aust. Math. Soc. 28, 23-38 (1983; Zbl 0511.20044)] generalized to this class of semigroups Lallement's result on idempotent separating congruences on regular semigroups in determining the maximum one \(\mu\). In the paper under review the author provides another generalization introducing the tolerance (i.e., reflexive and symmetric) relation \({\mathcal H}'\). It is proved that a congruence \(\rho\) on an eventually regular semigroup \(S\) is idempotent separating iff \(\rho\subseteq{\mathcal H}'\). Furthermore, it is shown that for a congruence \(\rho\) on \(S\) every idempotent \(\rho\)-class is a regular subsemigroup of \(S\) if \(\rho\) commutes with \textit{T. E. Hall}'s relation \(V\) [Glasg. Math. J. 13, 167-175 (1972; Zbl 0257.20057)]. Finally, for eventually regular and, more generally, for \(E\)-inversive semigroups (i.e., for every \(a\in S\) there is \(x\in S\) such that \(ax\) is an idempotent) the tolerances are characterized, which are compatible with multiplication on both sides and which are contained in Edwards' relation \(\mu\). The same problem on arbitrary semigroups was dealt with by P. Edwards (loc.cit.) for congruences contained in \(\mu\).