week16: Commutator subgroups