Certain congruences on \(E\)-inversive \(E\)-semigroups (Q1849724): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s002330010131 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2025539089 / rank | |||
Normal rank |
Latest revision as of 19:10, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Certain congruences on \(E\)-inversive \(E\)-semigroups |
scientific article |
Statements
Certain congruences on \(E\)-inversive \(E\)-semigroups (English)
0 references
1 December 2002
0 references
A semigroup \((S,\cdot)\) is called \(E\)-inversive if for every \(a\in S\), \(ax\in E(S)\) for some \(x\in S\) (where \(E(S)\) denotes the set of all idempotents of \(S\)) -- note that any regular or finite semigroup is \(E\)-inversive. \(S\) is called \(E\)-semigroup if \(E(S)\) forms a subsemigroup of \(S\). \(S\) is called \(E\)-dense if \(S\) is \(E\)-inversive and the idempotents of \(S\) commute. Let \(S\) be an \(E\)-inverse \(E\)-semigroup. In this paper, first a new characterization of the least group congruence on \(S\) is given by means of \(W(a)=\{x\in S\mid x=xax\}\) for \(a\in S\). Next, a semilattice congruence on \(S\) is defined which for eventually regular \(E\)-semigroups is the least such congruence. Furthermore, ``small'' regular congruences on \(S\) are found, which on certain regular semigroups are equal to the identity relation. It is shown that in general, for \(E\)-inversive \(E\)-semigroups (even for eventually regular \(E\)-semigroups) a least regular congruence does not exist. Finally, the idempotent separating congruence \(\mu\) defined by \textit{P. Edwards} for arbitrary semigroups [Bull. Aust. Math. Soc. 28, 23-38 (1983; Zbl 0511.20044)] is characterized for \(E\)-inversive \(E\)-semigroups. It is shown that in the case that \(E(S)\) forms a rectangular band, \(\mu\) is the greatest idempotent separating congruence. Also a characterization of \(\mu\) is given for \(E\)-dense semigroups.
0 references
idempotents
0 references
finite semigroups
0 references
group congruences
0 references
semilattice congruences
0 references
eventually regular \(E\)-semigroups
0 references
regular congruences
0 references
regular semigroups
0 references
\(E\)-inversive \(E\)-semigroups
0 references
idempotent separating congruences
0 references
rectangular bands
0 references
\(E\)-dense semigroups
0 references