Lokaler Ring/Lemma von Nakayama/Untermoduln/Inklusion/Fakt/Beweis

Beweis

Wir betrachten den Untermodul

Dabei gilt

Aus Fakt ergibt sich , also .