On \(U\)-orthodox semigroups. (Q1042885): Difference between revisions

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.