Kommutativer Ring/Lemma von Nakayama/Nichtlokale Version/Fakt
Es sei ein kommutativer Ring, ein Ideal und sei ein endlich erzeugter -Modul. Es sei vorausgesetzt.
Dann gibt es ein derart, dass .
Es sei ein
kommutativer Ring,
ein
Ideal
und sei
ein
endlich erzeugter
-Modul.
Es sei
vorausgesetzt.
Dann gibt es ein derart, dass
.