A commutator in a group is any element for . If is subgroup of , prove contains all the commutators of iff and is abelian.

Attempt

( ) is trivial. To show is abelian, take and and show they commute, how do I do this?

( ) This is the harder direction. I don't see how to prove this way.

Thanks for any help.