Unabhängigkeitssatz von Dedekind

Der Unabhängigkeitssatz von Dedekind ist ein mathematischer Lehrsatz, welcher innerhalb der Algebra angesiedelt ist und auf den Mathematiker Richard Dedekind zurückgeht. Der Satz behandelt die Frage der linearen Unabhängigkeit von Homomorphismen aus Halbgruppen in die Einheitengruppen von kommutativen Körpern und führt als solcher zu elementaren Struktursätzen der Galoistheorie.

Formulierung des Satzes

Der Darstellung Kurt Meybergs folgend lässt sich der Satz angeben wie folgt:

Gegeben seien eine (multiplikativ geschriebene) Halbgruppe $H\neq \emptyset$ und ein kommutativer Körper $K$ und dazu Homomorphismen ${\sigma }_{1},\ldots ,{\sigma }_{n}\;\;(n\in \mathbb {N} )$ von $H$ in die abelsche Gruppe $K^{*}$ der Einheiten von $K$.

Dann sind äquivalent:

(A1) Die ${\sigma }_{1},\ldots ,{\sigma }_{n}$ sind paarweise verschieden.

(A2) Die ${\sigma }_{1},\ldots ,{\sigma }_{n}$ bilden eine über $K$ linear unabhängige Familie des Funktionenraums $\mathrm {Abb} (H,K)$.

Beweis des Satzes

In Anlehnung an Emil Artin bzw. Kurt Meyberg lässt sich folgender Beweis führen:

A1 → A2

Hier wird vollständige Induktion durchgeführt.

Induktionsanfang

Es sei $n=1$ und dazu $k_{1}\in K$ mit $k_{1}\sigma _{1}=0\in \mathrm {Abb} (H,K)$.

Dann ist

$k_{1}\sigma _{1}(x)=0\;\;(\forall x\in H)$ .

Wegen $H\neq \emptyset$ gibt es also ein $x_{0}\in H$ mit

$k_{1}\sigma _{1}(x_{0})=0$ .

Wegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma_1 (x_0) \in K \setminus \{0\}} und der Nullteilerfreiheit von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} ergibt sich dann

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k_1 = 0 } .

Induktionsschritt

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n > 1} und sei die Aussage schon bewiesen für jeweils Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n-1} Homomorphismen der beschriebenen Art.

Seien nun Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} beliebige Körperelemente Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k_1, \ldots, k_n } gegeben und es gelte in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{Abb}(H, K)} die Gleichung

(a)Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sum_{j=1}^{n} {k_j \sigma_j} = 0}   .

Zu zeigen ist, dass

(b)Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k_1 = \ldots = k_n = 0}

gilt.

Zunächst gibt es wegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma_1 \neq \sigma_n } ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle h_0 \in H} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma_1(h_0) \neq \sigma_n (h_0)}   .

Dieses Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle h_0 \in H} sei fortan fixiert.

Weiter bedeutet (a), dass stets

(c) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0 = \sum_{j=1}^{n} {k_j \sigma_j(x)} \in K \; \; (\forall x \in H)}

besteht.

Da wegen der Halbgruppeneigenschaft für beliebiges Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \in H} auch stets Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle hx \in H} ist, führt (c) einerseits zu

(d) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0 = \sum_{j=1}^{n} {k_j \sigma_j(h_0 x)} = k_1 \sigma_1(h_0)\sigma_1(x) + \sum_{j=2}^{n} {k_j \sigma_j(h_0) \sigma_j(x)}}

und andererseits zu

(e) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0 = \sigma_1(h_0) \sum_{j=1}^{n} {k_j \sigma_j(x)} = k_1 \sigma_1(h_0) \sigma_1(x) + \sum_{j=2}^{n} {k_j \sigma_1(h_0) \sigma_j(x)}}   .

Die Subtraktion der Gleichung (e) von der Gleichung (d) ergibt

(f) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0 = \sum_{j=2}^{n} {k_j \bigl( \sigma_j(h_0) - \sigma_1(h_0) \bigr) \sigma_j(x)}}   .

Die Gleichung (f) gilt für jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \in H} und somit hat man in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{Abb}(H, K)}

(g) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0 = \sum_{j=2}^{n} {k_j \bigl( \sigma_j(h_0) - \sigma_1(h_0) \bigr) \sigma_j}}   .

Da nach Induktionsvoraussetzung die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma_2 , \ldots , \sigma_n} in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{Abb}(H, K) } über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} linear unabhängig sind, folgt aus (g)

(h) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k_j \bigl( \sigma_j(h_0) - \sigma_1(h_0) \bigr) = 0 \;\; (j=2, \ldots , n)}

und insbesondere

(i) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k_n \bigl( \sigma_n(h_0) - \sigma_1(h_0) \bigr) = 0}   .

Wegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma_n (h_0) - \sigma_1(h_0) \neq 0} hat man mit (i) jedoch auch

(j) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k_n = 0 }   .

Durch Einsetzen von (j) in (a) hat man in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{Abb}(H, K)} dann die Gleichung

