Monomiale Kurve/Hilbert-Samuel Multiplizität ist numerische Multiplizität/Fakt

Es sei ${}M\subseteq \mathbb {N}$ ein von teilerfremden Zahlen erzeugtes numerisches Monoid mit numerischer Multiplizität ${}e_{1}$. Es sei ${}{\mathfrak {m}}=(M_{+})$ das maximale Ideal des Monoidringes ${}K[M]$, das dem Nullpunkt entspricht.

Dann gilt

${}\lim _{n\rightarrow \infty }{\frac {\dim _{K}{\left(K[M]/{\mathfrak {m}}^{n}\right)}}{n}}=e_{1}\,.$

Das heißt, dass die numerische Multiplizität mit der Hilbert-Samuel Multiplizität übereinstimmt.

Zum Beweis, Alternativen Beweis erstellen