Holomorphe d'un groupe

Holomorphe d'un groupe

En mathématiques, et plus particulièrement en théorie des groupes, l'holomorphe d'un groupe G, noté \ \mathrm{Hol}(G), est un certain groupe qui contient à la fois G et le groupe des automorphismes de G, ou du moins des copies de ces deux groupes. Il permet notamment de démontrer les réciproques de certains théorèmes sur les groupes complets et sur les groupes caractéristiquement simples. Il en existe deux versions, l'une comme produit semi-direct, l'autre comme groupe de permutations.

Sommaire

Hol(G) comme produit semi-direct

Si Aut(G) désigne le groupe des automorphismes de G, on pose

\ \mathrm{Hol}(G)=G\rtimes \mathrm{ Aut}(G)

où le produit semi-direct (externe) correspond à l'opération naturelle de Aut(G) sur G. Donc \ \mathrm{Hol}(G) a pour ensemble sous-jacent le produit cartésien de G par Aut(G) et sa loi de groupe est définie par

(g,α)(h,β) = (gα(h),αβ).

Hol(G) comme groupe de permutations

Un groupe G opère naturellement (à gauche) sur lui-même, ou plus exactement sur son ensemble sous-jacent, par multiplication à gauche et par multiplication à droite. L'opération (à gauche) par multiplication à gauche correspond à l'homomorphisme

\lambda : G \rightarrow S_{G} : g \mapsto \lambda_{g} : h \mapsto : gh

de \ G dans \ S_{G}, \ S_{G} étant muni de la loi de groupe (f, g) \mapsto f \circ g : x \mapsto f(g(x)). L'opération (à gauche) par multiplication à droite correspond à l'homomorphisme

\rho : G \rightarrow S_{G} : g \mapsto \rho_{g} : h \mapsto : hg^{-1}.

