Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-101/3/d/solution

If the coefficients of are integral over , they generate a finite -algebra . Then is a finite -module, so every one of its elements, including , is integral.
Conversely, use the fact that the integral closure of a graded ring is graded. Give its -grading and regard as a graded subring. If is integral, each homogeneous component is integral. Applying the evaluation homomorphism shows that every coefficient is integral over .
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!