Homogeneous coordinate ring
In algebraic geometry, the homogeneous coordinate ring R of an algebraic variety V given as a subvariety of projective space of a given dimension N is by definition the quotient ring
where I is the homogeneous ideal defining V, K is the algebraically closed field over which V is defined, and