Sylow subgroup (reviewed)

If $p$ is a prime and $G$ is a finite group of order $p^nm$ where $p\nmid m$, then a $p$-Sylow subgroup of $G$ is any subgroup of order $p^n$.

Sylow subgroups exist for every finite group and prime $p$.