$p$-sous-groupe

Soient $p$ un nombre premier et $G$ un groupe fini. Un $p$-sous-groupe de $G$ est un sous-groupe $H\leqslant G$ qui est un p-groupe, c’est-à-dire dont l'ordre est une puissance de $p$ :
$$|H|=p^{k}\qquad\text{pour un certain } k\geqslant 0 .$$