Polynomring/Homogenisierung zu einem Ideal/Definition

Homogenisierung zu einem Ideal

Zu einem Ideal  $𝔞\subseteq K[X_1,\dots ,X_n]$  heißt das Ideal in $K[X_1,\dots ,X_n,Z]$, das von allen Homogenisierungen von Elementen aus $𝔞$ erzeugt wird, die Homogenisierung ${𝔞}^h$ des Ideals $𝔞$.