(k) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sum_{j=1}^{n-1} {k_j \sigma_j} = 0 }   ,

womit bei nochmaliger Anwendung der Induktionsvoraussetzung auf die in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{Abb}(H, K) } über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} linear unabhängigen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma_1 , \ldots , \sigma_{n-1}} dann unmittelbar die Gleichung

(l) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k_1 = \ldots = k_{n-1} = 0}

folgt.

Durch die Verbindung von (j) und (l) ist dann schließlich (b) gezeigt.

A2 → A1

Zu dieser Implikation ist nichts weiter zu zeigen, da die Vektoren einer linear unabhängigen Familie eines jeden Vektorraums stets paarweise verschieden sind.

Folgerungen

1. Jede Familie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle ({{\sigma}_i \colon \, K_1 \to K_2})_{i \in I}} von paarweise verschiedenen Monomorphismen von einem Körper Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K_1} in einen weiteren Körper Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K_2} ist in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{Abb}(K_1, K_2)} über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K_2} linear unabhängig.
2. Für jede endliche Körpererweiterung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L/K} ist die Ordnung der Galoisgruppe durch den Grad der Körpererweiterung nach oben beschränkt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |\mathrm{Gal}(L/K)| \leq [L\colon K]}   .

Anmerkungen zur Namensgebung

Den Unabhängigkeitssatz von Dedekind (bzw. ihm eng verwandte Versionen) trifft man in der Fachliteratur zur Algebra unter verschiedenen Bezeichnungen an. So nennt B. L. van der Waerden ihn allein Unabhängigkeitssatz. Bei Karpfinger-Meyberg etwa wird die obige Folgerung 1 (in der Formulierung für endlichen Familien) als dedekindsches Lemma genannt. In der englischsprachigen Literatur findet sich eine ähnliche Bezeichnung, etwa bei Paul M. Cohn, der einen eng verwandten Satz als Dedekind's lemma (deutsch dedekindsches Lemma) aufführt. Von R B J T Allenby wiederum wird er als Dedekind's independence theorem (deutsch dedekindscher Unabhängigkeitssatz) genannt.

Verwandte Resultate

Ein verwandtes Resultat, welches ebenfalls auf Dedekind zurückgeht, ist das folgende:

Es seien Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} zwei kommutative Körper und weiter sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Gamma} eine endliche Untergruppe der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L} -Automorphismengruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Aut} (L)} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K = \operatorname{Fix}(\Gamma)} als Fixkörper.

Dann ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [L \colon K] = |{\Gamma}| }   .

Karpfinger und Meyberg nennen das Resultat den Satz von Dedekind. In der englischsprachigen Algebraliteratur, etwa bei P. M. Cohn, kennt man es auch (unter Hinweis auf den Mathematiker Emil Artin) als Artin's theorem (deutsch artinscher Satz), wobei Cohn klarstellt, dass als der eigentliche Urheber nicht Artin, sondern Dedekind zu nennen ist.

Kurt Meyberg führt in seiner Algebra. Teil 2 diesen artinschen Satz ebenfalls auf, allerdings gibt er darüber hinaus noch einen weiteren, mit dem zuvor genannten Resultat eng verwandten Satz von Emil Artin an, nämlich den folgenden:

Es seien Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} zwei kommutative Körper und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L/K} eine endliche Körpererweiterung.

Dann sind äquivalent:

(A) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L/K } ist eine Galoiserweiterung.

(B) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [L\colon K] = |\mathrm{Gal}(L/K)| }   .

(C) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L/K } ist eine zugleich normale und separable Körpererweiterung.

(D) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L/K } ist Zerfällungskörper eines über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K } separablen Polynoms.

Quellen

• R B J T Allenby: Rings, Fields and Groups. An Introduction to Abstract Algebra. 2. Auflage. Arnold, London (u. a.) 1991 (MR1144518). 
• E. Artin: Galoissche Theorie. Verlag Harri Deutsch, Berlin (u. a.) 1968. 
• P. M. Cohn: Algebra. Volume 2. 9. Auflage. John Wiley & Sons, London (u. a.) 1989, ISBN 0-471-92234-X (MR1006872). 
• Richard Dedekind: Über die Theorie der ganzen algebraischen Zahlen. Mit einem Geleitwort von B. van der Waerden. Friedr. Vieweg & Sohn, Braunschweig 1964 (MR0175878). 
• Christian Karpfinger, Kurt Meyberg: Algebra. Gruppen - Ringe - Körper. Spektrum Akademischer Verlag, Heidelberg 2009, ISBN 978-3-8274-2018-3. 
• Kurt Meyberg: Algebra. Teil 2 (= Mathematische Grundlagen für Mathematiker, Physiker und Ingenieure). Carl Hanser Verlag, Wien 1976, ISBN 3-446-12172-2 (MR0460011). 
• B. L. van der Waerden: Algebra I. 9. Auflage. Springer Verlag, Berlin (u. a.) 1993, ISBN 3-540-56799-2.