Satz von Wedderburn

Der Satz von Wedderburn (nach Joseph Wedderburn) gehört zum mathematischen Teilgebiet der Algebra. Er besagt, dass jeder endliche Schiefkörper ein Körper ist, das heißt: Wenn ein Schiefkörper nur endlich viele Elemente enthält, folgt daraus bereits die Kommutativität der Multiplikation. Mit anderen Worten: Ein Schiefkörper, der kein Körper ist (in dem die Multiplikation also nicht kommutativ ist), enthält unendlich viele Elemente.

Neben Wedderburn (der mehrere Beweise gab, zuerst 1905) haben auch andere Mathematiker unterschiedliche Beweise für den Satz geliefert, zum Beispiel Leonard Dickson, Emil Artin, Ernst Witt (der Beweis umfasst eine Seite), Hans Zassenhaus und Israel Herstein.

Es gibt noch andere bekannte Sätze, die manchmal auch einfach Satz von Wedderburn genannt werden, wie sein Satz zur Klassifikation halbeinfacher Algebren, verallgemeinert im Satz von Artin-Wedderburn. Im Englischen wird Wedderburns Satz über endliche Schiefkörper deshalb auch Kleiner Satz von Wedderburn genannt.

Anwendung

Dieser Satz hat eine wichtige Anwendung in der synthetischen Geometrie: Für endliche affine oder projektive Ebenen folgt aus dem Satz von Desargues der Satz von Pappos. Man kann jede desarguessche Ebene als affine bzw. projektive Ebene über einem Schiefkörper $K$ betrachten, wobei der Satz von Pappos genau dann gilt, wenn $K$ kommutativ ist. Hier kommt der Satz von Wedderburn zum Einsatz. Für diesen rein geometrischen Sachverhalt kennt man bis heute keinen geometrischen Beweis.

Die umgekehrte Aussage „Jede pappossche Ebene ist desarguessch“ wird (nach Gerhard Hessenberg) als Satz von Hessenberg bezeichnet und gilt für jede affine und jede projektive Ebene.

Beweise

Ernst Witt (1931)

Der Beweis von Ernst Witt beruht auf dem Zusammenwirken dreier einfacher Fakten:

• Faktum 1: Eine Operation „$\triangleright$“ einer Gruppe $G$ auf einer Menge $X$ induziert auf der Menge eine Äquivalenzrelation, indem die Bahnen (Orbits) $G\triangleright x=\{g\triangleright x\mid g\in G\}\,,$ $x\in X\,,$ die Äquivalenzklassen sind. Für solche $G$-Mengen gilt die Bahnengleichung oder Bahnformel.

Zur Erläuterung: Der Stabilisator (oder die Standgruppe) $G_{x}$ eines Elementes $x\in X$ ist definiert durch $G_{x}:=\{g\in G\mid g\triangleright x=x\}$ und bildet eine Untergruppe in $G$. Es besteht eine Bijektion von der Menge der Linksnebenklassen dieser Gruppe zur Bahn: $G/G_{x}\cong G\triangleright x$. Für die Mächtigkeiten bedeutet dies, dass die Länge $\#(G\triangleright x)$ der Bahn von $x$ mit dem Index $\left(G:G_{x}\right)$ der Standgruppe von $x$ (in der Gruppe $G$) übereinstimmt: Für endliche Gruppen ist dies gerade die Aussage des Bahnensatzes, und die Bahnformel ergibt sich, indem für endliche Mengen $X$ die Anzahlen beider Seiten über ein Repräsentantensystem der Bahnen summiert werden, und liefert $\#X$.

Wählt man als Operation die Konjugation der Gruppe $G=X$ auf sich selbst, so werden die Bahnen Konjugationsklassen genannt: Also erfolgt die Summe über Repräsentanten der Konjugationsklassen und liefert die Gruppenordnung als die Summe der Indizes der zugehörigen Zentralisatoren, denn diese sind unter der Konjugation gerade die Stabilisatoren. Die Bahnengleichung heißt in diesem Falle auch Klassengleichung.

