„Unabhängigkeitssatz von Dedekind“ – Versionsunterschied
[gesichtete Version] | [gesichtete Version] |
→Quellen: 1 Ergänzung. |
|||
Zeile 127: | Zeile 127: | ||
|DOI= |
|DOI= |
||
}} [http://ams.math.uni-bielefeld.de/mathscinet/search/publdoc.html?arg3=&co4=AND&co5=AND&co6=AND&co7=AND&dr=all&pg4=AUCN&pg5=TI&pg6=PC&pg7=ALLF&pg8=ET&review_format=html&s4=Cohn%2C%20P.%20M.&s5=Algebra&s6=&s7=&s8=All&vfpref=html&yearRangeFirst=&yearRangeSecond=&yrop=eq&r=8&mx-pid=1006872 MR1006872] |
}} [http://ams.math.uni-bielefeld.de/mathscinet/search/publdoc.html?arg3=&co4=AND&co5=AND&co6=AND&co7=AND&dr=all&pg4=AUCN&pg5=TI&pg6=PC&pg7=ALLF&pg8=ET&review_format=html&s4=Cohn%2C%20P.%20M.&s5=Algebra&s6=&s7=&s8=All&vfpref=html&yearRangeFirst=&yearRangeSecond=&yrop=eq&r=8&mx-pid=1006872 MR1006872] |
||
* {{Literatur |
|||
|Autor=Christian Karpfinger, Kurt Meyberg |
|||
|Titel=Algebra |
|||
|TitelErg=Gruppen - Ringe - Körper |
|||
|Reihe= |
|||
|Band= |
|||
|Verlag=[[ Spektrum Akademischer Verlag]] |
|||
|Ort=Heidelberg |
|||
|Jahr=2009 |
|||
|ISBN=978-3-8274-2018-3 |
|||
|DOI= |
|||
}} |
|||
* {{Literatur |
* {{Literatur |
||
|Autor=Kurt Meyberg |
|Autor=Kurt Meyberg |
Version vom 21. Juni 2015, 18:51 Uhr
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 und ein kommutativer Körper und dazu Homomorphismen von in die abelsche Gruppe der Einheiten von .
- Dann sind äquivalent:
- (A1) Die sind paarweise verschieden.
- (A2) Die bilden eine über linear unabhängige Familie des Funktionenraums .
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 und dazu mit .
Dann ist
- .
Wegen gibt es also ein mit
- .
Wegen und der Nullteilerfreiheit von ergibt sich dann
- .
- Induktionsschritt
Sei und sei die Aussage schon bewiesen für jeweils Homomorphismen der beschriebenen Art.
Seien nun beliebige Körperelemente gegeben und es gelte in die Gleichung
- (a) .
Zu zeigen ist, dass
- (b)
gilt.
Zunächst gibt es wegen ein mit .
Dieses sei fortan fixiert.
Weiter bedeutet (a), dass stets
- (c)
besteht.
Da wegen der Halbgruppeneigenschaft für beliebiges auch stets ist, führt (c) einerseits zu
- (d)
und andererseits zu
- (e) .[3]
Die Subtraktion der Gleichung (e) von der Gleichung (d) ergibt
- (f) .
Die Gleichung (f) gilt für jedes und somit hat man in
- (g) .
Da nach Induktionsvoraussetzung die in über linear unabhängig sind, folgt aus (g)
- (h)
und insbesondere
- (i) .
Wegen hat man mit (i) jedoch auch
- (j) .
Durch Einsetzen von (j) in (a) hat man in dann die Gleichung
- (k) ,
womit bei nochmaliger Anwendung der Induktionsvoraussetzung auf die in über linear unabhängigen dann unmittelbar die Gleichung
- (l)
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 von paarweise verschiedenen Monomorphismen von einem Körper in einen weiteren Körper ist in über linear unabhängig.
- Für jede endliche Körpererweiterung ist die Ordnung der Galoisgruppe durch den Grad der Körpererweiterung nach oben beschränkt:
- .
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] In der englischsprachigen Literatur, etwa bei R B J T Allenby, wird er oft Dedekind's independence theorem genannt.[5] Eine andere Bezeichnung für den Satz ist hier – etwa bei P. M. Cohn – auch Dedekind's lemma (deutsch : Lemma von Dedekind).[6]
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
- 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.