An abelian quotient is a quotient group that is an abelian group. It exists only for a normal subgroup , and it is abelian exactly when contains the commutator subgroup. Thus every abelian quotient factors through the abelianization .
New to topics? Read the docs here!