Ordered semigroups which are both right commutative and right cancellative (Q444689)

Let \(S\) be an ordered semigroup. It is said to be right commutative if \(axy = ayx\), right cancellative if \(a \leq b\) whenever \(ax \leq bx\), and left simple if \(Sa = S\) for all \(a,b,x,y \in S\). The main result of the paper (Theorem 9) says that the following are equivalent: (1) \(S\) is both right commutative and right cancellative, (2) \(S\) is embeddable into a right cancellative and left simple ordered semigroup in which \(a = b\) whenever \(ax = bx\), (3) \(S\) is embedded into a right commutative and right cancellative ordered semigroup. As a consequence, a right commutative and right cancellative ordered semigroup is embeddable into an ordered semigroup \(T\) which is a union of pairwise disjoint abelian groups indexed by a left zero subsemigroup of \(T\).