Polynomring/Homogenisierung zu einem Ideal/Definition

Homogenisierung zu einem Ideal

Zu einem Ideal ${}{\mathfrak {a}}\subseteq K[X_{1},\ldots ,X_{n}]$ heißt das Ideal in ${}K[X_{1},\ldots ,X_{n},Z]$, das von allen Homogenisierungen von Elementen aus ${}{\mathfrak {a}}$ erzeugt wird, die Homogenisierung ${}{\mathfrak {a}}^{h}$ des Ideals ${}{\mathfrak {a}}$.