Lokaler Ring/Lemma von Nakayama/Fakt

Lemma von Nakayama

Sei ein lokaler Ring und sei ein endlich erzeugter -Modul. Es sei vorausgesetzt.

Dann ist .