Ferner zwei Fakten für eine natürliche Zahl $n\in \mathbb {N} \backslash \{0\}$:

• Faktum 2: Das $n$-te Kreisteilungspolynom $\Phi _{n}(X)$ ist dasjenige ganzzahlige normierte Polynom größten Grades, das $X^{n}-1$ teilt, jedoch zu allen $X^{d}-1$ mit $d<n$ teilerfremd ist. Daher gilt $\Phi _{n}(X)\mid X^{n}-1$ und $\Phi _{n}(X){\Big \vert }{\frac {X^{n}-1}{X^{d}-1}}$ für alle $d<n$ mit $d\mid n$.
• Faktum 3 entspringt unmittelbar der geometrischen Anschauung am Einheitskreis: Für jede ganze Zahl $q\geq 2$ und jede primitive $n$-te Einheitswurzel $\zeta \in \mathbb {C}$ – etwa $\zeta =e^{\frac {2\pi \mathrm {i} }{n}}$ – gilt im Falle $n\geq 2$ die einfache Abschätzung $|q-\zeta |>q-1$, so dass mit Faktum 2 (oder ebenso gut unmittelbar nach Definition des Kreisteilungpolynoms) folgt: $\Phi _{n}(q)>q-1$. Im Falle $n=1$ egalisiert sich diese Abschätzung zu $\Phi _{1}(q)=q-1$, da $\zeta _{1}=1$.

Nun zum eigentlichen Beweis: Es sei also $D$ ein endlicher Schiefkörper. Seine multiplikative Gruppe $G:=D^{\times }=:X$ operiere auf sich selbst durch Konjugation: $g\triangleright x:=gxg^{-1}$.

Für ein beliebiges $x\in X=D^{\times }$ ist der Stabilisator $G_{x}\subset D^{\times }$ gleich der multiplikativen Gruppe $L_{x}^{\times }=G_{x}$ eines Schiefkörpers $L_{x}:=G_{x}\cup \{0\}$ mit $D\supset L_{x}\supset Z.$

Für die Menge der Fixpunkte $X^{G}=\bigcap _{x\in X}G_{x}$ gilt insbesondere: $Z:=X^{G}\cup \{0\}=\bigcap _{x\in X}L_{x}$ ist das Zentrum $Z(D)=Z$ des Schiefkörpers $D$ und selbst ein kommutativer Körper. Somit ist $D$ eine Divisionsalgebra über $Z$ der endlichen Dimension $\dim _{Z}D=:n$, so dass $\#D=q^{n}$, wenn $q:=\#Z$ gesetzt wird.

Für $x\in D^{\times }$ bezeichne nun $n_{x}:=\dim _{Z}L_{x}$, sodass $n_{x}\leq n$ und $\#G_{x}=\#L_{x}^{\times }=q^{n_{x}}-1$. (Es gilt ja sogar $n_{x}|n$.)

Insbesondere ist für ein $x\in Z^{\times }$ der Stabilisator $G_{x}=D^{\times }$, also $L_{x}=D$ und $n_{x}=n$. Die Umkehrung gilt ebenso: $n_{x}=n\Leftrightarrow G_{x}=D^{\times }\Leftrightarrow G\triangleright x=\{x\}\Leftrightarrow x\in Z^{\times }$.

Ein Repräsentantensystem für die Bahnen (Konjugationsklassen) gemäß Faktum 1 sei mit $R$ bezeichnet. Dieses enthält notwendig die Menge der Fixpunkte, d. h. der Punkte mit einelementigen Bahnen: Dies ist gerade $Z^{\times }\subset R$.

Faktum 1, also die Aufsummierung der Klassengleichung (d. h. der Bahnformel) über die Konjugationsklassen, liefert nun:

${\begin{array}{ccccc}q^{n}-1\quad =\quad \#D^{\times }\quad =\quad \#X&=&\sum \limits _{x\in R}\#(G\triangleright x)&&\\&=&\sum \limits _{x\in Z^{\times }}\#(G\triangleright x)&+&\sum \limits _{x\in R\backslash Z^{\times }}\#(G\triangleright x)\\&=&\#Z^{\times }&+&\sum \limits _{x\in R\backslash Z^{\times }}(G:G_{x})\\&=&q-1&+&\sum \limits _{x\in R\backslash Z^{\times }}{\frac {q^{n}-1}{q^{n_{x}}-1}}\\\end{array}}$

Faktum 2 gestattet nun, auf $\Phi _{n}(q)|(q-1)$ zu schließen, was jedoch auf den erbitterten Widerspruch des Faktums 3 stößt, solange $n\geq 2$. Allein der Fall $n=1$ löst die Unvereinbarkeit beider Aussagen in Wohlgefallen auf, und genau dies war zu zeigen: Die Divisionsalgebra $D$ stimmt mit ihrem Zentrum $Z$ überein, d. h., sie ist kommutativ.

Beweis mit Hilfe des Satzes von Skolem-Noether

Einen Beweis mit Hilfe des Satzes von Skolem-Noether (basierend auf den Struktursätzen von Wedderburn über einfache und halbeinfache Algebren (1907)) findet man bei Ina Kersten, Brauergruppen, Abschnitt 6.2, Seiten 50 f. oder bei Bartel Leendert van der Waerden, Algebra II, Kapitel XIV (Darstellungstheorie der Gruppen und Algebren), § 112 (Doppelmoduln und Produkte von Algebren), Anwendung in Textziffer 4 (siehe Literatur).

Folgerungen

Aus dem Satz von (Dickson-)Wedderburn folgt, dass die Brauergruppe $\operatorname {Br} (K)$ eines endlichen Körpers $K$ trivial ist:

$\operatorname {Br} (K)=\{1\}$

Die Brauergruppe besitzt eine galoiskohomologische Interpretation.

Literatur

• Joseph Wedderburn: A theorem on finite algebras. Transactions of the American Mathematical Society, Bd. 6, S. 349 (zitiert nach Emil Artin).
• Leonard Dickson: On finite algebras. Göttinger Nachrichten, 1905, Seite 379 (zitiert nach Emil Artin).
• Emil Artin: Über einen Satz von Herrn J. H. Maclagan Wedderburn. Hamb. Abh. 5 (1928), Seiten 245–250.
• Ernst Witt: Über die Kommutativität endlicher Schiefkörper. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg (Hamb. Abh.), Band 8, 1931, S. 413, doi:10.1007/BF02941019.
• Kurt Meyberg: Algebra. Teil 2. Hanser, München 1976, ISBN 3-446-12172-2, S. 63.
• Martin Aigner, Günter M. Ziegler: Proofs from the book. Springer, Berlin u. a. 1998, ISBN 3-540-63698-6.
• Ina Kersten: Brauergruppen. Universitätsdrucke Göttingen, Göttingen 2007, PDF (abgerufen an Himmelfahrt, 13. Mai 2021).
• Ina Kersten: Brauergruppen von Körpern. Verlag Vieweg, Braunschweig, Wiesbaden, 1990, ISBN 3-528-06380-7.
• Bartel Leendert van der Waerden: Algebra I. Unter Benutzung von Vorlesungen von E. Artin und E. Noether, 8. Auflage (der Modernen Algebra) Springer-Verlag, 1971, Heidelberger Taschenbücher Band 12, ISBN 3-540-03561-3.
• Bartel Leendert van der Waerden: Algebra II. Unter Benutzung von Vorlesungen von E. Artin und E. Noether, 5. Auflage (der Modernen Algebra) Springer-Verlag, 1967, Heidelberger Taschenbücher Band 23, ISBN 3-540-03869-8.