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
|