# Holomorph einer Gruppe

In der Mathematik, speziell in der Gruppentheorie, ist der Holomorph einer Gruppe G eine bestimmte mit $\operatorname {Hol} (G)$ bezeichnete Gruppe, die sowohl die Gruppe G als auch ihre Automorphismengruppe enthält, oder zumindest Kopien dieser beiden Gruppen. Der Holomorph gestattet es, die Umkehrungen gewisser Sätze über vollständige Gruppen und charakteristisch einfache Gruppen zu zeigen. Es gibt zwei Versionen, einmal als semidirektes Produkt und einmal als Permutationsgruppe. In der deutschsprachigen Literatur war früher auch die Bezeichnung „Holomorphie einer Gruppe“ üblich.
Der englische Begriff holomorph zur Bezeichnung der hier vorgestellten Konstruktion wurde 1897 von William Burnside eingeführt. Allerdings erscheint er auch schon früher bei anderen Autoren.

## Hol(G) als semidirektes Produkt

Bezeichnet $\operatorname {Aut} (G)$ die Automorphismengruppe der Gruppe $G$, so setzt man
    $\operatorname {Hol} (G)=G\rtimes \operatorname {Aut} (G),$
wobei das (externe) semidirekte Produkt zur natürlichen Operation von $\operatorname {Aut} (G)$ auf G gehört. Damit hat $\operatorname {Hol} (G)$ das kartesische Produkt aus G und $\operatorname {Aut} (G)$ als unterliegende Menge und die Gruppenoperation ist durch
    $(g,\alpha )(h,\beta )=(g\alpha (h),\alpha \beta )$
definiert.

## Hol(G) als Permutationsgruppe

Eine Gruppe G operiert (von links) auf natürliche Weise auf sich selbst, genauer auf ihrer unterliegenden Menge, mittels Multiplikation von links und Multiplikation von rechts. Die Multiplikation von links gehört zum Homomorphismus
    $\lambda \colon G\rightarrow S_{G},\,g\mapsto \lambda _{g}\colon h\mapsto gh$
von $G$ nach $S_{G}$, wobei die symmetrische Gruppe $S_{G}$ mit der Gruppenverknüpfung $(f,g)\mapsto f\circ g\colon x\mapsto f(g(x))$ ausgestattet ist. Die Multiplikation von rechts gehört zum Homomorphismus
    $\rho \colon G\rightarrow S_{G},\,g\mapsto \rho _{g}\colon h\mapsto hg^{-1}.$
Bei dieser zweiten Operation muss man g invertieren, um eine Linksoperation zu erhalten, das heißt einen Homomorphismus $G\rightarrow S_{G}$, wie wir ihn definiert haben.
Diese beiden Homomorphismen sind injektiv und definieren daher Isomorphismen von G auf Untergruppen $\lambda (G)$ bzw. $\rho (G)$ von $S_{G}$ (wie im Satz von Cayley). Für ein gegebenes g wird die Permutation $\lambda _{g}\colon x\mapsto gx$ von G oft „die Translation von links mit g“ genannt.
Wir definieren nun $\operatorname {Hol} (G)$ als die von $\lambda (G)$ und $\operatorname {Aut} (G)$ erzeugte Untergruppe von $S_{G}$. Leicht zeigt man, dass für ein Element $\sigma \in \mathrm {Aut} (G)$
    $(1)\qquad \sigma \circ \lambda _{g}\circ \sigma ^{-1}=\lambda _{\sigma (g)}$
