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

Es sei ${}R=\bigoplus _{d\in \mathbb {Z} }R_{d}$ ein kommutativer ${}\mathbb {Z}$-graduierter Ring und ${}M=\bigoplus _{d\in \mathbb {Z} }M_{d}$ ein ${}\mathbb {Z}$-graduierter Modul über ${}R$.

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

$\bigoplus _{i=1}^{k}R(-d_{i})\longrightarrow M.$

Einen Beweis erstellen