Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Arbeitsblatt 18



Aufgaben

In den nächsten Aufgaben verwenden wir die folgende Definition.


Ein Körper heißt vollkommen, wenn jedes irreduzible Polynom separabel ist.



Es sei ein vollkommener Körper und eine endliche Körpererweiterung. Zeige, dass eine separable Körpererweiterung ist.



Zeige, dass jeder Körper der Charakteristik vollkommen ist.





Zeige, dass ein endlicher Körper vollkommen ist.



Es sei ein Körper der Charakteristik . Zeige, dass genau dann vollkommen ist, wenn der Frobeniushomomorphismus auf surjektiv ist.



Zeige, dass der Körper der rationalen Funktionen nicht vollkommen ist.



Zeige mit Hilfe der Ableitung, dass der Zahlbereich

für nicht verzweigt und für verzweigt ist.



Zeige mit Hilfe der Ableitung, dass der Zahlbereich

für nicht verzweigt und für verzweigt ist.



Sei .

  1. Zeige, dass und in das Einheitsideal erzeugen. Man gebe explizit eine Darstellung der an.
  2. Zeige, dass das von und erzeugte Ideal in eine minimale positive ganze Zahl enthält.
  3. Bestimme, für welche Primzahlen der Faserring reduziert ist.
  4. Bestimme für diejenigen Primzahlen , für die der Faserring nicht reduziert ist, die Primfaktorzerlegung von in .
  5. Ist ein Zahlbereich?



Es seien und endliche Erweiterungen von Dedekindbereichen. Es sei ein Primideal von , das in verzweigt. Zeige, dass dann auch in verzweigt.



Es seien ineinander enthaltene Zahlbereiche. Zeige, dass ein Primteiler der Diskriminante von auch ein Teiler der Diskriminante von ist.



Es sei der -te Kreisteilungsring zu einer ungeraden Primzahl . Zeige unter Verwendung von Aufgabe 17.20, Aufgabe 18.11, Lemma 17.16 und Lemma 9.9, dass die Quadratwurzel aus enthält.



<< | Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021) | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)