Homomorphism to abelian group

abelian-groupsabstract-algebragroup-homomorphismgroup-theorynormal-subgroups

Let $\phi :G \rightarrow G'$ be group homomorphism and $H$ is subgroup of $G$ such that $ker(\phi)\subseteq H$. Also $G'$ is abelian. Then which of the following are correct.

  • H is normal in G

  • $ker(\phi)=H$

  • H is not normal in G

I know all subgroups of G' is normal in G' and pre image of normal subgroup is normal in G.
Will this imply H normal in G

Best Answer

Yes. $\phi(H)$ is a subgroup of $G'$. All subgroups of an abelian group are normal. Therefore the preimage of $\phi(H)$ is normal in $G$.