The maximum idempotent-separating congruence on eventually regular semigroups.

From MaRDI portal
Publication:2373411





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\).











This page was built for publication: The maximum idempotent-separating congruence on eventually regular semigroups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2373411)