Kommutativer Ring/Lemma von Nakayama/Nichtlokale Version/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Wir wenden Fakt auf die Identität auf an. Mit dem dort gewonnenen Polynom (mit ) ist dann

wobei die Summe ohne die zum Ideal gehört.