Hilbert-Samuel-Multiplizität/Modul/Limesbeschreibung/Aufgabe

Aus Wikiversity

Es sei ein noetherscher lokaler Ring und ein endlich erzeugter -Modul der Dimension . Zeige, dass der Limes

existiert und mit der Hilbert-Samuel-Multiplizität

von übereinstimmt.