Past exam of the mathematics course of the University of Cambridge / 2006 / ib / Paper 2 / 11E / ii / Solution

The remaining Sylow theorems state that every $p$-subgroup of a finite group is contained in a Sylow subgroup, and that all Sylow $p$-subgroups are conjugate. If $|G|=p^{n}r$ with $p\nmid r$ and $n_p$ is the number of Sylow $p$-subgroups, thenIn particular $n_p=1$ if and only if that Sylow subgroup is a normal subgroup.