next up previous contents
Next: Rings: definition and basic Up: MT2002 Algebra Previous: Quotient groups   Contents

The first isomorphism theorem

The connection between kernels and normal subgroups induces a connection between quotients and images.

\begin{thm}[The first isomorphism theorem]
If $f\st G\longrightarrow H$\ is a ho...
...phism then
G/\ker(f)\cong \im(f).

For brevity denote $\ker(f)$\ by $N$, and $\im(f)$\ by $K$.
...displaymath}This completes the proof that $\phi$\ is an isomorphism.

The importance of the first isomorphism theorem is that one may consider quotients without working with cosets.

% latex2html id marker 3556The (necessarily normal) subgroup $n{\ma...{Z}}={\mathbb{Z}}/\ker(f)\cong\im(f)={\mathbb{Z}}_n.

Edmund F Robertson

11 September 2006