Sylow theorems

Also known as Sylow theorem

the theorem that, for a finite group of order a mutiple of 𝑝ⁿ, there exist Sylow 𝑝-subgroups of order 𝑝ⁿ (all of whom are conjugate), whose number equals the index of the normalizer of any such subgroup