Commutativity of Powers in Semigroup

From ProofWiki
Jump to navigation Jump to search


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

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


$\forall m, n \in \N_{>0}: a^m \circ b^n = b^n \circ a^m \iff a \circ b = b \circ a$


Necessary Condition

Let $a, b \in S: a \circ b = b \circ a$.

Then from Powers of Commuting Elements of Semigroup Commute:

$\forall m, n \in \N_{>0}: a^m \circ b^n = b^n \circ a^m$


Sufficient Condition

For the above relationships and equalities to hold, it follows that $a$ and $b$ must commute.

The result follows.