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

Projektive Varietät

Eine projektive Varietät ist eine Zariski-abgeschlossene Teilmenge

$V_{+}(𝔞)\subseteq {\mathbb{P}}_K^n,$

wobei $𝔞$ ein homogenes Ideal in $K[X_0,X_1,\dots ,X_n]$ ist.