Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-1/3/i/solution
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 1 3 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
An integral extension means every satisfies a monic polynomialTo 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 extensionSince is a local ring with unique maximal ideal , we obtain .
New to topics? Read the docs here!