Prove that a group in which all power elements commute with power elements and all power elements commute with power elements, where are relatively prime is abelian.
You're right, of course. I was overlooking that.
There is a neat trick for proving that , which I found on another forum. The key to it is the calculation , and similarly . Since m and n are coprime, it follows that .