Noetherscher Ring/Graduiert/Z/Modul/Länge/Hilbertpolynom/Definition

Hilbertpolynom

Es sei ein standard-graduierter Ring über einem lokalen artinschen Ring und sei ein endlich erzeugter graduierter -Modul. Dann nennt man das eindeutig bestimmte Polynom

mit für das Hilbertpolynom zu .