Der Satz, dass jeder endliche Divisionsring kommutativ ist; äquivalent dazu ist jeder endliche Divisionsring ein endlicher Körper. Er zeigt, dass nichtkommutative Divisionsalgebren nicht endlich sein können.

Prinzip

Endlichkeit erzwingt Kommutativität in einer Divisionsalgebra: Über einem endlichen Zentrum interagieren die Struktur der multiplikativen Gruppe und Körpererweiterungen so, dass nichtzentrale Elemente in der endlichen Lage nicht bestehen können.

Demonstration

Ist D ein endlicher Divisionsring, so ist sein Zentrum Z ein endlicher Körper F_q und D ist endlich-dimensional über Z. Durch Betrachten von Konjugationsklassen und Zählargumenten (oder unter Ausnutzung der Struktur multiplikativer Gruppen in endlichen Körpern) folgert man, dass jedes Element zentral ist, also D = Z ein Körper ist.

Fehlanwendung

Das Wedderburnsche Kleine Theorem mit dem Artin–Wedderburn-Theorem über die Struktur semisimpler Algebren verwechseln oder die Kommutativitätsfolge auf unendliche Divisionsringe wie die reellen Quaternionen anwenden.

Konsequenz

Klassifiziert endliche Divisionsalgebren vollständig: Sie sind genau die endlichen Körper, was die Untersuchung endlicher Divisionsringe vereinfacht und Folgen in endlicher Gruppentheorie und Körpertheorie hat.

Umkehrung

In unendlichen Kontexten gibt es echte nichtkommutative Divisionsringe (z. B. Quaternionenalgebren), daher ist die Endlichkeitsvoraussetzung entscheidend; wird sie invertiert, existieren viele Gegenbeispiele.

Abgrenzung

Gilt nur für endliche (als Mengen) Divisionsringe; legt keine Beschränkung für unendliche Divisionsringe oder allgemeinere nicht-integrale Ringe fest und darf nicht mit der Klassifikation semisimpler Algebren verwechselt werden.

Semantische Spannung

Spannung zum Artin–Wedderburn-Satz: Wedderburns kleines Theorem behandelt endliche Divisionsringe und erzwingt Kommutativität, während Artin–Wedderburn semisimpele Ringe klassifiziert, die nichtkommutative einfache Komponenten (z. B. Matrixalgebren über Divisionsringen) zulassen.

Synthese

Wedderburns kleines Theorem besagt, dass Endlichkeit Nonkommutativität in Divisionsringen ausschließt: Jeder endliche Divisionsring ist ein Körper, sodass die einzigen endlichen Divisionsalgebren die endlichen Körper sind.