(Dans cette seconde opération, il est nécessaire d'inverser g pour obtenir une opération à gauche, c'est-à-dire un homomorphisme de \ G dans \ S_{G} tel que nous l'avons défini.)

Ces deux homomorphismes sont injectifs et définissent donc des isomorphismes de G sur les sous-groupes \ \lambda(G) et ρ(G) (d'où le théorème de Cayley). Pour un élément g donné, la permutation \lambda_{g} : x \mapsto gx de G est souvent appelée[1] la translation à gauche par g.

Définissons maintenant \ \mathrm{Hol}(G) comme le sous-groupe de \ S_{G} engendré par \ \lambda(G) et \ \mathrm{ Aut}(G). On vérifie facilement que si σ est un élément de Aut(G), alors

(1) \qquad \sigma \circ \lambda_{g} \circ \sigma^{-1} = \lambda_{\sigma(g)},

ce qui montre que Aut(G) normalise \ \lambda(G). Donc, puisque \ \lambda(G) et Aut(G) engendrent \ \mathrm{Hol}(G), \ \lambda(G) est un sous-groupe normal de \ \mathrm{Hol}(G). (On peut même montrer que \ \mathrm{Hol}(G) est le normalisateur de \ \lambda(G) dans \ S_{G}.)

On a de plus \ \lambda(G) \cap \ \mathrm{Aut}(G) = 1 (car si une translation est un automorphisme, sa valeur en 1 doit être égale à 1). Ainsi, \ \mathrm{Hol}(G) est produit semi-direct (interne) de \ \lambda(G) par \ \mathrm{ Aut}(G). Il résulte dès lors de la relation (1) que l'application (g, \sigma) \mapsto \lambda_{g} \circ \sigma définit un isomorphisme du produit semi-direct externe \ G\rtimes \mathrm{Aut}(G) (correspondant à l'opération naturelle de \ \mathrm{ Aut}(G) sur G) sur \ \mathrm{Hol}(G). Les deux versions de \ \mathrm{Hol}(G) que nous avons définies sont donc des groupes isomorphes.

On montre[2] facilement que \ \mathrm{Hol}(G) (défini comme groupe de permutations) est aussi le sous-groupe de \ S_{G} engendré par ρ(G) et Aut(G). (Noter que \ \rho_{g} = \lambda_{g^{-1}} \circ \gamma_{g}, où γg désigne l'automorphisme intérieur x \mapsto gxg^{-1}.)

Puisque g \mapsto \lambda_{g} définit un isomorphisme de \ G sur \ \lambda(G), tout automorphisme de λ(G) est de la forme \lambda(g) \mapsto \lambda(\sigma(g)) pour un certain automorphisme σ de G. La relation (1) montre donc que

Puisque \ \lambda(G) est isomorphe à G, il en résulte que

  • tout groupe G peut être plongé dans un groupe H tel que tout automorphisme de G soit la restriction à G d'un automorphisme intérieur de H.

Il en résulte aussi[3] qu'

  • un sous-groupe de \ \lambda(G) est caractéristique dans \ \lambda(G) si et seulement s'il est normal dans \ \mathrm{Hol}(G).

(Rappel : un sous-groupe caractéristique d'un sous-groupe normal d'un groupe H est normal dans H.)

Deux exemples d'usage du groupe holomorphe

  • Rappelons qu'un groupe est dit complet si son centre est réduit à l'élément neutre et si tous ses automorphismes sont intérieurs. On démontre[4] que si un groupe complet G est sous-groupe normal d'un groupe H, alors G est facteur direct de H. On prouve[2] réciproquement que si un groupe G est facteur direct de tout groupe dont il est sous-groupe normal, G est complet. Pour cela, on utilise le fait que, dans ces hypothèses, \ \lambda(G) est facteur direct de \ \mathrm{Hol}(G).
  • Rappelons qu'un groupe G est appelé[5] un groupe caractéristiquement simple si ses seuls sous-groupes caractéristiques sont 1 et G lui-même. On montre facilement[6] que tout sous-groupe normal minimal d'un groupe est caractéristiquement simple. Prouvons que, réciproquement, tout groupe caractéristiquement simple G non réduit à l'élément neutre peut être plongé dans un groupe dont il est sous-groupe normal minimal. Puisque \ \lambda(G) est isomorphe à G, il suffit de prouver que \ \lambda(G) est un sous-groupe normal minimal de \ \mathrm{Hol}(G). Cela se tire facilement du fait, noté plus haut, qu'un sous-groupe de \ \lambda(G) est caractéristique dans \ \lambda(G) si et seulement s'il est normal dans \ \mathrm{Hol}(G).

Notes et références

  1. ↑ Voir par exemple J.J. Rotman, An Introduction to the Theory of Groups, 4e éd., tirage de 1999, Springer, p. 15.
  2. ↑ a et b Voir par exemple J.J. Rotman, An Introduction to the Theory of Groups, 4e éd., tirage de 1999, Springer, p. 164.
  3. ↑ Voir par exemple W.R. Scott, Group Theory, 1964, rééd. Dover 1987, p. 214.
  4. ↑ Voir par exemple W.R. Scott, Group Theory, 1964, rééd. Dover 1987, p. 450, ou encore J.J. Rotman, An Introduction to the Theory of Groups, 4e éd., tirage de 1999, Springer, p. 163.
  5. ↑ J. Calais, Éléments de théorie des groupes, Paris, 1984, p. 257, suppose G non réduit à l'élément neutre. W.R. Scott, Group theory, repr. Dover, 1984, p. 73, ne le suppose pas.
  6. ↑ Voir par exemple J.J. Rotman, An Introduction to the Theory of Groups, 4e éd., tirage de 1999, Springer, p. 106 (début de la démonstration du théorème 5.24, ou encore J. Calais, Éléments de théorie des groupes, Paris, 1984, p. 257, exerc. 3.

Wikimedia Foundation. 2010.

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

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

Regardez d'autres dictionnaires:

  • Groupe De Lie — En mathématiques, un groupe de Lie est un groupe qui est continu, c est à dire que chaque élément du groupe peut être approché d aussi près que l on veut par une suite d autres éléments du groupe. Un groupe de Lie est en fait un peu plus qu un… …   Wikipédia en Français

  • Groupe de lie — En mathématiques, un groupe de Lie est un groupe qui est continu, c est à dire que chaque élément du groupe peut être approché d aussi près que l on veut par une suite d autres éléments du groupe. Un groupe de Lie est en fait un peu plus qu un… …   Wikipédia en Français

  • Groupe De Lie Compact — Un groupe de Lie compact est un groupe de Lie réel ou complexe dont l espace topologique sous jecent est compact. Un groupe de Lie réel compact admet une métrique riemannienne invariante par translations à droite et à gauche. La classification… …   Wikipédia en Français

  • Groupe Gamma Modulaire — En mathématiques, on appelle groupe modulaire le groupe quotient de SL(2,ℤ) par son centre {Id, Id}, souvent noté Γ(1), ou même tout simplement Γ. Il convient de l identifier avec l image de SL(2,ℤ) dans le groupe de Lie PGL(2,ℝ). Sommaire 1… …   Wikipédia en Français

  • Groupe Gamma modulaire — En mathématiques, on appelle groupe modulaire le groupe quotient de SL(2,ℤ) par son centre {Id, Id}, souvent noté Γ(1), ou même tout simplement Γ. Il convient de l identifier avec l image de SL(2,ℤ) dans le groupe de Lie PGL(2,ℝ). Sommaire 1… …   Wikipédia en Français

  • Groupe de lie compact — Un groupe de Lie compact est un groupe de Lie réel ou complexe dont l espace topologique sous jecent est compact. Un groupe de Lie réel compact admet une métrique riemannienne invariante par translations à droite et à gauche. La classification… …   Wikipédia en Français

  • Groupe gamma modulaire — En mathématiques, on appelle groupe modulaire le groupe quotient de SL(2,ℤ) par son centre {Id, Id}, souvent noté Γ(1), ou même tout simplement Γ. Il convient de l identifier avec l image de SL(2,ℤ) dans le groupe de Lie PGL(2,ℝ). Sommaire 1… …   Wikipédia en Français

  • Groupe de Lie — En mathématiques, un groupe de Lie est un groupe « lisse », c est à dire qu il possède une structure différentiable pour laquelle les opérations de groupe – multiplication et inversion – sont différentiables. Les groupes de Lie sont… …   Wikipédia en Français

  • Groupe complet — En mathématiques, et plus particulièrement en théorie des groupes, un groupe G est dit complet si son centre est réduit à l élément neutre et que tous ses automorphismes sont intérieurs. Sommaire 1 Exemples 2 Propriétés 3 …   Wikipédia en Français

  • Groupe de Lie compact — En mathématiques, un groupe de Lie compact est un groupe de Lie (réel ou complexe) qui, en tant que groupe topologique, est un groupe compact. Un groupe de Lie réel compact admet une métrique riemannienne invariante par translations à droite et à …   Wikipédia en Français

Share the article and excerpts

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