Satz von Feit-Thompson
Der Satz von Feit-Thompson, benannt nach Walter Feit und John Griggs Thompson, ist ein Satz aus dem mathematischen Teilgebiet der Gruppentheorie.
Formulierung des Satzes
- Jede Gruppe ungerader Gruppenordnung ist auflösbar.
In der englischsprachigen Literatur spricht man auch vom Odd-Order-Theorem.
Bemerkungen zum Beweis
Trotz der beeindruckend einfachen Formulierung dieses Satzes sind keine zugänglichen Beweise bekannt. Der Satz wurde bereits 1911 von William Burnside vermutet, konnte aber erst 1963 von W. Feit und J. G. Thompson bewiesen werden. Der originale Beweis umfasst mehr als 250 Seiten, füllt die komplette Nummer 3 des Bandes 13 des Pacific Journal of Mathematics[1] und ist frei verfügbar.[2]
In der Folgezeit hat es besonders durch H. Bender und G. Glauberman einige Vereinfachungen gegeben,[3] allerdings konnte in Bezug auf die Beweislänge bislang kein Durchbruch erzielt werden und die ursprüngliche Beweisstruktur ist im Wesentlichen unverändert geblieben. Dabei ließen sie den charaktertheoretischen Teil des Beweises außen vor, er wurde aber von Thomas Peterfalvi vereinfacht.[4] Eine Beschreibung des Beweises findet sich im unten angegebenen Lehrbuch von D. Gorenstein.[5]
Georges Gonthier gelang mit Kollegen nach sechsjähriger Arbeit 2012 die Verifikation des Beweises mit Coq.[6]
Bedeutung
Endliche einfache Gruppen
Ist eine endliche Gruppe einfach und nicht zyklisch von Primzahlordnung, so ist die Gruppenordnung gerade. Das folgt sofort aus dem Satz von Feit-Thompson, denn eine ungerade Gruppe hat als auflösbare Gruppe einen nicht-trivialen Normalteiler oder ist zyklisch von Primzahlordnung. Da unter den abelschen Gruppen nach dem Hauptsatz über endlich erzeugte abelsche Gruppen die einfachen Gruppen genau die zyklischen Gruppen von Primzahlordnung sind, lässt sich das wie folgt umformulieren:
- Nichtabelsche einfache Gruppen haben gerade Gruppenordnung.
Diese Aussage ist äquivalent zum Satz von Feit-Thompson, denn wenn eine Gruppe nicht auflösbar ist, dann enthält jede Kompositionsreihe eine nichtabelsche einfache Gruppe und deren Ordnung ist nach Voraussetzung gerade und natürlich Teiler der Gruppenordnung, die daher auch gerade ist.
Also hat jede endliche einfache nichtabelsche Gruppe gerade Gruppenordnung und enthält damit nach dem Satz von Cauchy ein Element der Ordnung 2, eine sogenannte Involution. Die Untersuchung der Zentralisatoren solcher Involutionen ist Ausgangspunkt für die Klassifikation endlicher einfacher Gruppen.
Satz von Schur-Zassenhaus
Nach dem Satz von Schur-Zassenhaus gibt es in einer endlichen Gruppe mit Normalteiler , so dass die Ordnungen von und der Faktorgruppe teilerfremd sind, eine Untergruppe mit und .
Solche Untergruppen nennt man ein Komplement zu . Klassisch wurde dazu folgende Eindeutigkeitsaussage bewiesen:
- Ist zusätzlich oder auflösbar, so sind je zwei Komplemente zu konjugiert.
Mit dem Satz von Feit-Thompson kann auf die zusätzliche Auflösbarkeitsvoraussetzung verzichtet werden, denn wenn und teilerfremde Gruppenordnungen haben, muss eine dieser beiden Gruppenordnungen ungerade sein.[7]
Einzelnachweise
- W. Feit, J. G. Thompson, Solvability of groups of odd order, Pacific Journal of Mathematics, Band 13, 1963, Seiten 775–1029
- Originalartikel als pdf
- H. Bender, G. Glauberman: Local analysis for the odd order theorem, Cambridge University Press, London Mathematical Society Lecture Note Series (1994 ), Band 188, ISBN 978-0-521-45716-3
- Thomas Peterfalvi: Character theory for the odd order theorem, London Mathematical Society Lecture Note Series 272, Cambridge University Press, 2000
- D. Gorenstein: Finite Groups, AMS Chelsea Publishing (1980), 2-te Auflage, ISBN 978-0-82184342-0
- Feit-Thompson proved in Coq, Microsoft Research-Inria, 20. September 2012, Web-Archive
- H. Kurzweil, B. Stellmacher: Theorie der endlichen Gruppen, Springer-Verlag (1998), ISBN 3-540-60331-X, Abschnitt 6.2.1