Proof of normal subgroup

Question

The question is:

There's a group G, with order pm, where p is a prime number and mcd(p,m) = 1. We suppose that G has an unique p-Sylow subgroup P. Proof that P is a normal subgroup of G.

---

How I understand Sylow's First Theorem, this is obvious from the definition? I've always struggled with giving formal proves, maybe someone can help me in this case, thanks!

Answer 1

Sylow's first theorem says that any $p$-group is contained in a $p$-Sylow subgroup. If $P$ is a unique Sylow $p$-subgroup, and if $(p,m)=1$, with $|G| = pm$, then all conjugates of $P$(in fact all elements of order $p$) is contained within $P$, therefore $P$ is normal.

Answer 2

Hint: For any $q \in G$, the set $qPq^{-1}$ is a subgroup of $G$.

Answer 3

In fact, you do not need to suppose that $P$ is a $p$-Sylow. If $G$ has a unique subgroup $H$ of a given order, then for any $g \in G$, $gHg^{-1}$ is a subgroup of the same order. Therefore, by uniqueness of $H$, $gHg^{-1} = H$ for all $g \in G$ and $H$ is normal.