Benutzer:Filomusa/Labor2

Emil Artin: Beweis von Satz von Wedderburn

Emil Artins Beweis konstruiert innere $Z(D)$-Algebra-Endomorphismen der Divisionsalgebra $D$ und zeigt, dass mit ihnen die gesamt multiplikative Gruppe $D^{\times }$ ausgeschöpft (abgedeckt) wird. Mit anderen Worten: Was der Satz von Skolem-Noether abstrakt liefert, leitet Emil Artin für Schiefkörper konstruktiv her. Dann liefert die Endlichkeit des Schiefkörpers das übliche Argument, dass die konjugierten Klassen nur dann die gesamte multiplikative Gruppe abdecken können, wenn sie disjunkt wären, was nicht der Fall ist, da sie sich alle in der Eins begegnen.

• Für einen Schiefkörper verfügt die Polynomalgebra $D[X]$ einer Unbekannten $X$ über einen links- und einen rechtsseitige (Hasse: vordere bzw. hintere) euklidische Division mit Rest. Daher sind Linksideal monogen (also linksseitig erzeugte Hauptideale), und Entsprechendes gilt für Rechtsideale.
• Es gilt ein Satz über die Assoziiertheit nicht verschwindender Elemente des Schiefkörpers, vgl. auch Hasses Aufgabensammlung zur Höheren Algebra: Hasse zeigt es für die Poloynomalgebra über einem nicht notwendig nullteilerfreien Ring mit Hilfe vorderer und hinterer euklidischer Division. Artin zeigt es unter Nutzung der Nullteilerfreiheit, die für Schiefkörper gewährleistet ist.
• Sodann indirekter Beweis durch Induktion – oder ebensogut durch Methode des unendlichen Abstiegs: Angenommen es gäbe endliche Schiefkörper, die nichtkommutativ sind, so sei $D$ derjenige unter ihnen mit der kleinsten Mächtigkeit (Minimalbedingung) und $Z:=Z(D)$ sein Zentrum. Es genügt schon, anzunehmen, dass bei gegebenem Zentrum $Z$ ein Schiefkörper $D\supset Z$ betrachtet wird, dessen Mächtigkeit minimal unter allen Schiefkörpern mit diesem Zentrum $Z$ ist.
• Konstruktion eines maximalen Teilschiefkörpers $D_{0}\subsetneq D$, der (wegen der Minimalbedingung) kommutativ sein muss.
• Es gibt Dimensionsbeziehungen, die unabhängig von der anfänglichen Auswahl der konstruierenden Elemente sind: Es sind also Invarianzen.
• Es gibt mehrere solcher Teilschiefkörper $D_{0},D_{1},\dots$, nämlich zu jedem $a\in D^{\times }$ ein $D_{a}$ mit $a\in D_{a}\subsetneq D$. Diese haben also sämtlich dieselbe Dimension über $Z$.
• Wegen des obigen Satzes über die Assoziiertheit (und einer weiteren Überlegung bzgl Galoisfeldern) sind sie sämtlich paarweise zueinander konjugiert.
• Dann führt der Satz über die Abdeckung von $D^{*}$ durch konjugierte, doch nicht disjunkte Nebenklassen (wie schon beim Beweis mit Skolem-Noether) zum Widerspruch.

Schön ist, dass der Beweis im Grunde die Struktur gewisser endlichdimensionaler zentraler Divisionsalgebren zeigt und zwar mit elementaren Mitteln.

ggT und kgV

Für $i=1,\dots ,n$ seien Kofaktoren $a_{i},b_{i}\in \mathbb {N}$ mit $N=a_{i}b_{i}$ gegeben. Dann gilt $\operatorname {ggT} (a_{1},\dots ,a_{n})\operatorname {kgV} [b_{1},\dots ,b_{n}]=N$. Für $n=2$ folgt $ab=(a,b)[a,b]$. Für $n=3$ folgt $abc=(a,b,c)[bc,ac,ab]$.

Direkter Durchschnitt und direkte Summe (Koprodukt)

Es sei $G$ eine Gruppe, $E\leq G$ Normalteiler, und $E\subset U_{i}\leq G$ weitere Normalteiler für $i=1,\dots ,n$. Dann sind auch $V_{i}:=\prod _{j_{i}}U_{i}$ Normalteiler in $G$, die $E$ umfassen.

Definition: $G$ ist modulo $E$ direkte Summe der $U_{i}$ genau dann, wenn

• $G=U_{1}\cdot \ldots \cdot U_{n}$ und
• $E=U_{i}\cap V_{i}$ für jedes $i=1,\dots ,n$

Ist dabei $E=\{1\}$, so heißt $G$ schlicht direkte Summe (Koprodukt) der Normalteiler $U_{i}$, in Zeichen: $G=\bigoplus _{i}U_{i}$. im Allgemeinen ist die Faktorgruppe $G/E$ die direkte Summe (Koprodukt) der seiner Normalteiler $U_{i}/E$, in Zeichen: $G/E=\bigoplus _{i}U_{i}/E$.

In komplementärer oder dualer Weise erklärt man die folgende

Definition: $E$ heißt in $G$ direkter Durchschnitt der $V_{i}$ genau dann, wenn

• $E=V_{1}\cap \dots \cap V_{n}$ und
• $G=V_{i}\cdot U_{i}$ für jedes $i=1,\dots ,n$.

Satz: Unter den genannten Voraussetzungen über die Beziehungen der $U_{i}$ und $V_{i}$ gilt: $G$ ist genau dann modulo $E$ direkte Summe seiner Normalteiler $U_{i}$, wenn $E$ in $G$ direkter Durchschnitt der Normalteiler $V_{i}$ ist.

Beispiel

Galoistheorie: Direktes Kompositum von Körpern – ist als $K$-Algebra isomorph zum Tensorprodukt der Algebren über $K$.

Eulersche Phi-Funktion

verallgemeinert nach Scholz 1934. Darstellung der Möbius-Umkehrfunktion nach Basic Algebra I gemäß Nathan Jacobson.

Lemma von Thue

Ergänzungen zum Lemma von Thue ?

Vektorräume über Schiefkörpern

Vektorräume über Schiefkörper zu betrachten, bedeutet kaum mehr Aufwand, liefert jedoch den Gewinn, dass die Eigenheiten der Dualitätstheorie deutlicher und schärfer hervortreten. So gewinnt die bekannte Tatsache „Zeilenrang und Spaltenrang sind gleich“ aus der Theorie der Matrizen an Profil, wenn sie über Schiefkörpern gewonnen wird: „Linkszeilenrang und Rechtsspaltenrang sind gleich, Rechtszeilenrang und Linksspaltenrang sind gleich“. Entsprechend stehen sich Vektorraum und Dualraum als Rechts- und Links- (bzw. Links- und Rechtsvektorraum) gegenüber. Dass der Bidualraum wieder dieselbe Seitigkeit hat, wie der Ursprungsraum und ihm dadurch wieder vergleichbar wird, wird so geradeswegs suggestiv. Die Transposition von Matrizen erhält auf diese Weise einen begriffliche Deutung, ebenso erhält die Notation von Koordinatenvektoren als Spalten- oder Zeilenvektoren einen begrifflichen Hintergrund und ist so befreit von dem Verdacht, dass es sich um eine bloß willkürliche Konvention handele. Schon aus diesem Grund lohnt es sich, Vektorräume über Schiefkörpern zu betrachten.

Definition

Es bezeichne $K$ einen Schiefkörper.

Text der Überschrift

Überschrift	Überschrift	Überschrift
Beispiel	Beispiel	Beispiel
Beispiel	Beispiel	Beispiel
Beispiel	Beispiel	Beispiel
Beispiel	Beispiel	Beispiel

Polynom, reduziertes

Zu einschlägigen Artikeln ... hilfreich für Serge Langs Beweis von der Existenz einer Normalbasis.

Verzweigungstheorie (Hilbert)

Warnung vor Dopplung: Verzweigung (Algebra)

Speisers Beweis des Kroneckerschen Jugendtraums

• Andreas Speiser: Die Zerlegungsgruppe. In: Journal für die reine und angewandte Mathematik (vulgo „Crelle-Journal“), Band 149 (1919). 1919, S. 174-188, abgerufen am 10. Januar 2023 (SUB Göttinger Digitalisierungszentrum). 

Irreduzibilität des n-ten Kreisteilungspolynoms

Siehe hierzu den Artikel Several Proofs von Weintraub, Steven H..

Beweise

• Heinrich Weber, Lehrbuch der Algebra, Band 2, Anhang (mit Korrektur eines irrtümlichen Beweise aus Band 1) gemäß Peter Friedrich Arndt: „Einfacher Beweis für die Irreductibilität einer Gleichung in der Kreistheilung“, aus Crelles Journal, Band 56, S. 178 (1859) und gemäß Lebesgue, Liouville's Journ, 2. Ser, Bd 4, S. 105 (1859).
• Ebenda (Seite 772) ein weiterer Beweis für den allgemeinen Fall gemäß Leopold Kronecker in Liouville's Journal, Band 19 (1854), Seite 177: „Mém. sur les facteurs irréd de l'expression $(x^{n}-1)$“
• Leopold Kronecker in Crelle's Journal, Band 29 (zitiert nach Peter Friedrich Arndt in Crelle's Journal, Band 56)
• Leopold Kronecker in Liouville's Journal Jahrgang 1856 (zitiert nach Peter Friedrich Arndt in Crelle's Journal, Band 56)
• Ebenda (Fußnote Seite 772) Verweis auf einen Beweis von Richard Dedekind in Crelles Journal, Band 58 (1859). (Finde ich aber nicht).
• Beweis von Edmund Landau in Crelles Journal, Band 29 (1929) (datiert auf „Göttingen, den 23. Juli 1928“), wiedergegeben in Helmut Hasse und Walter Klobe: „Aufgabensammlung zur Höheren Algebra“ sowie in Emil Artin: „Galoissche Theorie“, Notre Dame.
• Beweis in van der Waerden (woher stammt er?)
• Beweis mit Gaußschem Satz (woher stammt die Idee? Gauss selbst?)
• P. F. Arndt erwähnt ferner einen Beweis für den primen Fall $n=p$ von Gotthold Eisenstein: „Zur Theorie der quadratischen Zerfällung der Primzahlen 8n+3, 7n+2 und 7n+4“ in: Crelle's Journal, Band 37.
  • Oder meinte Arndt hier Band 39 mit dem Artikel von Gotthold Eisenstein: Über die Irreductibilität und einige andere Eigenschaften der Gleichung, von welcher die Theilung der ganzen Lemniscate abhängt. Journal für die reine und angewandte Mathematik, Band 39, 1850, S. 160–179. Dieser Beitrag enthält das bekannte Eisenstein-Schönemann-Irreduzibilitätskriterium.
• Siehe auch Robert Frickes Hinweise in seinem Lehrbuch der Algebra, Band 1 (1924), fünftes Kapitel (Algebraisch lösbare Gleichungen) § 2 (Irreduzibilität der Kreisteilungsgleichung), Seite 403:
  • Kronecker: „Démonstration de l'irréductibilité“, Journ de math, sér. II, Bd 1 (1856)
  • Dedekind: „Beweis für die Irreduzibilität der Kreisteilungsgleihcungen“, Crelle's Journal, Bd 54, Seite 27 (1856).

Polynommodul

Der Polynommodul $M[X]$ eins Moduls $M$ über einem unitären Ring $R$ ist eine Verallgemeinerung des Polynomringes $R[X]$ über einem Ring. Denn jeder Ring ist ein Modul über sich selbst. Der Polynommodul beleuchtet den begrifflichen Hintergrund für das Charakteristische Polynom, den Satz von Cayley-Hamilton sowie für den Satz von Frobenius (Ähnlichkeitskriterium). Das charakteristische Polynom ist nämlich die Determinante eines Endomorphismus, der auf dem Polynommodul definiert ist. Dieser Endomorphismus $\mathrm {X} _{\alpha }\colon M[X]\to M[X]$ heißt die charakteristische Abbildung zur gegebenen linearen Abbildung $\alpha \colon M\to M$. Sie ist eng verbunden mit der durch die lineare Abbildung $\alpha$ induzierten Struktur eines $R[X]$-Moduls auf $M$. Für Körper $R=K$ und endliche Vektorräume $M=V$ ist gehört dies also in den Zusammenhang der Sätze über das charakteristische Polynom und die Säkulargleichung.

Definition des Polynommoduls

Es bezeichne $R$ einen Ring mit Einselement (unitären Ring) und $M$ einen Linksmodul über $R$. Der Linksmodul $M^{(\mathbb {N} )}$ aller Abbildungen $f\colon \mathbb {N} \to M$ mit endlichem Träger $\operatorname {supp} (f):=\{n\in \mathbb {N} \;|\;f(n)\neq 0\}$, ausgestattet mit punktweiser Addition und punktweiser Multiplikation mit Elementen aus $R$ von links, heißt Polynommodul $M[X]$ über dem Modul $M$:

