Kommutativer Ring/Graduiert/Z/Graduierter Modul/Homogene Surjektion/Fakt

Es sei ein kommutativer -graduierter Ring und ein -graduierter Modul über .

Wenn ein endlich erzeugter -Modul ist, so wird er auch von endlich vielen homogenen Elementen erzeugt und es gibt einen surjektiven homogenen Modulhomomorphismus der Form