I have this problem:
Suppose that is a group with for all . Show that is necessarily abelian.
Prove that if is finite, then for some and needs at least generators.
For the first part I did:
, , so:
So is abelian. Is that the same as necessarily abelian?
Not sure how to go about the second part...