Zum Inhalt springen

Kommutativer Ring/Modul/Ideal/Assoziierter graduierter Modul/Fakt/Beweis

Aus Wikiversity
Beweis

Wir gehen aus von der Multiplikation

die wegen wohldefiniert ist. Wegen induziert dies eine Abbildung

Die Gesamtheit dieser Abbildung ergibt eine Abbildung

die zu einem graduierten -Modul macht.

Ein Erzeugendensystem von ergibt direkt ein Erzeugendensystem für den graduierten Modul.