First Isomorphism Theorem (Groups) - Imported Knowlpedia Content

First Isomorphism Theorem (Groups). Let $G$ and $H$ be groups, and let $f: G \to H$ be a group homomorphism. Let $K = \ker(f)$ be the kernel of $f$ and let $I = \operatorname{im}(f)$ be the image of $f$ , i.e.

K = \{g \in G : f(g) = e_H\}, \qquad I = \{f(g) : g \in G\}.

Then $K$ is a normal subgroup of $G$ (see kernels are normal subgroups), and the induced map

\bar f: G/K \to I, \qquad \bar f(gK) = f(g),

is a well-defined isomorphism. In particular, if $f$ is surjective then $G/K \cong H$ .

Remarks

This result is the basic "quotient = image" principle and is the prototype for the second and third isomorphism theorems. It is often packaged as an exact sequence $1 \to K \to G \to I \to 1$ .