Kommutativer Ring/Lemma von Nakayama/Nichtlokale Version/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein kommutativer Ring, ein Ideal und sei ein endlich erzeugter -Modul. Es sei vorausgesetzt.

Dann gibt es ein derart, dass .