${\begin{aligned}M[X]:=M^{(\mathbb {N} )}&:=&\left\{f\colon \mathbb {N} \to M\;|\;f(n)\neq 0{\text{ für nur endlich viele }}n\in \mathbb {N} \right\}&\\&=&\left\{f\colon \mathbb {N} \to M\;|\;\#\operatorname {supp} (f)<\infty \right\}\qquad \qquad &\end{aligned}}$

Man kann eine derartige Abbildung $f$ als „formale“ Summe von Potenzen einer Unbestimmten $X$, also in der Gestalt

$f=:\sum _{n\in \mathbb {N} }f(n)\cdot X^{n}$ notieren.

Dies ist die – wie schon bei Polynomen eines Polynomringes – häufig anzutreffende Schreibweise für Polynome. Dabei sind die Koeffizienten $f_{n}:=f(n)$ gerade die Werte der Abbildung $f\colon \mathbb {N} \to M$. Weil ihr Träger $\operatorname {supp} (f)$ endlich ist, ist auch die Summe in Wahrheit endlich: Fast alle Summanden $f(i)\cdot X^{i}$ verschwinden.

Elemente des Moduls $m\in M$ können als Konstanten oder konstante Polynome durch $m=m\cdot X^{0}\in M[X]$ aufgefasst werden. So lässt sich $M\subset M[X]$ einbetten.

Bei der punktweisen Addition $f+g$ zweier Polynome $f,g\in M[X]$ kann die Unbestimmte ausgeklammert werden:

$f+g=\sum _{n\in \mathbb {N} }\left(f(n)+g(n)\right)\cdot X^{n}$.

Die Multiplikation mit einem $r\in R$ von links wird auf jedem Koeffizienten ausgeführt:

$r\cdot f=:\sum _{n\in \mathbb {N} }r\cdot f(n)\cdot X^{n}$.

Eine Multiplikation von Polynomen des Polynommoduls ist nicht definiert. Dies unterscheidet sie von Polynomen eines Polynomrings, in welchem zu diesem Zweck die Unbestimmte als vertauschbar mit den Koeffizienten angenommen wird.

Die Frage, auf welcher Seite der Koeffizienten die Potenzen der Unbestimmten notiert werden, ist gegenstandslos: Man setzt nämlich voraus, dass die Unbestimmte im Zentrum des Ringes $R[X]$ liegt, also mit allen Ringelementen vertauschbar ist: Dann nämlich ist es gleichgültig, auf welcher Seite der Koeffizienten die Unbestimmte notiert wird. Darüber hinaus lässt sich dann der Polynommodul mit der Struktur eines $R[X]$-Linksmoduls ausstatten, indem man die Linksmultiplikation $R[X]\times M[X]\to M[X]$ in naheliegender Weise definiert. Auf diese Weise erhält der Polynommodul die Struktur eines $R[X]$-Linksmoduls.

Ist $M$ selbst ein Rechtsmodul über $R$, so ist $M[X]$ in analoger Weise ein $R[X]$-Rechtsmodul.

Anmerkung: Man kann den Polynommodul auch als Koprodukt (direkte Summe) definieren:

$M[X]=\bigoplus _{n\in \mathbb {N} }(X^{n}\cdot M)=\bigoplus _{n\in \mathbb {N} }\left(\{n\}\times M\right)$

Dabei soll es sich um lauter unterscheidbare Kopien des Moduls $M$ handeln: Die Unterscheidbarkeit wird durch das Anfügen der Potenz $X^{n}$ bzw. der Markierung mit dem Index $\{n\}\subset \mathbb {N}$ erzwungen. Die Identifikation für $f\in M^{(\mathbb {N} )}$ durch $f=\left((n,f(n))\right)_{n\in \mathbb {N} }=\left((X^{n}\cdot f(n))\right)_{n\in \mathbb {N} }=\sum _{n\in \mathbb {N} }f_{n}\cdot X^{n}$ gestiftet. Dies ist ein Linksmodul über $R$. Die Struktur des Linksmoduls über $R[X]$ wird mit Hilfe der Faltung definiert, wie es schon beim Polynomring $R[X]$ selbst geschieht.

Definition durch das Tensorprodukt

Der Polynommodul $M[X]$ lässt sich auch als ein Tensorprodukt von Moduln auffassen, nämlich des $R$-Rechtsmoduls $R[X]$ und des $R$-Linksmoduls $M$:

$M[X]=R[X]\otimes _{R}M$.

Diese Bildung beruht auf der $R$-balanzierten Abbildung $R[X]\times M\to M[X],\;(f,m)\mapsto f\cdot m:=\sum _{n\in \mathbb {N} }f(n)\cdot m\cdot X^{n}$ und ist zunächst nur ein $\mathbb {Z}$-Modul. Dank der zugleich bestehenden $R$-Linksmodul-Struktur von $R[X]$ ist jedoch auch $M[X]$ ein Linksmodul über $R$: Das ist die bereits beschriebene Linksmodul-Struktur.

Da nun $R[X]$ als Ring auch ein Linksmodul über sich selbst ist, wird $M[X]$ ebenfalls zu einem Linksmodul über $R[X]$.

Ist $M$ ein freier Modul über $R$, also etwa $M=\bigoplus _{i\in I}R\cdot m_{i}{\stackrel {\sim }{\to }}\bigoplus _{i\in I}R$, so ist offensichtlich $M[X]=R[X]\otimes M=\bigoplus _{i\in I}R[X]\cdot m_{i}{\stackrel {\sim }{\to }}\bigoplus _{i\in I}R[X]$.

Bei einem kommutativem Ring $R$ ist auch der Polynomring $R[X]$ kommutativ, und bei $M[X]$ handelt es sich in diesem Falle um die hier beschriebene Skalarerweiterung des $R$-Linksmoduls $M$ zu einem $R[X]$-Linksmodul.

TO DO: Idee prüfen, ggf. noch verschieben

Wie die Artikel über torsionsfreie, über flache und über endlich präsentierbare Moduln zeigen, gilt. Freie Moduln sind projektive Moduln, projektive Moduln sind flach, flache Moduln sind torsionsfrei. Über einem Haupdidealring fallen alle Begriffe zusammen, da er Dedekind-Ring ist und (als noetherscher Modul) endlich präsentierbar. Insbesondere also über einem Körper $R=K$.

Bei einem Haupdidealring $R$ ist also mit $M$ auch $M[X]$ frei.

Funktorialität

Ein Linksmodul-Homomorphismus $\alpha \colon M\to N$ eines $R$-Linksmoduls $M$ in einen $R$-Linksmoduls $N$ liefert unmittelbar zu jedem Polynom $f\in M[X]=M^{(\mathbb {N} )}$ durch Hintereinanderschaltung ein Polynom $\alpha _{*}(f)=\alpha \circ f\colon \mathbb {N} \to N,\,n\mapsto \alpha (f(n))$, das heißt: $\alpha _{*}(f)=\sum _{n\in \mathbb {N} }\alpha (f(n))\cdot X^{n}$.

Der Linksmodul-Homomorphismus $\alpha \in \operatorname {Hom} _{R}(M,N)$ liefert also einen Linksmodul-Homomorphismus $\alpha [X]\in \operatorname {Hom} _{R[X]}(M[X],N[X])$.

Im Falle der Identität $\alpha =\operatorname {id} _{M}$ ist auch $\alpha [X]$ die Identität auf $M[X]$. Für $M_{1}{\stackrel {\alpha _{1}}{\longrightarrow }}M_{2}{\stackrel {\alpha _{2}}{\longrightarrow }}M_{3}$ gilt $\left(\alpha _{2}\circ \alpha _{1}\right)[X]=\alpha _{2}[X]\circ \alpha _{1}[X]$.

Bei $\alpha \mapsto \alpha [X]$ handelt es sich also um einen kovarianten Funktor. Beachtet man die Identifikation $M[X]=R[X]\otimes M$, so kann dieser Funktor auch als $\alpha \mapsto \operatorname {id} _{R[X]}\otimes \alpha$ verstanden werden.

Einsetzhomomorphismus

Setzt man bei gegebenem Polynom $f\in M[X]=M^{(\mathbb {N} )},\;f(X)=\sum _{n\in \mathbb {N} }f(n)\cdot X^{n}$ Werte aus dem Ring für die Unbestimmte ein, so liefert das Polynom Werte aus dem Modul zurück: Dazu muss die Unbestimmte natürlich auf der Seite notiert werden, von welcher auch Ringelemente an Modulelemente heranmultipliziert werden. Dies führt zu einer Abbildung $f^{\sharp }$, die jedoch häufig mit demselben Symbol wie das Polynom $f$ bezeichnet wird, obwohl es sich um eine andere Abbildung handelt:

$f=f^{\sharp }\colon R\to M,\;r\mapsto f(r):=\sum _{n\in \mathbb {N} }r^{n}\cdot f(n)$

Für diese Abbildung wird ausgenutzt, dass der Träger eines Polynoms $f\in M^{(\mathbb {N} )}$ endlich und folglich die Summe $\sum _{n\in \mathbb {N} }$ in Wahrheit endlich ist.

Hinweis: Bei dieser laxen Schreibweise muss also anhand des Arguments von $f(\cdot )$ unterschieden werden, um welche Abbildung es sich handelt: Steht eine natürliche Zahl im Argument ($f(n),n\in \mathbb {N}$), so ist der Koeffizient $f_{n}=f(n)$ des Polynoms aus dem Polynommodul gemeint, d. h. der Wert der Funktion $(f\colon \mathbb {N} \to M)\in M^{(\mathbb {N} )}$ an der Stelle $n$. Steht jedoch ein Ringelement $r\in R$ oder ein Endomorphismus $\alpha \in \operatorname {End} _{R}(M)$ darin, so ist der Wert des Einsetzhomomorphismus' gemeint. Dabei führen die beiden Fälle $0\in R$ und $0\in \mathbb {N}$ auf denselben Wert, nämlich den Koeffizienten $f^{\sharp }(0)=f_{0}=f(0)$. Vorsicht ist jedoch geboten, sobald die Herkunft des Argumentes im Unklaren bleibt, wie etwa bei „$f(1)$“: Es ist zu klären, ob $1\in \mathbb {N}$ oder $1\in R$ gemeint ist. So sind $f(1_{\mathbb {N} })=f_{1}$ und $f(1_{R})=\sum _{n\in \mathbb {N} }f_{n}$ nur für $f(X)=f_{1}X$ gleich. Eine

Diese Abbildung ist ein Homomorphismus von $R$-Linksmoduln, wenn man sie auf das Zentrum des Ringes $Z_{R}(R):=\{r\in R\;|\;\forall x\in R:rx=xr\}$ beschränkt, und heißt dann Einsetzhomomorphismus. Im Falle eines kommutativen unitären Ringes ist diese Abbildung ein Homomorphismus von $R$-Linksmoduln.

Diesen Einsetzhomomorphismus kann man auf den Zentralisator des Moduls ausdehnen: Im Falle eines Integritätsringes ist das die Menge der $R$-linearen Abbildungen in $M$

$f:\operatorname {End} _{R}(M)\to M,\alpha \mapsto f(\alpha ):=\sum _{n\in \mathbb {N} }\alpha ^{n}(f(n))$

Die Auswertung an der Stelle Null, also die Abbildung $M[X]\to M,\,f(X)\mapsto f(0)$, ist ein Homomorphismus von $R$-Linksmoduln und liefert das absolute Glied des Polynoms.

Betrachtet man auch das Polynom $f\in M[X]$ als variabel, so erhält man die Abbildungen

${\begin{alignedat}{2}Z_{R}(R)\times M[X]&\longrightarrow &M\\(r,f(X))&\longmapsto &f(r):=\sum _{n\in \mathbb {N} }r^{n}\cdot f_{n}\end{alignedat}}$

bzw.

${\begin{alignedat}{2}\operatorname {End} _{R}(M)\times M[X]&\longrightarrow &M&\quad \\(\alpha ,f(X))&\longmapsto &f(\alpha ):=\sum _{n\in \mathbb {N} }\alpha ^{n}(f_{n})&\end{alignedat}}$

Homomorphismen von Polynommoduln

Eine $R$-lineare Abbildung $\mathrm {A} \in \operatorname {Hom} _{R}(M[X],N[X])$ ist durch ihre Werte auf den Summanden $f_{j}\cdot X^{j}$ festgelegt: $\mathrm {A} (f_{j}\cdot X^{j})=\sum _{i\in \mathbb {N} }\mathrm {A} _{(j)}^{(i)}(f_{j})X^{i}$. Dabei haben die $\mathrm {A} _{(j)}^{(i)}\in \operatorname {Hom} _{R}(M,N)$ die Eigenschaft

• Für jedes $j\in \mathbb {N}$ und jedes $m\in M$ gilt $\mathrm {A} _{(j)}^{(i)}(m)\neq 0_{N}$ nur für endlich viele $i\in \mathbb {N}$.

Insgesamt ist damit $\mathrm {A} (\sum _{j\in \mathbb {N} }f_{j}X^{j})=\sum _{j\in \mathbb {N} \atop i\in \mathbb {N} }\mathrm {A} _{(j)}^{(i)}(f_{j})X^{i}$. Zur Abkürzung schreibe $\mathrm {A} _{(j)}:=\sum _{i\in \mathbb {N} }\mathrm {A} _{(j)}^{(i)}$ und $\mathrm {A} ^{(i)}:=\sum _{j\in \mathbb {N} }\mathrm {A} _{(j)}^{(i)}$.

Ist $\mathrm {A}$ sogar $R[X]$-linear, so folgt aus $\mathrm {A} (X\cdot f(X))=X\cdot \mathrm {A} (f(X))$ die Identität: $\mathrm {A} _{(j)}^{(i)}=X^{k}\cdot \mathrm {A} _{(j-k)}^{(i)}$ für jedes $0\leq k\leq j$, also $\mathrm {A} _{(j)}^{(i)}=X^{j}\cdot \mathrm {A} _{(0)}^{(i)}$.

Ein Homomorphismus $\mathrm {A} \in \operatorname {Hom} _{R[X]}(M[X],N[X])$ ist also bereits durch seine Werte auf den konstanten Polynomen $M\subset M[X]$ festgelegt, also durch $\mathrm {A} _{(0)}\colon M\to N[X]$. Ist $\mathrm {A}$ dabei ein Isomorphismus, so muss für die Umkehrabbildung dasselbe gelten, so dass notwendig $\mathrm {A} _{(0)}\colon M{\stackrel {\sim }{\to }}N$ isomorph ist. Umgekehrt lässt sich jede isomorphe Abbildung $\alpha \colon M{\stackrel {\sim }{\to }}N$ eindeutig zu einem Isomorphismus $\mathrm {A} \colon M[X]{\stackrel {\sim }{\to }}N[X]$ fortsetzen.

In diesem Sinne gilt also $\operatorname {Iso} _{R}(M,N)=\operatorname {Iso} _{R[X]}(M[X],N[X])$.

Charakteristische Abbildung

Es sei $\alpha \in \operatorname {End} _{R}(M)$ eine $R$-lineare Abbildung in $M$. Als ihre charakteristische Abbildung $\mathrm {X} _{\alpha }\in \operatorname {End} _{R[X]}(M[X])$ wird dann definiert:

$\mathrm {X} _{\alpha }\colon M[X]\to M[X],\;f(X)\mapsto \alpha (f(X))-X\cdot f(X)=\sum _{n\in \mathbb {N} }\left(\alpha (f(n))-f(n-1)\right)\cdot X^{n}=\alpha (f(0))+\sum _{n\in \mathbb {N} }\left(\alpha (f(n+1))-f(n)\right)\cdot X^{n+1}$,

wobei $f(-1):=0$ gesetzt sei.

Auf dem $R$-Linksmodul $M$ betrachte die durch diesen Endomorphismus – also durch $X\cdot m:=\alpha (m)$ – induzierte $R[X]$-Modulstruktur:

${\begin{aligned}R[X]&\times &M&\longrightarrow &M&\\(\underbrace {\sum _{i\in \mathbb {N} }f_{i}X^{i}} _{=:f(X)}&,&m)&\longmapsto &f(X)\cdot m:=\sum _{i\in \mathbb {N} }f_{i}\cdot \alpha ^{i}(m)&.\end{aligned}}$

Der Modul $M$, versehen mit dieser $R[X]$-Linksmodul-Struktur, sei mit $M_{\alpha }$ bezeichnet. Damit ist die folgende Abbildung ein $R[X]$-Linksmodul-Homomorphismus.

$\phi _{\alpha }\colon M[X]\to M_{\alpha },\;\sum _{n\in \mathbb {N} }f(n)\cdot X^{n}\to \sum _{n\in \mathbb {N} }\alpha ^{n}(f(n))$.

Satz: Die folgende Sequenz ist exakt:

$0\longrightarrow M[X]{\stackrel {\mathrm {X} _{\alpha }}{\longrightarrow }}M[X]{\stackrel {\phi _{\alpha }}{\longrightarrow }}M_{\alpha }\longrightarrow 0$

Zur Begründung: Dass $\phi _{\alpha }$ surjektiv ist leicht zu sehen. Auch ist $\phi _{\alpha }\circ \mathrm {X} _{\alpha }=0$ (also $\operatorname {Bild} \mathrm {X} _{\alpha }\subset \ker \phi _{\alpha }$) leicht zu erkennen. Dass $\mathrm {X} _{\alpha }$ injektiv ist, folgt so: <text>

Wesentlich ist die Inklusion $\ker \phi _{\alpha }\subset \operatorname {Bild} \mathrm {X} _{\alpha }$: <text>

Ist dabei $M$ endlich frei erzeugt über dem Integritätsbereich $R$, so ist die Determinante $\det \mathrm {X} _{\alpha }$ das charakteristisches Polynom $\chi _{\alpha }(X)$ von $\alpha$. Denn ist $(x_{1},\dots ,x_{r})$ eine Basis von $M$ über $R$, so ist es auch eine Basis von $M[X]$ über $R[X]$, und bezeichnet $A$ die Darstellungsmatrix des Endomorphismus $\alpha \in \operatorname {End} _{R}(M)\subset \operatorname {End} _{R[X]}(M[X])$ bezüglich dieser Basis, so ist $A-XE$ die Darstellungsmatrix von $\mathrm {X} _{\alpha }$ bezüglich dieser Matrix.

Ist nun $R=K$ ein Körper und $M=V$ ein $K$-Vektorraum der Dimension $\dim _{K}V=n<\infty$, so besagt der Elementarteilersatz, dass es zum Endomorphismus $\mathrm {X} _{\alpha }\in \operatorname {End} _{K[X]}(M[X])$ eine Basis $v_{1},\dots ,v_{n}$ des freien $K[X]$-Moduls $M[X]$ gibt, so dass die Darstellungsmatrix eine zu einer Elementarteilerkette $(\varepsilon _{i})$ in $K[X]$ gehörige Diagonalmatrix $\operatorname {diag} (\varepsilon _{1},\dots \varepsilon _{r},0,\dots ,0)$ ist und sein Kern gleich dem Untermodul $\sum _{i=1}^{r}\varepsilon _{i}M[X]$ ist. <NOCHMAL PRÜFEN>.

Diese Darstellungsmatrix ist ähnlich zu $A-XE$ und besitzt also dieselbe Determinante, nämlich das charakteristische Polynom.

Wenn man sich von der Anschauung im $\mathbb {Z} ^{n}\subset \mathbb {R} ^{n}$ (ver)leiten lassen will, so mag man sich vorstellen, dass der $k$-ten Determinantenteiler $\delta _{k}:=\prod _{i=1}^{k}\varepsilon _{i}$ das „Volumen“ der minimalen $k$-dimensionalen Fundamentalmasche des Kerns in $M[X]$ – also des Quotienten $M[X]/(\ker \mathrm {X} _{\alpha })$ – misst. Für $k=n$ ist es gerade das charakteristische Polynom.

Satz von Frobenius (Ähnlichkeitskriterium)

Es sei (weiterhin) $R$ ein unitärer Ring. Ferner seien $V,W,M,N$ Linksmoduln über $R$ sowie $\alpha \in \operatorname {Hom} _{R}(M,N)$ und $\beta \in \operatorname {Hom} _{R}(V,W)$ zwei Homomorphismen.

Definition äquivalenter und ähnlicher Homomorphismen

Definition: Die Homomorphismen $\alpha$ und $\beta$ heißen äquivalent (über $R$), wenn es zwei $R$-Linksmodul-Isomorphismen $h_{1}\in \operatorname {Hom} _{R}(V,M)$ und $h_{2}\in \operatorname {Hom} _{R}(W,N)$ gibt mit $\alpha =h_{2}\circ \beta \circ h_{1}$. Schreibweise: $\alpha \sim _{R}\beta$.

${\begin{array}{ccc}M&{\stackrel {\alpha }{\longrightarrow }}&N\\{h_{1}}\downarrow &\circlearrowright &\downarrow {h_{2}}\\V&{\stackrel {\beta }{\longrightarrow }}&W\end{array}}$

Definition: Ist dabei $V=W$ und $M=N$ und kann sogar $h_{1}=h_{2}=:h$ gewählt werden, so heißen die Endomorphismen $\alpha$ und $\beta$ ähnlich (über $R$). Schreibweise: $\alpha \approx _{R}\beta$.

${\begin{array}{ccc}M&{\stackrel {\alpha }{\longrightarrow }}&M\\{h}\downarrow &\circlearrowright &\downarrow {h}\\V&{\stackrel {\beta }{\longrightarrow }}&V\end{array}}$

Im Falle eines Körpers $R=K$ ist dies die bekannte Ähnlichkeitsrelation aus der Linearen Algebra. Ist $R$ jedoch lediglich ein unitärer kommutativer Ring, so werden die Darstellungsmatrizen der Isomorphismen $h_{i}$ unimodular sein. Handelt es sich bei dem Ring $R$ um den Polynomring $K[X]$ über einem Körper $K$ oder um den Ring der ganzen Zahlen $\mathbb {Z}$, so spricht man auch von arithmetischer Äquivalenz (anstelle von „Äquivalenz über $K[X]$“ bzw. „über $\mathbb {Z}$“.) Das Attribut „arithmetisch“ betont die Ganzheit, nämlich der ganz(rationalen) Polynome des Polynomrings bzw. der ganzen Zahlen.

Ähnlichkeitskriterium

${\begin{array}{ccccccccc}0&\longrightarrow &M[X]&{\stackrel {\mathrm {X} _{\alpha }}{\longrightarrow }}&M[X]&{\stackrel {\phi _{\alpha }}{\longrightarrow }}&M_{\alpha }&\longrightarrow &0\\&&h_{1}\downarrow &\circlearrowright &\downarrow h_{2}&&\downarrow h&&\\0&\longrightarrow &V[X]&{\stackrel {\mathrm {X} _{\beta }}{\longrightarrow }}&V[X]&{\stackrel {\phi _{\beta }}{\longrightarrow }}&V_{\alpha }&\longrightarrow &0\\\end{array}}$

Satz: Zwei Endomorphismen $\alpha \in \operatorname {End} _{R}(M)$ und $\beta \in \operatorname {End} _{R}(V)$ sind genau dann ähnlich über $R$, wenn ihre charakteristischen Abbildungen $\mathrm {X} _{\alpha }$ und $\mathrm {X} _{\beta }$ über dem Polynomring $R[X]$ äquivalent sind. Mit anderen Worten sind die beiden folgenden Aussagen äquivalent:

• $\alpha \approx _{R}\beta$
• $\mathrm {X} _{\alpha }\sim _{R[X]}\mathrm {X} _{\beta }$

Zur Begründung: Dass aus Ähnlichkeit die Äquivalenz folgt, ist klar, da der Isomorphismus $h$ sich eindeutig zu einem geeigneten Isomorphismus $h_{1}=h_{2}\colon M[X]\to V[X]$ fortsetzen lässt, so dass das linke Quadrat kommutiert. Sind umgekehrt Isomorphismen $h_{1},h_{2}\colon M[X]\to V[X]$ gegeben, so dass das Quadrat kommutiert, so müssen diese auf den Konstanten $M$ übereinstimmen, wie Koeffizientenvergleich zeigt:

${\begin{aligned}X\cdot h_{1}(m)-\beta (h_{1}(m))=\mathrm {X} _{\beta }(h_{1}(m))&=&h_{2}(\mathrm {X} _{\alpha }(m))\\&=&h_{2}(Xm-\alpha (m))\\&=&Xh_{2}(m)-h_{2}(\alpha (m))\\&=&Xh_{2}(m)-\beta (h_{1}(m))\end{aligned}}$

Also müssen sie auf ganz $M[X]$ übereinstimmen.

Folgerung für Torsionsmoduln über Polynomringen K[X]

Dass ähnliche Matrizen $A,B\in R:=\operatorname {Mat} (n\times n,K)$ mit Einträgen aus einem Körper $K$ dasselbe charakteristische Polynom $\chi _{A}(X)=\chi _{B}(X)\in K[X]$ und sogar dieselben Elementarteiler $\varepsilon _{i}(X)\in K[X]$ haben, ist bekannt. Dabei ist $\chi _{A}(X)=\prod _{i}\varepsilon _{i}(X)$ und das Minimalpolynom von $A$ ist derjenige unter Elementarteilern mit dem höchsten Grad. Der Satz von Frobenius (Ähnlichkeitskriterium) besagt die Umkehrung: Haben $A,B$ dieselben Elementarteiler, so sind sie ähnlich, d. h.: Kennzeichnend für die Ähnlichkeitsklassen von Matrizen $A$ sind ihre Elementarteiler, will sagen: die Elementarteiler ihrer charakteristischen Matrizen $A-XE$.

Hinweis: In diesem Zusammenhang wird der Begriff „Elementarteiler“ in der Regel nicht auf den Kontext des Hauptidealringes $K$ bezogen, denn dieser Kontext wäre trivial und lieferte ja lediglich triviale Elementarteiler $\varepsilon _{i}\in \{0,1\}$. Unter den Elementarteilern einer Matrix $A\in \operatorname {Mat} (n\times n,K)$ mit Einträgen aus einem Körper werden stattdessen in der Regel die Elementarteiler ihrer charakteristischen Matrix $A-EX\in \operatorname {Mat} (n\times n,K[X])$, welche im Hauptidealring $K[X]$ liegen und von größerem Interesse sind.

Beachte, dass Torsionsmoduln über $R=K[T]$ Vektorräume über $K$ mit einem Endomorphismus $\alpha :v\mapsto X\cdot v$ sind. Mit $\dim V=n$ und $V=\bigoplus _{i=1}^{n}K\cdot v_{i}$ ist

$V[X]=K[T]\otimes V=K[X]\otimes \left(\bigoplus _{n}K\right)=\bigoplus _{i=1}^{n}K[T]$

Die Charakteristische Abbildung $\mathrm {X} _{\alpha }$ und die Abbildung $\varphi _{\alpha }$ ist dann die folgende:

${\begin{array}{ccccccccc}0&\longrightarrow &V[X]&{\stackrel {\mathrm {X} _{\alpha }}{\longrightarrow }}&V[X]&{\stackrel {\varphi _{\alpha }}{\longrightarrow }}&V&\longrightarrow &0\\\updownarrow &\circlearrowleft &\updownarrow &\circlearrowleft &\updownarrow &\circlearrowleft &\updownarrow &\circlearrowleft &\updownarrow \\0&\longrightarrow &\bigoplus _{i=1}^{n}K[X]&\longrightarrow &\bigoplus _{i=1}^{n}K[X]&\longrightarrow &V&\longrightarrow &0\\&&&&\left(g_{i}(X)\right)_{i=1,\dots ,n}&\longmapsto &\underbrace {\sum _{i=1}^{n}g_{i}(\alpha )} _{\in K[\alpha ]\subset \operatorname {End} _{K}(V)}(v_{i})&&\end{array}}$

Spektrum einer Matrix bzw. eines Endomorphismus

Das Spektrum einer Matrix $A\in \operatorname {Mat} (n\times n,K)$ wird definiert als $\operatorname {Spec} (A)=\{x\in K|A-xE\notin \operatorname {GL} (K,n)\}$.

Das Spektrum einer Abbildung $f\in \operatorname {End} _{K}(V)$ wird definiert als $\operatorname {Spec} f=\{x\in K|f-x\cdot \operatorname {id} _{V}\notin \operatorname {Aut} (V)\}$.

Offenbar besteht das Spektrum genau aus den Nullstellen des charakteristischen Polynoms, also aus den Eigenwerten der Matrix bzw. der Abbildung.

Literatur

• Falko Lorenz: Lineare Algebra II. Bibliographisches Institut Wissenschaftsverlag, Mannheim, Wien, Zürich, zweite Auflage 1989. (In der dritten Auflage von 1991 befindet sich ein kürzerer Beweis des Satzes von Frobenius als in der zweiten Auflage.)

Satz von Frobenius (Ähnlichkeitskriterium)

Definition der arithmetischen Äquivalenz

In einem Integritätsring heißen zwei Elemente $a,b\in R$ assoziiert, wenn sie sich gegenseitig teilen.

$a\sim b:\Leftrightarrow a|b\land b|a$.

Es sind dann äquivalent:

• $a\sim b$
• $\exists u\in R^{*}\colon a=ub$
• $a|b\land b|a$

In einem nicht kommutativen unitären Ring $\mathbf {R}$ muss zwischen Links- und Rechtsteilern unterschieden werden. Beidseitige Assoziiertheit soll dann die beidseitige gegenseitige Teilbarkeit bedeuten, also: $\exists u,v\in \mathbf {R} ^{*}\colon a=ub\land a=bv$:

Eine gröbere Äquivalenzrelation – d. h. eine Äquivalenzrelation, in deren Klassen jeweils mehrere Klassen der Assoziiertheit zusammengefasst sind, – ist die arithmetische Äquivalenz (oder erweiterte Assoziiertheit):

$a\sim b:\Leftrightarrow \exists u,v\in \mathbf {R} ^{*}\colon a=ubv$

Aus einer einseitigen Assoziiertheit folgt also arithmetische Äquivalenz, aus dieser jedoch nicht die Assoziertheit.

Kann dabei sogar $u=v^{-1}$ gewählt werden, so heißen $a$ und $b$ ähnlich: $a\approx b$.

Insbesondere in einem Matrizenring $\mathbf {R} _{n}:=\operatorname {Mat} (n\times n,R)$ über einem Integritätsring $R$ ist die arithmetische Äquivalenz von Interesse: Zwei Matrizen $A,B\in \mathbf {R} _{n}$ heißen arithmetisch äquivalent, wenn es zwei invertierbare Matrizen $U,V\in \mathbf {R} _{n}^{\times }$ gibt, so dass $A=UBV$.

Zur Hervorhebung des Umstandes, dass hierbei lediglich ein Ring $R$ – und nicht ein Körper – zugrunde gelegt wird, werden die invertierbaren oder regulären Matrizen aus $\mathbf {R} _{n}^{*}$ häufig auch unimodular genannt. Auch das Attribut „arithmetisch“ soll darauf hinweisen: Die Matrizeneinträge der unimodularen Matrizen $U,V$ stammen aus $R$ und nicht etwa aus seinem Quotientenkörper.

Schließlich wird die arithmetische Äquivalenz noch allgemeiner auf dem Doppelmodul $\mathbf {R} _{m,n}:=\operatorname {Mat} (m\times n,R)$ für $A,B\in \mathbf {R} _{m,n}$ definiert:

$A\sim _{R}B:\Leftrightarrow \exists U\in \mathbf {R} _{m}^{*},V\in \mathbf {R} _{n}^{*}\colon A=UBV$

Elementarteilersatz identifiziert Repräsentanten der Äquivalenzklassen

Für einen Hauptidealring $R$ besagt der Elementarteilersatz bekanntlich, dass die Klassen arithmetisch äquivalenter Matrizen $A\in \mathbf {R} _{m,n}$ durch Matrizen $D=[\varepsilon _{j}^{i}]_{1\leq j\leq n}^{1\leq i\leq m}\in \mathbf {R} _{m,n}$ repräsentiert werden können, deren einzige nicht verschwindende Einträge $\varepsilon _{j}^{i}\neq 0$ sich nur an den Stellen $\varepsilon _{i}^{i}$ für $i=1,\dots ,r$ befinden, wobei die eindeutig bestimmte Zahl $r\leq \min\{m,n\}$ der Rang der Matrix (und aller zu ihr arithmetisch äquivalenten Matrizen) heißt und die Elemente $\varepsilon _{i}^{i}=:\varepsilon _{i}\in R$ bis auf Assoziiertheit in $R$ eindeutig bestimmt sind und sich so anordnen lassen, dass sie eine Teilerkette bilden, d. h., dass die von ihnen erzeugten Ideale eine Teilerkette bilden: $(\varepsilon _{1})\supset (\varepsilon _{2})\supset \dots \supset (\varepsilon _{r})$. Für eventuell folgende $\varepsilon _{k}$ mit $r<k\leq \min\{m,n\}$ kann die Kette also durch $\supset (0)\supset \dots \supset (0)$ fortgesetzt werden. Dabei sind also die Ideale $(\varepsilon _{j}^{i})$ sämtlich eindeutig bestimmt.

Matrixversion des Satzes

Indem nun der Polynomring $R=K[X]$ betrachtet wird, stellt der Satz von Frobenius für $m=n$ einen wichtigen Zusammenhang zwischen arithmetischer Äquivalenz bestimmter Matrizen aus $\operatorname {Mat} (n\times n,K[X])=\operatorname {Mat} (n\times n,K)[X]$ und der Ähnlichkeit der zugehörigen Matrizen aus $\operatorname {Mat} (n\times n,K)=\mathbf {R} _{n,n}=\mathbf {R}$ her.

Die Matrixversion des Ähnlichkeitskriteriums entstammt dem Büchlein Aufgabensammlung zur Höheren Algebra von Helmut Hasse und Walter Klobe, Sammlung Göschen, Band 1082, Teil 2, Seite 82 f., Aufg. 34 bis 48 und beruht lediglich auf der „vorderen“ und „hinteren“ euklidischen Division in der Polynomalgebra $\mathbf {R} [X]$ über einem nicht notwendig kommutativen unitären Ring $R$ durch normierte lineare Polynome $X-\alpha$.

Satz von Frobenius: Es sei $\mathbf {R}$ ein unitärer nicht notwendig kommutativer Ring. Für Elemente $a,a'\in \mathbf {R}$ sind äquivalent:

• $a\approx a'$ (Ähnlichkeit in $\mathbf {R}$)
• $X-a\sim X-a'$ (Arithmetische Äquivalenz der zugehörigen charakteristischen Elemente in $\mathbf {R} [X]$)

Folglich sind zwei Matrizen $A,B\in \mathbf {R} :=\operatorname {Mat} (n\times n,K)$ genau dann ähnlich (konjugiert), wenn ihre charakteristischen Matrizen $A-XE,B-XE\in \operatorname {Mat} (n\times n,K[X])$ arithmetisch äquivalent in $\mathbf {R} [X]{\stackrel {!}{=}}\operatorname {Mat} (n\times n,K[X])$ sind.

Beweisskizze: Dass Ähnlichkeit über $\mathbf {R}$ die arithmetische Äquivalenz der zugehörigen „charakteristischen Elemente“ über $\mathbf {R} [X]$ nach sich zieht, ist offensichtlich. Für die umgekehrte Implikation beachte zunächst, dass die euklidische Division durch ein Polynom mit einer Einheit als führendem Koeffizienten unter diesen allgemeinen Voraussetzungen sowohl von links als auch von rechts möglich ist, also erst recht durch ein normiertes lineares Polynom: Als Reste kommen hierbei nur Konstanten in Frage. Die Eindeutigkeit der euklidischen Division ist bei Nullteilerfreiheit von $\mathbf {R}$ gewährleistet, wird hier aber nicht gebraucht. Nach Voraussetzung gilt mit geeigneten $u,v'\in \mathbf {R} [X]^{*}$ einerseits

$u(X-a)=(X-a')v'$.

Dividiert man $u$ links durch $X-a'$ und $v'$ rechts durch $X-a$, so erhält man

$u=(X-a')p+r$ und entsprechendes für $v'$, so dass

$(X-a')p(X-a)+r(X-a)=(X-a')q'(X-a)+(X-a')s'$ mit Resten $r,s'\in \mathbf {R}$ und Quotienten $p,q'\in \mathbf {R} [X]$.

Koeffizientenvergleich ergibt $p=q'$ und $r=s'$, so dass

$r(X-a)=(X-a')r$, also $ra=a'r$. Zu zeigen bleibt $r\in \mathbf {R} ^{*}$.

Nach Voraussetzung gilt nun mit $v^{-1}=v'$ und $u'=u^{-1}$ andererseits

$(X-a)v=u'(X-a')$.

Analoge Rechnung und Bezeichnung liefert $u'=(X-a)p'+r'$ mit einem Rest $r'\in \mathbf {R}$. Es gilt $1=uu'$; man multipliziere die rechte Seite aus, beachte $r(X-a)=(X-a')r$ und nutze Koeffizientenvergleich. So gelangt man zu $uu'=rr'$, womit alles gezeigt ist.

Charakteristische Abbildung und Matrix

Die Bedeutung der charakteristischen Matrix hängt mit der charakteristischen Abbildung zusammen: Diese ist auf dem Polynommodul definiert. Für die Strukturversion des Satzes muss zunächst die charakteristische Abbildung definiert werden.

Strukturversion des Satzes

Es sei $\dim _{K}V=:n<\infty$.

Satz: Zwei Endomorphismen $\alpha ,\beta \in \operatorname {End} _{K}(V)$ sind genau dann ähnlich (konjugiert), wenn ihre charakteristischen Abbildungen arithmetisch äquivalent (also in $\operatorname {End} _{K[X]}(V)$ assoziiert) sind: $\alpha \approx \beta \Leftrightarrow \mathrm {X} _{\alpha }\sim \mathrm {X} _{\beta }$.

Dabei werden $V$ als Modul $M=V$ über der Polynomalgebra $K[X]$ aufgefasst, und die charakteristischen Abbildungen $\mathrm {X} _{\alpha },\mathrm {X} _{\beta }$ auf dem zugehörigen Polynommodul $M[X]=M\otimes K[X]$ betrachtet.

Die Implikationen „$\mathrm {X} _{\alpha }{\stackrel {K[T]}{\approx }}\mathrm {X} _{\beta }\Rightarrow \alpha \approx \beta \Rightarrow \mathrm {X} _{\alpha }\sim \mathrm {X} _{\beta }$“ sind (durch Koeffizientenvergleich) trivial.

ODER VERWEISEN auf Polynommodul#1Satz_von_Frobenius_(Ähnlichkeitskriterium).

Weiterführende Links

• Jordansche Normalform
• Smith-Normalform

Literatur

• Falko Lorenz: Lineare Algebra
• Helmut Hasse und Walter Klobe: Aufgabensammlung zur „Höheren Algebra“ (von Helmut Hasse), Sammlung Göschen, Band 1082, Teil 2, Seite 82 f., Aufg. 34 bis 48

Originalarbeiten

Für den Satz von Frobenius über ein Kriterium für die Ähnlichkeit linearer Abbildungen (von Matrizen) anhand der zugehörigen charakteristischen Abbildungen (Matrizen), und mithin durch die zugehörigen Elementarteiler, sind folgende Originalarbeiten von Georg Frobenius zu nennen:

• Ferdinand Georg Frobenius: „Über lineare Substitutionen und bilineare Formen“, Crelles Journal, Band 84, 1878, Seiten 1-63. Darin § 6 (Aequivalenz), Abschnitt 2, Seite 21 und § 7 (Ähnlichkeit). Frobenius verweist auf Ergebnisse von Weierstraß und Kronecker in: Monatsberichte der Berliner Akademie des Wisssenschaften 1868 und 1874), die jedoch mit aufwendigeren Beweisen erzielt wurden.
• Ferdinand Georg Frobenius: „Theorie der linearen Formen mit ganzen Coeffizienten“, Crelles Journal, Band 86, 1879, Seiten 146-208. (datiert: Zürich, April 1878).
• Ferdinand Georg Frobenius und Ludwig Stickelberger: „Über Gruppen von vertauschbaren Elementen“, Crelles Journal, Band 86, 1879, Seiten 217-262. (datiert: Zürich, Juli 1878).
• Ferdinand Georg Frobenius: „Theorie der linearen Formen mit ganzen Coeffizienten (Forts.)“, Crelles Journal, Band 88, 1880, Seiten 96-116. (datiert: Zürich, Januar 1879).

Im genannten Band 86, Seite 147, verweist Frobenius auf folgende Arbeiten:

• Karl Weierstraß: „Zur Theorie der bilinearen und quadratischen Formen“, Monatsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin (Monatsberichte Berlin, „B.M.“), Sitzung vom 18. Mai 1868.
• Leopold Kronecker: ebenda, 1874.
• Camille Jordan, Comptes rendus 1871, II. sém, p. 787
• Camille Jordan, Liouv. Journ. 1874, p. 35.
• Gaston Darboux, Liouv. Journ. 1874, p. 347.
• Meyer Hamburger: „Bemerkung über die Form der Integrale der linearen Differentialgleichungen mit veränderlichen Coefficienten“ Crelles Journal, Bd. 76, 1873, S. 113-125. (Berlin, Februar 1873)

Ferner verweist Frobenius auf Arbeiten von „Herrn Smith“, die ihm erst nach Vollendung seiner Arbeit zu Gesicht gekommen seien:

• Henry John Stephen Smith: „On Systems of Linear Indeterminate Equations and Congruences“, Philosophical Transactions of the Royal Society of London (Phil. Trans.) vol. 151, p. 293. (siehe auch [1])
• Henry John Stephen Smith: „Arithmetical Notes I: On the Arithmetical Invariants of a Rectangular Matrix, of which the Constituents are Integral Numbers“, Proceedings of the London Math. Soc. 1873, p. 236.
• Henry John Stephen Smith: „Arithmetical Notes II: On Systems of Linear Congruences“, Proceedings of the London Math. Soc. 1873, p. 241.

Laut Meyer Hamburger (loc. cit., Seite 124), war es Karl Weierstraß, der in der zitierten Arbeit B.M. 1868 die Definition der Elementartheiler eingeführt hat, siehe auch Karl Weierstraß.

Kummersche Erweiterungen

Artikel: Kummertheorie

• Verbindung zur Lagrange-Resolvente, Noethersche Gleichung, Hilbert 90
• Galois-Resolvente Heinrich Weber, Algebra, §152.

Eisenstein-Kriterium

Schönemann: Crelle Bd 32. Eisenstein: Crelle Bd 39. Siehe Arbeit dazu von David Cox!

Galois-Theorie

zum einschlägigen Artikel ergänzende Idee: Klassischer Zugang kommt vom Hauptsatz über die elementarsymmetrischen Polynome („symmetrischen Grundfunktionen“) her. Dabei werden Polynomalgebren in $n$ Unbestimmten betrachtet, wobei $n$ der Grad der betrachteten Gleichung ist.

Der Artinsche Ansatz betrachtet den Polynomring in einer Unbekannten und seinen Quotientenring. Lemma von Dedekind etc.pp.

Van der Waerden die relativen Körperhomomorphismen. (Satz vom primitiven Element)

Die Beweise für die Existenz einer Normalbasis spiegeln beide Perspektiven wider: Lang (mehrere Unbestimmte) versus Artin (eine Unbestimmte, Lagrangesche Interpolation), van der Waerden (Tensorprodukt zweier isomorpher Körper).

Die Existenz einer (!) Galoissche Resolvente ist modern gesprochen der Satz von der Existenz eines primitiven Elements (Satz vom primitiven Element, den Hasse auch den Abelschen Satz nennt und der früher auch mit dem Hauptsatz über symmetrische Funktionen bewiesen wurde (Hasse, S. 80)): Eine Galoissche Resolvente ist das Minimalpolynom eines primitiven Elementes und damit ein normales Element und normales Polynom. Vgl. Hasse und v.d.Waerden im Paragraphen unmittelbar vor demjenigen zur Normalbasis.

Hasse verweist auf A. Loewys Zugang (Hasse, HA2, Fußnote auf Seite 114), der das Gruppoid der relativen Isomorphismen (nicht Automorphismen) betrachte und daraus bereits die Galoistheorie herleitet.

Zushg mit symmetrischen Grundfunktionen (elementarsymmetrischen Polynomen): Siehe Hasse, HA2, Seiten 150 und 153 (Beweise von Ph. Furtwängler). Siehe Aufgabensammlung, 2.V.§23, Aufgaben 3 ff.

Beweis des Satzes vom primitiven Element mit Hilfe des Hauptsatzes über die elementarsymmetrischen Polynome, gemäß einer Aufgabe aus Hasse/Klobe, 2.V.§23.

Interessante Passagen bei Hasse, HA2:

• S. 124, Mitte.
• S. 113f. unten (kleingedruckt) zu Satz 114.
• überhaupt Sätze 110 bis 114.

Idee einer Gliederung:

• Operationen von Gruppen auf Moduln (G-Moduln) (Transitivitätsgebiete, Imprimitivität, Bahnenformel)
• Unabhängigkeitssatz von Dedekind und Lineare Algebra liefern Hauptsatz der Galoistheorie
• Konjugierte Untergruppen entsprechen konjugierten Zwischenkörpern.
• Also entsprechen den in $G$ normalen Untergruppen $N$ (lies: den Normalteilern von $G$) die über $K$ normalen Zwischenkörper ${\displaystyle }$, das heißt die Zerfällungskörper gewisser Polynome.
• (Für $N=\{1\}$ ist es gerade $L$ selbst als Zerfällungskörper einer sogenannten Galois-Resolvente, deren Nullstellen als primitive Elemente geeignet sind.)
• Für jedes $y\in L$ sei $G(y,K)=G(L/K[y])$. Sein Minimalpolynom ist dann ... Ferner sind äquivalent:
  • $y$ normal über $K$
  • $G(y,K)\subset G(L/K)$ Normalteiler
  • $\mu _{y}(X)$ Galois-Resolvente.
• Setzt man $\alpha \in \operatorname {ErzElt} (Z/K):\Leftrightarrow Z=K[\alpha ]$ und $\beta \in \operatorname {XYZ} (U,G):\Leftrightarrow \#U\beta =(U:1)$ so gilt: ...
• Beziehungen mit dem Index $(G:U)$
• Deutung als Transitivitätsgebiete, Imprimitivitätsgebiete, siehe vdW und Hasse, Satz 114, Seite 114ff.
• Satz vom primitiven Element. Separabilität
• Deutung der Gaußschen Perioden als Erzeugung eines primitiven Elementes für bestimmte Zwischenerweiterungen (oder?) Siehe auch vdW im Paragraphen vor „Normalbasis“.
• Die historische Perspektive betrachtet die Galois-Gruppe $G(f,K)$ eines separablen Polynoms $f$ über dem Grundkörper $K$ als Untergruppe der Permutationsgruppe $\operatorname {Perm} (N_{f})$ auf seiner Nullstellenmenge $N_{f}\subset W$ in einem Wurzelkörper $W:=\operatorname {Zerf} (f,K)$, definiert wie bei Hasse (Satz 107) oder Helmut Koch.
• Die moderne Perspektive betrachtet die Galois-Gruppe $G(L/K)$ einer separablen Körpererweiterung $L/K$.
• Der Satz vom primitiven Element (oder von der Galois-Resolvente) bringt Licht in den Zusammenhang für $L=W$, nämlich in Gestalt von Helmut Koch, 7.6, Satz 8 (Seite 66f.): $G(L/K)\to G(f,K),\,\sigma \mapsto \sigma |_{N_{f}}\in \operatorname {Perm} (N_{f})$. Für $N_{f}=\{\alpha _{1},\dots ,\alpha _{m}\}$ und $L:=K[N_{f}]=W$ sei Galois-Resolvente $g(X)\in K[X]$ gewählt mit $N_{g}=\{\beta =\beta _{1},\dots ,\beta _{n}\}$, so dass $L=K[\beta ]=K[\beta _{j}]$ für jedes $j=1,\dots ,n$ und $\alpha _{i}=h_{i}(\beta )$ mit geeignet bestimmten $h_{i}(X)\in K[X]$. Die Automorphismen $\sigma \in G(L/K)$ korrespondieren bijektiv mit den Substitutionen $L=K[\beta ]\to K[\beta _{j}]=L,\;\beta \mapsto \beta _{j}\;(j=1,\dots ,n)$, das heißt $\sigma _{j}(\beta ):=\beta _{j}$ und $G(L/K)=\{\sigma _{j}|j=1,\dots ,n\}$. Damit ist $\sigma _{j}(\alpha _{i})=h_{i}(\beta _{j})$.
• Ist umgekehrt $k_{j}(X_{1},\dots ,X_{m})\in K[X_{1},\dots ,X_{m}]$ mit $k_{j}(\alpha _{1},\dots ,\alpha _{m})=\beta _{j}$, so permutiert jeder Automorphismus $\sigma \in G(L/K)$ die Nullstellen $\alpha _{i}\in N_{f}$ so, dass $k_{j}(\sigma (\alpha _{1}),\dots ,\sigma (\alpha _{m}))=\sigma (\beta _{j})$. Für $k=k_{1}\in K[X_{1},\dots ,X_{m}]$ insbesondere: $k^{\sigma _{j}}(\alpha _{1},\dots ,\alpha _{m})=\beta _{j}$. (Vergleich Hasse, Satz 107)
• Hasse Satz 105 und 106 (und 107) beschreiben, wie sich die Automorphismen $\sigma \in G(K[\beta ]/K)$ Stammkörper $K[X]/(\mu _{\beta }(X))$ darstellen, nämlich offensichtlich als die Substitutionen $X\mapsto \mu _{j}(X){\bmod {(}}\mu _{\beta }(X))$, wobei $\beta _{j}=:\mu _{j}(\beta )$.

Zum Wechsel der Perspektive:

• Der zu einer Untergruppe gehörige Fixkörper bestimmt einen Teilkörper eines gegebenen „Dachkörpers“. Der Hauptsatz der Galoistheorie ist so formulierbar und mit Mitteln der LinAlg und dem Unabhängigkeitssatz von Dedekind beweisbar. Offen bleiben dann aber die körpertheoretischen Begriffe der Adjunktion, Separabilität und Normalität (Zerfällungskörper), überhaupt der Zusammenhang mit Polynomen und ihren Nullstellen.
• Diese Begriffe gehen nämlich von einem Grundkörper aus: Durch Adjunktion entsteht ein Erweiterungskörper, der als Faktorring des Polynomringes nach einem Ideal zu verstehen ist, das von einem bestimmten Polynom erzeugt wird: Dessen Eigenschaften bestimmen die Eigenschaften des Faktorringes: Irreduzibilität gewährleistet einen Körper, zusätzliche Normalität liefert einen Zerfällungskörper, und schließlich zusätzliche Separabilität liefert einen Zerfällungskörper mit $[L:K]=G(L/K)$. Tatsächlich sind diese Eigenschaften äuqivalent mit dem Bestehen dieser Gleichheit.

Ferner:

• Translationssatz (Emil Artin) und Komposita von Körpern, insbesondere direkte Komposita (Helmut Koch, Kapitel 16). Oder auch Hassse („Wechsel des Grundkörpers“).

Beispiel: Aufgabe von Hasse (nach Anchoa, Madrid).

Direktes Kompositum und direkter Durschnitt von Zwischenkörpern

Ist die Galoisgruppe direkte Summe (Koprodukt) von Normalteilern $U_{i}$, so ist der Grundkörper der direkte Durchschnitt der zugehörigen normalen Fixkörper $Z_{i}$. In diesem Falle ist der Erweiterungskörper das direkte Kompositum gewisser anderer („komplementärer“) normaler Zwischenkörper $Y_{j}$, deren Fixgruppen $V_{j}$ die $\{1\}\subset G(L/K)$ als direkten Durchschnitt besitzen.

Insbesondere sind also abelsche Erweiterungen das direkte Kompositum geeigneter Teilkörper.

Galois-Gruppe eines separablen Polynoms

Die einleitenden Absätze des Abschnittes zur klassischen Ansatz der Galois-Theorie erläutern:

„Eine ‚Symmetrie der Nullstellen von Polynomen‘ ist eine Permutation der Nullstellen, so dass jede algebraische Gleichung über diesen Nullstellen auch dann noch gültig ist, nachdem man die Nullstellen mittels der Permutation vertauscht hat. Diese Permutationen bilden eine Gruppe. Abhängig von den Koeffizienten, die in den algebraischen Gleichungen erlaubt sind, ergeben sich unterschiedliche Galoisgruppen.

Galois selbst beschrieb eine Methode, mit der eine einzelne von den Nullstellen erfüllte Gleichung konstruiert werden kann (die sog. Galois-Resolvente), so dass die Galois-Gruppe aus den Symmetrien dieser einen Gleichung besteht.“

Diese Formulierung skizziert die Definition der Galois-Gruppe $G(f,K)$ eines separablen Polynoms $f(X)\in K[X]$ über einem Grundkörper $K$. Dazu bezeichne $N_{f}:=\{\alpha =\alpha _{1},\dots ,\alpha _{m}\}\subset Z$ die Menge der paarweise verschiedenen einfachen Nullstellen von $f(X)$ in einem Zerfällungskörper (Wurzelkörper) $Z=\operatorname {Zerf} (f,K)$, in dem also $f(X)=\prod _{1\leq i\leq m}(X-\alpha _{i})$ in (das Produkt der) Linearfaktoren $X-\alpha _{i}$ zerfällt. Mit $\operatorname {Perm} (N_{f})$ sei die Menge aller Permutationen der Menge $N_{f}$ bezeichnet, das heißt die Menge aller bijektiven Abbildungen $N_{f}\to N_{f}$. Sie lässt sich als die symmetrische Gruppe $S_{m}$ der Ordnung $m$ verstehen, wenn man die Permutation mit Hilfe eines $\sigma \in S_{m}$ schreibt: $\alpha _{i}\mapsto \alpha _{\sigma (i)}$. Für ein Polynom $h(X_{1},\dots ,X_{m})\in K[X_{1},\dots ,X_{m}]$ in $m$ Unbestimmen $X_{i}$ und ein $\sigma \in S_{m}$ setze $h^{\sigma }(X_{1},\dots ,X_{m}):=h(X_{\sigma (1)},\dots ,X_{\sigma (m)}$.

Nun betrachte man die Menge

$H(f,K):=\left\{h(X_{1},\dots ,X_{m})\in K[X_{1},\dots ,X_{m}]{\big |}h(\alpha _{1},\dots ,\alpha _{m})\in K\right\}$

der Polynome in $m$ Unbestimmten, die auf dem Nullstellentupel Werte in $K$ annehmen.

Definiere nun die Galois-Gruppe $G(f,K)$ des separablen Polynoms $f(X)$ über dem Körper $K$ wie folgt:

$G(f,K):=\left\{\sigma \in S_{m}{\big |}h(\alpha _{1},\dots ,\alpha _{m})=h^{\sigma }(\alpha _{1},\dots ,\alpha _{m})\right\}$.

Mit $H(f,0):=\left\{h(X_{1},\dots ,X_{m})\in K[X_{1},\dots ,X_{m}]{\big |}h(\alpha _{1},\dots ,\alpha _{m})=0\right\}$ lässt sich sich die Galois-Gruppe ebenso gut folgendemaßen definieren:

$G(f,K):=\left\{\sigma \in S_{m}{\big |}h\in H(f,0)\Rightarrow h^{\sigma }H(f,0)\right\}$

Es gilt der Satz (Helmut Koch, Abschnitt 7.6, Satz 7): Für ein Polynom $h(X_{1},\dots ,X_{m})\in K[X_{1},\dots ,X_{m}]$ gilt:

$h(\alpha _{1},\dots ,\alpha _{m})=h^{\sigma }(\alpha _{1},\dots ,\alpha _{m})\forall \sigma \in G(f,K)\;\Rightarrow \;h\in H(f,K)$.

Beispiel (G. Ancochea, Madrid)

(nach G. Ancochea, Madrid, aus Hasse/Klobe (3. Auflage, 1961), 2.VI.§ 17, Aufgabe 17, Seite 150,)

Es sei $\operatorname {char} K\neq 2$ und $f(X)=X^{4}+aX^{3}+bX^{2}+aX+1\in K[X]$ irreduzibel. Man bestimme (i) eine notwendige und hinreichende Bedingung für die Normalität von $f(X)$ und (ii) die Galois-Gruppe $G(f,K)$.

Anleitung: Substitution $Z=X+{\frac {1}{X}}$ reduziert die Gleichung $f(X)=0$ auf zwei quadratische Gleichungen. Betrachtet man $L:=K[\beta ]$ mit $\beta :={\sqrt {a^{2}-4(b-2)}}$ und setzt $x:=(b+2)^{2}-4a^{2}$, so erhält man als Bedingung für Normalität: ${\sqrt {x}}\in L$. Dafür ist hinreichend und notwendig, dass entweder $x$ oder $y={\frac {\beta }{x}}$ ein Quadrat in $K$ ist.

Für die Galois-Gruppe ergibt sich im ersten Falle die Kleinsche Vierergruppe, im zweiten eine zyklische Gruppe der Ordnung 4.

Zum Artikel Satz vom primitiven Element

Satz

Der Satz vom primitiven Element behauptet die Existenz eines primitiven Elements $y\in L$ für eine endliche Körpererweiterung $L/K$ unter gewissen Voraussetzungen, das heißt: Unter gewissen Bedingungen gibt es ein $y\in L$ mit $L=K[y]$. Dabei gibt es verschiedene Varianten des Satzes, die sich in den geforderten Voraussetzungen unterscheiden:

• (A1) Es gibt $a,c\in L$ mit $L=K[a,c]$, wobei $c$ separabel über $K$ ist.
• (A2) Es gibt $a,c_{1},\dots ,c_{s}\in L$ mit $L=K[a,c_{1},\dots ,c_{s}]$, wobei jene $c_{j}$ separabel über $K$ sind.
• (A3) Es gibt $a,c_{1},\dots ,c_{s}\in L$ mit $L=K[a,c_{1},\dots ,c_{s}]$, wobei $a$ und jene $c_{j}$ separabel über $K$ sind.
• (A4) Die Körpererweiterung $L/K$ ist separabel.

Dass es genügt, den Satz unter der ersten Voraussetzung (A1) zu beweisen, liegt auf der Hand: Die übrigen Varianten folgen durch vollständige Induktion oder unmittelbar. Eine weitere Variante behauptet, dass die Existenz eines primitiven Elements äquivalent mit der folgenden Bedingung ist:

• (B) Die endliche Körpererweiterung $L/K$ besitzt nur endlich viele Zwischenkörper.

Tatsächlich lässt sich zeigen, dass aus (A4) die Aussage (B) folgt. (Artin).

Beweis des Satzes

Die Aussage des Satzes folgt per Induktion leicht aus dem folgenden Satz: Sind $a,c$ algebraisch und $c$ darüber hinaus separabel über $K$, so ist $K[a,c]/K$ eine einfache Körpererweiterung, das heißt: Es gibt ein $y\in K[a,c]$ mit $K[y]=K[a,c]$.

Zum Beweis: Bei endlichem Grundkörper $K$ ist die multiplikative Einheitengruppe $K[a,c]^{\times }$ zyklisch, nämlich von einer einer primitiven Einheitswurzel $\zeta$ erzeugt. Dieses eignet sich somit als primitives Element $y:=\zeta$. Damit bleibt der Satz im Folgenden lediglich für unendliche Grundkörper $K$ zu beweisen.

Dafür bezeichne $r$ die Mächtigkeit der Nullstellenmenge $N_{f}:=\{a_{1},\dots ,a_{r}\}$ des Minimalpolynoms $f(X)$ von $a$. Dabei ist $r\leq m:=\deg f$, da die Nullstellen nicht notwendig einfach sind. Es bezeichne $n$ die Mächtigkeit der Nullstellenmenge $N_{g}:=\{c_{1},\dots ,c_{n}\}$ des Minimalpolynoms $g(X)$ von $c$. Da diese Nullstellen einfach sind, sind sie paarweise verschieden, und es gilt $n=\deg g$. Die Indizierung beginne jeweils mit $a_{1}=a$ bzw. $c_{1}=c$.

Argumentationsweg A

Für jedes der endlich vielen Paare $(i,j)$ mit $1\leq i\leq r$ und $2\leq j\leq n$ bestimmt die Gleichung $Xc+a=Xc_{j}+a_{i}$ höchstens eine Lösung $x_{i,j}\in K$. Wählt man $x\in K\backslash \{x_{i,j},i,j\}\neq \emptyset$, also ungleich allen diesen $x_{i,j}$, so folgt $y:=xc+a\neq xc_{j}+a_{i}$ für alle $r(n-1)$ Paare $(i,j)$ mit $1\leq i\leq r,2\leq j\leq n$.

Dabei gilt $f(y-xc)=f(a)=0=g(c)$, und da $f(y-xX)$ und $g(X)$ nach Wahl von $x$ nur diese eine gemeinsame Nullstelle $c$ haben, ist ihr größter gemeinsamer Teiler $\operatorname {ggT} _{K[y][X]}{\big (}g(X),f(y-xX){\big )}=X-c$ in $K[y][X]$, woraus $c\in K[y]$ und mithin $a=xc-y\in K[y]$ folgen, was zu beweisen genügt.

Argumentationsweg B

Evtl nach Krull, Elementare Algebra, Seite 136 (Anhang).

Anmerkung 1: Der Leitkoeffizient von $f(y-xX)$ ist $(-x)^{r}$.

Anmerkung 2: Selbstverständlich kann man $x$ auch so wählen, dass die $rn$ Elemente $a_{i}+xc_{j}=:y_{i,j}$ für $1\leq i\leq r,1\leq j\leq n$ sämtlich untereinander paarweise verschieden sind (also unter Einbeziehung von $j=1$).

Anmerkung 3: Ist dabei zusätzlich auch $a$ separabel, also $r=\deg f=m$, so zerfällt das Polynom $f(y-xX)$ in einem Zerfällungskörper $\operatorname {Zerf} (f(X),K[y])$ folgendermaßen: $f(y-xX)=\prod _{i=1}^{n}(y-xX-a_{i})=\prod _{i=1}^{n}\left(y-(xX+a_{i})\right)=\prod _{i=1}^{n}((a+xc)-(a_{i}+xX))$. Daran lässt sich wiederum ablesen, dass $f(y-xX)$ und $g(X)$ nur die eine gemeinsame Nullstelle $X=c$ haben. Ferner wird deutlich, dass dann auch $y$ separabel ist: Die $mn$ Elemente $y_{i,j}\;(1\leq i\leq m,1\leq j\leq n)$ sind sämtlich paarweise verschieden und über $K$ konjugiert. Ihr Minimalpolynom über $K$ lautet $\mu _{y}(X)=\prod _{i=1}^{m}\prod _{j=1}^{n}(X-y_{i,j})=\prod _{i=1}^{m}\prod _{j=1}^{n}(X-(a_{i}+xc_{j}))$. Tatsächlich hat es Koeffizienten aus $K$, denn zunächst liegt $\phi (X,Y):=\prod _{j=1}^{n}(X-(Y+xc_{j}))\in K[X,Y]$, da es unter der Galois-Gruppe des Zerfällungskörpers von $g(X)$ über $K$ invariant ist. Aus entsprechendem Grunde liegt auch $g(X)=\prod _{i=1}^{m}\phi (X,a_{i})\in K[X]$.

Folgerungen aus dem Satz

Folgerung: Sind im Satz $a$ und $c$ separabel, so ist die einfache Erweiterung $K[a,c]=K[y]$ separabel über $K$ vom Grade $mn$.

Im Zerfällungskörper $W:=\operatorname {Zerf} (\mu _{y}(X),K)$ des Minimalpolynoms $\mu _{y}(X)$ von $y$ sind (per definitionem) alle Wurzeln $y_{i,j}$ enthalten und über $K$ konjugiert, das heißt: Sie liegen in der Bahn $G(W/K)(y)$ der Galois-Gruppe $G(W/K)$. Diesen Zerfällungskörper erhält man durch Adjunktion $W=K[y_{i,j},\,1\leq i\leq m,1\leq j\leq n]$.

Darauf lässt sich der Satz vom primitivem Element anwenden: Wählt man nämlich $x_{i,j}\in K$ so, dass sämtliche Permutationen $\sigma \in S_{m},\tau \in S_{n}$ zu untereinander paarweise verschiedenen $z_{\sigma ,\tau }:=\sum _{1\leq i\leq m \atop 1\leq j\leq n}x_{i,j}\,y_{\sigma (i),\tau (j)}$ führen, so erzeugt jedes der $z_{\sigma ,\tau }$ den Zerfällungskörper: $W=K[z_{\sigma ,\tau }]$. Dabei kann ohne Einschränkung eines der $x_{i,j}$ gleich Eins gewählt werden, bspw. $x_{1,1}=1$. Denn ein Element $z\in W$ ist nach dem Hauptsatz der Galoistheorie genau dann normal mit $W=K[z]$, wenn seine Bahn unter $G$ genau $(G:1)$ Elemente hat, seine Standgruppe also gleich $\{1\}$ ist. Nun permutiert jeder Automorphismus $\rho \in G(E/K)$ die Wurzeln $a_{i}$ und $c_{j}$, liefert also Permutationen $\sigma \in S_{m}$ und $\tau \in S_{n}$, so dass die diese Bedingung gewährleistet ist.

Hieran lässt sich ablesen: Sind $a$ und $c$ normal über $K$ so ist es auch $K[a,c]=K[y]$. Dann nämlich erübrigt sich die Adjunktion der von $y$ verschiedenen $y_{i,j}$ und es ist $W=K[y]$ und $(G:1)=[K[y]:K]=mn$. Zur Bestimmung eines Automorphismus $\rho \in G$ genügt dann nämlich schon, die Substitutionen $a\mapsto a_{i}=a_{\sigma (1)}$ und $c\mapsto c_{j}=c_{\tau (1)}$ anzugeben. Ist aber nichts über die Normalität von $a$ oder $c$ bekannt, so lässt sich nur folgern, dass $mn|(G:1)|m!n!$.

Zusammenhang zur Galois-Resolvente

Definition: Eine Galois-Resolvente der Gleichung $\mu _{y}(X)=0$ ist das Minimalpolynom $\mu _{z}(X)$ eines solchen primitiven Elements $z$, welches den Zerfällungskörper von $\mu _{y}(X)$ erzeugt. Da jede $y_{i,j}\in K[z]$ liegt, sind sie als ganzrationale Ausdrücke von $z$ darstellbar: $y_{i,j}=h_{i,j}(z)$. Allgemeiner heißt ein irreduzibles, separables Polynom $q(X)\in K[X]$ eine Galois-Resolvente eines Polynoms $f(X)$ über $K$, wenn es Minimalpolynom eines primitiven Elements $z$ für den Zerfällungskörper $W:=\operatorname {Zerf} (f(X),K)$ von $f(X)$ über $K$ ist.

Daher ist die Existenz einer Galois-Resolvente mit der Existenz eines primitiven Elements äquivalent.

Die Nullstellen $a_{i}$ von $f(X)$ sind dann über $K$ ganzrationale Ausdrücke von $z$: $a_{i}=h_{i}(z)$ mit $h(X)\in K[X]$. Umgekehrt gilt $z=H(a_{1},\dots ,a_{r})$ mit einem Polynom $H(X_{1},\dots ,X_{r})\in K[X_{1},\dots ,X_{r}]$, und für $\rho \in G(W/K)$ gilt folglich $\rho (z)=H^{\rho }(a_{1},\dots ,a_{r})=H(\rho (a_{1}),\dots ,\rho (a_{r}))=(a_{\rho (1)},\dots ,a_{\rho (r)})$, wenn man die Automorphismen $\rho \in G(W/K)$ zugleich als Permutationen $\rho \in S_{r}$ der Wurzeln auffasst, was der historischen Perspektive entspricht.

Da indes eine Galois-Resolvente $q(X)$ bei der Lösung der zugehörigen Wurzelgleichung $f(X)=0$ nicht behilflich ist, hat sich die Bedeutung der Galois-Resolvente in der heute üblichen Perspektive auf das zugehörige primitive Element und die von ihr erzeugte einfache Körpererweiterung konzentriert.

Resolvente (Hilfsgleichung) nach Krull, § 25 (bzw. § 26 in neuerer Auflage) Resolventenbildung

Motiviert durch die Auflösung der Gleichung vierten Grades (!):

Es sei $p(X)=X^{n}+\sum _{i=0}^{n-1}a_{i}X^{i}=\prod _{i=1}^{n}(X-\alpha _{i})\in K[X]$ ein normiertes Polynom über dem Körper $K$ mit Nullstellen $\alpha _{i}$ in seinem Zerfällungskörper $L$.

Ein Element $y\in L$ ist also darstellbar als $y=P(\alpha _{1},\dots \alpha _{n})$ mit einem Polynom $P(X_{1},\dots X_{n})\in K[X_{1},\dots X_{n}]$. Für die $n!$ Permutationen $\pi$ aus der symmetrischen Gruppe $S_{n}$ bezeichne $P^{\pi }(X_{1},\dots ,X_{n}):=P(X_{\pi (1)},\dots X_{\pi (n)})$ und $y^{\pi }:=P^{\pi }(\alpha _{1},\dots ,\alpha _{n})\in L$.

Dann liegt das Polynom $q(Y,X_{1},\dots X_{n}):=\prod _{\pi \in S_{n}}\left(Y-P^{\pi }(X_{1},\dots ,X_{n})\right)\in K[X_{1},\dots ,X_{n}][Y]$, und seine Koeffizienten (Beiwerte) (vor den Potenzen der Unbekannten $Y$) sind symmetrische Polynome in den $X_{i}$ über $K$, also Polynome der elementarsymmetrischen Funktionen $\sigma _{j}(X_{1},\dots ,X_{n})$. Nach Definition von $P(X_{1},\dots ,X_{n})$ gilt für diese $(-1)^{j}\cdot \sigma _{j}(\alpha _{1},\dots ,\alpha _{n})=a_{j}\in K$.

Daher liegt $q(Y,\alpha _{1},\dots ,\alpha _{n})\in K[t]$ und hat die Wurzeln $y^{\pi }$, das heißt: $y\in L$ genügt der Gleichung $q(Y):=q(Y,\alpha _{1},\dots ,\alpha _{n})=\prod _{\pi \in S_{n}}\left(Y-P^{\pi }(\alpha _{1},\dots ,\alpha _{n})\right)=0$.

Diese Gleichung $q(Y)=0$ nennt man die zu $p(x)=0$ gehörige Hilfsgleichung oder Resolvente. Im Allgemeinen, jedoch nicht immer, ist, falls $p(X)$ irreduzibel ist, auch $q(Y)$ irreduzibel, also das Minimalpolynom von $y$.

Hierzu siehe Krulls Aufgabe 7.

Interessant auch Aufgabe 8: Sie stellt mutmaßlich eine Verbindung mit der Konstruktion eines quadratischen Polynoms aus dem Beweis des Fundamentalsatzes der Algebra her.

Auch die folgenden Aufgaben sind interessant.

Krull deutet hier „zu Fuß“ an, dass man im Falle von Gleichungen fünften Grades nicht weiter kommt. Er verweist dabei auf die Tschirnhausentransfomrationen und auf die Bücher

• Bieberbach-Bauer: Algebra, II, 2, 4 und
• Oskar Perron: Algebra, Bd. 2, 14.

Historische Perspektive: Galois-Resolvente und -Theorie

Helmut Hasse bezeichnet den Satz unter Hinweis auf seinen „Entdecker“ als den Abelschen Satz. In einer Fußnote zum Beweis bemerkt Hasse: „Dieser Beweis wurde bisher fast immer unter Anwendung des Satzes von den symmetrischen Funktionen [...] geführt. Der Grundgedanke des im Text gegebenen, ohne jenen Satz auskommenden Beweises wurde aber schon von Galois zu dem entsprechenden Zwecke verwandt.“

Eine Galois-Resolvente einer Gleichung $f(X)=0$ ist (nach Definition) ein irreduzibles Polynom $g(X)$ (bzw. eine irreduzible Gleichung $g(X)=0$) mit einer der folgenden äquivalenten Eigenschaften, die den Zerfällungskörper $\operatorname {Zerf} (f(X),K)$ von $f(X)$ über $K$ betreffen:

• $\operatorname {Zerf} (f(X),K)\simeq K[X]/(g(X))$. (In historischen Worten: „Der Stammkörper von $g(X)=0$ ist der Wurzelkörper von $f(X)=0$.“)
• Für eine Wurzel $\beta$ von $g(X)=0$ gilt: $\operatorname {Zerf} (f(X),K)=K[\beta ]$.
• Für jede Wurzel $\beta$ von $g(X)=0$ gilt: $\operatorname {Zerf} (f(X),K)=K[\beta ]$.
• Jede Wurzel von $f(X)=0$ ist dann als „ganzrationale Funktion“ einer Wurzel von $g(X)=0$ (und damit jeder ihrer Wurzeln) ausdrückbar.

Damit ist insbesondere der Stammkörper einer Galois-Resolvente ihr eigener Zerfällungskörper („Wurzelkörper“): Es genügt eine beliebige der Wurzeln zu adjungieren, da sich mit ihr alle übrigen ganzrational ausdrücken lassen. Polynome mit dieser Eigenschaft heißen galoissch oder normal (vgl. unten).

Zur Erläuterung des erwähnten „entsprechenden Zwecks“ beachte man nun, dass für eine Galois-Erweiterung $L/K$ die Existenz eines primitiven Elementes $x\in L$ (mit $L=K[x]$) und die Existenz einer Galois-Resolvente $g(X)\in K[X]$ im Wesentlichen dasselbe besagen, denn mit dem Minimalpolynom $\mu _{x}(X)$ eines primitiven Elementes $x\in L=K[x]$ ist eine Galois-Resolvente gefunden und umgekehrt ist jede Nullstelle $x\in \{x_{1},\dots ,x_{n}\}=\{x\in L|g(x)=0\}$ einer Galois-Resolvente $g(X)\in K[X]$ als primitives Element geeignet. Ein solches primitives Element erzeugt bereits den Zerfällungskörper der Galois-Resolvente, denn dieses irreduzible Polynom ist per definitionem galoissch, das heißt, dass mit Adjunktion nur einer der Nullstellen $\{x_{1},\dots ,x_{n}\}$ auch alle übrigen Nullstellen im entstandenen Erweiterungskörper enthalten sind: $K[x]=K[x_{1},\dots ,x_{n}]$ für beliebige Wahl von $x\in \{x_{1},\dots ,x_{n}\}$.

Ein irreduzibles separables Polynome, dessen Nullstellen $x_{i}$ diese Eigenschaft haben, heißt galoissch (oder normal), und entsprechend heißt ein Element $x\in L$ galoissch (oder normal), dessen Minimalpolynom $\mu _{x}(X)$ galoissch ist. Für solch ein Element $x\in \{x_{1},\dots ,x_{n}\}$ fallen der zugehörige Stammkörper $K[x]\cong K[X]/(\mu _{x}(X))$ und der Zerfällungskörper $K[x_{1},\dots ,x_{n}]$ zusammen.

Ist $L$ Zerfällungskörper eines über $K$ irreduziblen separablen Polynoms $g(X)\in K[X]$ vom Grad $\deg g=n$, so ist $L/K$ eine Galois-Erweiterung. Die Galois-Gruppe $G(g,K)$ des Polynoms $g$ ist definiert als diejenige Untergruppe $G(g,K)<S_{n}\simeq \operatorname {Perm} (\{x_{1},\dots ,x_{n}\})$ aller Permutationen $\sigma$ auf seiner Nullstellenmenge $N_{g}:=\{x_{1},\dots ,x_{n}\}$, die durch folgende Eigenschaft gekennzeichnet ist:

$\sigma \in G(f,K)\;:\Longleftrightarrow \;\forall f(X_{1},\dots ,X_{n})\in K[X_{1},\dots ,X_{n}]:\;{\Big [}f(x_{1},\dots ,x_{n})=0\,\Rightarrow \,f(x_{\sigma (1)},\dots ,x_{\sigma (n)})=0{\Big ]}\,.$

Setzt man $H(N_{g},K):=\left\{h(X_{1},\dots ,X_{n})\in K[X_{1},\dots ,X_{n}]{\Big \vert }h(x_{1},\dots ,x_{n})\in K\right\}$, so gilt offensichtlich:

$\sigma \in G(f,K)\;\,\Longleftrightarrow \;\forall h\in H(N_{g},K):\;h(x_{1},\dots ,x_{n})=h(x_{\sigma (1)},\dots ,x_{\sigma (n)})$

Daraus folgt zunächst $(G(g,K):1)|n!=(S_{n}:1)$.

Wählt man hierbei $g(X)$ galoissch (normal) – also eine Galois-Resolvente $g(X)$ für $L/K$, was nach dem Satz vom primitiven Element möglich ist –, so lässt sich sogar $(G:1)=n=\deg g=[L:K]$ folgern, weil jeder Automorphismus $\sigma \in G(L/K)$ auf $L=K[x]$ bereits durch das Bild $\sigma (x)\in \{x_{1},\dots ,x_{n}\}$ festgelegt ist.

Da die Koeffizienten des Polynoms $g(X)$ die elementarsymmetrischen Polynome seiner Nullstellen sind und symmetrische Polynome nach dem Hauptsatz über elementarsymmetrische Polynome (sogar in eindeutiger Weise) als Polynome in den elementarsymmetrischen Polynomen dargestellt werden können, enthält $H(N_{g},K)$ die symmetrischen Polynome.

Die Galois-Gruppe $G(g,K)$ eines Polynoms hängt vom gewählten Polynom $g(X)\in K[X]$ ab. Doch lässt sich zeigen, dass sie im Falle einer Galois-Erweiterung $L/K$ isomorph zu deren Galois-Gruppe $G(L/K):=\operatorname {Aut} (L/K)$ ist. Daher hängt ihre Isomorphieklasse nicht von der Wahl des Polynoms $g$ ab, und es folgt $\left(G(L/K):1\right)=n=[L:K]$.

Wurde in älterer, „klassischer“ Literatur der Weg über die „symmetrischen Grundfunktionen“ (sprich: elementarsymmetrischen Polynome) und die Galois-Resolvente beschritten, so rückte Bartel Leendert van der Waerden in seinem Lehrbuch „Moderne Algebra“ (Erstauflage 1930/1931 in Springer Grundlehren) die Galois-Gruppe $G(L/K)$ und den Satz vom primitiven Element in den Vordergrund. Er hatte in diesem Lehrbuch Vorlesungen aus den 1920er Jahren von Emmy Noether in Göttingen und von Emil Artin in Hamburg verwendet.

Emil Artin selbst veröffentlichte nach seiner Emigration einen Zugang zur Galois Theory im Jahre 1942. Schon dessen erstes grundlegendes Kapitel „Lineare Algebra“ kündigt den Wandel der Perspektive an. Artin zeigte mit Hilfe des Unabhängigkeitssatz von Dedekind und eines ähnlichen Argumentes – angewandt auf die Spurabbildung $\operatorname {Spur} _{L/K}$ –, dass die Gleichheit $(G(L/K):1)=[L:K]$ besteht, sobald der Grundkörper $K$ Fixkörper eine Gruppe von Automorphismen auf einem Erweiterungskörper $L$ ist. Solche Erweiterungskörper nennt Artin galoissch über dem Grundkörper. Er zeigt im Nachhinein, dass Erweiterungskörper diese Eigenschaft genau dann erfüllen, wenn sie Zerfällungskörper eines über dem Grundkörper $K$ separablen Polynoms sind. Am Ende dieses Buches steht der Beweis der Existenz einer Normalbasis, und auch dieser beruht auf der Determinantentheorie der Linearen Algebra.

Literatur (Ergänzungen)

• Emil Artin: Galois Theory. In: Lectures delivered at the University of Notre Dame, Indiana. 1942, abgerufen am 27. Oktober 2022 (edited and supplemented with a Section on Applications by Dr. Arthur N. Milgram, Notre Dame).  – Eine Übersetzung ins Deutsche erfolgte 1968:
• Emil Artin: Galoissche Theorie. Verlag Harri Deutsch, Berlin (u. a.) 1968.

Zentralisator

Ergänzung im einschlägigen Artikel:

Zentralisator in Ringen

Es sei $R$ ein assoziativer Ring, $s\in R$. Der Zentralisator von $s$ in $R$ ist definiert als die Menge aller mit $s$ vertauschbaren Ringelemente: $Z_{R}(s):=\{r\in R\,|sr=rs\}\,.$ Offenkundig ist stets $\{0,s,s^{2},s^{3},\dots \}\subset Z_{R}(s)$. Enthält der Ring $R$ überdies eine $1$ (und ist somit unitär), so ist $Z_{R}(1)=R=Z_{R}(0)$, also auch $\{0,1,s,s^{2},s^{3},\dots \}\subset Z_{R}(s)$ für jedes $s\in R$.

Der Zentralisator einer Teilmenge $S\subset R$ in $R$ ist definiert als

$Z_{R}(S):=\{r\in R\,|\,\forall s\in S:sr-rs=0\}=\bigcap _{s\in S}Z_{R}(s)\,.$

Insbesondere heißt $Z(R):=Z_{R}(R)$ das Zentrum des Ringes $R$.

Die Kommutatorklammer, definiert durch $[a,b]:=ab-ba$ für $a,b\in R$, ist offensichtlich bilinear über $\mathbb {Z}$, d. h., für $a_{i},b_{i}$ gelten:

• $[a_{1}\pm a_{2},b]=[a_{1},b]\pm [a_{2},b]$
• $[a,b_{1}\pm b_{2}]=[a,b_{1}]\pm [a,b_{2}]$

Ferner gilt für $a,b,s\in R$:

• $[a,s]=0=[b,s]\Longrightarrow [ab,s]=a[b,s]=0$.

Daher ist der Zentralisator $Z_{R}(S)$ stets ein Teilring von $R$.

Zentralisator eines Moduls

Es bezeichne $M:=\sideset {_{A}}{}{M}$ einen Links-Modul (bzw. $M:=\sideset {}{_{A}}{M}$ einen Rechts-Modul) über dem Ring $A$, also eine abelsche Gruppe, auf welcher der Ring $A$ von links (bzw. von rechts) operiert. Betrachte zunächst $M$ als einen $\mathbb {Z}$-Modul (also als abelsche Gruppe): Es bezeichne $\operatorname {End} (M)=\operatorname {End} _{\mathbb {Z} }(M)=:R$ dem Ring der Endomorphismen der abelschen Gruppe $M$. Jede Links- (bzw.Rechts-) Multiplikation mit einem Ringelement $a\in A$ (also $\lambda _{a}\colon M\to M,m\mapsto \lambda _{a}(m):=am$ (bzw. $\rho _{a}\colon M\to M,m\mapsto \rho _{a}(m):=ma$)) ist ein solcher Endomorphismus. Auf diese Weise erhält man einen Homomorphismus $\lambda \colon a\mapsto \lambda _{a}$ (bzw. einen Antihomomorphismus $\rho \colon a\mapsto \rho _{a}$) $A\to R$. Dieser (Anti-)Homomorphismus ist die zum $A$-Modul gehörige, also die reguläre Darstellung des Links- (bzw. Recht-)Moduls $M$. Diese ist (per definitionem) genau dann treu, wenn dieser Homomorphismus (bzw. Anti-Homomorphismus) injektiv ist, so dass sich der Ring $A$ im Ring $R$ als Teilring wiederfindet. (Auf sich selbst als Modul $M=A$ angewendet ist dies genau dann der Fall, wenn $A$ links- (bzw. rechts-)nullteilerfrei ist.) Bezeichnet $S$ das Bild $\lambda (A)=\{\lambda _{a}|a\in R\}$ dieses Homomorphismus' (bzw. das Bild $\rho (A)=\{\rho _{a}|a\in R\}$ dieses Anti-Homomorphismus'), so wird der Zentralisator des Moduls $M$ definiert als $Z_{R}(S)$. Offensichtlich ist dies gerade derjenige Teilring des Endomorphismenrings $R=\operatorname {End} _{\mathbb {Z} }(M)$, welcher alle $A$-(links- bzw. rechts-)linearen Endomorphismen enthält, das heißt, es gilt $Z_{R}(S)=\operatorname {End} _{A}(M)$. Dabei sei definiert $\operatorname {End} _{A}(M):=\operatorname {End} (\sideset {_{A}}{}{M})$ bzw. $\operatorname {End} _{A}(M):=\operatorname {End} (\sideset {}{_{A}}{M})$, je nachdem, ob $M$ ein Links- oder Rechtsmodul ist. Denn tatsächlich gilt:

• $f\in Z_{R}(S)\Leftrightarrow f\in \operatorname {End} _{\mathbb {Z} }(M)$ mit der Eigenschaft: $\forall a\in A:f\circ \lambda _{a}=\lambda _{a}\circ f\Leftrightarrow f\in \operatorname {End} _{\mathbb {Z} }(M)$ mit der Eigenschaft: $\forall a\in A,m\in M:f(am)=af(m)$ bzw.
• $f\in Z_{R}(S)\Leftrightarrow f\in \operatorname {End} _{\mathbb {Z} }(M)$ mit der Eigenschaft: $\forall a\in A:f\circ \rho _{a}=\rho _{a}\circ f\Leftrightarrow f\in \operatorname {End} _{\mathbb {Z} }(M)$ mit der Eigenschaft: $\forall a\in A,m\in M:f(ma)=f(m)a$.

Nathan Jacobson definiert den Zentralisator $\Gamma$ eines Moduls und seine Operation auf dem Modul derart, dass Zentralisator und Endomorphismenring $R$ auf einander gegenüberliegenden (opponierten) Seiten operieren. Dann bilden $Z_{R}(S)$ und der Zentralisator $\Gamma$ zueinander opponierte Ringe (Gegenringe) bilden, das heißt, sie sind zueinander anti-isomorph.

Man beachte, dass zwar

• $a\in A\Rightarrow \lambda _{a}\in \operatorname {End} _{\mathbb {Z} }(M)$ bzw.
• $a\in A\Rightarrow \rho _{a}\in \operatorname {End} _{\mathbb {Z} }(M)$,

nicht aber die stärkere Aussage für die $A$-linearen Endomorphismen:

• $a\in A\not \Rightarrow \lambda _{a}\in \operatorname {End} (\sideset {_{A}}{}{M})$ bzw.
• $a\in A\not \Rightarrow \rho _{a}\in \operatorname {End} (\sideset {}{_{A}}{M})$.

Der Kern des Homomorphismus $\lambda$ (bzw. des Anti-Homomorphismus $\rho$) heißt das Annullatorideal $\operatorname {Ann} (M)$ des Moduls $M$. Es ist also

• $\operatorname {Ann} (M)=\{a\in A\,|\,aM=0\}\triangleleft R$ bzw.
• $\operatorname {Ann} (M)=\{a\in A\,|\,Ma=0\}\triangleleft R$.

Für $a,b\in A$ und für einen Linksmodul $M$ gilt offenbar:

$\lambda _{a},\lambda _{b}\in Z_{R}(S)\Rightarrow ab-ba\in \operatorname {Ann} (M)\;,$

und für einen Rechtsmodul $M$ gilt Entsprechendes mit $\rho$ als regulärer Darstellung. Bei einer treuen Darstellung $\lambda$ bzw. $\rho$, also einer Einbettung $A{\stackrel {\sim }{\to }}S\subset R$ von Ringen, ergibt sich hier die gewohnte Definition des Zentralisators für Ringe.

Für die nächsten Überlegungen sei die Quotienten-Schreibweise aus der Noetherschen Idealtheorie eingeführt: Für $x,t\in M$ und einen Teilring $B\subset A$ sei

• der Linksquotient$\;\;\;\sideset {_{B}}{}{(x:t)}\;\;:=\{b\in B\,|\,bt=x\}$ im Falle eines Linksmoduls $M$ bzw.
• der Rechtsquotient $\;\;\sideset {}{_{B}}{(x:t)}:=\{b\in B\,|\,tb=x\}$ im Falle eines Rechtsmoduls $M$ definiert.

Wenn $B=A$ und die Seitigkeit des Moduls $M$ klar ist, so wird der Index fortgelassen. Das Links- (bzw. Rechtsideal) $(0:t)$ heißt das Ordnungsideal des Elementes $t$ aus dem Linksmodul (bzw. Rechtsmodul) $M$.

Für zwei Teilmengen $N,T\subset M$ und einen Teilring $B\subset A$ sei

• $\;\sideset {_{B}}{}{(N:T)}\;\;:=\{b\in B\,|\,bT\subset N\}=\{b\in B\,|\,\forall t\in T:bt\in N\}$ im Falle eines Linksmoduls $M$ bzw.
• $\;\;\;\sideset {}{_{B}}{(N:T)}:=\{b\in B\,|\,Tb\subset N\}=\{b\in B\,|\,\forall t\in T:tb\in N\}$ im Falle eines Rechtsmoduls $M$ definiert.

Es ist also

• $\;\sideset {_{B}}{}{(N:T)}\;\;=B\cap \bigcap _{t\in T}\bigcup _{x\in N}(x:t)$ für einen Linksmodul bzw.
• $\;\;\;\sideset {}{_{B}}{(N:T)}=B\cap \bigcap _{t\in T}\bigcup _{x\in N}(x:t)$ für einen Rechtsmodul.

Für einen linksseitigen (bzw. rechtsseitigen) $A$-Untermodul $N$ von $M$ ist $\sideset {_{B}}{}{(N:T)}$ ein Linksideal (bzw. $\sideset {}{_{B}}{(N:T)}$ ein Rechtsideal) in $B$.

Ist zusätzlich $T$ ein links- bzw. rechtsseitiger Untermodul von $M$, so handelt es sich bei beiden, sowohl bei $\sideset {_{B}}{}{(N:T)}$ als auch bei $\sideset {}{_{B}}{(N:T)}$, um beidseitige Ideale in $B$. Dies trifft bspw. auf $T=M,N=(0)$ zu: Es ist damit $\operatorname {Ann} (M)=\sideset {_{A}}{}{(0:M)}$ bzw. $\operatorname {Ann} (M)=\sideset {}{_{A}}{(0:M)}$. Allgemeiner ist $\operatorname {Ann} (M/N)=\sideset {_{A}}{}{(N:M)}$ bzw. $\operatorname {Ann} (M/N)=\sideset {}{_{A}}{(N:M)}$ für einen links- bzw. rechtsseitigen Untermodul $N\triangleleft M$. Im Falle $B=A$ wird meistens auf die Angabe des Index verzichtet, wenn nämlich klar ist, von welcher Seite der Ring $A$ operiert, und in diesem Sinne gilt

• $\;\sideset {_{B}}{}{(N:T)}\;\;=B\cap (N:T)$ für Linksmoduln $N\triangleleft M$ bzw.
• $\;\;\;\sideset {}{_{B}}{(N:T)}=B\cap (N:T)$ für Rechtsmoduln $N\triangleleft M$.

Ringe $A$ können als Links- oder Rechts-Moduln über sich selbst betrachtet werden, und zwar (dank der Assoziativität) sogar als Bimodul (oder Doppelmodul) über dem Paar $(A,A)$ von Ringen. Allgemeiner wird nämlich ein Modul $M$, auf dem zwei (oder gar mehrere Ringe) $A_{1},\dots ,A_{n}$ von operieren, nämlich $A_{1},\dots ,A_{r}$ von links und $A_{r+1},\dots ,A_{r+s}$ von rechts ($n=r+s$), ein $(A_{i})_{i}$-Bimodul oder -Doppelmodul ($n=2$) oder -Multimodul ($n\geq 3$) genannt, wenn die zugehörigen Darstellungen $\lambda _{1},\dots ,\lambda _{r},\rho _{1},\dots ,\rho _{s}$ sämtlich paarweise vertauschbar sind.

Ist $I\triangleleft A$ ein Linksideal (bzw. Rechtsideal) in $A$, so heißt

• $\;\;\;\sideset {}{_{A}}{(I:I)}:=\{b\in A\,|\,Ib\subset I\}=:N_{A}(I)$ bzw.
• $\;\sideset {_{A}}{}{(I:I)}\;\;:=\{b\in A\,|\,bI\subset I\}=:N_{A}(I)$

der Normalisator (engl. normalizer) von $I$ in $A$ und ist der größte Teilring von $A$, in welchem $I$ als ein beidseitiges Ideal liegt: $I\triangleleft N_{A}(I)$.

Bezeichnet also also $B:=N_{A}(I)$ den Normalisator eines Links- bzw. Rechtsideals $I$ und setzt man

• $K:=\sideset {}{_{B}}{(I:A)}=\{k\in B\;|\;Ak\subset I\}$ im Falle eines Linksideals $I\triangleleft A$ bzw.
• $K:=\sideset {_{B}}{}{(I:A)}=\{k\in B\;|\;kA\subset I\}$ im Falle eines Rechtsideals $I\triangleleft A$,

so liegt $I\subset K$. Ferner ist im Ring $A$ neben $I$ auch $K$ ein einseitiges Ideal (nämlich Links- bzw. Rechtsideal). Im Teilring $B$ hingegen sind beide, zunächst $I$ und folglich auch $K$, beidseitige Ideale: $K,I\triangleleft B$.

Der Zentralisator strikt zyklischer Moduln

Moduln heißen strikt zyklisch (über $A$), wenn sie $A$-Vielfaches eines Elements sind, d. h., wenn es ein Element $m\in M$ mit

• $M=Am$ im Falle von Linksmoduln $M$ bzw.
• $M=mA$ im Falle von Rechtsmoduln $M$.

Das Adverb „strikt“ weist darauf hin, dass die zyklische Erzeugung allein über $A$ geschieht, nicht zusätzlich über der $\mathbb {Z}$-Modulstruktur der abelschen Gruppe $M$. Das Erzeugnis besteht also nur aus den $A$-Vielfachen des Erzeugenden $m$. Ob darin auch $\mathbb {Z}$-Vielfache (wie $2m:=m+m$) enthalten sind, hängt von $A$ ab.

Für strikt zyklische Linksmoduln $M=Am$ (bzw. Rechtsmoduln $M=mA$; $m\in M$ ein fest gewähltes strikt erzeugendes Element) betrachte das Ordnungsideal

• $I:=(0:m):=\{a\in A|am=0\}$ bzw.
• $I:=(0:m):=\{a\in A|ma=0\}$

des strikt Erzeugenden $m$. Hinweis: Es handelt sich bei $I$ um eine Links- bzw. um ein Rechtsideal, aber nicht notwendig um ein beidseitiges Ideal. Insbesondere ist es im Allgemeinen verschieden vom beidseitigen Annullatorideal $\operatorname {Ann} (M)$, denn $am=0\not \Rightarrow \forall b\in A:abm=0\Leftrightarrow aM=0$. Also darf keineswegs $N_{A}(I)=A$ angenommen werden. Wohl aber ist $I=\operatorname {Ann} (m)=\ker \left(\lambda ^{(m)}\colon A\to M,a\mapsto am\right)$ (bzw. $\rho ^{(m)}\colon a\mapsto ma$).

Für einen strikt zyklischen Modul ist dieser Homomorphismus surjektiv und induziert eine exakte Sequenz

• $0\longrightarrow \sideset {_{A}}{}{(0:m)}\longrightarrow A\longrightarrow M\longrightarrow 0$ von Linksmoduln bzw.
• $0\longrightarrow \sideset {}{_{A}}{(0:m)}\longrightarrow A\longrightarrow M\longrightarrow 0$ von Rechtsmoduln über $A$.

Dann ist also $A/(0:m)\cong M$.

Der Surjektivität der Abbildung $\lambda ^{(m)}$ wegen muss es ein Element $e\in A$ geben, für welches eine (und damit jede) der folgenden vier äquivalenten Aussagen erfüllt ist:

1. $em=m$
2. $\forall a\in A:(ae-a)m=0$
3. $\forall a\in A:ae-a\in I:=(0:m)$
4. $\forall a\in A:ae\equiv a{\pmod {I:=(0:m)}}$

Dieses Element $e$ ist also modulo dem Linksideal $I$ ein Rechtseinselement. Entsprechendes gilt für den Fall eines Rechtsmoduls und seiner Abbildung $\rho ^{(m)}$.

Definition: Ein Linksideal (bzw. Rechtsideal), für das es ein Rechts- (bzw. Links-)-Einselement gibt, heißt modular. Für ein Linksideal $I$ und ein Element $e\in A$ sind also äquivalent:

1. $I$ ist modulares Linksideal mit Rechtseinselement $e$.
2. $A/I$ ist strikt zyklischer Linksmodul mit dem Erzeugenden $e+I$.
3. Es gibt einen strikt zyklischen Linksmodul $M=Am$ mit Erzeugendem $m=em$ und $I=(0:m)$.

Ist ein Linksideal $I$ modular mit Rechtseinselement $e$, so ist das beidseitige Ideal $\sideset {_{A}}{}{(I:A)}=\{b\in A\;|\;bA\subset I\}$ in $I$ enthalten, denn $bA\subset I\Rightarrow b=be\in I$. Ist $I'\triangleleft A$ ein beidseitiges Ideal in $A$ mit $I'\subset I$, so gilt $\forall b'\in I':b'A\subset I'\subset I$, also $I'\subset \sideset {_{A}}{}{(I:A)}$. Also ist $\sideset {_{A}}{}{(I:A)}$ das größte im modularen Linksideal $I$ befindliche beidseitige Ideal in $A$. Beachte hierbei jedoch, dass ein beidseitiges Ideal $I$, welches als Linksideal modular ist, nicht notwendig auch als Rechtsideal modular ist: Es ist dann zwar $I=\sideset {_{A}}{}{(I:A)}$, doch über $\sideset {}{_{A}}{(I:A)}$ lässt sich keine Aussage treffen, da die Existenz eines Linkseinselements für $I$ ungewiss ist.

Strikt zyklische links- bzw. rechtseitige Untermoduln in Ringen sind die links- bzw. rechtsseitigen Hauptideale.

Konstruktion einer Abbildung:

• Für einen strikt zyklischen Linksmodul $M=Am$ konstruiere nun die Abbildung

$\rho ^{*}\colon b\longmapsto \left[\lambda ^{(m)}(a)=am\longmapsto \lambda ^{(m)}(\rho _{b}^{A}(a))=\lambda ^{(m)}(ab)=abm\right]$

• Für einen strikt zyklischen Rechtssmodul $M=mA$ konstruiere nun die Abbildung

$\lambda ^{*}\colon b\longmapsto \left[\rho ^{(m)}(a)=ma\longmapsto \rho ^{(m)}(\lambda _{b}^{A}(a))=\rho ^{(m)}(ba)=mba\right]$

Definitionsbereich und Wohldefiniertheit gehen aus dem folgenden Satz hervor.

<Diagramm erstellen und an dieser Stelle einfügen>

Mit diesen Bezeichnungen gilt nämlich der Satz:

• Für strikt zyklische Linksmoduln $M=Am$ induziert die Abbildung $\rho ^{*}\colon b\longmapsto [\rho ^{*}(b)\colon am\mapsto abm]$ einen Anti-Homomorphismus $N_{A}(I)\longrightarrow Z_{R}(\lambda (A))$ mit Kern $K=\sideset {}{_{N_{A}(I)}}{(I:A)}$, wobei $I:=(0:m)$ ein modulares Linksideal ist. Also besteht ein Anti-Isomorphismus von Ringen: $N_{A}(I)/K{\stackrel {\text{anti}}{\cong }}Z_{R}(S)$.

• Für strikt zyklische Rechtsmoduln $M=mA$ induziert die Abbildung $\lambda ^{*}\colon b\longmapsto [\lambda ^{*}(b)\colon ma\mapsto mba]$ einen Homomorphismus $N_{A}(I)\longrightarrow Z_{R}(\rho (A))$ mit Kern $K=\sideset {_{N_{A}(I)}}{}{(I:A)}$, wobei $I=(0:m)$ ein modulares Rechtsideal ist. Also besteht ein Isomorphismus von Ringen: $N_{A}(I)/K\cong Z_{R}(S)$.

Zur Erläuterung:

Zur Surjektivität beachte zunächst, dass es für einen strikt zyklischen Linksmodul $M=Am$ zu jedem Endomorphismus $f\in R$ ein (nicht notwendig eindeutig) bestimmtes $b\in A$ mit $f(m)=bm$. Wählt man ein solches, so gilt: $f\in Z_{R}(S)\Leftrightarrow \forall a\in A:f(am)=af(m)=abm=\rho ^{*}(b)(a)$. Durch $\rho ^{*}(b)\colon am\mapsto abm$ ist also bei geeignet gewähltem $b$ jedes $f\in Z_{R}(S)$ und damit die Surjektivität von $\rho ^{*}$ gegeben. Dabei gilt notwendig $a\in I\Rightarrow 0=f(0)=f(am)=abm\Leftrightarrow ab\in I$, also $b\in N_{A}(I)=K$, und des Weiteren $f=0\Leftrightarrow \forall a\in A:0=f(am)=abm\Leftrightarrow \forall a\in A:ab\in I\Leftrightarrow b\in \sideset {}{_{N_{A}(I)}}{(I:A)}{\stackrel {\mathrm {def} }{=}}K$.

Dies zeigt gleichermaßen, dass $K=\ker \left(\rho ^{*}\colon N_{A}(I)\rightarrow Z_{R}(\lambda (A)),b\mapsto [am\mapsto abm]\right)$ und dass obiges $b\in N_{A}(I)$ nur modulo $K$ durch $f\in Z_{R}(S)$ bestimmt ist.

Es ist also für jedes $b\in N_{A}(I)$ im Falle strikt zyklischer Linksmoduln die Abbildung $\rho ^{*}(b)=f_{b}\colon M\to M,am\mapsto abm$ (bzw. im Falle strikt zyklischer Rechtsmoduln $\lambda ^{*}(b)=f_{b}\colon M\to M,ma\mapsto mba$) ein $A$-linearer Endomorphismus auf $M$: $f_{b}\in Z_{R}(S)=\operatorname {End} _{A}(M)$. Dabei ist die Abbildung $b\mapsto f_{b}$ im Falle von Linksmoduln ein Anti-Homomorphismus und im Falle von Rechtsmoduln ein Homomorphismus von Ringen: $bc\mapsto f_{bc}=f_{c}\circ f_{b}$ bzw. $bc\mapsto f_{bc}=f_{b}\circ f_{c}$.

Anmerkung: Wenn Endomorphismen $f$ auf derselben Seite von $M$ operieren, auf welcher auch der Ring $A$ auf $M$ operiert, dann handelt es sich um Anti-Homomorphismen. Werden sie auf der Gegenseite notiert, dann handelt es sich um einen Homomorphismus. Daher lässt man vorzugsweise Zentralisator $\Gamma$ und Endomorphismenring $Z_{R}(S)$ „gegenseitig“ (nicht gleichseitig) operieren, so dass sie isomorphe Ringe sind.

Anwendungen

• Ist $A$ Ring mit Rechtseinselement $e$, so ist $A=\sideset {_{A}}{}{A}=\sideset {_{A}}{}{M}$ als Linksmodul über sich selbst strikt zyklisch: $A=Ae$, also strikt erzeugt durch $m=e$, und es ist $I=(0:e)=\{a\in A\;|\;ae=0\}=(0)$, folglich $N_{A}(I)=A$ und $K=\sideset {}{_{A}}{(I:A)}=\{a\in A\;|\;Aea\subset (0)\}$ ist das Linksideal aller rechtsseitigen Annihilatoren von $e$. Folglich sind Ringe mit Rechtseinselement als Linksmoduln strikt zyklisch, und ihr Zentralisator ist anti-isomorph zu $A/K$.
• Linkseinselemente lassen entsprechende Schlüsse über den Ring als Rechtsmodul über sich selbst zu: Ihr Zentralisator ist isomorph zu $A/K$.
• Ist $A$ ein Ring mit (beidseitigem, scil.) Einselement $e=1$, so ist $Ae=A=eA$. Dann ist $I=\operatorname {Ann} (\sideset {_{A}}{}{M})=\{a\in A\;|\;aA=0\}=(0)$, folglich $N_{A}(I)=A$ und $K=(I:A)=\{a\in A\;|\;aA\subset \operatorname {Ann} (A)\}=(0)$, so dass $\rho ^{*}=\rho ^{(1)}\colon A\to \operatorname {End} (\sideset {_{A}}{}{A})$ anti-isomorph: Der Zentralisator eines Ringes $A$ mit Einselement, betrachtet als Linksmodul $\sideset {_{A}}{}{A}$, ist also anti-isomorph zum Ring selbst, zu deuten als von rechts auf sich selbst operierend:

$\rho ^{*}=\rho ^{(1)}\colon A{\stackrel {\sim }{\longrightarrow }}\operatorname {End} ^{\text{opp}}(\sideset {_{A}}{}{A}),\;b\longmapsto [a\mapsto ab]\;.$

• Ebenso ist der Zentralisator eines Ringes $A$ mit Einselement, betrachtet als Rechtsmodul $\sideset {}{_{A}}{A}$, isomorph zum Ring selbst, zu deuten als von links auf sich selbst operierend:

$\lambda ^{*}=\lambda ^{(1)}\colon A{\stackrel {\sim }{\longrightarrow }}\operatorname {End} (\sideset {}{_{A}}{A}),\;b\longmapsto [a\mapsto ba]\;.$

• Ist $M$ ein irreduzibler (oder einfacher) strikt zyklischer Linksmodul (bzw. Rechtsmodul), so ist $A/(0:m)\cong M$. Also ist $I=(0:m)$ ein modulares maximales Linksideal (bzw. Rechtsideal) in $A$. Ist $B=N_{A}(I)$, so bleiben für das linksseitige (bzw. rechtsseitige) Ideal $K\triangleleft A$ nur die Möglichkeiten $K\in \{A,I\}$, da $I\subset K$ und $I$ maximales Linksideal (bzw. Rechtsideal) in $A$. Dabei führt $K=A$ zu einem Widerspruch, hier für den Fall des Linksmoduls gezeigt: Denn nach Definition von $K=\sideset {}{_{B}}{(I:A)}$ ist $AA=AK\subset I$, also $A\subset \sideset {_{A}}{}{(I:A)}$. Da $I$ jedoch modulares Linksideal ist, ist $\sideset {_{A}}{}{(I:A)}$ das größte beidseitige Ideal in $A$, welches in $I$ liegt. Mit $\sideset {_{A}}{}{(I:A)}\subset I$ folgt $A=I$, im Widerpruch zur Maximalität $I\neq A$. Es gilt somit $K=I$, und für den Zentralisator eines einfachen, strikt zyklischen Links- bzw. Rechtsmoduls folgt $\operatorname {End} _{A}(M)=Z_{R}(S){\stackrel {\text{(anti)}}{\cong }}B/I$. Dieser Ring der linkslinearen bzw. rechtslinearen Endomorphismen eines irreduziblen Moduls $M$ ist nach dem Lemma von Schur ein Divisionsring.

Jacobson-Radikal eines assoziativen Ringes

Es sei $A$ ein assoziativer Ring, nicht notwendig mit Einselement. Zur Abkürzung setze:

• $\operatorname {LMax} _{\text{mod}}(A):=\{I\subset A\;|\;I{\text{ ist modulares, maximales Linksideal in }}A\}$ bzw.
• $\operatorname {RMax} _{\text{mod}}(A):=\{I\subset A\;|\;I{\text{ ist modulares, maximales Rechtsideal in }}A\}$.

Definition: Das Jacobson-Radikal ist definiert als der Durchschnitt aller modularen, maximalen Linksideale.

$\operatorname {Jac} (A):=\bigcap _{I\in \operatorname {LMax} _{\text{mod}}(A)}I$

Satz: Das Jacobson-Radikal ist ein beidseitiges Ideal. Denn es gilt

$\operatorname {Jac} (A)=\bigcap _{I\in \operatorname {LMax} _{\text{mod}}(A)}(I:A)\qquad {\stackrel {\text{def}}{=}}\qquad \bigcap _{I\in \operatorname {LMax} _{\text{mod}}(A)}\;\bigcap _{a\in A}(I:a)\;,$

in Worten: Das Jacobson ist der Durchschnitt aller derjenigen beidseitigen Ideale $(I:A)$, deren jedes als das größte beidseitige Ideale in einem modularen maximalen Linksideal $I$enthalten ist.

Zur Erläuterung: Die Inklusion „$\supset$“ folgt aus $I\supset (I:A)$. – Für die umgekehrte Inklusion „$\subset$“ ist zu zeigen, dass $\operatorname {Jac} (A)\subset (I:A){\stackrel {\text{def}}{=}}\bigcap _{a\in A}(I:a)$ für jedes modulare maximale Linksdeal $I$.

Dies ergibt sich aber aus dem folgenden Lemma über $(I:a)$: Ist $I\in \operatorname {LMax} _{\text{mod}}(A)$ und $a\in A$, so ist entweder $(I:a)=A$ oder $(I:a)\in \operatorname {LMax} _{\text{mod}}(A)$.

Zur Begründung betrachte für ein $I\in \operatorname {LMax} _{\text{mod}}(A)$ und ein $a\in A$ den Linksquotientenmodul $(Aa+I)/I$ und seine reguläre Darstellung $\lambda _{I}^{(a)}\colon A\to Aa\to (Aa+I)/I\,,x\mapsto xa\mapsto xa+I$ mit dem Kern $(I:a)$ gemäß der exakten Sequenz

$0\longrightarrow (I:a)\longrightarrow A{\stackrel {\lambda _{I}^{(a)}}{\longrightarrow }}(Aa+I)/I\longrightarrow 0\;.$

Es ist also $A/(I:a){\stackrel {\sim }{\longrightarrow }}(Aa+I)/I\,,$ und dabei sind genau zwei Fälle möglich:

1. Fall: Eines der folgenden gleichbedeutenden Kriterien ist erfüllt:
   1. $a\in I$
   2. $Aa\subset I$
   3. $A=(I:a)$
   4. $Aa+I=I$
   5. $\lambda _{I}^{(a)}=0$
2. Fall: $a\notin I$. Da $I$ maximal, erzwingt dies $Aa+I=A$, woraus folgt, dass mit $I$ auch $(I:a)\in \operatorname {LMax} _{\text{mod}}(A)$ liegt.

Tatsächlich ist das Jacobson-Radikal auch der Durchschnitt aller modularen, maximalen Rechtsideale:

$\operatorname {Jac} (A)=\bigcap _{I\in \operatorname {RMax} _{\text{mod}}(A)}I\;$

Zum Nachweis wird das Sternprodukt „$*$“ betrachtet: $a*b:=a+b-ab$. Ist $1\in A$, so gilt $a*b=c\Leftrightarrow (1-a)(1-b)=1-c$. Dieses Produkt ist assoziativ ($a*b*c=a+b+c-(ab+ac+bc)+abc$), nicht distributiv, und die Null agiert als neutrales Element: $0*x=x=x*0$.

Dichtheitssatz von Nathan Jacobson

Vg. Nathan Jacobson, Structure of Rings Chapter I, §§ 2 f.

Existiert bereits: Dichtheitssatz von Jacobson.

Skizze: Voraussetzung (noch mal prüfen): Es sei $R$ ein Ring mit Eins und $M$ ein halbeinfacher Rechts-Modul über $R$. Es bezeichne $S:=\operatorname {End} _{R}(M)$ den Ring der über $R$ rechts-linearen Endomorphismen in $M$. Usw. (Einbettung von R in S). Dann liegt $R$ dicht in $S$ im Sinne der Topologie mit folgenden Umgebungsfiltern für ein $f\in S$:

Zu jeder endlichen Punktmenge $E:=\{x_{1},\dots ,x_{n}\}\subset M$ bilde $U_{E}(f):=\{g\in S\,|\,\forall x\in E:g(x)=f(x)\}$.

Mit anderen Worten: Zu jedem $f\in S$ und zu jeder endlichen Punktmenge $E\subset M$ lässt sich ein $r\in R$ finden, so dass für jeden Punkt $x\in E$ gilt: $f(x)=x\cdot r$.

Modulbegriffe

endlich erzeugbar -- endlich koerzeugbar (Jantzen, Algebra) Lemma von Nakayama (Jantzen, Algebra) direkter Durchschnitt (gem. Noether in vdWaerden)

Zentralisatorsatz

Folgt aus Skolem-Noether. Liefert Kriterium für Zerfällungskörper.

Azumaya-Algebra über einem Körper

Frage: sollte es einen Artikel namens Azumuya-Algebra geben oder drei Artikel Azumaya-Algebren über Körpern, Azumaya-Algebren über Ringen und Azumaya-Algebren über Schemata und womöglich einen übergreifende Artikel Azumaya-Algebra mit Links zu diesen dreien?

Bezug zu Artikelabschnitt Quaternion#Die Quaternionen als Algebra herstellen?

Definition von Azumaya-Algebren

REDIRECT: Zentraleinfache Algebra, zentral-einfache Algebra.

Es bezeichne $K$ einen kommutativen Körper und $A$ eine unitäre Algebra über $K$.

Vorüberlegungen:

• Da $K$ kommutativ ist, ist es gleichgültig, ob die Multiplikation mit Körperelementen $x\in K$ von rechts $a\cdot x$ oder von links $x\cdot a$ notiert wird.
• Dank der Multiplikation mit der $1\in A$ werde der Körper $K$ zugleich als Teilring von $A$ aufgefasst: $K\subset A,\;x\mapsto 1_{A}\cdot x$.
• Dann liegt nach Definition einer Algebra der Grundkörper $K$ auf jeden Fall im Zentrum der Algebra: $K\subset Z(A):=\{z\in A\mid \forall a\in a\colon z\,a=a\,z\}$ , denn für $x\in K$ ist stets $x\,a=1_{A}\,x\,a=1_{A}\,a\,x=a\,x$ .
• Die Algebra $A$ lässt sich als ein Modul über sich selbst auffassen, und zwar als Rechtsmodul oder aber als Linksmodul. Ein Rechtsideal ${\mathfrak {r}}$ in $A$ ist ein Untermodul des Rechtsmoduls, ein Linksideal ${\mathfrak {l}}$ ein Untermodul des Linksmoduls. Es gilt dann bekanntlich ${\mathfrak {r}}\,A\subset {\mathfrak {r}}$ bzw. $A\,{\mathfrak {l}}\subset {\mathfrak {l}}$.
• Aufgrund von $K\subset A$ sind Rechtsideale und Linksideale insbesondere Vektor(unter)räume über $K$ in der Algebra.
• Hat die Algebra also endliche Dimension, so wird jede Inklusions- oder Teilerkette von Rechtsidealen (bzw. Linksidealen) notwendig stationär: Im Falle absteigender Ketten ${\mathfrak {l_{0}}}\supset {\mathfrak {l_{1}}}\supset {\mathfrak {l_{2}}}\supset \dots$ spricht man von (rechts- (bzw. linksseitig)) artinschen Ringen $A$ (Ringe mit Minimalbedingung), im Falle aufsteigender Ketten ${\mathfrak {l_{0}}}\subset {\mathfrak {l_{1}}}\subset {\mathfrak {l_{2}}}\subset \dots$ von (rechts- (bzw. linksseitig)) noetherschen Ringen $A$ (Ringe mit Maximalbedingung). Man definiert:
  • Ein minimales Rechtsideal ist ein Rechtsideal ${\mathfrak {r}}\neq (0)$, welches kein weiteres nichtverschwindendes Rechtsideal enthält, sondern nur noch das verschwindende (das heißt das triviale Null-Ideal). Die gesamte Algebra $A$ ist also nur dann ein minimales Rechtsideal, wenn sie lediglich zwei Rechtsideale besitzt: das Null-Ideal $(0)$ und sich selbst.
  • Entsprechend werden minimale Linksideale definiert.
• Ein zweiseitiges oder beidseitiges Ideal ${\mathfrak {a}}$ ist zugleich Links- und Rechtsideal: $A{\mathfrak {a}}\subset {\mathfrak {a}}\supset {\mathfrak {a}}A$.

Definition: Die Algebra $A$ heißt eine Azumaya-Algebra oder zentraleinfache Algebra, wenn sie folgende Eigenschaften erfüllt:

• $A$ hat (als Vektorraum) über $K$ endliche Dimension: $\dim _{K}A>\infty$.
• Als Modul über sich selbst betrachtet ist sie einfach, d. h., sie ist ein einfacher Ring, m. a. W., sie besitzt nur die beiden trivialen beidseitigen Ideale $A$ und $\{0\}$; vgl. die Definition für einfacher (und halbeinfacher) Ringe .
• Die Algebra $A$ ist zentral (über $K$), das heißt: Der Körper $K$ ist genau das Zentrum der Algebra: $Z(A)=K$.

Azumaya-Algebren sind also per definitionem zentrale einfache Algebren endlicher Dimension (über ihrem Zentrum (scil.)).

Der Name ehrt den japanischen Mathematiker Azumaya Gorō.

Äquivalente Charakterisierungen

Bezeichnet $A^{\mathrm {op} }$ die Gegenalgebra oder oppositionelle Algebra einer endlichdimensionalen Algebra $A$ und $\operatorname {Mat} (n,R):=\operatorname {Mat} (n\times n,R)$ den Ring quadratischer Matrizen über einem Ring $R$, so sind die folgenden Aussagen äquivalent:

• $A$ ist Azumaya-Algebra über dem Körper $K$.
• Der folgende $K$-Algebra-Homomorphismus ist ein Isomorphismus:

${\begin{array}{ccc}A\otimes _{K}A^{\mathrm {op} }&\longrightarrow &\operatorname {End} _{K}(A),\\a_{1}\otimes a_{2}&\longmapsto &[\alpha \mapsto a_{1}\cdot \alpha \cdot a_{2}]\end{array}}$

Dabei bezeichnet $\operatorname {End} _{K}$ den Ring aller $K$-linearen Endomorphismen auf $A$, betrachtet als Modul über $K$. Als Ringe sind also (gemäß linearer Algebra) isomorph: $\operatorname {End} _{K}(A)\cong \operatorname {Mat} (n,K)$, wobei $n:=\dim _{K}A$.

• Es gibt eine über $K$ zentrale Divisionsalgebra $D$ und ein $m\in \mathbb {N}$, so dass $A\cong \operatorname {Mat} (m,D)$. In Worten: Die Algebra $A$ ist einem vollen Matrizenring über einem Schiefkörper $D\supset K$ isomorph.
• Es gibt eine Körpererweiterung $L/K$ und für die Skalarerweiterung $A\otimes _{K}L$ einen Isomorphismus von $L$-Algebren $A\otimes _{K}L{\stackrel {\sim }{\longrightarrow }}\operatorname {Mat} (n,L)$ für ein $n\in \mathbb {N}$.

Anmerkung zum dritten Spiegelpunkt: Dabei ergibt sich die zur Azumaya-Algebra $A$ gehörige Divisionsalgebra $D$ als der Endomorphismenring $D=\operatorname {End} _{A}({\mathfrak {r}})$ der $A$-Rechts-Modul-Endomorphismen eines minimalen Rechtsideals ${\mathfrak {r}}$ von $A$ (betrachtet als $A$-Rechtsmodul). Dies Auswahl dieses minimalen Rechtsideal spielt keine Rolle, weil sie alle zueinander isomorph sind. – Dass die Algebra $A$ zentral über $K$ ist, wird allein für die Aussage benötigt, dass auch die zugehörige Divisionalgebra $D$ zentral über $K$ ist. Wird für $A$ und $D$ auf die Eigenschaft der Zentralität verzichtet, bleibt der Satz richtig: Es ist einer der Struktursätze von Wedderburn.

Grundlegende Sätze und Eigenschaften

• Satz von Issai Schur: Endomorphismenring eines minimalen Rechtsideals (Linksideals) ist Divisionsalgebra. (Benennung des Satzes von Draxl und Jacobson überliefert)
• Satz von Artin-Wedderburn (obiger dritter Spiegelpunkt hierher)
• der Satz von Skolem-Noether

u.a.

Ähnlichkeitsklassen von Azumaya-Algebren

Die Isomorphieklasse $[\![A]\!]$ einer Azumaya-Algebra $A$ über dem Körper $K$ ist also bestimmt durch die Isomorphieklasse $[\![D]\!]$ der zugehörigen Divisionsalgebra $D$ und durch die natürliche Zahl $r>0$, so dass $A{\stackrel {\sim }{\to }}\operatorname {Mat} (r,D)$. Sieht man hierbei von der natürlichen Zahl $r$ ab, so gelangt man zu den Ähnlichkeitsklassen, die eine gröbere Äquivalenzrelation induzieren:

Definition: Zwei Azumaya-Algebren $A,B$ über dem Körper $K$ heißen ähnlich, wenn eine der folgenden äquivalenten Bedingungen erfüllt ist:

1. Die jeweils zugehörigen Divisionsalgebren $D_{A}$ und $D_{B}$ sind als $K$-Algebren isomorph.
2. Für zwei geeignet gewählte natürlich Zahlen $m,n$ besteht ein $K$-Algebra-Isomorphismus

$A\otimes \operatorname {Mat} (m,K){\stackrel {\sim }{\longrightarrow }}B\otimes \operatorname {Mat} (n,K)\;.$

Denn es gilt $A\otimes \operatorname {Mat} (m,K){\stackrel {\sim }{\longrightarrow }}\operatorname {Mat} (m,A){\stackrel {\sim }{\longrightarrow }}\operatorname {Mat} (rm,D)$, wenn $A\cong \operatorname {Mat} (r,D)$, und entsprechend für $B,n,s$ mit $rm=sn$.

In der Ähnlichkeitsklasse $[A]$ einer Azumaya-Algebra liegt genau eine Divisionsalgebra: Diese ist gerade die zu $A$ gehörige Divisionsalgebra $D_{A}$ und kennzeichnet folglich die Ähnlichkeitsklasse.

Als ausgezeichnete Ähnlichkeitsklasse sticht dabei natürlich die besonders einfache Klasse des Körpers $K$ selbst hervor.

Beispiele

Quaternionen-Algebra

Die Algebra $\mathbb {H}$ der Hamiltonschen Quaternionen ist eine Azumaya-Algebra über $\mathbb {R}$.

Verallgemeinerte Quaternionen-Algebra

Skizze: Es sei $K$ ein Körper der Charakteristik $\operatorname {char} K\neq 2$ und $a,b\in K^{\times },a\neq b$ zwei Körperlemente, so dass $K[{\sqrt {-a}}]/K$ und eine quadratische und folglich galoissche Körpererweiterungen von $K$ ist und $b\in K^{\times }$. Betrachtet man den über $K$ vierdimensionalen Vektorraum $A:=K\oplus K\,j\oplus K\,k\oplus K\,l$ und setzt $j^{2}:=-a,\,\;k^{2}:=-b$ sowie $j\,k:=l=:-k\,j$, so ist eine Algebra über $K$ definiert. Für $x=x_{1}+j\,x_{2}+k\,x_{3}+l\,x_{4}$ setzt man ${\overline {x}}:=x_{1}-j\,x_{2}-k\,x_{3}-l\,x_{4}$, so dass $x{\overline {x}}={\overline {x}}x=x_{1}^{2}+a\,x_{2}^{2}+b\,x_{3}^{2}+ab\,x_{4}^{2}=:Q(x_{1},x_{2},x_{3},x_{4})=\Vert x\Vert ^{2}$ eine quadratische quaternäre Form mit Werten in $K$ liefert. Diese stellt genau dann die Null dar, wenn es nicht-verschwindende Quaternionen mit verschwindender Norm gibt. Wenn dies nicht der Fall ist, ist die verallgemeinerte Quaternionen-Algebra also eine Divisionsalgebra.

• Ist beispielsweise der Körper $K$ formal reell und sind $a=1=b$, so erhält man also eine Divisionsalgebra.
  • Im Falle $K=\mathbb {R}$ handelt es sich um die reelle Algebra $\mathbb {H}$ der Hamiltonschen Quaternionen.

Zyklische Algebren

Die Verallgemeinerte Quaternionen-Algebra ist ein Beispiel für eine zyklische Algebra nach Noether/Hasse. Dabei sei $G$ eine zyklische Gruppe von Automorphismen auf dem Körper $L$ und $b\in L^{G}:=K$ ein Element des Fixkörpers ungleich Null. Die zyklische Algebra $(L,\rho ,b)$ gemäß Emmy Noether und Helmut Hasse ist wie folgt definiert: ...

Die verallgemeinerte Quaternionenalgebra ist gerade $(K[{\sqrt {-a}}],\rho ,b)$, wobei $\rho$ die Konjugation ${\sqrt {-a}}\mapsto -{\sqrt {-a}}$ bezeichnet, welche die Galoisgruppe der Ordnung zwei erzeugt.

Zusammenhang mit dem Normrestsymbol.

Das verschränkte Produkt nach Emmy Noether

Zyklische Algebren sind Beispiele für Azumaya-Algebren, die das verschränkte Produkt eines Körpers $L$ mit einer Gruppe $G$ von Automorphismen auf $K$ nach Emmy Noether sind. Das verschränkte Produkt $A:=(L,G,f)$ nach Emmy Noether einer Galoisschen Körpererweiterung $L/K$ mit der zugehörigen Galois-Gruppe $G=G(L/K)$ (von Automorphismen auf $L$ mit Fixkörper $K$) ist eine Azumaya-Algebra. Sie wird in folgender Weise bis auf Isomorphie definiert: Als Vektorraum über $L$ wird sie frei erzeugt von Basiselementen $u_{\sigma },\,\sigma \in G$:

$A=(L,G,f)=\bigoplus _{\sigma \in G}Lu_{\sigma }$

Die – nicht-kommutative – Multiplikation der Algebra wird folgendermaßen definiert: Für $\lambda \in L$ und jedes $\sigma \in G$: $\lambda u_{\sigma }=u_{\sigma }\lambda ^{\sigma }$, wobei häufig die Notationsweise $\lambda ^{\sigma }:=\sigma (\lambda )\in L$ verwendet wird. Die Multiplikation der Basiselemente untereinander folgt der Festsetzung $u_{\sigma }u_{\tau }=u_{\sigma \tau }f(\sigma ,\tau )\,.$ Dabei ist $f\colon G\times G\to L^{\times }$ eine Abbildung, die so beschaffen sein muss, dass die Assoziativität der Multiplikation $(u_{\rho }u_{\sigma })u_{\tau }=u_{\rho }(u_{\sigma }u_{\tau })$ gewährleistet ist, und dies bedeutet für $f$ die folgende so genannte 2-Kozykel-Bedingung für beliebige $\rho ,\sigma ,\tau \in G$: $f(\rho \sigma ,\tau )\left(f(\rho ,\sigma )\right)^{\tau }=\left(f(\rho ,\sigma \tau )\right)^{\sigma \tau }f(\sigma ,\tau )$ Die Menge der Faktoren $f(\sigma ,\tau )\in L^{\times }$ – oder die Abbildung $f$ selbst – heißt ein Noethersches Faktorensystem oder ein 2-Kozyklus.

Ohne Einschränkung lässt sich erreichen, dass das zum Einheitselement $\epsilon \in G$ gehörige Basiselement $u_{\epsilon }$ die Rolle des Einselements $u_{\epsilon }=1$ der Algebra übernimmt: Dazu skaliere die Basiselemente mit Faktoren $h_{\sigma }=h(\sigma )\in L^{\times }$ nötigenfalls zu neuen Basiselementen $v_{\sigma }=h_{\sigma }u_{\sigma }$. Das zu dieser Basis gehörige Faktorensystem $g$ erfüllt die Beziehung $g(\sigma ,\tau )=$ und heißt ein zu $f$ assoziiertes Faktorensystem. Insbesondere für $\tau =\epsilon$ ist also . ... normierter Kozyklus ...

Es war – basierend auf Arbeiten von Richard Brauer und Leonard Eugene Dickson – Emmy Noether, die erkannte, dass jede Azumaya-Algebra einem verschränkten Produkt ähnlich ist: Siehe #Ähnlichkeitsklassen_und_verschränkte_Produkte.

Gruppenalgebra

$L[G]$ mit $G=G(L/K)$ ist gerade $(L,G,1)$, wobei $1$ den konstanten trivialen Kozyklus bezeichne.

Ähnlichkeitsklassen und verschränkte Produkte

Satz (Emmy Noether): Verschränkte Produkte sind Azumaya-Algebren. Jede Azumaya-Algebra ist einem verschränkten Produkt (L, G, f) ähnlich. Die Isomorphieklasse einer Azumaya-Algebra bestimmt den 2-Kozyklus bis auf einen 2-Korand. Also sind Brauergruppe und die Kohomologiegruppe $H^{2}(G,L^{\times })$ (zunächst nur als Mengen) isomorph.

Grundlegende Sätze zum Tensorprodukt von Algebren

• Tensoreigenschaften
• Z(A) otimes Z(B) = Z(A otimes B) (unter geeigneten Vorauss.)
• Zentralisatorsatz

Die Brauer-Gruppe der Ähnlichkeitsklassen

Durch das Tensorprodukt wird die Menge der Ähnlichkeitsklassen eine Gruppe mit dem ausgezeichneten Element als Einselement.

• Da (nach dem Satz von Wedderburn) jeder endliche Schiefkörper kommutativ ist, ist die Brauergruppe endlicher Körper trivial.
• Die Brauergruppe algebraisch abgeschlossener Körper ist trivial.
• Satz von Brauer-Hasse-Noether

Weiterführende Themen

Azumaya-Algebren über kommutativen Ringen

Insbesondere über lokalen Ringen.

Anmerkung: Körper sind lokale Ringe mit dem maximalen Ideal $(0)$.

Literatur siehe Auslander-Goldman, DeMeyer-Ingraham, Knus-Ojanguren und Orzech-Small.

Azumaya-Algebren über Schemata

Literatur siehe Grothendieck und Milne.

Verallgemeinerung

vgl. englischer Wikipedia-Artikel

Ergänzung zur Normalbasis einer endlichen Galoiserweiterung

in den Artikel verschoben.

Ergänzung zum Tensorprodukt

Tensorprodukt von Algebren

Beispiel aus der Galoistheorie (zu prüfen, ob sinnvoll)

Ist $G=\bigoplus _{1\leq i\leq n}U_{i}$ direkte Summe normaler Untergruppen $U_{i}$ von $G=G(L/K)$, so wird $L=L_{1}\cdots L_{n}$ das „direkte Kompositum“ der Fixkörper $L_{j}=L^{V_{j}}$ sein, die ihrerseits galoissch über Grundkörper $K$ sind, wenn $V_{j}:=\sum _{j\neq i}U_{i}$, das heißt: Ihr Kompositum sollte der gesamte galoissche Erweiterungskörper sein und die Durchschnitte $L_{i}\cap \prod _{j\neq i}L_{j}=K$ für jedes $i$. (Dazu siehe Aufgabensammlung Hasse/Klobe, 2.IV.§17, Aufgaben 11 u 12, Seite 148).

Idee: Ein direktes Kompositum über $K$ und das Tensorprodukt über $K$ dürften als $K$-Algebren isomorph sein, oder? M.a.W.: Dabei sollte $L$ zugleich als $K$-Algebra isomorph zum Tensorprodukt der $K$-Algebren $L_{i}$ sein: $L\simeq \bigotimes _{i}L_{i}$. Aber nicht als Körper!

Schlussfolgerung: Abelsche Erweiterungen lassen sich auf zyklische zurückführen (a.a.O.: Aufgabe 12)

Topologisches Tensorprodukt

Tensorprodukt lokalkonvexer Räume (zu verifizieren)

Sind $E,F$ zwei lokalkonvexe topologische Vektorräume, so kann man $E\otimes F$ mit einer Topologie ausstatten, sodass die universelle Eigenschaft des Tensorproduktes eine Bijektion zwischen stetigen bilinearen Abbildungen von $E\times F$ in einen lokalkonvexen Raum $G$ und stetigen linearen Abbildungen $E\otimes F\to G$ induziert.

Die Vervollständigung von $E\otimes F$ erfüllt die genannte universelle Eigenschaft für vollständige lokalkonvexe Räume $G$ und wird mit $E{\hat {\otimes }}F$ bezeichnet.

Sind $E,F$ normierte Räume, so ist $E{\hat {\otimes }}F$ die Vervollständigung von $E\otimes F$ bezüglich der Norm

$\|v\|=\inf \left\{\left.\sum \|e_{i}\|\cdot \|f_{i}\|\right|\,v=\sum e_{i}\otimes f_{i}\right\}\quad \mathrm {f{\ddot {u}}r} \ v\in E\otimes F.$

Beispiele

• Ist $E$ ein Banachraum und $\mu$ ein positives Borelmaß auf einem lokalkompakten Raum, so gilt

$L^{1}(\mu ){\hat {\otimes }}E\cong L^{1}(\mu ,E).$