Noetherscher Ring/Graduiert/Z/Modul/Länge/Hilbertfunktion/Polynomial/Fakt

Es sei ein standard-graduierter Ring über einem lokalen artinschen Ring und sei ein endlich erzeugter graduierter -Modul der Dimension .

Dann ist die Hilbertfunktion von polynomialem Typ.