Theorem 14.9

Return to Theorems, Glossary, Homework Problems.


Let $H$ be a normal subgroup of $G$. Then $\gamma :G\rightarrow G/H$ given by $\gamma (x)=xH$ is a homomorphism with kernel $H$.


Let $x,y\in G$. Then,

\begin{align} \gamma (xy) = (xy)H = (xH)(yH) = \gamma (x)\gamma (y) \end{align}

so $\gamma$ is a homomorphism. Since $xH=H$ if and only if $x\in H$, we can see that the kernel of $\gamma$ is indeed in $H$.

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License