Orthogroups with an associate subgroup. (Q987582)

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.