The maximum idempotent-separating congruence on eventually regular semigroups. (Q2373411)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The maximum idempotent-separating congruence on eventually regular semigroups. |
scientific article |
Statements
The maximum idempotent-separating congruence on eventually regular semigroups. (English)
0 references
19 July 2007
0 references
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\).
0 references
eventually regular semigroups
0 references
idempotent separating congruences
0 references
weak inverses
0 references
regular elements
0 references