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.