Das Nullstellengebilde zu einem homogenen Ideal a ⊆ K [ X 0 , … , X n ] {\displaystyle {}{\mathfrak {a}}\subseteq K[X_{0},\ldots ,X_{n}]} .