Concept history

Added exercise "Groupes d'ordre $pq$"

Concept created

##### Enoncé

Soit $G$ un groupe fini d'ordre
$$
|G|=p^n m,
$$
où $p$ est premier et $p\nmid m$.

Si $n_p$ désigne le nombre de $p$[[p-sous-groupe-de-sylow|-sous-groupes de Sylow]] de $G$, alors
$$
n_p\equiv 1 \pmod p
\qquad\text{et}\qquad
n_p\mid m.
$$