Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-1/3/i/solution

An integral extension means every satisfies a monic polynomial
To prove the Lying-over theorem, localize at . The injection remains injective, and is integral over : a monic relation for divided by suitable powers of gives one for . This is a nonzero ring, so choose a maximal ideal of it.
The contraction of to is maximal. To see this directly, a field integral over a subring forces that subring to be a field. For nonzero in the subring, is integral; multiply its monic equation of degree by to express as a polynomial in with coefficients in the subring. Apply this to the integral extension
Since is a local ring with unique maximal ideal , we obtain .
Contract to , obtaining a prime ideal . Its contraction to is the contraction of , namely . Thus

New to topics? Read the docs here!