theoreme-de-lagrange-sur-les-groupes : Mathématique

D	L	M	M	J	V	S
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28
29	30	31

19/11/2010

Théorème de Lagrange sur les groupes

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

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]

É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 :

$mbox{card}(H) mid mbox{card} (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 :

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

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 n = 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]

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]

↑ 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])