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.^{[Anm 1]}

Neben Wedderburn (der mehrere Beweise gab, zuerst 1905)^[1] haben auch andere Mathematiker unterschiedliche Beweise für den Satz geliefert, zum Beispiel Leonard Dickson, Emil Artin,^[2] Ernst Witt (der Beweis umfasst eine Seite),^[3] 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,^[4] verallgemeinert im Satz von Artin-Wedderburn. Im Englischen wird Wedderburns Satz über endliche Schiefkörper deshalb auch Kleiner Satz von Wedderburn genannt.

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.^[5] Man kann jede desarguessche Ebene als affine bzw. projektive Ebene über einem Schiefkörper ${\displaystyle K}$ betrachten, wobei der Satz von Pappos genau dann gilt, wenn ${\displaystyle K}$ kommutativ ist. Hier kommt der Satz von Wedderburn zum Einsatz. Für diesen rein geometrischen Sachverhalt kennt man bis heute keinen geometrischen Beweis.^[5]

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.^[5]

Der Beweis von Ernst Witt^[3] beruht auf dem Zusammenwirken dreier einfacher Fakten:

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

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

Wählt man als Operation die Konjugation der Gruppe ${\displaystyle 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 ${\displaystyle n\in \mathbb {N} \backslash \{0\}}$:

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

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

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

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

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

Insbesondere ist für ein ${\displaystyle x\in Z^{\times }}$ der Stabilisator ${\displaystyle G_{x}=D^{\times }}$, also ${\displaystyle L_{x}=D}$ und ${\displaystyle n_{x}=n}$. Die Umkehrung gilt ebenso: ${\displaystyle 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 ${\displaystyle R}$ bezeichnet. Dieses enthält notwendig die Menge der Fixpunkte, d. h. der Punkte mit einelementigen Bahnen: Dies ist gerade ${\displaystyle Z^{\times }\subset R}$.

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

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

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).

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

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

Die Brauergruppe besitzt eine galoiskohomologische Interpretation.

• 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.

1. ↑ Denn ${\displaystyle A\to B}$ ist bekanntlich gleichwertig mit ${\displaystyle \neg B\to \neg A.}$
2. ↑ Dabei gilt ${\displaystyle G_{g\triangleright x}=g\,G_{x}\,g^{-1}}$ für ${\displaystyle g\in G,\,x\in X}$. Also ist die Standgruppe ${\displaystyle G_{x}}$ genau dann Normalteiler in ${\displaystyle G}$, wenn sie Standgruppe für jedes Element der Bahn von ${\displaystyle x}$ ist: ${\displaystyle G_{x}<G\Leftrightarrow \forall g\in G\colon G_{x}=G_{g\triangleright x}}$ .
3. ↑ Diese Teilerbeziehungen gelten in ${\displaystyle \mathbb {Q} [X]}$ und – der Normiertheit der beteiligten Polynome wegen – sogar schon über ${\displaystyle \mathbb {Z} }$. – Zur Abrundung des Hintergrunds: Im Übrigen ist die Nullstellenmenge von ${\displaystyle \Phi _{n}(X)}$ in einem Zerfällungskörper ${\displaystyle K}$ gerade die Menge ${\displaystyle \mu _{K}^{*}(n)}$ aller primitiven ${\displaystyle n}$-ten Einheitswurzeln. Daher ist ${\displaystyle \Phi _{n}(X)=\prod _{\zeta \in \mu _{K}^{*}(n)}(X-\zeta )}$ und ${\displaystyle X^{n}-1=\prod _{d\mid n}\Phi _{d}(X)}$, woraus mit den Möbiusschen Umkehrformeln (in multiplikativem Kontext) folgt: ${\displaystyle \Phi _{n}(X)=\prod _{1\leq d,e\mid n=de}(X^{e}-1)^{\mu (d)}}$. In ${\displaystyle \mathbb {C} }$ gilt gerade ${\displaystyle \mu _{\mathbb {C} }^{*}(n)=\left\{e^{\frac {2\pi \mathrm {i} k}{n}}\in \mathbb {C} \mid 0<k<n,\,\operatorname {ggT} (n,k)=1\right\}}$, und die Einheitswurzeln liegen sämtlich auf dem Einheitskreis. Ferner ist ${\displaystyle \Phi _{n}(X)\in \mathbb {Z} [X]}$, d. h., es hat ganzzahlige Koeffizienten (Beweis mit Lemma von Gauß oder direkt durch euklidische Division normierter (!) Polynome mit (notwendig verschwindendem!) Rest), und es ist irreduzibel über ${\displaystyle \mathbb {Q} }$ (und gleichermaßen über ${\displaystyle \mathbb {Z} }$) vom Grade ${\displaystyle \operatorname {deg} (\Phi _{n})=\varphi (n)={\big (}(\mathbb {Z} /n\mathbb {Z} )^{*}:1{\big )}={\big [}\mathbb {Q} [\zeta ]:\mathbb {Q} {\big ]}}$ (Eulersche ${\displaystyle \varphi }$-Funktion); die Kreisteilungserweiterung ${\displaystyle \mathbb {Q} [\zeta ]/\mathbb {Q} }$ ist galoissch mit ${\displaystyle \Phi _{n}(X)}$ als Minimalpolynom und ${\displaystyle (\mathbb {Z} /n\mathbb {Z} )^{*}}$ als Galoisgruppe, und die ${\displaystyle n}$-ten primitiven Einheitswurzeln sind sämtlich untereinander konjugiert (unter der Operation der Galoisgruppe, d. h., sie liegen in derselben Bahn), d. h., sie haben dasselbe Minimalpolynom, d. h., ihr gemeinsames Minimalpolynom ${\displaystyle \Phi _{n}(X)}$ ist normal (galoissch) über ${\displaystyle \mathbb {Q} }$ (im Sinne von B. L. van der Waerden, Algebra I, § 41, Seite 126). – Über einem endlichen Primkörper ${\displaystyle \mathbb {F} _{p}}$ jedoch kann das Kreisteilungspolynom reduzibel sein.
4. ↑ Dies ist geometrisch unmittelbar einsichtig und folgt gleichermaßen aus der Dreiecksungleichung am Einheitskreis.
5. ↑ Dieses Faktum involviert also die archimedische (indiskrete) Bewertung, nämlich den Betrag des lokalen Körpers ${\displaystyle \mathbb {C} }$. Es versetzt in Erstaunen, auf welch anschauliche Weise dieser Beweis die Notwendigkeit der Kommutativität des Schiefkörpers ${\displaystyle D}$ in einer einfachen geometrische Abschätzung widerspiegelt.
6. ↑ Beweis durch Nachrechnen. – Mit der auf ${\displaystyle D}$ definierten, über ${\displaystyle Z}$ bilinearen Kommutatorklammer ${\displaystyle [x,y]:=xy-yx}$ gilt für ${\displaystyle x,y\in D^{\times }=X=G}$: ${\displaystyle y\in G_{x}\Leftrightarrow xy=yx\Leftrightarrow [x,y]=0\Leftrightarrow x\in G_{y}.}$ Wenn also ${\displaystyle y,z\in G_{x}}$, so gilt (i) gemäß Bilinearität ${\displaystyle [x,y\pm z]=[x,y]\pm [x,z]=0}$, (ii) gemäß Produktregel ${\displaystyle [x,yz]=[x,y]z+y[x,z]=0}$ und (iii) ${\displaystyle y[x,y^{-1}]y=[y,x]=0}$. – Nebenbei bemerkt gilt die Jacobi-Identität ${\displaystyle 0=[x,yz]+[y,zx]+[z,xy]}$.

1. ↑ Wobei der erste fehlerhaft war, so dass die Priorität eigentlich Leonard Dickson zusteht. Die Geschichte der Beweise ist von Karen Parshall untersucht worden.
2. ↑ Siehe Literatur; Emil Artin gibt in seinem Beitrag auch die Quellen für die Beweise von Wedderburn und Dickson.
3. ↑ ^{a b} Ernst Witt: Über die Kommutativität endlicher Schiefkörper. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, Band 8, 1931, S. 413, doi:10.1007/BF02941019.
4. ↑ Zum Beispiel Bartel L. van der Waerden: Algebra. Band 2, Springer, Heidelberger Taschenbücher, S. 73.
5. ↑ ^{a b c} Heinz Lüneburg: Die euklidische Ebene und ihre Verwandten. Birkhäuser, Basel/Boston/Berlin 1999, ISBN 3-7643-5685-5, III: Papossche Ebenen (digitalisierte Leseprobe bei Google Books [abgerufen am 30. Juli 2013] – ausführliche Diskussion und Beweis des Satzes von Hessenberg; Erläuterungen, wie der Satz von Pappos die algebraische Struktur des Koordinatenkörpers bestimmt).