Vollinvariante Untergruppe
# Vollinvariante Untergruppe

Vollinvariante Untergruppen sind im mathematischen Teilgebiet der Gruppentheorie betrachtete Untergruppen mit einer Zusatzeigenschaft. Diese Zusatzeigenschaft besagt, dass die Untergruppe unter jedem Endomorphismus der Gruppe invariant ist.

## Definition

Es sei $G$ eine Gruppe. Eine Untergruppe $U\subset G$ heißt vollinvariant, falls

    $\varphi (U)\subset U$ für alle Endomorphismen $\varphi$ der Gruppe $G$.

## Beispiele

* Offenbar sind die triviale Untergruppe $\{1\}$ und die Gruppe selbst stets vollinvariante Untergruppen. Sind dies die einzigen vollinvarianten Untergruppen, so nennt man die Gruppe vollinvariant-einfach.
* Da homomorphe Bilder von Kommutatoren wieder Kommutatoren sind, ergeben die mit ihnen gebildeten Untergruppen bei der Definition auflösbarer oder nilpotenter Gruppen vollinvariante Gruppen:

    $G^{(0)}:=G$ und $G^{(n)}:=\left[G^{(n-1)},G^{(n-1)}\right]$ für $n>0$, die sogenannte Reihe der abgeleiteten Untergruppen, sie besteht aus vollinvarianten Untergruppen.
    $\gamma _{1}G:=G$ und $\gamma _{n}G:=\left[G^{(n-1)},G\right]$ für $n>0$, die sogenannte absteigende Zentralreihe, sie besteht aus vollinvarianten Untergruppen.
* Bezeichnet $G^{n}$ die von allen $n$-ten Potenzen erzeugte Untergruppe, so sind die $G^{n}$ ebenfalls vollinvariant.
* Hat eine Gruppe zu einer Primzahl $p$ genau eine $p$-Sylowgruppe, so ist diese vollinvariant. In abelschen Gruppen ist das stets der Fall.
* Zentren von Gruppen sind im Allgemeinen nicht vollinvariant. So ist zum Beispiel das Zentrum von $A_4$$\times$$ℤ_2$ nicht vollinvariant.

## Bemerkungen

Für Untergruppen einer Gruppe bestehen offenbar folgende Implikationen:

       vollinvariant $\Rightarrow$ charakteristisch $\Rightarrow$ Normalteiler $\Rightarrow$ Untergruppe

Die Umkehrungen gelten nicht. Beispielsweise sind Zentren von Gruppen stets charakteristisch, aber im Allgemeinen nicht vollinvariant, wie obigen Beispielen zu entnehmen ist.

Häufig betrachtet man in der Gruppentheorie Gruppen mit Operatorenbereich. Dabei handelt es sich um eine Menge $\Omega$, so dass zu jedem $\omega \in \Omega$ ein Endomorphismus $\varphi _{\omega }$ der Gruppe definiert ist. Beispielsweise kann man $R$-Moduln als abelsche Gruppen betrachten, so dass zu jedem Ringelement $r\in R$ der Endomorphismus $\varphi _{r}$ der Skalarmultiplikation mit $r$ erklärt ist, in diesem Fall ist $\Omega =R$. Oder man kann jede Gruppe $G$ mit dem Operatorenbereich $\Omega =G$ ausstatten, wobei $\varphi _{g}$ für ein $g\in G$ die Konjugation mit $g\in G$ sei. Dann interessiert man sich für sogenannte $\Omega$-Unterstrukturen, die diese Operatoren respektieren, das heißt unter den Endomorphismen des Operatorenbereichs invariant bleiben. Auch in diesem Kontext gelten etwa die Isomorphiesätze oder der Satz von Jordan-Hölder. Es ist klar, dass vollinvariante Untergruppen stets $\Omega$-Unterstrukturen sind.

Die vollinvarianten Untergruppen einer Gruppe bilden einen abgeschlossenen Verband. Vollinvarianz ist zudem transitiv, das heißt, ist $U\subset G$ eine vollinvariante Untergruppe von $G$ und $V\subset U$ vollinvariante Untergruppe in $U$, so ist $V$ auch vollinvariant in $G$.

