Kurs:Algebraische Kurven (Osnabrück 2008)/Arbeitsblatt 20
Aufgabe (3 Punkte)
Es sei ein normaler Integritätsbereich und sei ein multiplikatives System. Zeige, dass dann auch die Nenneraufnahme normal ist.
Aufgabe (2 Punkte)
Es sei ein Körper und sei , eine Familie von normalen Unterringen. Zeige, dass auch der Durchschnitt normal ist.
Aufgabe (1 Punkt)
Es sei ein Integritätsbereich. Zeige, dass genau dann normal ist, wenn er mit seiner Normalisierung übereinstimmt.
Aufgabe (2 Punkte)
Es sei ein Integritätsbereich. Es sei angenommen, dass die Normalisierung von gleich dem Quotientenkörper ist. Zeige, dass dann selbst schon ein Körper ist.
Aufgabe (3 Punkte)
Es sei ein normaler Integritätsbereich und eine ganze Ringerweiterung. Sei . Zeige, dass für das von erzeugte Hauptideal gilt:
Aufgabe (6 Punkte)
Es sei ein normaler Integritätsbereich. Zeige, dass dann auch der Polynomring normal ist.
Aufgabe (5 Punkte)
Es sei ein normaler Integritätsbereich und . Es sei vorausgesetzt, dass keine Quadratwurzel in besitzt. Zeige, dass das Polynom prim in ist. Tipp: Verwende den Quotientenkörper . Warnung: Prim muss hier nicht zu irreduzibel äquivalent sein.
Aufgabe (4 Punkte)
Es sei ein Integritätsbereich. Zeige, dass die folgenden Eigenschaften äquivalent sind.
- ist normal.
- Für jedes Primideal ist die Lokalisierung normal.
- Für jedes maximale Ideal ist die Lokalisierung normal.
(Man sagt dann, dass normal eine lokale Eigenschaft ist.)
Aufgabe (2 Punkte)
Es sei ein torsionsfreies Monoid. Zeige, dass dann auch die Differenzengruppe torsionsfrei ist.
Aufgabe (3 Punkte)
Es sei ein kommutative Gruppe. Zeige, dass die Torsionsfreiheit von äquivalent zu folgender Eigenschaft ist: Aus und für ein positives folgt stets . Zeige ferner, dass diese Äquivalenz für ein Monoid nicht gelten muss.
(mit dieser Eigenschaft wird üblicherweise die Torsionsfreiheit einer Gruppe definiert)
Aufgabe (2 Punkte)
(dieses Monoid nennt man das duale Monoid zu )
Aufgabe (3 Punkte)
(Diesen Kokern nennt man auch die Divisorenklassengruppe des Monoidringes.)