Cœur d'un sous-groupe

Cœur d'un sous-groupe

En mathématiques, et plus précisément en théorie des groupes, l'intersection des conjugués, dans un groupe G, d'un sous-groupe H de G est appelée en anglais le core de H (dans G), ce qui peut se traduire en français par cœur[1]; elle est notée coreG(H)[2] ou encore HG[3].

Le cœur de H dans G est le plus grand sous-groupe normal de G contenu dans H.

Si on désigne par G/H l'ensemble des classes à gauche de G modulo H (cet ensemble n'est pas forcément muni d'une structure de groupe, H n'étant pas supposé normal dans G), on sait que G opère à gauche sur G/H par

G \times G/H \rightarrow G/H : (g, X) \mapsto gX.

Le cœur de H dans G est le noyau de cette opération. Il en résulte que G / HG est isomorphe à un sous-groupe de SG / H (groupe des permutations de l'ensemble G/H). En particulier, si H est d'indice fini n dans G, HG est lui aussi d'indice fini dans G et cet indice divise n! (factorielle de n).

Comme exemple d'usage de la notion de cœur d'un sous-groupe, on peut citer un théorème de Øystein Ore selon lequel deux sous-groupes maximaux d'un groupe fini résoluble qui ont le même cœur sont forcément conjugués[4]. Ce théorème permet de prouver des théorèmes bien connus de Philip Hall (en) et de Roger Carter (en)[5].

Notes et références

  1. ↑ Jean Delcourt, Théorie des Groupes, 2e éd., 2007, p. 81, écrit dans une note de bas de page : « [Ce sous-groupe] se nomme en anglais le core de H, ce qui peut se traduire par cœur ».
  2. ↑ I. Martin Isaacs, Finite Group Theory, American Mathematical Society, 2008, p. 3.
  3. ↑ Voir par exemple Yakov Berkovich, « Alternate proofs of some basic theorems of finite group theory », Glasnik Matematički, vol. 40(60)(2005), 207-233 en ligne, p. 207.
  4. ↑ O. Ore, « Contributions to the theory of groups of finite order », Duke Mathematical Journal, vol. 5 (1938), 431-460. Référence fournie par Yakov Berkovich, « Alternate proofs of some basic theorems of finite group theory », Glasnik Matematički, vol. 40(60)(2005), 207-233 en ligne, p. 233, qui donne une démonstration (pp. 210-211).
  5. ↑ Voir Yakov Berkovich, « Alternate proofs of some basic theorems of finite group theory », Glasnik Matematički, vol. 40(60)(2005), 207-233 en ligne, qui donne des démonstrations (pp. 210-212).

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Cœur d'un sous-groupe de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Sous-groupe distingué — Sous groupe normal En théorie des groupes, un sous groupe normal ou sous groupe distingué ou sous groupe invariant H d un groupe G est un sous groupe globalement stable par l action de G sur lui même par conjugaison. Les sous groupes normaux… …   Wikipédia en Français

  • Sous-groupe invariant — Sous groupe normal En théorie des groupes, un sous groupe normal ou sous groupe distingué ou sous groupe invariant H d un groupe G est un sous groupe globalement stable par l action de G sur lui même par conjugaison. Les sous groupes normaux… …   Wikipédia en Français

  • Sous-groupe a un parametre — Sous groupe à un paramètre Un sous groupe à un paramètre d un groupe de Lie réel G est un morphisme de groupes de Lie c:R G. Plus explicitement, c est une application différentiable vérifiant : . En dérivant cette relation par rapport à la… …   Wikipédia en Français

  • sous-groupe — [ sugrup ] n. m. • 1891; de sous et groupe ♦ Math. Partie d un groupe ayant elle même une structure de groupe. Didact. Groupe faisant partie d un groupe plus important (dans une classification, une répartition). ⇒aussi sous ensemble. ● sous… …   Encyclopédie Universelle

  • Sous-groupe caracteristique — Sous groupe caractéristique Étant donné un groupe G, on appelle « sous groupe caractéristique de G » tout sous groupe H de G stable par tout automorphisme de G : . Propriété Un sous groupe H caractéristique dans G est en… …   Wikipédia en Français

  • Sous-groupe de IC 342 — Groupe IC 342/Maffei Le Groupe IC342/Maffei est un groupe de galaxies situées à proximité du Groupe local, le groupe abritant la Voie lactée. À l instar de ce dernier, le groupe IC 342/Maffei est un groupe « binaire », c est à dire… …   Wikipédia en Français

  • Sous-groupe de Maffei — Groupe IC 342/Maffei Le Groupe IC342/Maffei est un groupe de galaxies situées à proximité du Groupe local, le groupe abritant la Voie lactée. À l instar de ce dernier, le groupe IC 342/Maffei est un groupe « binaire », c est à dire… …   Wikipédia en Français

  • Sous groupe de IC 342 — Groupe IC 342/Maffei Le Groupe IC342/Maffei est un groupe de galaxies situées à proximité du Groupe local, le groupe abritant la Voie lactée. À l instar de ce dernier, le groupe IC 342/Maffei est un groupe « binaire », c est à dire… …   Wikipédia en Français

  • Sous groupe de Maffei — Groupe IC 342/Maffei Le Groupe IC342/Maffei est un groupe de galaxies situées à proximité du Groupe local, le groupe abritant la Voie lactée. À l instar de ce dernier, le groupe IC 342/Maffei est un groupe « binaire », c est à dire… …   Wikipédia en Français

  • Sous-groupe distingué d'un groupe G non abélien — ● Sous groupe distingué d un groupe G non abélien sous groupe H de G tel que, pour tout élément x de G, on a H = x Hx−1 (la loi étant notée multiplicativement) …   Encyclopédie Universelle

  • Sous-groupe invariant d'un groupe — ● Sous groupe invariant d un groupe synonyme de sous groupe distingué …   Encyclopédie Universelle

Share the article and excerpts

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