9: The Isomorphism Theorem

Last updated
Save as PDF

Page ID: 84832

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

Recall that our goal here is to use a subgroup of a group \(G\) to study not just the structure of the subgroup, but the structure of \(G\) outside of that subgroup (the ultimate goal being to get a feeling for the structure of \(G\) as a whole). We've further seen that if we choose \(N\) to be a normal subgroup of \(G\), we can do this by studying both \(N\) and the factor group \(G/N\). Now, we've noticed that in some cases—in particular, when \(G\) is cyclic–it is not too hard to identify the structure of a factor group of \(G\). But what about when \(G\) and \(N\) are more complicated? For instance, we have seen that \(SL(5,\mathbb{R})\) is a normal subgroup of \(GL(5,\mathbb{R})\). What is the structure of \(GL(5,\mathbb{R}) / SL(5,\mathbb{R})\)? That is not so easy to figure out by looking directly at left coset multiplication in the factor group.

9.1: The First Isomorphism Theorem
A very powerful theorem, called the First Isomorphism Theorem, lets us in many cases identify factor groups (up to isomorphism) in a very slick way. Kernels will play an extremely important role in this. We therefore first provide some theorems relating to kernels.
9.2: The Second and Third Isomorphism Theorems
The following theorems can be proven using the First Isomorphism Theorem. They are very useful in special cases.
9.3: Exercises
This page contains the exercises for Chapter 9.