Endliche einfache Gruppe

Endliche einfache Gruppe

Endliche einfache Gruppen, im Folgenden kurz als einfache Gruppen bezeichnet, gelten in der Gruppentheorie (einem Teilgebiet der Mathematik) als die Bausteine der endlichen Gruppen.

Einfache Gruppen spielen für die endlichen Gruppen eine ähnliche Rolle wie die Primzahlen für die natürlichen Zahlen: Jede endliche Gruppe lässt sich in endlich vielen Schritten aus einfachen Gruppen konstruieren; jede endliche Gruppe lässt sich auch wieder in ihre einfachen Gruppen zerteilen. Es gibt jedoch keine „noch einfacheren Gruppen“, aus denen sich die endlichen einfachen Gruppen konstruieren lassen.

Inhaltsverzeichnis

Definition

Eine endliche Gruppe E mit mindestens zwei Elementen ist eine einfache Gruppe, wenn für jeden surjektiven Gruppenhomomorphismus h: E\to H eine der beiden folgenden Bedingungen gilt:

  • Die Abbildung h ist injektiv (und daher bijektiv), d. h. die Gruppen E und H sind gleich mächtig.
  • Die Abbildung ist trivial, h bildet alle Elemente von E auf das neutrale Element e von H ab.

Jeder nichttriviale Homomorphismus einer einfachen Gruppe ist also ein Isomorphismus. Eine hierzu äquivalente Definition ist, dass die Gruppe E genau dann einfach ist, wenn sie nur {e} und sich selbst als Normalteiler besitzt.

Klassifikation

Seit 1962 war bekannt, dass alle nicht-abelschen einfachen Gruppen eine gerade Ordnung haben müssen (Satz von Feit und Thompson). Bis zur vollständigen Klassifikation war es aber noch ein weiter Weg.

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

  • Die abelschen Gruppen von Primzahlordnung
  • Die Gruppen vom Lie-Typ, 16 jeweils unendliche Serien
  • Die alternierenden Gruppen
  • Die 26 sporadischen Gruppen

Zum Beweis des Klassifikationssatzes

Die Herleitung des Satzes war eines der umfangreichsten Projekte der Mathematikgeschichte:

  • Der Beweis verteilt sich auf über 500 Fachartikel mit zusammen fast 15.000 gedruckten Seiten. Es sind aber nicht alle Beweise auch publiziert worden.
  • Über 100 Mathematiker waren von Ende der 1920er bis Anfang der 1980er Jahre daran beteiligt.

Da Teile des Satzes mit Hilfe von Computern überprüft wurden, wird der Beweis jedoch nicht von allen Mathematikern anerkannt. Nach der „Fertigstellung“ des Beweises um 1980 ist von führenden Mathematikern des Klassifikationsprogramms wie Michael Aschbacher und Daniel Gorenstein ein Programm gestartet worden, den Beweis zu vereinfachen und lückenlos zu dokumentieren. Dabei sind auch Lücken entdeckt worden, von denen die meisten ohne größere Komplikationen geschlossen werden konnten; eine Lücke erwies sich allerdings als so hartnäckig, dass erst 2002 durch Aschbacher und andere ein Beweis erbracht werden konnte (Aschbacher, Smith: The classification of quasithin groups, AMS), der immerhin 1200 Seiten lang war - ein Grund war allerdings, dass sich die Autoren bemühten, diesmal möglichst ohne Verweise auszukommen.

Familien einfacher Gruppen (Beispiele)

Zyklische Gruppen mit Primzahlordnung

Die zyklischen Gruppen Zp mit p = 2, 3, 5, 7, 11,... bilden eine Familie einfacher Gruppen.

Bei den einfachen Gruppen fallen die Eigenschaften zyklisch und kommutativ zusammen, denn jede zyklische Gruppe ist kommutativ und jede einfache kommutative Gruppe ist zyklisch.

Bei den einfachen Gruppen fallen die Eigenschaften zyklisch und ungerade Ordnung beinahe zusammen:

  • Jede einfache zyklische Gruppe - außer Z2 - besitzt eine ungerade Anzahl von Elementen.
  • Jede einfache Gruppe mit ungerader Ordnung gehört zu den zyklischen Gruppen.

Alternierende Permutationsgruppen

Die alternierenden Permutationsgruppen Altn mit n größer als 4 bilden eine Familie der einfachen Gruppen.

