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^[1] 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^[2] bzw. Kurt Meyberg^[1] 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 $\sigma _{1}(x_{0})\in K\setminus \{0\}$ und der Nullteilerfreiheit von $K$ ergibt sich dann

k_{1}=0

.

Induktionsschritt

Sei $n>1$ und sei die Aussage schon bewiesen für jeweils $n-1$ Homomorphismen der beschriebenen Art.

Seien nun $n$ beliebige Körperelemente $k_{1},\ldots ,k_{n}$ gegeben und es gelte in $\mathrm {Abb} (H,K)$ die Gleichung

(a)

\sum _{j=1}^{n}{k_{j}\sigma _{j}}=0

.

Zu zeigen ist, dass

(b)

k_{1}=\ldots =k_{n}=0

gilt.

Zunächst gibt es wegen $\sigma _{1}\neq \sigma _{n}$ ein $h_{0}\in H$ mit $\sigma _{1}(h_{0})\neq \sigma _{n}(h_{0})$ .

Dieses $h_{0}\in H$ sei fortan fixiert.

Weiter bedeutet (a), dass stets

(c)

0=\sum _{j=1}^{n}{k_{j}\sigma _{j}(x)}\in K\;\;(\forall x\in H)

besteht.

Da wegen der Halbgruppeneigenschaft für beliebiges $x\in H$ auch stets $hx\in H$ ist, führt (c) einerseits zu

(d)

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)

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

.^[3]

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

(f)

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 $x\in H$ und somit hat man in $\mathrm {Abb} (H,K)$

(g)

0=\sum _{j=2}^{n}{k_{j}{\bigl (}\sigma _{j}(h_{0})-\sigma _{1}(h_{0}){\bigr )}\sigma _{j}}

.

Da nach Induktionsvoraussetzung die $\sigma _{2},\ldots ,\sigma _{n}$ in $\mathrm {Abb} (H,K)$ über $K$ linear unabhängig sind, folgt aus (g)

(h)

k_{j}{\bigl (}\sigma _{j}(h_{0})-\sigma _{1}(h_{0}){\bigr )}=0\;\;(j=2,\ldots ,n)

und insbesondere

(i)

k_{n}{\bigl (}\sigma _{n}(h_{0})-\sigma _{1}(h_{0}){\bigr )}=0

.

Wegen $\sigma _{n}(h_{0})-\sigma _{1}(h_{0})\neq 0$ hat man mit (i) jedoch auch

(j)

k_{n}=0

.

Durch Einsetzen von (j) in (a) hat man in $\mathrm {Abb} (H,K)$ dann die Gleichung

(k)

\sum _{j=1}^{n-1}{k_{j}\sigma _{j}}=0

,

womit bei nochmaliger Anwendung der Induktionsvoraussetzung auf die in $\mathrm {Abb} (H,K)$ über $K$ linear unabhängigen $\sigma _{1},\ldots ,\sigma _{n-1}$ dann unmittelbar die Gleichung

(l)

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

Jede Familie $({{\sigma }_{i}\colon \,K_{1}\to K_{2}})_{i\in I}$ von paarweise verschiedenen Monomorphismen von einem Körper $K_{1}$ in einen weiteren Körper $K_{2}$ ist in $\mathrm {Abb} (K_{1},K_{2})$ über $K_{2}$ linear unabhängig.
Für jede endliche Körpererweiterung $L/K$ ist die Ordnung der Galoisgruppe durch den Grad der Körpererweiterung nach oben beschränkt:

|\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.^[4] Bei Karpfinger-Meyberg etwa wird die obige Folgerung 1 (in der Formulierung für endlichen Familien) als dedekindsches Lemma genannt.^[5] 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.^[6] Von R B J T Allenby wiederum wird er als Dedekind's independence theorem (deutsch dedekindscher Unabhängigkeitssatz) genannt.^[7]

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.

Fußnoten und Einzelnachweise

↑ ^a ^b Meyberg: Algebra. Teil 2. 1975, S. 63–65
↑ Artin: Galoissche Theorie. 1968, S. 28–30
↑ Hier kommt zum Tragen, dass $K$ ein kommutativer Körper ist.
↑ van der Waerden: Algebra I. 1993 , S. 159–163
↑ Karpfinger-Meyberg: Algebra. Gruppen - Ringe - Körper. 2009, S. 288
↑ ^a ^b Cohn: Algebra vol. 2. 1989, S. 81,84
↑ Allenby: Rings, Fields and Groups. 1991, S. 295
↑ Cohn verweist hierzu auf S. 50 des 1964 bei Vieweg, Braunschweig, erschienen Nachdrucks von Dedekinds Werk Über die Theorie der ganzen algebraischen Zahlen. Dort erscheint das Resultat als I. in § 166 und es heißt wörtlich: Besteht eine Gruppe $\Pi$ aus $n$ verschiedenen Permutationen $\pi$ des Körpers $M$ , und ist $A$ der Körper von $\Pi$ , so ist $(M,A)=n$ und der Rest von $\Pi$ ist die identische Permutation von $A$ .
↑ Kurt Meyberg: Algebra, Teil 2. Carl Hanser Verlag, Wien 1976, S. 73.
↑ Kurt Meyberg: Algebra, Teil 2. Carl Hanser Verlag, Wien 1976, S. 75.

[Meyberg-1] Meyberg: Algebra. Teil 2. 1975, S. 63–65

[Artin-2] Artin: Galoissche Theorie. 1968, S. 28–30

[3] Hier kommt zum Tragen, dass $K$ ein kommutativer Körper ist.

[van_der_Waerden-4] van der Waerden: Algebra I. 1993 , S. 159–163

[Karpfinger-Meyberg-5] Karpfinger-Meyberg: Algebra. Gruppen - Ringe - Körper. 2009, S. 288

[Cohn-6] Cohn: Algebra vol. 2. 1989, S. 81,84

[Allenby-7] Allenby: Rings, Fields and Groups. 1991, S. 295

[8] Cohn verweist hierzu auf S. 50 des 1964 bei Vieweg, Braunschweig, erschienen Nachdrucks von Dedekinds Werk Über die Theorie der ganzen algebraischen Zahlen. Dort erscheint das Resultat als I. in § 166 und es heißt wörtlich: Besteht eine Gruppe $\Pi$ aus $n$ verschiedenen Permutationen $\pi$ des Körpers $M$ , und ist $A$ der Körper von $\Pi$ , so ist $(M,A)=n$ und der Rest von $\Pi$ ist die identische Permutation von $A$ .

[9] Kurt Meyberg: Algebra, Teil 2. Carl Hanser Verlag, Wien 1976, S. 73.

[10] Kurt Meyberg: Algebra, Teil 2. Carl Hanser Verlag, Wien 1976, S. 75.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

Deutschland

Unabhängigkeitssatz von Dedekind

Inhaltsverzeichnis

Formulierung des Satzes

Beweis des Satzes

A1 → A2

A2 → A1

Folgerungen

Anmerkungen zur Namensgebung

Verwandte Resultate

Quellen

Fußnoten und Einzelnachweise

What are your Feelings

Unabhängigkeitssatz von Dedekind

Formulierung des Satzes

Beweis des Satzes

A1 → A2

A2 → A1

Folgerungen

Anmerkungen zur Namensgebung

Verwandte Resultate

Quellen

Fußnoten und Einzelnachweise

What are your Feelings

Share This Article :