Projective Variety

A projective variety is a subset X of projective space P^n over a field (typically algebraically closed) defined as the common zero locus of a collection of homogeneous polynomials; it is endowed with the Zariski topology and schemes or coordinate ring structures refine its algebraic structure.