Théorème de Cauchy (groupes)

En mathématiques, spécifiquement en théorie des groupes, le théorème de Cauchy, nommé en l'honneur du mathématicien Augustin Louis Cauchy, qui l'a découvert en 1845, est un théorème affirmant que si $G$ est un groupe fini dont l'ordre est divisé par un nombre premier p, alors $G$ contient un élément d'ordre $p$. C'est-à-dire qu'il existe un élément $x$ dans $G$ tel que $p$ est le plus petit entier positif satisfaisant $x^p=e$, où $e$ désigne l'élément neutre du groupe ; formellement : $\mathrm{\exists }x\in G,p=\min (\{n\in \mathbb{N}\setminus \{0\}|x^n=e\})$.

Ce théorème forme partiellement une réciproque du théorème de Lagrange sur les groupes, qui affirme que l'ordre de tout élément d'un groupe fini divise forcément l'ordre du groupe, mais pour un diviseur donné de l'ordre du groupe, il n'y a pas nécessairement un élément du groupe ayant ce diviseur pour ordre, le théorème de Cauchy implique alors l'existence d'un tel élément quand le diviseur donné est premier.

Proposition et preuve

Modèle:Théorème La démonstration de McKay est détaillée sur Wikiversité.

Modèle:Démonstration/début On fait agir le groupe $\mathbb{Z}/p\mathbb{Z}$ par permutation circulaire sur l'ensemble

$E=\{(x_1,\dots ,x_p)\in G^p,x_1\cdots x_p=e\}$

où e désigne l'élément neutre du groupe G. L'équation aux classes affirme que # E est la somme des cardinaux des orbites pour l'action de $\mathbb{Z}/p\mathbb{Z}$.

Or $\mathrm{\#}E=(\mathrm{\#}G{)}^{p-1}$ car étant donné $x_1,\dots ,x_{p-1}$ quelconque $x_p$ est totalement déterminé (et vaut $x_{p-1}^{-1}\cdots x_1^{-1}$). Ainsi #E est un multiple de p. Le cardinal d'une orbite est égal à l'indice du stabilisateur d'un de ses éléments. Or le groupe $\mathbb{Z}/p\mathbb{Z}$ ayant pour cardinal un nombre premier, l'indice d'un stabilisateur vaut soit 1 soit p. L'équation aux classes permet alors de conclure que le nombre de stabilisateur d'indice 1 est un multiple de p. Or ce multiple n'est pas nul puisque le stabilisateur de $(e,\dots ,e)$ est lui-même d'indice 1. On en conclut qu'il existe au moins p-1 éléments de E dont le stabilisateur est d'indice 1 autrement dit qui sont invariants par permutation circulaire. Si $(x,\dots ,x)$ est un tel élément on aura $x^p=e$. Modèle:Démonstration/fin

Voir aussi

Articles connexes

• Théorème de Lagrange sur les groupes
• Théorèmes de Sylow

Liens externes

• Modèle:Lien web (récurrence sur l'ordre du groupe)
• Modèle:Lien web