Jump to content

Tight closure/Graded ring/Generic results/Fact

From Wikiversity

Let and be natural numbers, . Let be a finite extension of standard-graded domains (a graded Noether normalization). Suppose that there exist homogeneous polynomials in with such that .

Then
  1. holds in the generic point of the parameter space of homogeneous elements in of this degree type (the coefficients of the are taken as indeterminates).
  2. If is normal, then holds for (open) generic choice of homogeneous elements in of this degree type.