Fifth Sylow Theorem

Theorem
The number of Sylow $p$-subgroups of a finite group is a divisor of their common index.

Proof
By the Orbit-Stabilizer Theorem, the number of conjugates of $P$ is equal to the index of the normalizer $\map {N_G} P$.

Thus by Lagrange's Theorem, the number of Sylow $p$-subgroups divides $\order G$.

Let $m$ be the number of Sylow $p$-subgroups, and let $\order G = k p^n$. From the Fourth Sylow Theorem, $m \equiv 1 \pmod p$.

So it follows that $m \nmid p \implies m \nmid p^n$.

Thus $m \divides k$ which is the index of the Sylow $p$-subgroups in $G$.

Also known as
Some sources call this the fourth Sylow theorem and merge it with what we call the Fourth Sylow Theorem.

Others merge this result with what we call the Fourth Sylow Theorem and call it the third Sylow theorem.

Others merge this with what we call the Third Sylow Theorem and call it the third Sylow theorem.

Also see

 * Sylow Theorems