Zahlentheorie (Osnabrück 2008)/Arbeitsblatt 15
Aus Wikiversity
Inhaltsverzeichnis |
Aufgabe (3 Punkte)
Sei
eine endliche Körpererweiterung. Zeige, dass jedes Element
algebraisch über K ist.
Aufgabe (4 Punkte)
Sei K ein Körper und A eine kommutative K-Algebra, die außerdem ein Integritätsbereich sei. Es sei
ein über K algebraisches Element. Sei
ein normiertes Polynom mit P(f) = 0. Dann ist P das Minimalpolynom von f genau dann, wenn es irreduzibel ist.
Aufgabe (3 Punkte)
Zeige, dass es nur abzählbar viele algebraische Zahlen gibt.
Aufgabe (8 Punkte)
Sei p eine Primzahl und sei
. Es sei
-Basis 1,x,x2 von L der durch die Multiplikation mit f definierten
-linearen Abbildung.
Berechne die Norm und die Spur von f.
Bestimme das Minimalpolynom von f.
Finde das Inverse von f.
Berechne die Diskriminante der Basis 1,f,f2.
Aufgabe (3 Punkte)
Sei K ein Körper und sei
ein irreduzibles Polynom. Es sei
vom Grad n. Zeige, dass die Spur von f gleich na0 ist.Aufgabe (2 Punkte)
Sei K ein endlicher Körper und
eine endliche Körpererweiterung. Zeige direkt, dass für diese Körpererweiterung der Satz vom primitiven Element gilt.
In der folgenden Aufgabe werden verschiedene äquivalente Bedingungen an ein Polynom gestellt, die man alle als Definition eines separablen Polynoms nehmen kann. Man darf verwenden, dass es zu jedem Körper einen Erweiterungskörper gibt, in dem ein vorgegebenes Polynom in Linearfaktoren zerfällt.
Aufgabe (4 Punkte)
Sei K ein Körper und sei
ein Polynom vom Grad n. Zeige, dass die folgenden Aussagen äquivalent sind:
- F und die (formale) Ableitung F' sind teilerfremd.
- F und die (formale) Ableitung F' erzeugen das Einheitsideal.
- F besitzt in keinem Erweiterungskörper
mehrfache Nullstellen. - Es gibt einen Erweiterungskörper
, so dass F als Polynom in L[X] in n verschiedene Linearfaktoren zerfällt.
Aufgabe (3 Punkte)
Sei K ein Körper und sei
ein irreduzibles Polynom. Gebe eine einfache Charakterisierung dafür, dass F separabel ist.
Zeige, dass in Charakteristik null jedes irreduzible Polynom separabel ist.
Gebe ein Beispiel, dass das in positiver Charakteristik nicht immer stimmen muss.
![L={\mathbb Q}[X]/(X^3-p) \,](http://upload.wikimedia.org/math/6/1/2/612470e051bc69822deb566d6795db4e.png)

