Solution

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

The Going-up theorem states: if is integral over , are primes of , and lies over , then some prime lies over .
Pass to , which remains integral, and localize at the complement of . The lying-over theorem supplies a prime of the localized upper ring over the maximal ideal of the localized lower ring. Contracting it to , and then pulling it back to , gives the required .

New to topics? Read the docs here!