Tight closure/Generic bound/Parameter situation/Example

From Wikiversity
Jump to navigation Jump to search

Suppose that in the situation of fact. Then the generic elements are parameters. In the polynomial ring we have for parameters of degree the inclusion

because the graded Koszul resolution ends in and

So the theorem implies for a graded ring finite over that holds for generic elements. But by the graded Briançon-Skoda Theorem (see fact) this holds for parameters even without the generic assumption.