Théorème de Lagrange sur les groupes

Un article de Wikipédia, l'encyclopédie libre.

Pour les articles homonymes, voir Théorème de Lagrange.

Joseph-Louis Lagrange

En mathématiques, et plus particulièrement en théorie des groupes, le théorème de Lagrange est un théorème qui énonce un résultat élémentaire fournissant des informations combinatoires sur les groupes finis. Il est nommé ainsi en l'honneur du mathématicien Joseph-Louis Lagrange.

Sommaire

1 Enoncé
2 Démonstrations
- 2.1 Relation d'équivalence
- 2.2 Action de groupe
3 Historique
4 Applications courantes
5 Notes et références

[modifier] Enoncé

Pour un groupe $G$ fini, et pour tout sous-groupe $H$ de $G$ , le cardinal (encore appelé ordre) de $H$ divise le cardinal de $G$ :

$\mbox{card}(H) \mid \mbox{card} (G)$ .

Le quotient du cardinal de $G$ par le cardinal de $H$ s'appelle l'indice de H dans G et il est noté [G:H] :

$\mbox{card}(G)= \mbox{card} (H)\times[G:H]\,$ .

[modifier] Démonstrations

La première démonstration est la démonstration classique, relativement élémentaire. La seconde s'appuie sur la notion d'action de groupe dont la définition est rappelée.

[modifier] Relation d'équivalence

La première preuve^{[réf. nécessaire]} du théorème consiste à partitionner l'ensemble $G$ en une famille d'ensembles équipotents à $H$ (autrement dit, de même cardinal que H). La donnée d'une partition équivaut à la donnée d'une relation d'équivalence sur $G$ .

Soit $\mathcal R$ la relation binaire sur $G$ définie par :

$x\mathcal R y \Leftrightarrow xy^{-1} \in H$

$\mathcal R$ vérifie les propriétés suivantes :

Réflexivité : Par définition de l'inverse, tout élément $x$ dans $G$ vérifie l'identité $x . x - 1 = e$ . L'élément neutre $e$ appartient à $H$ par définition d'un sous-groupe. De fait, $x\mathcal Rx$ .
Symétrie : Pour tous $x$ et $y$ dans $G$ , on écrit : $x\cdot y^{-1}=\bigl(y\cdot x^{-1}\bigr)^{-1}$ . De suite, $x . y - 1$ appartient à $H$ si et seulement si $y . x - 1$ appartient à $H$ ; équivalence qui se réécrit : $xRy\Leftrightarrow yRx$ .
Transitivité : Pour tous $x, y, z$ dans $G$ , l'associativité du produit donne : $x\cdot z^{-1}=\bigl(x\cdot y^{-1}\bigr)\cdot \bigl(y\cdot z^{-1}\bigr)$ . La partie $H$ étant stable par produit, si $x\mathcal R y$ et $y\mathcal R z$ , alors $x\mathcal R z$ .

La relation $\mathcal R$ est réflexive, symétrique, et transitive, donc elle définit une relation d'équivalence sur l'ensemble $G$ . La classe d'équivalence de $e$ n'est autre que $H$ .

Remarquons que la relation $\mathcal R$ est $G$ -invariante à droite : pour tous $x, y$ et $z$ dans $G$ , $x\mathcal R y$ implique (donc, est équivalent à) $(xz)\mathcal R(yz)$ . En particulier, lorsque $C$ désigne une classe d'équivalence, et $x$ un élément de $C$ , alors l'ensemble $C . x - 1$ est la classe d'équivalence de $e$ , donc $H$ . Comme l'application $y\mapsto yx^{-1}$ est une bijection, les ensembles $C$ et $H$ ont même cardinal. De suite, les classes d'équivalence partitionnent $G$ en des parties de même cardinal que $H$ .

[modifier] Action de groupe

Article détaillé : action de groupe (mathématiques).

Une action d'un groupe fini G sur un ensemble X est la donnée pour tout élément g de G d'une application bijective $X\rightarrow X$ envoyant x sur un élément noté $g . x$ , vérifiant la condition suivante :

$\forall g,h\in G, \; g.(h.x)=(gh).x$

Si le groupe fini G agit sur un ensemble X, le stabilisateur d'un point x de X est défini comme l'ensemble des éléments h du groupe G tels que $h . x = x$ ; il est facile de vérifier que les stabilisateurs sont des sous-groupes de G. L'orbite de x se définit comme l'ensemble des éléments y de X s'écrivant : $g . x = y$ pour $g\in G$ . La conjugaison par l'élement g induit une bijection du stabilisateur de x sur le stabilisateur de $g . x$ :

$Stab(g.x)=g.Stab(x).g^{-1}=\{ghg^{-1}, h\in Stab(x)\}$ .

En particulier, le cardinal du stabilisateur de x ne dépend pas du choix de x dans son orbite. Par application du lemme des bergers, le cardinal du stabilisateur de x divise le cardinal de G, et le quotient est égal au cardinal de l'orbite de x.

La preuve^{[réf. nécessaire]} du théorème de Lagrange consiste à réaliser tout sous-groupe H d'un groupe fini G comme un stabilisateur pour une action de G. L'action considérée est l'action du groupe G par translation à gauche sur l'ensemble X de ses parties, définie comme suit :

$\forall g\in G, \forall A\in X, \; g.A=\{ga, a\in A\}$ .

Le stabilisateur d'un sous-groupe H est présisément H. En effet, l'égalité $g H = H$ implique l'existence d'un élément h vérifiant $g h = 1$ ; autrement dit, $g$ doit être l'inverse d'un élément de H, et a fortiori doit appartenir lui même à H. Réciproquement, comme le produit d'éléments de H appartient à H, tout élément h de H vérifie $h . H = H$ . De fait, par double inclusion, H est le stabilisateur de H et la propriété s'en trouve démontrée.

[modifier] Historique

Le mathématicien français Joseph-Louis Lagrange (25 janvier 1736 - 10 avril 1813) a démontré que, par permutation des n variables d'une expression polynômiale, le nombre d'expressions obtenues est un diviseur de $n!$ ^{[réf. nécessaire]}. L'ensemble des permutations est vu aujourd'hui comme un groupe à $n!$ éléments, agissant sur les polynômes à n variables. Le travail de Lagrange se réinterprète comme le calcul du cardinal d'une orbite de cette action : il apparait comme précurseur des recherches sur les groupes, dont les premiers termes de vocabulaires furent introduits suite aux travaux d'Augustin Louis Cauchy (21 août 1789 - 23 mai 1857)^[1], et dont la définition formelle n'a été donnée qu'en 1882 par Walther Franz Anton von Dyck (6 décembre 1856 - 5 novembre 1934)^{[réf. nécessaire]}.

[modifier] Applications courantes

L'ordre d'un élément x d'un groupe fini se définit comme le cardinal du sous-groupe qu'il engendre. C'est le plus petit entier naturel n vérifiant : $x n = e$ . Il divise l'ordre du groupe.
Un groupe G d'ordre premier p est cyclique. En effet, tout élément non nul x de G est d'ordre strictement supérieur à 1 et par ce qui précède un diviseur de p. Comme p est premier, l'ordre de x est p ; autrement dit, x engendre un groupe cyclique d'ordre p, nécessairement égal à G.
Ce théorème peut servir à démontrer le petit théorème de Fermat.