Le théorème de Lagrange
suivant: Opération d'un groupe sur
monter: Groupe quotient
précédent: Le cas des groupes
Index
Définition
On appelle indice de  dans  , avec un sous-groupe de  , le cardinal
de  .
Un théorème fondamental:
Théorème [Théorème de Lagrange]
Soit un groupe fini, et un sous-groupe de , alors
Démonstration: Il suffit de montrer que chaque classe d'équivalence est de même cardinal, et que ce cardinal est  (chose facile à prouver!). 
On remarque qu'il n'est absolument pas nécéssaire que soit distingué.
C_Antonini,J_F_Quint,P_Borgnat,J_Bérard,E_Lebeau,E_Souche,A_Chateau,O_Teytaud
|
