Quotient Theorem for Group Epimorphisms

Theorem
Let $\left({G, \oplus}\right)$ and $\left({H, \odot}\right)$ be groups.

Let $\phi: \left({G, \oplus}\right) \to \left({H, \odot}\right)$ be a group epimorphism.

Let $e_G$ and $e_H$ be the identities of $G$ and $H$ respectively.

Let $K = \ker \left({\phi}\right)$ be the kernel of $\phi$.

There is one and only one group isomorphism $\psi: G / K \to H$ satisfying:


 * $\psi \circ q_K = \phi$

Proof
Let $\mathcal R_\phi$ be the equivalence on $G$ defined by $\phi$.

Thus:
 * $K = \left[\!\left[{e_G}\right]\!\right]_{\mathcal R_\phi}$

From the Quotient Theorem for Epimorphisms:
 * $\mathcal R_\phi$ is compatible with $\oplus$

Thus from Kernel is Normal Subgroup of Domain:
 * $K \lhd G$

From Congruence Relation induces Normal Subgroup, $\mathcal R_\phi$ is the equivalence defined by $K$.

Thus, again by Quotient Theorem for Epimorphisms, there is a unique epimorphism $\psi: G / K \to H$ satisfying $\psi \circ q_K = \phi$.

Also known as
Some sources call this the Factor Theorem for Group Epimorphisms.