Hilbert-Samuel-Polynom
# Hilbert-Samuel-Polynom

Das Hilbert-Samuel-Polynom ist ein Begriff aus den mathematischen Teilgebieten der kommutativen Algebra und der algebraischen Geometrie. Es wird dort in der Dimensionstheorie und in der Berechnung der Schnittpunkte gebraucht. Während der Grad für die Dimensionstheorie wichtig ist, spielen die Koeffizienten für die Schnitttheorie der algebraischen Geometrie eine Rolle. Benannt wurde es nach David Hilbert und Pierre Samuel.

Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Ringhomomorphismen bilden Einselemente auf Einselemente ab. Für weitere Details siehe Kommutative Algebra.

## Definitionen

Es sei

    $R=\bigoplus _{n\in \mathbb {N} }R_{n}$

ein graduierter Ring mit folgenden Eigenschaften:

* $R_{0}$ ist ein $R_{0}$-Modul von endlicher Länge
* $R$ wird als Ring von $R_{0}$ und endlich vielen Elementen $a_{1},\dots ,a_{r}$ erzeugt.
* $M$ sei ein graduierter endlicher $R$-Modul.

Dann wird die Funktion

    $f\colon \mathbb {N} \to \mathbb {N}$
    $f\colon n\mapsto l_{R_{0}}\left(\bigoplus _{i=0}^{n-1}M_{i}\right)$

Hilbert-Samuel-Funktion genannt

Unter den Voraussetzungen der Definition (und mit diesen Bezeichnungen) gilt folgender Satz:

* Für große $n$ ist die Hilbert-Samuel-Funktion ein Polynom $P[X]$ aus $\mathbb {Q} [X]$. Es ist $grad(P[X])\leq r$ und der höchste Koeffizient von $P[X]$ ist positiv.

Das bedeutet, dass es ein :$P[X]\in \mathbb {Q} [X]$ und ein $:k\in \mathbb {N}$ gibt, sodass für alle $n>k$ gilt:

    $f(n)=P(n)$

Dieses Polynom heißt das Hilbert-Samuel-Polynom

### Dimensionstheorie

Ist $A$ ein lokaler Ring mit maximalem Ideal $m$, und

    $\mathrm {gr} _{m}(A):=\bigoplus _{n\in \mathbb {N} }m^{n}/m^{n+1}$

der graduierte Ring zu diesem Ideal. Dann gilt für den Grad des Hilbertpolynoms $\mathrm {P} _{m}(\mathrm {gr} _{m}(A))$ dieses Ringes (betrachtet als Modul über sich selbst):

    $\mathrm {grad} (\mathrm {P} _{m}(\mathrm {gr} _{m}(A)))=\mathrm {dim} (A)$

($\mathrm {dim} (A)$ ist die Krulldimension des Ringes)

