Definition Let be a group. The commutator subgroup is the the subgroup Properties The commutator subgroup is a normal subgroup. The quotient is abelian.