Zunächst ist R {\displaystyle {}R} ein Restklassenring eines standard-graduierten Polynomringes und somit sind die homogenen Stufen von R {\displaystyle {}R} nach Beispiel endlichdimensional. Nach Fakt gilt dies auch für die Stufen des Moduls.
