Der projektive Raum/Nullstellengebilde zu einem homogenen Ideal/Definition/Begriff/Inhalt

Man nennt

$V_{+}({\mathfrak {a}})={\left\{P=(x_{0},\ldots ,x_{n})\in {\mathbb {P} }_{K}^{n}\mid F(P)=0{\text{ für }}{\text{alle homogenen }}F\in {\mathfrak {a}}\right\}}\,$

das projektive Nullstellengebilde zu ${}{\mathfrak {a}}$.