Zum Inhalt springen

Polynomring/K/Hilbertfunktion/Beispiel

Aus Wikiversity

Es sei  R=K[X1,,Xm]  der Polynomring in m Variablen über einem Körper K. Dann gibt es nach Aufgabe genau (n+m1m1) Monome vom Grad n. Dies ist somit die K-Vektorraumdimension der n-ten Stufe des standard-graduierten Polynomringes. Die Hilbertfunktion des graduierten R-Moduls R ist also

HR(n)=(n+m1m1)=(n+m1)(n+1)(m1)!=1(m1)!nm1+m2(m2)!nm2+ kleinere Terme.

Insbesondere ist die Hilbertfunktion ein Polynom mit Koeffizienten aus , das aber an jeder natürlichen Stelle eine natürliche Zahl als Wert besitzt.