Proj construction

scheme constructed from a commutative graded ring, whose points correspond to homogeneous prime ideals that do not contain all of positive-degree elements