# Abstract Algebra/Group Theory/Homomorphism/Kernel of a Homomorphism is a Normal Subgroup

${\displaystyle {\text{ker}}~f}$ is a normal subgroup.
${\displaystyle f(g\ast n\ast g^{-1})=f(g)\circledast f(n)\circledast f(g^{-1})=f(g)\circledast e_{K}\circledast f(g^{-1})=f(g)\circledast f(g^{-1})=f(g\ast g^{-1})=f(e_{G})=e_{K}}$