Universal Property of Abelianization of Group/Proof 1

Proof
Let $e_G$ be the identity element of $G$.

Let $e_H$ be the identity element of $H$.

Then:

The result follows from the definition of abelianization and Universal Property of Quotient Group.