On \(U\)-orthodox semigroups. (Q1042885): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q230222 |
Changed an Item |
||
Property / author | |||
Property / author: Xue-Ming Ren / rank | |||
Normal rank |
Revision as of 11:44, 11 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On \(U\)-orthodox semigroups. |
scientific article |
Statements
On \(U\)-orthodox semigroups. (English)
0 references
7 December 2009
0 references
Let \(S\) be a semigroup with the set of idempotents \(E(S)\). For \(a\in S\) and a non-empty subset \(U\subseteq E(S)\) denote \(U_a^r=\{u\in U\mid au=a\}\) and define relation \(\widetilde{\mathcal L}^U\) by \(a\widetilde{\mathcal L}^Ub\Leftrightarrow U_a^r=U_b^r \); definition of \(\widetilde{\mathcal R}^U\) is dual. \(S\) is called \(U\)-semiabundant if every \(\widetilde{\mathcal L}^U\)-class and every \(\widetilde{\mathcal R}^U\)-class contains idempotents from \(U\); \(U\)-semiabundant semigroup is \(U\)-abundant if \(\widetilde{\mathcal L}^U\) is a right and \(\widetilde{\mathcal R}^U\) is a left congruence; \(U\)-abundant semigroup \((S,U)\) is projection-connected (PC) if for each \(a\in(S,U)\) and for any \(a^\dag\in\widetilde R_a\cap U\), \(a^*\in\widetilde L_a\cap U\) there is an isomorphism \(\alpha\colon\langle a^\dag\rangle\to\langle a^*\rangle\) satisfying \(xa=a(x\alpha)\) for all \(x\in\langle a^\dag\rangle\). A \(U\)-abundant semigroup \((S,U)\) is called \(U\)-orthodox if it is PC and \(U\) is a subsemigroup of \((S,U)\). It is shown, that a \(U\)-orthodox semigroup can be expressed as a spined product of a Hall semigroup and a \(V\)-ample semigroup.
0 references
orthodox semigroups
0 references
\(U\)-orthodox semigroups
0 references
\(U\)-ample semigroups
0 references
spined products
0 references
idempotents
0 references
congruences
0 references
Green relations
0 references