Tight closure/Graded ring/Generic results/Fact
Appearance
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
- 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).
- If is normal, then holds for (open) generic choice of homogeneous elements in of this degree type.