Normalisator

Der Normalisator i​st ein Begriff a​us dem mathematischen Teilgebiet d​er Gruppentheorie.

Definition

Es seien ${\displaystyle G}$ eine Gruppe und ${\displaystyle U}$ eine nichtleere Teilmenge von ${\displaystyle G}$ . Der Normalisator von ${\displaystyle U}$ in ${\displaystyle G}$ ist definiert als

${\displaystyle N_{G}(U):=\left\{g\in G\mid gUg^{-1}=U\right\}}$ .

Dabei ist ${\displaystyle gUg^{-1}=\left\{gug^{-1}\mid u\in U\right\}}$ , entsprechend der Definition des Komplexproduktes.

Mit anderen Worten: Der Normalisator ${\displaystyle N_{G}(U)}$ besteht aus denjenigen ${\displaystyle g\in G}$ , für die gilt, dass ${\displaystyle U}$ unter Konjugation mit ${\displaystyle g}$ invariant ist. (Man sagt, dass diese Elemente ${\displaystyle U}$ normalisieren.)

Man beachte, dass lediglich gefordert wird, dass ${\displaystyle U}$ als Ganzes festbleibt, im Allgemeinen gilt also für einzelne Elemente ${\displaystyle u\in U}$ und ${\displaystyle g\in N_{G}(U)}$ durchaus ${\displaystyle gug^{-1}\neq u}$ ; es gilt aber stets ${\displaystyle gug^{-1}\in U}$ .

Eigenschaften

• Der Normalisator ist eine Untergruppe von ${\displaystyle G}$ .
• Der Index des Normalisators ${\displaystyle N_{G}(U)}$ liefert die Anzahl der unterschiedlichen Konjugierten ${\displaystyle gUg^{-1}}$ der Menge ${\displaystyle U}$ , d. h. ${\displaystyle |\{gUg^{-1}\mid g\in G\}|=[G:N_{G}(U)]}$ .
• Eine Untergruppe ${\displaystyle U}$ ist stets Normalteiler in ihrem Normalisator ${\displaystyle N_{G}(U)}$ . Genauer: ${\displaystyle N_{G}(U)}$ ist die bezüglich Inklusion größte Untergruppe von ${\displaystyle G}$ , in der ${\displaystyle U}$ Normalteiler ist.
• Eine Untergruppe ist genau dann Normalteiler in ${\displaystyle G}$ , wenn ihr Normalisator ganz ${\displaystyle G}$ ist.
• Man kann den Normalisator auch wie folgt einführen:
  Sei ${\displaystyle G}$ eine Gruppe. Man lasse ${\displaystyle G}$ auf der Potenzmenge von ${\displaystyle G}$ durch Konjugation operieren. Dann ist der Stabilisator dieser Operation für eine gegebene Teilmenge von ${\displaystyle G}$ gerade der Normalisator dieser Teilmenge.

Beispiel

Es sei ${\displaystyle G}$ die Gruppe der invertierbaren ${\displaystyle n\times n}$ -Matrizen (mit reellen Einträgen) für eine natürliche Zahl ${\displaystyle n}$ . Weiter sei ${\displaystyle U}$ die Untergruppe der Diagonalmatrizen. Dann ist der Normalisator von ${\displaystyle U}$ in ${\displaystyle G}$ die Gruppe der Matrizen, bei denen in jeder Zeile und in jeder Spalte genau ein Eintrag ungleich null ist. Der Quotient ${\displaystyle N_{G}(U)/U}$ ist isomorph zur symmetrischen Gruppe ${\displaystyle S_{n}}$ .

Verwandte Begriffe

Fordert man, dass ${\displaystyle U}$ elementweise invariant unter der Konjugation mit Gruppenelementen ist, erhält man den stärkeren Begriff des Zentralisators ${\displaystyle Z_{G}(U)}$ . Der Zentralisator ist ein Normalteiler im jeweiligen Normalisator.