Lokaler noetherscher Ring/Maximales Ideal/Modul/Hilbert-Samuel-Funktion/Definition

Hilbert-Samuel-Funktion

Es sei ${}R$ ein noetherscher lokaler Ring und ${}M$ ein endlich erzeugter ${}R$-Modul. Dann nennt man die Hilbertfunktion des assoziierten graduierten Moduls ${}\operatorname {Gr} _{\mathfrak {m}}M$ die Hilbert-Samuel-Funktion von ${}M$.