Affine Varietät/Projektiver Abschluss/Definition

Projektiver Abschluss

Zu einer affinen Varietät ${}V({\mathfrak {a}})\subseteq {{\mathbb {A} }_{K}^{n}}\subseteq {\mathbb {P} }_{K}^{n}$ heißt der Zariski-Abschluss von $V({\mathfrak {a}})$ in ${\mathbb {P} }_{K}^{n}$ der projektive Abschluss von ${}V({\mathfrak {a}})$.