Lokaler Ring/Lemma von Nakayama/Untermodul/Fakt

Aus Wikiversity
Lemma von Nakayama

Es sei ein lokaler Ring und sei ein endlich erzeugter -Modul und ein Untermodul. Es gelte .

Dann ist .