Powers of Commutative Elements in Semigroups

Theorem
Let $\left ({S, \circ}\right)$ be a semigroup.

Let $a, b \in S$ both be cancellable elements of $S$.

Then the following results hold:

Also see

 * Powers of Commutative Elements in Monoids
 * Powers of Commutative Elements in Groups