# Exercise #26 from “Abel's Theorem in Problems and Solutions” by Alekseev

Exercise:

Prove, that for every element $a$ of the group: $(a^m)^{-1}=(a^{-1})^m$, where $m$ is natural.

On the #23 was proven that $$(a_1 \centerdot \ldots \centerdot a_n)^{-1} = a_n^{-1} \centerdot \ldots \centerdot a_1^{-1}$$ and I believe that #26 directly follows from this, when $a_i=a$ for all $i$ from $1$ to $n$. Would you be so kind to tell me am I right? (Author gives another, not so simple answer.)

Thanks.

-

You are correct, assuming that $m$ is a natural number (if $m=0$ it doesn't follow from #26 but its not hard to see why its true in this case).
You can also prove this easily from the definition, just recall that $a,a^{-1}$ commute beetwen them