Zum Inhalt springen

Kurs:Invariantentheorie (Osnabrück 2012-2013)/Arbeitsblatt 10/kontrolle

Aus Wikiversity



Aufwärmaufgaben

Begründe, warum der Ring

noethersch ist.



Es sei ein kommutativer Ring und sei

eine aufsteigende Kette von Idealen. Zeige, dass die Vereinigung ebenfalls ein Ideal ist. Zeige durch ein einfaches Beispiel, dass die Vereinigung von Idealen im Allgemeinen kein Ideal sein muss.



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.


Vor der nächsten Aufgabe erinnern wir an die Reduktion.

Es sei ein kommutativer Ring und das Nilideal von , das aus allen nilpotenten Elementen von besteht. Dann nennt man den Restklassenring die Reduktion von .



Man gebe ein Beispiel eines nicht-noetherschen Ringes, dessen Reduktion ein Körper ist.



Sei ein Körper und sei eine kommutative - Algebra, die als - Modul endlich sei. Zeige, dass ein Element genau dann eine Einheit ist, wenn es ein Nichtnullteiler ist.



Es seien und Körper, es sei eine endliche Körpererweiterung und sei , , ein Zwischenring. Zeige, dass dann ebenfalls ein Körper ist.



Es sei ein kommutativer Ring und ein - Modul. Dann ist genau dann noethersch, wenn jede aufsteigende Kette

von - Untermoduln stationär wird.


Die folgenden Aufgaben verwenden den Begriff des artinschen Moduls, der „dual“ zum Begriff des noetherschen Moduls ist.

Es sei ein kommutativer Ring. Ein -Modul heißt artinsch, wenn jede absteigende Kette

von -Untermoduln stationär wird.


Ein kommutativer Ring heißt artinsch, wenn er als -Modul artinsch ist.


Es sei ein artinscher Integritätsbereich. Man zeige, dass ein Körper ist. Man gebe ein Beispiel eines artinschen kommutativen Ringes, der kein Körper ist.



Es sei ein Radikal in einem kommutativen Ring. Zeige, dass der Durchschnitt von Primidealen ist.




Aufgaben zum Abgeben

Aufgabe (4 Punkte)Aufgabe 10.10 ändern

Es sei ein kommutativer Ring und sei ein Ideal mit dem Restklassenring

Zeige, dass die Ideale von eindeutig denjenigen Idealen von entsprechen, die umfassen.

Zeige, dass das Gleiche für Primideale, Radikalideale und maximale Ideale gilt.


Zeige, dass keine Algebra von endlichem Typ über ist.



Sei ein Körper und sei . Finde eine - Unteralgebra von , die nicht endlich erzeugt ist.



Bestimme zum Ideal

in die im Beweis zum Hilbertschen Basissatz konstruierte Idealkette und das zugehörige Erzeugendensystem von . Schreibe die obigen Erzeuger als Linearkombination mit dem konstruierten Erzeugendensystem.



Es sei ein noetherscher Integritätsbereich. Zeige, dass sich jedes Element aus als ein Produkt von irreduziblen Elementen schreiben lässt.



Sei ein kommutativer Ring und sei

eine kurze exakte Sequenz von -Moduln. Man zeige, dass genau dann artinsch ist, wenn und artinsch sind.



Es sei ein kommutativer Ring und ein - Modul. Zeige: Wenn artinsch und -linear und injektiv ist, so ist ein Isomorphismus. Formuliere und beweise auch eine analoge Aussage für den Fall, das noethersch ist.



<< | Kurs:Invariantentheorie (Osnabrück 2012-2013) | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)