# Normalizer of sylow-p subgroup is normal then sylow-p subgroup is normal.

So the question is as follow:

$G$ is a finite group and $P$ is its sylow-p subgroup. Prove that if $N_G(P)\triangleleft G$ then $P\triangleleft G$

So what I'm trying to prove is that $N_G(P)=G$ somehow. my proof goes like this:

$N_G(P)\triangleleft G$ so let $h\in G \backslash N_G(P)$ and $g\in N_G(P)$ so we know that $h^{-1}gh \in N_G(P)$ with that we know that $h^{-1}g^{-1}hPh^{-1}gh=P$. I'm stuck from here I"m trying to show that somehow $P^h=P$ and that will result in $h\in N_G(P)$.

$P$ is characteristic in its normalizer. It is unmoved by any automophism of $N_G(P)$. In particular conjugation. Hence if $N_G(P) \unlhd G$, then $P \unlhd G$. Alternatively you can use the Frattini argument giving $N_G(P)=G$.
• There is a general theorem: if $N \unlhd G$, and gcd($|N|,|G:N|)=1$, then $N$ is characteristic subgroup. That is, for every $\psi \in Aut(G)$, $\psi[N]=N$. It is not difficult to prove. So if a Sylow subgroup is normal, then it MUST be characteristic. – Nicky Hekster Mar 21 '17 at 20:26