The maximum idempotent-separating congruence on eventually regular semigroups. (Q2373411)

Let \(S\) be an eventually regular semigroup, i.e., each element of \(S\) has a power which is regular. The maximum idempotent separating congruence \(\mu_S\) on \(S\) was first described by \textit{P. M. Edwards} [Bull. Aust. Math. Soc. 28, 23-38 (1983; Zbl 0511.20044)]. In the paper under review a new characterization of \(\mu_S\) similar to the regular case is given by means of weak inverses: \(x\in S\) is a weak inverse of \(a\in S\) if \(x=xax\). The particular case, where the regular elements of \(S\) form a regular subsemigroup, is dealt with also. Following the regular case further, the restriction of \(\mu_S\) on an eventually regular semigroup \(S\) to an eventually regular subsemigroup \(T\) of \(S\) is shown to be \(\mu_T\) in case that the set of all weak inverses of any \(a\in T\) is contained in \(T\). Finally, supposing that \(T\) has an identity, results due to K. Auinger and T. Hall resp. P. M. Edwards are deduced using this new description of \(\mu_S\).