Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Arbeitsblatt 28
- Übungsaufgaben
Berechne in
Es sei eine algebraische Körpererweiterung. Zeige, dass dann auch die Körpererweiterung
der rationalen Funktionenkörper algebraisch ist.
Es sei ein Körper. Zeige, dass in einer Körpererweiterung der Form
algebraisch abgeschlossen ist, also mit seinem algebraischen Abschluss in übereinstimmt.
Zeige
Zeige, dass eine Unterfamilie einer algebraisch unabhängigen Familie wieder algebraisch unabhängig ist.
Es seien positive natürliche Zahlen. Zeige, dass die Familie im Polynomring über einem Körper algebraisch unabhängig ist.
Zeige, dass die Familie im Polynomring über einem Körper algebraisch unabhängig ist.
Es seien und kommutative - Algebren über einem kommutativen Ring und sei ein surjektiver - Algebrahomomorphismus. Es seien Elemente derart, dass algebraisch unabhängig über sind. Zeige, dass die algebraisch unabhängig sind.
Es sei eine kommutative - Algebra über einem kommutativen Ring und seien eine Elementfamilie. Zeige, dass folgende Aussagen äquivalent sind.
- Die Elemente sind algebraisch unabhängig.
- Der
Einsetzungshomomorphismus
ist injektiv.
- Der
Einsetzungshomomorphismus
ist bijektiv.
Es seien und Körpererweiterungen. Es sei eine algebraisch unabhängig über und algebraisch unabhängig über . Zeige, dass die Familie
algebraisch unabhängig über ist.
Es sei der Polynomring über einem Körper und seien Polynome gegeben. Zeige, dass diese algebraisch abhängig sind.
Es seien Elemente eines Körpers und seien algebraisch unabhängig. Zeige, dass die Familie genau dann algebraisch unabhängig ist, wenn transzendent über ist.
Besitzt die Körpererweiterung eine endliche Transzendenzbasis?
Es sei eine Familie von reellen Zahlen. Zeige, dass es daraus eine algebraisch unabhängige Teilfamilie gibt.
Es ist übrigens unbekannt, ob die beiden transzendenten Zahlen
und
algebraisch unabhängig über sind.
Es sei eine Körpererweiterung. Zeige, dass eine echte Unterfamilie einer Transzendenzbasis von über keine Transzendenzbasis ist.
Es sei eine Körpererweiterung und eine algebraische Körpererweiterung. Es sei eine Transzendenzbasis von über . Zeige, dass diese Familie auch eine Transzendenzbasis von über ist.
Es sei ein Körper der Charakteristik und Polynome, die für den Körper der rationalen Funktionen eine Transzendenzbasis über bilden. Es sei ein Primpolynom. Zeige, dass die Restklassen der im Quotientenkörper eine Transzendenzbasis bilden.
Bestimme den Transzendenzgrad des von den beiden trigonometrischen Funktionen Sinus und Kosinus über erzeugten Körpers.
Diskutiere Gemeinsamkeiten zwischen dem Konzept lineare Unabhängigkeit (Basis, Dimension) und dem Konzept algebraische Unabhängigkeit (Transzendenzbasis, Transzendenzgrad).
Es sei ein Körper und der rationale Funktionenkörper in Variablen. Es sei eine endliche Untergruppe der Galoisgruppe. Zeige, dass der Transzendenzgrad des Fixkörpers über gleich ist.
Wir betrachten den Funktionenkörper in zwei Variablen über einem Körper der Charakteristik . Die Gruppe ist eine Untergruppe der Galoisgruppe , indem man als den durch festgelegten Automorphismus auffasst. Bestimme den Fixkörper sowie dessen Transzendenzgrad über .
Wir betrachten den Funktionenkörper über einem Körper . Wie betrachten auf der Menge aller Zwischenkörper die Relation, die durch
falls es einen Zwischenkörper derart gibt, dass und endliche Körpererweiterungen sind, gegeben ist. Zeige, dass es sich dabei um eine Äquivalenzrelation handelt.
Zeige, dass die rationalen Funktionen (in den zwei Variablen und )
und
die Relation
erfüllen.
Man gebe ein Beispiel für Zwischenkörper , die den gleichen Transzendenzgrad haben, die aber nicht zueinander äquivalent im Sinne von Aufgabe 28.23 sind.
Das Polynom ist irreduzibel und definiert daher eine endliche Körpererweiterung
vom Grad . Es sei eine primitive dritte komplexe Einheitswurzel und es sei die Gruppe der komplexen dritten Einheitswurzeln.
- Zeige, dass durch
ein -Automorphismus auf gegeben ist.
- Zeige, dass eine Galoiserweiterung ist.
- Zeige, dass eine graduierte Körpererweiterung ist.
- Zeige, dass durch
ein -Automorphismus auf der Ordnung gegeben ist.
- Zeige, dass der Fixkörper zum Automorphismus aus (4) isomorph zum rationalen Funktionenkörper in zwei Variablen ist.
- Aufgaben zum Abgeben
Aufgabe (4 Punkte)
Es sei . Betrachte auf dem rationalen Funktionenkörper die Gruppe der - Körperautomorphismen, die durch erzeugt wird, wobei eine primitive -te Einheitswurzel bezeichnet. Bestimme den Fixkörper .
Aufgabe (4 Punkte)
Zeige, dass die Familie im Polynomring über einem Körper algebraisch unabhängig ist.
Aufgabe (8 (2+2+4) Punkte)
Es sei ein Körper und der rationale Funktionenkörper in Variablen. Wir knüpfen an Beispiel 10.12 an.
- Zeige, dass es einen natürlichen
injektiven
Gruppenhomomorphismus
- Zeige, dass dieser nicht surjektiv ist.
- Es sei nun zusätzlich vorausgesetzt, dass der Körper die
Charakteristik
habe. Zeige für den
Fixkörper
die Gleichheit
Aufgabe (1 Punkt)
Es sei der rationale Funktionenkörper über einem Körper . Wie betrachten auf der Menge aller Zwischenkörper die Äquivalenzrelation aus Aufgabe 28.23. Zeige, dass der Transzendenzgrad auf den Äquivalenzklassen wohldefiniert ist.
Aufgabe (2 Punkte)
Es sei der rationale Funktionenkörper über einem Körper . Es seien Zwischenkörper
mit der Eigenschaft gegeben, dass die Körpererweiterungen
endlich seien. Zeige, dass es dann auch einen Zwischenkörper derart gibt, dass endlich sind.
<< | Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019) | >> |
---|