Normal subgroup equals kernel of homomorphism

This article gives the statement, and possibly proof, of a basic fact in group theory.
View a complete list of basic facts in group theory
VIEW FACTS USING THIS: directly | directly or indirectly, upto two steps | directly or indirectly, upto three steps|
VIEW: Survey articles about this

This article gives a proof/explanation of the equivalence of multiple definitions for the term [[Normal subgroup]][[fact about::Normal subgroup;1| ]]
View a complete list of pages giving proofs of equivalence of definitions

Statement

Verbal statement

A subgroup of a group occurs as the kernel of a group homomorphism if and only if it is normal.

Symbolic statement

A subgroup $N$ of a group $G$ occurs as the kernel of a group homomorphism if and only if, for every $g$ in $G$, $gN{g}^{-1}$ ⊆ $N$.

Definitions used

Kernel of a group homomorphism

A map $\varphi :G$ → $H$ is a homomorphism of groups if

• $\varphi (gh)=\varphi (g)\varphi (h)$ for all $g,h$ in $G$
• $\varphi (e)=e$
• $\varphi (g^{-1})=(\varphi (g){)}^{-1}$

The kernel of $\varphi$ is defined as the inverse image of the identity element under $\varphi$.

Normal subgroup

For the purpose of this statement, we use the following definition of normality: a subgroup $H$ is normal in a group $G$ if $H$ contains each of its conjugate subgroups, that is, $gN{g}^{-1}$ ⊆ $N$ for every $g$ in $G$.

Proof

Kernel of homomorphism implies normal subgroup

Let $\varphi :G$ → $H$ be a homomorphism of groups. We first prove that the kernel (which we call $N$) of $\varphi$ is a subgroup:

• Identity element: Since $\varphi (e)=e$, $e$ is contained in $N$
• Product: Suppose $a,b$ are in $N$. Then $\varphi (a)=e$ and $\varphi (b)=e$. Using the fact that $\varphi (ab)=\varphi (a)\varphi (b)$, we conclude that $\varphi (ab)=e$. Hence $ab$ is also in $N$.
• Inverse: Suppose $a$ is in $N$. Then $\varphi (a)=e$. Using the fact that $\varphi (a^{-1}=\varphi (a{)}^{-1}$, we conclude that $\varphi (a^{-1})=e$. Hence, $a^{-1}$ is also in $N$.

Now we need to prove that $N$ is normal. In other words, we must show that if $g$ is in $G$ and $n$ is in $N$, then $gn{g}^{-1}$ is in $N$.

Since $n$ is in $N$, $\varphi (n)=e$.

Consider $\varphi (gn{g}^{-1})=\varphi (g)\varphi (n)\varphi (g^{-1})=\varphi (g)\varphi (g^{-1})=\varphi (g{g}^{-1})=\varphi (e)=e$. Hence, $gn{g}^{-1}$ must belong to $N$.

Normal subgroup implies kernel of homomorphism

Let $N$ be a normal subgroup of a group $G$. Then, $N$ occurs as the kernel of a group homomorphism. This group homomorphism is the quotient map $\varphi :G\to G/N$.

The map is defined as follows:

$\varphi (x)=xN$

Notice that the map is a group homomorphism if we equip the coset space $G/N$ with the following structure:

$(aN)(bN)=abN$

This gives a well-defined group structure because, on account of $N$ being normal, the equivalence relation of being in the same coset of $N$ yields a congruence.

Further information: quotient map