Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. siehe auch: Gruppentheorie || endliche Gruppe Endliche einfache Gruppen im folgenden kurz als einfache Gruppen gelten in der Mathematik als die Bausteine der endlichen Gruppen .
Jede endliche Gruppe läßt sich in vielen Schritten aus einfachen Gruppen konstruieren jede Gruppe läßt sich auch wieder in ihre Gruppen zerteilen. Es gibt jedoch keine "noch Gruppen" aus denen sich die einfachen Gruppen lassen.
Ein anschaulicher Vergleich: einfache Gruppen spielen die endlichen Gruppen eine ähnliche Rolle wie die Primzahlen für die natürliche Zahlen .
Eine endliche Gruppe E mit mindestens Elementen ist eine einfache Gruppe wenn für jeden surjektiven Gruppenhomomorphismus h : E -> H eine der beiden folgenden Bedingungen gilt:
Die Abbildung h ist injektiv d.h. die Gruppen E und H gleich groß.
Die Abbildung ist trivial h bildet Elemente von E auf das neutrale Element H ab.
Um noch einmal den Vergleich mit Primzahlen zu bemühen: eine einfache Gruppe läßt mittels Homomorphismus nur in gleichgroße Gruppen oder in 1-er-Gruppen zerteilen.
Die Zyklischen Gruppen Z p mit p = 2 3 5 11 ... bilden eine Familie der einfachen
Bei den einfachen Gruppen fallen die zyklisch und kommutativ zusammen d.h. jede einfache zyklische Gruppe kommutativ und jede einfache kommutative Gruppe ist
Bei den einfachen Gruppen fallen die zyklisch und ungerade Ordnung beinahe zusammen:
Jede einfache zyklische Gruppe - außer Z 2 - besitzt eine ungerade Anzahl von
Jede einfache Gruppe mit ungerader Ordnung zu den zyklischen Gruppen.
Die ersten 5 Gruppen der insgesamt sporadische Gruppen wurden von Émile Mathieu bereits den Jahren 1862 und 1873 entdeckt.
Die 21 "jüngeren" Gruppen wurden ab gefunden meist erfolgte die Entdeckung im Rahmen Beweissuche zum Klassifikationssatz. Da diese Gruppen zum recht groß sind vergingen zwischen ihrer gruppentheoretischer und dem praktischen Beweis ihrer Existenz oft Jahre.
Die so genannte Monstergruppe F1 mit 8 × 10 53 Elementen beispielsweise wurde bereits 1973 von Fischer und Robert Griess junior entdeckt ihre Konstruktion gelang Griess jedoch erst 1980.
HTML-Code zum Verweis auf diese Seite: <a href="http://www.uni-protokolle.de/Lexikon/Einfache_Gruppe.html">Endliche einfache Gruppen und ihre Klassifikation </a>