Endliche Gruppe

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Endliche Gruppen treten im mathematischen Teilgebiet der Gruppentheorie auf. Eine Gruppe (G,*) heißt endliche Gruppe, wenn G eine endliche Menge ist, also eine endliche Anzahl von Elementen hat.

Axiome[Bearbeiten | Quelltext bearbeiten]

Die Annahme der Endlichkeit ermöglicht ein vereinfachtes Axiomensystem (siehe van der Waerden S. 15–17):

Ein Paar (G,*) mit einer endlichen Menge G und einer inneren zweistelligen Verknüpfung *\,\colon\, G\times G\rightarrow G heißt Gruppe, wenn folgende Axiome erfüllt sind:

  • Eindeutigkeit der Kürzung: Aus a * x=a * x' wie auch aus x * a=x' * a folgt: x = x'.

Aus der Eindeutigkeit der Kürzung folgt, dass die Links- und Rechtsmultiplikationen x\mapsto a * x und x\mapsto x * a injektiv sind, woraus wegen der Endlichkeit auch die Surjektivität folgt. Daher gibt es ein x mit a * x = a, was zur Existenz des neutralen Elementes e führt, und dann ein x mit a * x = e, was die Existenz der inversen Elemente zeigt.

Endliche Untergruppe[Bearbeiten | Quelltext bearbeiten]

Die allgemeine Bedingung, dass die endliche Gruppe S eine Untergruppe der Gruppe G ist,

S1:   a, b \in S \Rightarrow a * b \in S
S2:   a \in S \Rightarrow a^{-1} \in S

vereinfacht sich ebenfalls, da S2 aus S1 folgt: Wenn S endlich ist, muss jedes Element a von S eine endliche Ordnung n besitzen, d. h. a^n = e. Das bedeutet aber, dass a^{n-1} = a^{-1} bereits in S ist. Eine nichtleere endliche Teilmenge S einer beliebigen Gruppe ist also genau dann eine Untergruppe, wenn für alle a,b \in S auch a * b in S liegt.

Einfache Gruppen[Bearbeiten | Quelltext bearbeiten]

Jede endliche Gruppe ist zusammengesetzt aus einer endlichen Anzahl von endlichen einfachen Gruppen. Allerdings kann diese Zusammensetzung kompliziert sein, und trotz der Kenntnis der Bausteine (der einfachen Gruppen) ist man noch weit davon entfernt, alle endlichen Gruppen zu kennen.

Die folgende Jahreszahl ist nicht hinreichend mit Belegen (beispielsweise Einzelnachweisen) ausgestattet. Die fraglichen Angaben werden daher möglicherweise demnächst entfernt. Bitte hilf der Wikipedia, indem du die Angaben recherchierst und gute Belege einfügst. Näheres ist eventuell auf der Diskussionsseite oder in der Versionsgeschichte angegeben. Bitte entferne zuletzt diese Warnmarkierung.
Vgl. Überarbeitungs-Baustein unter Endliche einfache Gruppe#Klassifikation.

Seit 1982 sind die endlichen einfachen Gruppen vollständig klassifiziert:

Beispiele[Bearbeiten | Quelltext bearbeiten]

Endliche Gruppen sind etwa die zyklischen Gruppen oder die Permutationsgruppen (siehe: Symmetrische Gruppe, Alternierende Gruppe).

Zu den sporadischen Gruppen zählen die Conway-Gruppe, das Babymonster und die Monstergruppe (mit fast 1054 Elementen die größte sporadische Gruppe).

Anwendungen[Bearbeiten | Quelltext bearbeiten]

Symmetrien von Körpern, namentlich in der Molekülphysik, werden durch Punktgruppen beschrieben; Symmetrien von Kristallen durch 230 verschiedene Raumgruppen.

Siehe auch[Bearbeiten | Quelltext bearbeiten]

Weblinks[Bearbeiten | Quelltext bearbeiten]

Literatur[Bearbeiten | Quelltext bearbeiten]