\(^*\)-simple type \(A\) \(\omega\)-semigroups (Q687634)

For a semigroup \(S\) and \(a,b\in S\), put \(a L^* b\) if and only if \(a\) and \(b\) are \(L\)-related in some oversemigroup of \(S\). The relation \(R^*\) is defined in a dual way and \(D^*\) is the join of \(L^*\) and \(R^*\) in the lattice of equivalence relations on \(S\). A semigroup \(S\) is called a type \(A\) \(\omega\)-semigroup if (i) for every \(a \in S\) the \(L^*\)-class of \(a\) contains a unique idempotent \(a^*\) and the \(R^*\)-class of \(a\) contains a unique idempotent \(a^ +\), (ii) the set \(E(S)\) of idempotents of \(S\) forms an \(\omega\)-chain, (iii) for all \(a\in S\) and \(e \in E(S)\), \(ea = a(ea)^*\) and \(ae = (ae)^ +a\). On such a semigroup define the relation \(\widetilde{D}\) by: \(a \widetilde{D} b\) if and only if \(a^*Db^*\) and \(a^ + D b^ +\). A structure theorem is given for type \(A\) \(\omega\)-semigroups where \(\widetilde{D} = D^*\). Such a semigroup is either an \(\omega\)-chain of cancellative monoids, or, an ideal extension by a finite chain of cancellative monoids of a generalized Bruck-Reilly extension of a finite chain of cancellative monoids. An isomorphism theorem for such a generalized Bruck-Reilly extension is given.