Sporadische Gruppen

Die ersten 5 der insgesamt 26 sporadischen Gruppen (siehe dort zu einer tabellarischen Übersicht) wurden von Émile Mathieu bereits in den Jahren 1862 und 1873 entdeckt.

Die 21 „jüngeren“ Gruppen wurden ab 1964 gefunden; meist erfolgte die Entdeckung im Rahmen der Beweissuche zum Klassifikationssatz. Da diese Gruppen zum Teil recht groß sind, vergingen zwischen ihrer gruppentheoretischen Entdeckung und dem praktischen Beweis ihrer Existenz oft mehrere Jahre. Die größte aller 26 sporadischen Gruppen, die sogenannte Monstergruppe F1 mit rund 8 × 1053 Elementen, wurde bereits 1973 von Bernd Fischer und Robert Griess junior entdeckt, ihre endgültige Konstruktion gelang Griess jedoch erst 1980.

Von einigen Autoren wird auch die Gruppe 2F4(2)' mit 17971200 = 211·33·52·13 Elementen zu den sporadischen Gruppen gezählt, womit sich eine Gesamtzahl von 27 ergibt.

Weblinks und Literatur

Siehe auch


Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Einfache Gruppe — Endliche einfache Gruppen, im Folgenden kurz als einfache Gruppen bezeichnet, gelten in der Gruppentheorie (einem Teilgebiet der Mathematik) als die Bausteine der endlichen Gruppen. Einfache Gruppen spielen für die endlichen Gruppen eine ähnliche …   Deutsch Wikipedia

  • Endliche einfache Gruppen und ihre Klassifikation — Endliche einfache Gruppen, im Folgenden kurz als „einfache Gruppen“ bezeichnet, gelten in der Gruppentheorie (einem Teilgebiet der Mathematik) als die Bausteine der endlichen Gruppen. Einfache Gruppen spielen für die endlichen Gruppen eine… …   Deutsch Wikipedia

  • Gruppe (Mathematik) — Gruppe (Axiome EANI) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma (Axiom E) Halbgruppe (EA) Monoid (EAN) …   Deutsch Wikipedia

  • Gruppe Mathematik — Gruppe (Axiome EANI) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma (Axiom E) Halbgruppe (EA) Monoid (EAN) …   Deutsch Wikipedia

  • Ordnung einer Gruppe — Gruppe (Axiome EANI) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma (Axiom E) Halbgruppe (EA) Monoid (EAN) …   Deutsch Wikipedia

  • Endliche Galoiserweiterung — In der abstrakten Algebra ist ein Unterkörper eines Körpers L eine Teilmenge , die 0 und 1 enthält und mit den auf K eingeschränkten Verknüpfungen selbst ein Körper ist. L wird dann Oberkörper von K genannt. Das Paar L und K bezeichnet man als… …   Deutsch Wikipedia

  • Endliche Gruppe — Eine endliche Gruppe tritt in der mathematischen Disziplin der Gruppentheorie auf. Endliche Gruppen sind Gruppen, deren Trägermenge M eine endliche Anzahl von Elementen enthält. Inhaltsverzeichnis 1 Axiome 2 Einfache Gruppen 3 Beispiele …   Deutsch Wikipedia

  • Einfache Mehrheit — Mehrheit bezeichnet allgemeinsprachlich dasselbe wie die meisten aus einer Anzahl von Menschen oder Dingen. – In strengem Sinne wird das Wort benutzt, um Regeln für Wahlen und Abstimmungen zu formulieren. In solchen Regeln (Gesetzen, Satzungen,… …   Deutsch Wikipedia

  • Endlich erzeugte abelsche Gruppe — Eine endlich erzeugte abelsche Gruppe ist eine abelsche Gruppe (G,+), in der es endlich viele Elemente gibt, sodass jedes in der Form geschrieben werden kann, wobei ganze Zahlen sind und die ni fache Verknüpfu …   Deutsch Wikipedia

  • Auflösbare Gruppe — In der Gruppentheorie, einem Teilgebiet der Mathematik, ist eine Gruppe auflösbar, falls sie eine Subnormalreihe mit abelschen Faktorgruppen hat. Inhaltsverzeichnis 1 Hauptteil 2 Eigenschaften 3 Superauflösbare Gruppe …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”