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:

and:

So is abelian. Is that the same asnecessarilyabelian?

-------

Not sure how to go about the second part...