Théorème de correspondance

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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

↑ Appellation conforme à Jean Delcourt, Théorie des groupes, Paris, Dunod, 2001, p. 15.
↑ Par exemple (en) Joseph J. Rotman (en), An Introduction to the Theory of Groups [détail des éditions], 4^e éd., tirage de 1999, p. 38, « Correspondence Theorem ».