Powers of Commutative Elements in Groups

Theorem
Let $$\left ({S, \circ}\right)$$ be an abelian group.

Then the following results hold:


 * $$\forall m, n \in \Z: a^m \circ b^n = b^n \circ a^m$$
 * $$\forall n \in \Z: \left({a \circ b}\right)^n = a^n \circ b^n$$

Proof
By definition:
 * all elements of a group are invertible;
 * all elements of an abelian group are commutative with each other.

Therefore the results in Powers of Commutative Elements in Monoids‎ can be applied directly.