Ein Meilenstein der endlichen Gruppentheorie: Jede endliche Gruppe ungerader Ordnung ist auflösbar. Insbesondere gibt es keine nichtabelschen einfachen endlichen Gruppen ungerader Ordnung. Der Beweis ist lang und verwendet tiefe darstellungstheoretische und lokale Analysen; die Aussage ist eine wesentliche strukturelle Einschränkung für endliche einfache Gruppen.

Prinzip

Prinzip der Lösbarkeit bei ungerader Ordnung: Die Parität der Gruppenordnung setzt starke Beschränkungen für die Kompositionsfaktoren und die lokale Untergruppenstruktur; in Fällen ungerader Ordnung fallen bestimmte Hindernisse für Lösbarkeit weg, wodurch induktive und charaktertheoretische Argumente zur Lösbarkeit führen können.

Demonstration

Beispielanwendung: Jede Gruppe der Ordnung 21 = 3·7 ist lösbar; Sylow-Argumente führen zu normalen Sylow-Untergruppen oder zu einer semidirekten Produktstruktur, die lösbar ist. Der Feit–Thompson-Satz verallgemeinert solche Einzelfallbetrachtungen auf alle ungeraden Ordnungen.

Fehlanwendung

Die Konverse annehmen (jede lösbare endliche Gruppe hat ungerade Ordnung) oder den Satz auf unendliche Gruppen ausdehnen. Ebenso falsch ist, aus dem Satz Eigenschaften abzuleiten, die stärkere Voraussetzungen erfordern, wie Supersolvabilität oder Nilpotenz; Lösbarkeit ist schwächer als diese Eigenschaften und impliziert sie nicht automatisch.

Konsequenz

Beschränkt die möglichen endlichen einfachen Gruppen radikal auf gerade Ordnungen und trägt so zur Klassifikation bei; er vereinfacht Strukturargumente, indem er einfache Obstruktionen ungerader Ordnung ausschließt und die Analyse nach Paritätsklassen trennt.

Umkehrung

Die direkte Umkehrung ist falsch: Es existieren viele nichtlösbare endliche Gruppen gerader Ordnung (z. B. einfache Gruppen gerader Ordnung). Der Gegensatz hebt hervor, wie zentral das Vorkommen der Primzahl 2 für das Auftreten nichtabelscher einfacher endlicher Gruppen ist.

Abgrenzung

Gilt nur für endliche Gruppen und nur unter der Paritätsbedingung ungerader Ordnung; er macht keine weitergehenden Aussagen über die Struktur lösbarer Gruppen ungerader Ordnung und gilt nicht für unendliche Gruppen oder für stärkere Eigenschaften wie Supersolvabilität ohne zusätzliche Annahmen.

Semantische Spannung

Spannung zwischen diesem umfassenden Lösbarkeitsbefund und anderen Finitheitssätzen wie Burnside p^a q^b-Theorem; beide beschränken Einfachheit und Lösbarkeit, beruhen jedoch auf unterschiedlichen Voraussetzungen (Primzahlschemata vs. Parität) und haben verschiedene Reichweiten und Stärken.

Synthese

Das Feit–Thompson-Theorem besagt, dass jede endliche Gruppe ungerader Ordnung lösbar ist, womit nichtabelsche einfache endliche Gruppen ungerader Ordnung ausgeschlossen werden und eine entscheidende paritätsbasierte Dichotomie entsteht, die tiefergehende Klassifikationsresultate stützt.