We have $(ab)^1 = ab = a^1b^1$, which is true for any group, Abelian or not.
Now, let's assume that the statement is true for some positive integer $k$, i.e., $(ab)^k = a^kb^k$. We want to show that the statement is true for $k+1$.
Consider $(ab)^{k+1} =
Show more…