Kurs:Zahlentheorie (Osnabrück 2016-2017)/Arbeitsblatt 16/kontrolle



Übungsaufgaben

Berechne die Diskriminante zur Körpererweiterung

zur Basis und und zur Basis und .



Berechne explizit die Diskriminante des quadratischen Zahlbereichs . Stelle die Multiplikationsmatrix bezüglich einer geeigneten Basis für das Element

auf und berechne damit die Spur und die Norm von .



Beweise Lemma 16.6 unter der zusätzlichen Voraussetzung, dass von erzeugt wird.



Es sei eine kommutative Gruppe. Zeige, dass auf genau eine Weise die Struktur eines - Moduls trägt. Kommutative Gruppen und -Moduln sind also äquivalente Objekte.



Es seien und kommutative Ringe. Zeige, dass genau dann eine - Algebra ist, wenn ein - Modul ist, für den zusätzlich

gilt.



Es sei ein Ideal in einem kommutativen Ring . Zeige, dass genau dann ein Primideal ist, wenn der Kern eines Ringhomomorphismus in einen Körper ist.



Zeige, dass jeder Restklassenring eines Hauptidealringes wieder ein Hauptidealring ist. Man gebe ein Beispiel, dass ein Restklassenring eines Hauptidealbereiches kein Hauptidealbereich sein muss.


Ein Ideal in einem kommutativen Ring heißt Radikal (oder Radikalideal), wenn folgendes gilt: Falls ist für ein , so ist bereits .





Zeige, dass ein Ideal in einem kommutativen Ring genau dann ein Radikal ist, wenn der Restklassenring reduziert ist.


Es sei ein kommutativer Ring und ein Ideal. Dann nennt man die Menge

das Radikal zu . Es wird mit bezeichnet.



Bestimme in das Radikal zum Ideal .



Es sei ein kommutativer Ring und ein Unterring. Bestätige oder widerlege die folgenden Aussagen.

  1. Zu einem Ideal ist auch ein Ideal (in ).
  2. Zu einem Radikal ist auch ein Radikal.
  3. Zu einem Primideal ist auch ein Primideal.
  4. Zu einem maximalen Ideal ist auch ein maximales Ideal.




Aufgaben zum Abgeben

Es sei eine kommutative Gruppe. Sei

die Menge der Gruppenhomomorphismen von nach (also die Gruppenendomorphismen auf ). Definiere auf eine Addition und eine Multiplikation derart, dass zu einem (in der Regel nicht kommutativen) Ring wird.



Es sei eine kommutative Gruppe und sei der zugehörige Endomorphismenring. Es sei ein kommutativer Ring. Zeige, dass eine -Modulstruktur auf äquivalent ist zu einem Ringhomomorphismus .



Es seien und kommutative Ringe und sei ein Ringhomomorphismus. Es sei ein Primideal in . Zeige, dass das Urbild ein Primideal in ist.

Zeige durch ein Beispiel, dass das Urbild eines maximalen Ideales kein maximales Ideal sein muss.



Es sei ein kommutativer Ring und sei ein Ideal in . Zeige: ist genau dann ein maximales Ideal, wenn es zu jedem , , ein und ein gibt mit .



<< | Kurs:Zahlentheorie (Osnabrück 2016-2017) | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)