Orthogroups with an associate subgroup. (Q987582)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Orthogroups with an associate subgroup. |
scientific article |
Statements
Orthogroups with an associate subgroup. (English)
0 references
13 August 2010
0 references
An orthogroup is defined as a semigroup 1) which is a union of its subgroups and 2) its idempotents form a subsemigroup. A subgroup of a semigroup \(S\) is referred to as an associate subgroup if for every element \(s\in S\) there exists exactly one element \(s^*\in G\) such that \(s=ss^*s\). The identity element of an associate subgroup of \(S\) is called the zenith of \(S\). The article describes completely regular and orthodox semigroups as well as orthogroups in the class of semigroups that have a unary operation * such that the semigroup has a zenith and the following axioms are satisfied: A1) \(s=ss^*s\), A5) \(s^*t^*=(s^*t^*)^{**}\), A6) \(s=st^*s\Rightarrow s^*=t^*\). Additionally, some important properties of orthogroups with an associate subgroup are described.
0 references
completely regular semigroups
0 references
orthogroups
0 references
associate subgroups
0 references
unary operations
0 references
axioms
0 references
identities
0 references
idempotents
0 references
semilattices of rectangular groups
0 references