Noetherscher Ring/Maximales Ideal/Modul/Lokalisierung/Hilbert-Samuel-Funktion/Fakt
Erscheinungsbild
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