Zu einem Ideal a ⊆ K [ X 1 , … , X n ] {\displaystyle {}{\mathfrak {a}}\subseteq K[X_{1},\ldots ,X_{n}]} heißt das Ideal in K [ X 1 , … , X n , Z ] {\displaystyle {}K[X_{1},\ldots ,X_{n},Z]} , das von allen Homogenisierungen von Elementen aus a {\displaystyle {}{\mathfrak {a}}} erzeugt wird, die Homogenisierung a h {\displaystyle {}{\mathfrak {a}}^{h}} des Ideals a {\displaystyle {}{\mathfrak {a}}} .
![{\displaystyle {}{\mathfrak {a}}\subseteq K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb6e9d9c742f5ae3d7a591a54859d54ac8ddedb1)
![{\displaystyle {}K[X_{1},\ldots ,X_{n},Z]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1eb0c9f6e41f0f714aeddee5f980c9087b54db99)
