- Théorème de Lagrange sur les groupes
-
Pour les articles homonymes, voir Théorème de Lagrange.
Joseph-Louis Lagrange
En mathématiques, le théorème de Lagrange en théorie des groupes énonce un résultat élémentaire fournissant des informations combinatoires sur les groupes finis.
Sommaire
Énoncé
Théorème de Lagrange — Pour un groupe G fini, et pour tout sous-groupe H de G, le cardinal (encore appelé l'ordre) de H divise le cardinal de G :
.Démonstration
L'indice [G:H] de H dans G est par définition le cardinal de l'ensemble G/H des classes à gauche suivant H des éléments de G. Or ces classes forment une partition de G, et chacune d'entre elles a même cardinal que H. Par le principe des bergers, on en déduit :
![\mbox{card}(G)= \mbox{card} (H)\times[G:H]\,](b/ebb44634047dd337525d0851e2248753.png)
.Remarquons que cette formule reste vraie quand les trois cardinaux qu'elle relie sont infinis, et qu'elle est un cas particulier de la formule des indices.
Applications
- L'ordre d'un élément x d'un groupe fini peut se définir comme le cardinal du sous-groupe qu'il engendre. (C'est aussi le plus petit entier n>0 vérifiant : xn = e.) Par le théorème de Lagrange, cet ordre divise l'ordre du groupe.
- Un groupe G d'ordre premier p est cyclique et simple. En effet, tout élément non neutre 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 et sa généralisation, le théorème d'Euler.
Réciproques partielles
Un groupe fini dont l'ordre est divisible par d n'admet pas toujours de sous-groupe d'ordre d. Le plus petit contre-exemple est le groupe alterné A4, qui est d'ordre 12 mais n'a pas de sous-groupe d'ordre 6.
Le théorème de Cauchy, les théorèmes de Sylow, le théorème prouvé par Hall sur les sous-groupes de Hall, forment des réciproques partielles du théorème de Lagrange.
Historique
Le mathématicien français Joseph-Louis Lagrange a démontré[1] que, par permutation des n indéterminées d'une expression polynômiale, le nombre d'expressions obtenues est un diviseur de n!. 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 ainsi comme précurseur de l'émergence de la notion de groupe, dont la définition formelle n'a été donnée qu'à la fin du XIXe siècle.
Notes et références
- J.-L. Lagrange, « Réflexions sur la résolution algébrique des équations, II », dans Nouveaux Mémoires de l’Académie Royale des Sciences et Belles-Lettres de Berlin, 1771, p. 138-254 (spéc. p. 202-203), réédité dans Œuvres de Lagrange, t. 3, Paris, 1869, p. 305-421, consultable en ligne (spéc. p. 369-370)
Catégories :- Théorème de mathématiques
- Théorie des groupes
- Joseph-Louis Lagrange
- Groupe fini
Wikimedia Foundation. 2010.
