Kommutativer Ring/Modul/Endlich erzeugter/0 in Punkt/Umgebung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein kommutativer Ring und ein endlich erzeugter -Modul. Es sei ein Primideal mit . Zeige, dass es ein gibt mit

.