Noetherscher Ring/Maximales Ideal/Modul/Lokalisierung/Hilbert-Samuel-Funktion/Fakt

Aus Wikiversity

Es sei ein maximales Ideal in einem noetherschen Ring und es sei ein endlich erzeugter -Modul.

Dann ist die Hilbert-Samuel-Funktion des -Moduls gleich