Polynomring/Variablenideal/Rees-Algebra/Beispiel

Die Rees-Algebra zum Ideal im Polynomring ist die von den in erzeugte Unteralgebra. Wenn man diese Erzeuger mit bezeichnet, so hat man die Relationen

für alle und in der Tat ist die Rees-Algebra gleich