IDEMPOTENT-CONNECTED ABUNDANT SEMIGROUPS WHICH ARE DISJOINT UNIONS OF QUASI-IDEAL ADEQUATE TRANSVERSALS
For a semigroup \(S\) and \(a,b\in S\) let \(a{\mathcal L}^*b\) if and only if \(a\) and \(b\) are \(\mathcal L\)-related in some oversemigroup of \(S\). Define \({\mathcal R}^*\) in a dual way. A semigroup \(S\) is called abundant if every \({\mathcal L}^*\)-class and every \({\mathcal R}^*\)-class of \(S\) contains an idempotent. An adequate semigroup is an abundant semigroup in which the idempotents commute. An abundant semigroup \(S\) is called idempotent-connected if the following condition and its dual hold for every \(a\in S\): if \(f\leq e=e^2{\mathcal L}^*a\) then \(af=ba\) for some \(b\in S\). A subsemigroup \(U\) of an abundant semigroup \(S\) is said to be a *-subsemigroup of \(S\) if for every \(a\in U\) the \({\mathcal L}^*\)-class and the \({\mathcal R}^*\)-class of \(a\) in \(S\) each contain an idempotent of \(U\). An adequate transversal \(S^\circ\) of an abundant semigroup \(S\) is an adequate *-subsemigroup of \(S\) such that for every \(x\in S\) there exists a unique \(x^\circ\in S^\circ\) and idempotents \(e,f,g,h\) where \(g,h\in S^\circ\), \(x=ex^\circ f\) and \(e{\mathcal L}^*g{\mathcal R}^*x^\circ{\mathcal L}^*h{\mathcal R}^*f\). The adequate transversals considered in this paper also need to be quasi-ideals. The semigroups described in the title are referred to as DUQT-semigroups. Guiding examples are locally inverse semigroups considered in the paper [\textit{F. Pastijn} and \textit{M. Petrich}, Proc. Lond. Math. Soc., III. Ser. 49, 307-328 (1984; Zbl 0519.20041)]. The structure theorems obtained for DUQT-semigroups are patterned after the results of that paper. It is proved that an idempotent-connected abundant semigroup is a DUQT-semigroup if and only if it is a perfect rectangular band of adequate *-subsemigroups of \(S\), and it is found that a semigroup is a DUQT-semigroup if and only if it is isomorphic to a Rees matrix semigroup over an adequate semigroup \(T\) where the entries of the sandwich matrix are units in the translational hull of \(T\).
- Abundant Semigroups with Q-adequate Transversals and Some of Their Special Cases
- Relationship between the quasi-ideal adequate transversals of an abundant semigroup.
- Adequate Transversals of Quasi-Adequate Semigroups
- On Generalized Adequate Transversals
- Abundant semigroups with adequate transversals
- Abundant Semigroups
- Abundant semigroups whose idempotents satisfy permutation identities
- Abundant semigroups with a multiplicative type A transversal
- Adequate Semigroups
- Idempotent-connected abundant semigroups
- On the construction of a class of abundant semigroups
- Quasi-adequate semigroups
- Regular semigroups with a multiplicative inverse transversal
- Some properties of local subsemigroups inherited by larger subsemigroups
- The natural partial order on an abundant semigroup
- On idempotent-connected quasi-adequate semigroups
- On naturally ordered abundant semigroups with an adequate monoid transversal
- Congruences on split quasi-adequate semigroups.
- Split quasi-adequate semigroups.
- Abundant semigroups which are disjoint unions of multiplicative adequate transversals.
- On Adequate Transversals
- MATRIX REPRESENTATION OF RECTANGULAR BANDS OF SEMIGROUPS
- \(*\)-congruences on abundant semigroups with \(SQ\)-adequate transversals.
- Abundant Semigroups with Q-adequate Transversals and Some of Their Special Cases
This page was built for publication: IDEMPOTENT-CONNECTED ABUNDANT SEMIGROUPS WHICH ARE DISJOINT UNIONS OF QUASI-IDEAL ADEQUATE TRANSVERSALS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4532453)
