Sylow subgroup is normal iff subgroups generated are p-subgroups

Question

For finite group $G$ and Sylow p-subgroup $P$, prove that

$P \unlhd G \iff$ all subgroups generated by elements of order a power of $p$ are p-subgroups of $G$.

$\\\\$

I have no idea how to prove this in either direction, so any help is appreciated.

Answer 1

$(\Rightarrow)$ part is easy since every $p$-power element of $G$ is in $P$, any subgroup generated by $p$-power elements is contained in $P$.

$(\Leftarrow)$ is again easy. Say there are two Sylow subgroups $P,Q$. Let $S=P\cup Q$. Then $S$ generates a $p$-group containing both $P$ and $Q$. Since $P,Q$ are Sylow, that implies $S=P=Q$ so $P\triangleleft G$.

Answer 2

If this is you definition of $p$ subgroup then

$\Rightarrow$

Subgroups generated by elements having order $p^k$ form are subgroups of $P$.

claim: $P$ is a $p$ group iff $|P|=p^n$

Pf: $\Leftarrow$ is trivial.

Conversely, suppose $\exists q||P|$ then by cauchy's theorem there will be an element of order $q$ in $P$. Contradiction. Hence the claim.

Using that claim we get that those subgroups are $p$ groups.

$\Leftarrow$,

$P$ is normal as it is fixed by each conjugation operation.