Index (Gruppentheorie)

Im mathematischen Teilgebiet der Gruppentheorie ist der Index einer Untergruppe ein Maß für die relative Größe zur gesamten Gruppe.

Definition

Es sei eine Gruppe und eine Untergruppe. Dann sind die Menge G/U der Linksnebenklassen und die Menge $U\backslash G$ der Rechtsnebenklassen gleichmächtig. Ihre Mächtigkeit ist der Index von in und wird mit $(G\colon U)$ , manchmal auch $[G\colon U]$ oder $|G\colon U|$ , bezeichnet.

Eigenschaften

Es gilt $(G\colon 1)=|G|$ . (Dabei bezeichnet die Ordnung von .)
Der Index ist multiplikativ, d.h. ist eine Untergruppe von und eine Untergruppe von , so gilt

$(G\colon V)=(G\colon U)\cdot (U\colon V).$
Der Spezialfall wird oft als Satz von Lagrange (nach J.-L. Lagrange) bezeichnet:

Für eine Gruppe und eine Untergruppe gilt:

$|G|=(G\colon U)\cdot |U|.$

Im Fall von endlichen Gruppen kann man den Index einer Untergruppe also als

$(G\colon U)={\frac {|G|}{|U|}}$

berechnen.
Ist $N\vartriangleleft G$ ein Normalteiler, so ist der Index von in gerade die Ordnung der Faktorgruppe , also

$(G\colon N)=\left|G/N\right|$ .
Eine Untergruppe vom Index 2 ist ein Normalteiler, da von den zwei (Links)nebenklassen die eine die Untergruppe selbst und die andere deren Komplement ist.
Allgemeiner: Ist eine Untergruppe von und ihr Index, der zugleich der kleinste Teiler der Ordnung ist, dann ist ein Normalteiler in .

Topologische Gruppen

Im Kontext von topologischen Gruppen spielen Untergruppen von endlichem Index eine Sonderrolle:

Eine Untergruppe von endlichem Index ist genau dann offen, wenn sie abgeschlossen ist. (Offene Untergruppen sind stets abgeschlossen.)
Jede offene Untergruppe einer kompakten Gruppe hat endlichen Index.

Siehe auch

Der Index des Zentralisators eines Gruppenelements entspricht der Mächtigkeit seiner Konjugationsklasse.
In der Galoistheorie ist durch die Galoiskorrespondenz ein Zusammenhang zwischen den relativen Indizes von Untergruppen der Galoisgruppe und den relativen Graden von Körpererweiterungen gegeben.

Basierend auf einem Artikel in:

Wikipedia.de