Théorème de Lagrange sur les groupes

(Redirigé depuis Théorème de Lagrange (algèbre))

Aller à :Navigation,rechercher

 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 combinatoiressur les groupes finis.

Sommaire

 [masquer]

• 1 Énoncé
• 2 Démonstration
• 3 Applications
• 4 Réciproques partielles
• 5 Historique
• 6 Notes et références

Énoncé [modifier]

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 [modifier]

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 :

.

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 [modifier]

• 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 : xⁿ = 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 pest 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 [modifier]

Cette section est vide, pas assez détaillée ou incomplète. Votre aide est la bienvenue !

Voir le paragraphe correspondant de l'article en anglais

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é A₄, 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 [modifier]

Le mathématicien français Joseph-Louis Lagrange a démontré¹ 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 XIX^esiècle.

Notes et références [modifier]

1. ↑ 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 [archive] (spéc. p. 369-370 [archive])

•  Portail des mathématiques

Catégories : Théorème de mathématiques | Théorie des groupes | Joseph-Louis Lagrange | Groupe fini | [+]

Source : http://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Lagran...