gilt, das heißt, $\operatorname {Aut} (G)$ normalisiert $\lambda (G)$. Da $\lambda (G)$ und $\operatorname {Aut} (G)$ zusammen $\operatorname {Hol} (G)$ erzeugen, ist $\lambda (G)$ ein Normalteiler in $\operatorname {Hol} (G)$. Genauso kann man zeigen, dass $\operatorname {Hol} (G)$ der Normalisator von $\lambda (G)$ in $S_{G}$ ist.
Darüber hinaus hat man $\lambda (G)\cap \operatorname {Aut} (G)=1$, denn eine Translation, die ein Automorphismus ist, bildet 1 auf 1 ab. Also ist $\operatorname {Hol} (G)$ das (interne) semidirekte Produkt aus $\lambda (G)$ und $\operatorname {Aut} (G)$. Dann folgt aus der Gleichung (1), dass die Abbildung $(g,\sigma )\mapsto \lambda _{g}\circ \sigma$ einen Isomorphismus zwischen dem externen semidirekten Produkt $G\rtimes \operatorname {Aut} (G)$ (mit der natürlichen Operation von $\operatorname {Aut} (G)$ auf G) und dem Holomorph $\operatorname {Hol} (G)$ definiert. Die zwei hier gegebenen Definitionen von $\operatorname {Hol} (G)$ führen also zu isomorphen Gruppen.
Leicht zeigt man, dass als Permutationsgruppe $\operatorname {Hol} (G)$ auch die von $\rho (G)$ und $\operatorname {Aut} (G)$ erzeugte Untergruppe in $S_{G}$ ist. (Beachte $\rho _{g}=\lambda _{g^{-1}}\circ \gamma _{g}$, wobei $\gamma _{g}$ den inneren Automorphismus $x\mapsto gxg^{-1}$ bezeichnet.)
Da $g\mapsto \lambda _{g}$ einen Isomorphismus von G auf $\lambda (G)$ definiert, hat jeder Automorphismus auf $\lambda (G)$ die Form $\lambda _{g}\mapsto \lambda _{\sigma (g)}$ für einen Automorphismus $\sigma$ von G. Dann zeigt obige Relation (1):
* Jeder Automorphismus von $\lambda (G)$ ist die Einschränkung eines inneren Automorphismus von $\operatorname {Hol} (G)$.
Da $\lambda (G)$ isomorph zu G ist, ergibt sich:
* Jede Gruppe G kann in eine Gruppe H derart eingebettet werden, dass jeder Automorphismus von G die Einschränkung eines inneren Automorphismus von H ist.
Daraus folgt auch:
* Eine Untergruppe von $\lambda (G)$ ist genau dann charakteristisch, wenn sie Normalteiler in $\operatorname {Hol} (G)$ ist.

## Beispiele

* $\operatorname {Hol} (\mathbb {Z} _{3})\cong S_{3}$, wobei $S_{3}$ die symmetrische Gruppe dritten Grades ist.
* $\operatorname {Hol} (\mathbb {Z} )\cong D_{\infty }$, wobei $D_{\infty }$ die unendliche Diedergruppe ist.

## Anwendungen des Holomorphs

* Eine Gruppe heißt vollständig, wenn ihr Zentrum nur aus dem neutralen Element besteht und alle ihre Automorphismen innere sind. Man beweist: Wenn eine vollständige Untergruppe G Normalteiler einer Gruppe H ist, dann ist sie sogar ein direkter Faktor von H. Umgekehrt kann man zeigen, dass eine Gruppe vollständig ist, wenn sie direkter Faktor in jeder Gruppe ist, in der sie als Normalteiler enthalten ist. Dazu verwendet man die Tatsache, dass unter den gegebenen Voraussetzungen $\lambda (G)$ ein direkter Faktor des Holomorphs $\operatorname {Hol} (G)$ ist.
* Man nennt eine Gruppe charakteristisch einfach, wenn die einzigen charakteristischen Untergruppen die triviale Untergruppe und die Gruppe selbst sind. Leicht zeigt man, dass alle minimalen Normalteiler einer Gruppe charakteristisch einfach sind. Umgekehrt kann man zeigen, dass jede nichttriviale charakteristisch einfache Gruppe so in eine andere Gruppe eingebettet werden kann, dass sie dort minimaler Normalteiler ist. Da G und $\lambda (G)$ isomorph sind, genügt es zu zeigen, dass $\lambda (G)$ minimaler Normalteiler im Holomorph $\operatorname {Hol} (G)$ ist. Das ergibt sich leicht aus der oben genannten Tatsache, dass eine Untergruppe von $\lambda (G)$ genau dann charakteristisch ist, wenn sie Normalteiler in $\operatorname {Hol} (G)$ ist.