Lokaler Ring/Lemma von Nakayama/Untermodul/Fakt
Erscheinungsbild
Lemma von Nakayama
Es sei ein lokaler Ring und sei ein endlich erzeugter -Modul und ein Untermodul. Es gelte .
Dann ist .
Es sei ein
lokaler Ring
und sei
ein
endlich erzeugter
-Modul
und
ein
Untermodul.
Es gelte
.
Dann ist
.