Projektive Varietäten/Über Körper/Nullstellengebilde zu homogenen Polynomen/Definition

Projektive Varietät

Eine projektive Varietät ist eine Zariski-abgeschlossene Teilmenge

${}V_{+}({\mathfrak {a}})\subseteq {\mathbb {P} }_{K}^{n}\,,$

wobei ${}{\mathfrak {a}}$ ein homogenes Ideal in ${}K[X_{0},X_{1},\ldots ,X_{n}]$ ist.