Universal Property of Quotient Group

Theorem
Let $G,H$ be a groups.

Let $N\trianglelefteq G$ be an normal subgroup.

Let $\pi : G\to G/N$ be the projection.

Let $f:G\to H$ be a group homomorphism with $N\subset\ker f$.

Then there exists a unique group homomorphism $\overline f:G/N \to H$ such that $f = \overline f \circ \pi$.

$\xymatrix{ G \ar[d]^\pi \ar[r]^{\forall f} & H\\ G/N \ar[ru]_{\exists ! \bar f} }$

Also see

 * First Isomorphism Theorem for Groups
 * Definition:Universal Property