First Isomorphism Theorem

📜

The statement of the theorem

Let

\phi: G \to H

be a group homomorphism. Then the kernel of

\phi

is a normal subgroup of

G

, and the image of

\phi

is isomorphic to the quotient group

G / \ker(\phi)

Source: Wikipedia