Kurs:Zahlentheorie (Osnabrück 2016-2017)/Arbeitsblatt 18
- Übungsaufgaben
Es sei eine endliche Körpererweiterung und es sei ein Unterring mit den folgenden Eigenschaften:
Dann ist der Ring der ganzen Zahlen von .
Es sei ein kommutativer Ring und
eine (als Algebra) endlich erzeugte - Algebra, die ganz über sei. Zeige, dass ein endlich erzeugter - Modul ist.
Es sei ein Zahlbereich und es sei eine endliche Erweiterung von kommutativen Ringen. Es sei ein normaler Integritätsbereich. Zeige, dass ebenfalls ein Zahlbereich ist.
Es sei ein Zahlbereich und sei . Zeige, dass ist, dass also die Norm zum von erzeugten Hauptideal gehört. Zeige durch ein Beispiel, dass dies für die Spur nicht gelten muss.
Es sei ein Zahlbereich und sei . Zeige, dass die Spur und die Norm von ganzzahlig sind.
In den drei folgenden Aufgaben wird der Begriff des primitiven Polynoms verwendet:
Ein Polynom heißt primitiv, wenn die Koeffizienten von teilerfremd sind.
Es sei ein Polynom. Zeige, dass man als mit und primitivem schreiben kann.
Es sei ein irreduzibles Polynom. Dann ist , aufgefasst als Polynom in , ebenfalls irreduzibel.
Es seien primitive Polynome. Zeige, dass dann auch das Produkt primitiv ist.
Es sei ein faktorieller Zahlbereich und die zugehörige Erweiterung. Zu einer Primzahl sei
die Primfaktorzerlegung von in (die seien also paarweise nicht assoziiert). Zeige, dass die Primideale von mit der Eigenschaft genau die Primideale der Form sind.
Es sei ein Zahlbereich und sei eine -Basis von . Zeige, dass dann der Betrag der Diskriminante
minimal ist unter allen Diskriminanten von linear unabhängigen -Tupeln aus .
Berechne die Diskriminante der Gaußschen Zahlen. Man gebe zwei wesentlich verschiedene -Basen von an und überprüfe, dass die Diskriminanten übereinstimmen.
Man gebe ein Beispiel für einen Dedekindbereich, wo jeder Restklassenring unendlich ist, und für einen Dedekindbereich, der einen Körper enthält und wo alle echten Restklassenringe endlich sind.
Es sei ein noetherscher, kommutativer Ring. Zeige, dass dann auch jeder Restklassenring noethersch ist.
Es sei ein Körper und sei
der Polynomring über in unendlich vielen Variablen. Man beschreibe darin ein nicht endlich erzeugtes Ideal und eine unendliche, echt aufsteigende Idealkette.
Die folgenden Aufgaben benutzen das Produkt von Idealen.
Zu zwei Idealen und in einem kommutativen Ring wird das Produkt durch
mit , definiert. Das ist das Ideal, das von allen Produkten (mit , ) erzeugt wird.
Für das -fache Produkt eines Ideals mit sich selbst schreibt man .
Zeige, dass das Produkt von Hauptidealen wieder ein Hauptideal ist.
Es sei ein Ideal in einem kommutativen Ring . Zeige, dass die Potenzen , alle dasselbe Radikal besitzen.
Es seien und Ideale in einem kommutativen Ring und sei . Zeige die Gleichheit
- Aufgaben zum Abgeben
Aufgabe (5 Punkte)
Es sei . Bestimme die Primideale in , die über den Primzahlen liegen.
Aufgabe (3 Punkte)
Es sei eine Primzahl. Betrachte die endliche Körpererweiterung
vom Grad . Sei ein Element davon mit . Berechne das Minimalpolynom von und man gebe die Koeffizienten davon explizit an. Bestimme insbesondere die Norm und die Spur von .
Welche Bedingungen an ergeben sich aus der Voraussetzung, dass ganz über ist?
Aufgabe (3 Punkte)
Es sei ein Dedekindbereich und seien und verschiedene Primideale . Dann gibt es einen Ringisomorphismus
Aufgabe (4 Punkte)
Es sei ein Dedekindbereich und seien und zwei verschiedene Primideale. Dann ist
Aufgabe (4 Punkte)
Zeige: Ein kommutativer Ring ist genau dann noethersch, wenn es in keine unendliche echt aufsteigende Idealkette
gibt.
<< | Kurs:Zahlentheorie (Osnabrück 2016-2017) | >> |
---|