# Commutators in finite groups

I get stuck with this question :

Let $g$ be an element in a finite group $G$, and let $k$ be an integer coprime to $|g|$. Prove that $g$ is a commutator in $G$ if and only if $g^k$ is a commutator.

It is obvious that if $g$ is a commutator, i.e., $g\in G'$ then $g^k\in G'$ since $G'$ is a subgroup of $G$. I dont know how to proceed the converse. Do you have any hint?

• "$g$ is a commutator" is not the same thing as "$g$ is in $G'$". The subgroup $G'$ is generated by the commutators, but it may contain elements that are not, themselves, commutators. – Gerry Myerson Oct 21 '12 at 23:12
• $g=[a,b]=a^{-1}b^{-1}ab$ for some $a,b\in G$. Then $g^k=k^{-1}a^{-1}b^{-1}abk=k^{-1}a^{-1}kk^{-1}b^{-1}kk^{-1}akk^{-1}bk=[a^k,b^k]$. Just kidding. Anyway, I just answered what is evidently problem 2.12 over here math.stackexchange.com/questions/218302/… if that would help you. – Alexander Gruber Oct 22 '12 at 22:35