# The Preimage of a Normal Subgroup Under a Group Homomorphism is Normal ## Problem 116

Let $G$ and $G’$ be groups and let $f:G \to G’$ be a group homomorphism.
If $H’$ is a normal subgroup of the group $G’$, then show that $H=f^{-1}(H’)$ is a normal subgroup of the group $G$. Add to solve later

## Proof.

We prove that $H$ is normal in $G$. (The fact that $H$ is a subgroup in $G$ is left as an exercise.)
For any element $g \in G$ and $h \in H$, we have
$f(ghg^{-1})=f(g)f(h)f(g)^{-1}$ since $f$ is a group homomorphism.

Since $f(g) \in G’$, $f(h)\in H’$, and $H’$ is normal in $G’$, we see that
$f(ghg^{-1})=f(g)f(h)f(g)^{-1} \in H’.$ Thus by the definition of $H$, the element $ghg^{-1} \in H$.
This proves that $H$ is a normal subgroup in $G$. Add to solve later

### More from my site

#### You may also like...

This site uses Akismet to reduce spam. Learn how your comment data is processed.

###### More in Group Theory ##### Isomorphism Criterion of Semidirect Product of Groups

Let $A$, $B$ be groups. Let $\phi:B \to \Aut(A)$ be a group homomorphism. The semidirect product $A \rtimes_{\phi} B$ with...

Close