Variété Projective

Une variété projective est un sous-ensemble X de l'espace projectif P^n sur un corps (généralement algébriquement clos) défini comme le lieu commun des zéros d'une collection de polynômes homogènes ; elle est munie de la topologie de Zariski et sa structure algébrique est précisée par des anneaux de coordonnées ou des schémas.