Die Homogenisierung zu einem Ideal a = K [ X 1 , … , X n ] {\displaystyle {}{\mathfrak {a}}=K[X_{1},\ldots ,X_{n}]} .