Integral closure of a graded ring is graded
ID: integral-closure-of-a-graded-ring-is-graded
If a graded ring is a graded extension of a graded subring , then the integral closure of in is graded: every homogeneous component of an integral element is integral. This follows by separating the extremal degrees in a monic integral equation and inducting on the number of nonzero homogeneous components.
New to topics? Read the docs here!