Accueil🇫🇷Chercher

Théorème de correspondance

En mathématiques, et plus particulièrement en théorie des groupes, le théorème de correspondance[1] (énoncé de façon plus ou moins complète selon les auteurs) dit que si G est un groupe et H un sous-groupe normal de G, alors

  • K↦K/H définit une bijection f de l'ensemble des sous-groupes de G contenant H sur l'ensemble des sous-groupes de G/H;
  • cette bijection applique les sous-groupes normaux de G contenant H sur les sous-groupes normaux de G/H ;
  • si les ensembles de départ et d'arrivée de f sont ordonnés par inclusion, f est un isomorphisme d'ensembles ordonnés (autrement dit, si K et L sont deux sous-groupes de G contenant H, la relation K≤L a lieu si et seulement si K/H ≤ L/H).

Certains auteurs[2] ajoutent que si A et B sont deux sous-groupes de G contenant H tels que A≤B, alors

  • l'indice de A dans B est égal à l'indice de f(A) dans f(B) ;
  • A est normal dans B si et seulement si f(A) est normal dans f(B) ; dans ce cas, B/A est isomorphe à f(B)/f(A) (ce qui est le troisième théorème d'isomorphisme).

Notes et références

  1. Appellation conforme à Jean Delcourt, Théorie des groupes, Paris, Dunod, 2001, p. 15.
  2. Par exemple (en) Joseph J. Rotman (en), An Introduction to the Theory of Groups [détail des éditions], 4e éd., tirage de 1999, p. 38, « Correspondence Theorem ».
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.