\(^*\)-simple type \(A\) \(\omega\)-semigroups (Q687634): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q593275 |
||
Property / reviewed by | |||
Property / reviewed by: Q587994 / rank | |||
Revision as of 20:41, 19 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(^*\)-simple type \(A\) \(\omega\)-semigroups |
scientific article |
Statements
\(^*\)-simple type \(A\) \(\omega\)-semigroups (English)
0 references
14 June 1994
0 references
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.
0 references
abundant semigroup
0 references
lattice of equivalence relations
0 references
idempotents
0 references
type \(A\) \(\omega\)-semigroups
0 references
\(\omega\)-chain of cancellative monoids
0 references
ideal extension
0 references
generalized Bruck-Reilly extension
0 references