# Holomorphe d'un groupe

En mathématiques, et plus particulièrement en théorie des groupes, lholomorphe 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.

## Hol(G) comme produit semi-direct

Si $\mathrm {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 $\mathrm {Aut} (G)$ sur G. Donc $\ \mathrm {Hol} (G)$ a pour ensemble sous-jacent le produit cartésien de G par $\mathrm {Aut} (G)$ et sa loi de groupe est définie par
    $(g,\alpha )(h,\beta )=(g\alpha (h),\alpha \beta ).$

## 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 $\rho (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 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 $\sigma$ est un élément de $\mathrm {Aut} (G)$, alors
    $(1)\qquad \sigma \circ \lambda _{g}\circ \sigma ^{-1}=\lambda _{\sigma (g)}$,
ce qui montre que $\mathrm {Aut} (G)$ normalise $\ \lambda (G)$. Donc, puisque $\ \lambda (G)$ et $\mathrm {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 facilement que $\ \mathrm {Hol} (G)$ (défini comme groupe de permutations) est aussi le sous-groupe de $\ S_{G}$ engendré par $\rho (G)$ et $\mathrm {Aut} (G)$. (Noter que $\ \rho _{g}=\lambda _{g^{-1}}\circ \gamma _{g}$, où $\gamma _{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 $\lambda (G)$ est de la forme $\lambda _{g}\mapsto \lambda _{\sigma (g)}$ pour un certain automorphisme $\sigma$ de G. La relation (1) montre donc que
* tout automorphisme de $\lambda (G)$ est la restriction d'un automorphisme intérieur de $\ \mathrm {Hol} (G)$.
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 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 que si un groupe complet G est sous-groupe normal d'un groupe H, alors G est facteur direct de H. On prouve 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, λ(G) est facteur direct de Hol(G).
* Rappelons qu'un groupe G est appelé un groupe caractéristiquement simple si ses seuls sous-groupes caractéristiques sont 1 et G lui-même. On montre facilement 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 λ(G) est isomorphe à G, il suffit de prouver que λ(G) est un sous-groupe normal minimal de Hol(G). Cela se tire facilement du fait, noté plus haut, qu'un sous-groupe de λ(G) est caractéristique dans λ(G) si et seulement s'il est normal dans Hol(G).

## Histoire

Le mot anglais « holomorph », pour désigner l'holomorphe d'un groupe, fut introduit en 1897 par William Burnside. La notion avait cependant déjà apparu antérieurement chez d'autres auteurs.