Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-101/4/b/ii/solution

If is a unit in , then is integral over :
Multiplication by expresses as an element of , so is a unit in .
Use the characterization exactly when is a unit for every . If , then is a unit in and hence in , proving . Conversely, if , every maximal ideal of contracts under the integral extension to a maximal ideal of , which contains . Thus every contains , so . Therefore

New to topics? Read the docs here!