Commutator subgroups