A commutator in a group is any element for . If is subgroup of , prove contains all the commutators of iff and is abelian.
( ) 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.