# Image of a Normal Sylow p-subgroup P is a subgroup of P

If $P$ is a normal Sylow p-subgroup of a finite group $G$ and $f:G\to G$ is an endomorphism, then $f(P)$ is a subgroup of $P$.

I have a solution but it does not use that fact that $P$ is Sylow p-subgroup of $G$. Any help is greatly appreciated. Thanks.

• What is your solution? Perhaps it requires being a Sylow $p$-subgroup, but you don't see where it requires it (or it could be wrong). Feb 12, 2013 at 12:34

$f(P)$ is a $p$-group (for the first isomorphism theorem), so it is contained is some $p$-Sylow (for the Sylow's theorem). But since $P$ is a normal $p$-Sylow, it is the unique $p$-Sylow (this again for the Sylow's theorem); so $f(P)\subseteq P$.
• If $P$ is a normal Sylow p-subgroup of $G$, does it always follow that it is the unique Sylow p-subgroup of $G$? Feb 12, 2013 at 13:04
Let $y\in P$. Since $P$ is a Sylow p-subgroup, every element of $P$ has order a power$(\ge0)$ of some fixed prime $p$, i.e, $y^{p^k}=e$. Thus, $f(y^{p^k})=f(e)$ implies that $[f(y)]^{p^k}=e$, where $f(y)\in f(P)$. Hence, every element of $f(P)$ has order a power of $p$ and so $f(P)$ is a $p$-subgroup of $G$. By the Second Sylow Theorem, there exists $x\in G$ such that $f(P)$ is a subgroup of $xPx^{-1}$. But since $P$ is normal in $G$, $xPx^{-1}=P$. Therefore, $f(P)$ is a subgroup of $P$.