Théorème de correspondance

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 \mapsto 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 \leq L a lieu si et seulement si K/H \leq L/H).

Certains auteurs[2] ajoutent que si A et B sont deux sous-groupes de G contenant H tels que A \leq 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 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 J.J. Rotman, An Introduction to the Theory of Groups, 4e éd., tirage de 1999, p. 38, « Correspondence Theorem ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de correspondance de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Theoreme des deux carres de Fermat — Théorème des deux carrés de Fermat Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de… …   Wikipédia en Français

  • Théorème de Fermat sur les sommes de deux carrés — Théorème des deux carrés de Fermat Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de… …   Wikipédia en Français

  • Théorème des deux carrés — de Fermat Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de combien de façons… …   Wikipédia en Français

  • Théorème des deux carrés de fermat — Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de combien de façons différentes il peut …   Wikipédia en Français

  • Correspondance De Curry-Howard — La correspondance de Curry Howard, appelée[1] également correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l informatique théorique et la théorie de la… …   Wikipédia en Français

  • Correspondance de curry-howard — La correspondance de Curry Howard, appelée[1] également correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l informatique théorique et la théorie de la… …   Wikipédia en Français

  • Theoreme d'Ehrenfest — Théorème d Ehrenfest Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique Histoire de …   Wikipédia en Français

  • Théorème du minimax — de von Neumann John von Neumann …   Wikipédia en Français

  • Théorème fondamental de la théorie des jeux — Théorème du minimax de von Neumann John von Neumann …   Wikipédia en Français

  • Theoreme spectral — Théorème spectral Un ellipsoïde en trois possède autant d axes de symétrie que l espace de dimensions. Ils sont notés ici x, y et z …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”