 This is used in the construction of the Hilbert scheme and Quot scheme.Consider a finitely generated graded commutative algebra over a field , which is finitely generated by elements of positive degree.This means that 
and that formula_4.