Zum Inhalt springen

Kurs:Kommutative Algebra/Teil I/Vorlesung 26

Aus Wikiversity



Assoziierte Primideale

Es sei ein kommutativer Ring und ein - Modul. Zu einen jeden Element betrachtet man den zugehörigen Annullator, also

Dies ist ein Ideal in . Mit dieser Konstruktion können häufig Moduleigenschaften auf Ring- bzw. Idealeigenschaften zurückgeführt werden. Beispielsweise gilt genau dann, wenn das Einheitsideal ist. Der von einem Element erzeugte Untermodul ist isomorph zu . Eine besonders wichtige Rolle spielen die Primideale, die als Annullatoren eines Elementes auftreten.


Es sei ein kommutativer Ring und ein - Modul. Ein Primideal heißt assoziiertes Primideal zu , wenn es ein mit

gibt.

Die Menge der assoziierten Primideale zu dem gegebenen Modul wird mit bezeichnet. Zum Nullmodul gibt es keine assoziierten Primideale. Erstaunlicher ist, dass es ansonsten stets assoziierte Primideale gibt.



Es sei ein kommutativer noetherscher Ring und ein endlich erzeugter - Modul.

Dann ist die Menge nicht leer.

Wir betrachten die Menge aller Annullatoren

Nach Voraussetzung ist diese Menge nicht leer und besteht aus Idealen, die alle vom Einheitsideal verschieden sind. Diese Menge ist induktiv geordnet, da jede aufsteigende Kette darin wegen noethersch stationär wird. Nach dem Lemma von Zorn besitzt die Menge somit maximale Elemente. Wir behaupten, dass ein solches maximales Element ein Primideal ist. Es sei also

maximal und sei , also

Es sei , also , und somit ist zu zeigen. Es ist

und gehört zu unserer Menge. Wegen der Maximalität von muss also hier Gleichheit vorliegen. Wegen ist damit auch .



Wir betrachten den Restklassenring . Dies ist ein eindimensionaler nichtreduzierter Ring mit den einzigen Primidealen und . Beide Primideale sind assoziierte Primideale des Ringes, und zwar ist und .




Es sei ein kommutativer Ring und ein Primideal.

Dann ist

Dies gilt auch für jeden von verschiedenen Untermodul von .

Es ist

deshalb ist ein assoziiertes Primideal. Für ein beliebiges von verschiedenes Element ist . Dann ist ebenfalls

da die Inklusion trivial ist und da

in bedeutet, dass ist, woraus wegen der Primeigenschaft folgt. Somit gilt die Eigenschaft auch für jeden Untermodul.



Es sei ein kommutativer Ring und

eine kurze exakte Sequenz von -Moduln.

Dann ist

Die erste Inklusion ist klar. Es sei und . Es sei

. Wir betrachten die Modulkette

Wäre nicht , so wäre nach Lemma 26.4 das Primideal doch ein assoziiertes Primideal von im Widerspruch zur Voraussetzung. Also ist

und somit erhalten wir eine injektive Abbildung

die zeigt, dass ein assoziiertes Primideal von ist.



Es sei ein kommutativer noetherscher Ring und ein endlich erzeugter - Modul.

Dann gibt es ein Folge von Untermoduln

mit

für gewisse Primideale .

Bei ist nichts zu zeigen, sei also . Dann gibt es nach Lemma 26.2 ein derart, dass

ein Primideal ist. Somit liegt ein Untermodul

vor, den wir mit bezeichnen. Bei sind wir fertig. Andernfalls finden wir im Restklassenmodul wieder ein von verschiedenes Element , dessen Annullator ein Primideal ist. Wir setzen als das Urbild von unter der Projektion

an und fahren in dieser Weise fort. So entsteht eine aufsteigende Folge von Untermoduln von mit der besagten Eigenschaft. Diese muss nach Satz 20.9 nach endlich vielen Schritten abbrechen.



Es sei ein kommutativer noetherscher Ring und ein endlich erzeugter - Modul.

Dann ist die Menge nicht leer und endlich.

Die Existenz folgt aus Lemma 26.2. Die Endlichkeit folgt aus Lemma 26.6, Lemma 26.5 und Lemma 26.4.



Es sei ein kommutativer noetherscher Ring und ein endlich erzeugter - Modul.

Dann gilt für die Menge der Nullteiler von die Beziehung

Für jedes assoziierte Primideal gibt es ein , , mit

Somit besteht aus Nullteilern von . Es sei umgekehrt ein Nullteiler von . Das bedeutet, dass es ein , , mit gibt. Insbesondere ist

Wenn man das Argument im Beweis zu Lemma 26.2 auf die Annullationsideale ober halb von durchführt, so erhält man darin auch ein assoziiertes Primideal, das und damit enthält.



Es sei ein kommutativer noetherscher Ring und ein endlich erzeugter - Modul. Es sei ein Ideal, das ausschließlich aus Nullteilern von besteht.

Dann gibt es ein , , mit

Nach Lemma 26.8 ist

wobei nach Satz 26.7 die Vereinigung rechts endlich ist. Somit gibt es nach Lemma 11.10 ein assoziiertes Primideal mit



Es sei ein kommutativer Ring und ein - Modul. Ein assoziiertes Primideal zu , das nicht minimal unter des assoziierten Primidealen ist, heißt eingebettetes Primideal von .

In Beispiel 26.3 ist das maximale Ideal ein eingebettetes Primideal.

<< | Kurs:Kommutative Algebra/Teil I | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)