$p$-sous-groupe de Sylow

Soit $p$ un nombre premier. Soit $G$ un groupe fini d’ordre $|G|=p^{n}m$ avec $p\nmid m$.
Un $p$-sous-groupe de Sylow de $G$ est un $p$-sous-groupe d’ordre maximal, c’est-à-dire, d’ordre $p^{n}$.