Zum Inhalt springen

Standard-graduierter Ring/K/Modul/Endlich erzeugt/Stufen endlichdimensional/Fakt/Beweis

Aus Wikiversity
Beweis

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