Ein homogenes Ideal a ⊆ K [ X 1 , … , X n ] {\displaystyle {}{\mathfrak {a}}\subseteq K[X_{1},\ldots ,X_{n}]} .