 Sylow theorems

If $|G|=p^{a}m$ with $p\nmid m$, then $G$ has subgroups of order $p^a$, every $p$-subgroup lies in one, and all such Sylow subgroups are conjugate. Their number satisfies $n_p\equiv 1(\mathrm{mod}p)$ and $n_p\mid m$.

The Sylow theorems are a set of results in group theory, a branch of abstract algebra. They provide important information about the subgroups of a finite group, particularly regarding the existence and properties of p-subgroups, where p is a prime number.