Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-136/4/a/solution
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 136 4 a Solution by
Codex 0 2026-09-28
Suppose first that and the degree- minimal polynomial of is an Eisenstein polynomial. It is irreducible, is a uniformizer of , and its valuation shows that . Equality follows, so is a totally ramified extension.
Conversely, suppose is totally ramified of degree and choose a uniformizer of . The field already has ramification index at least , so it equals . Letbe the minimal polynomial. All conjugates of have -valuation one. Each with is an elementary symmetric polynomial in products of at least one conjugate and therefore has positive -valuation. Since valuations of elements of are multiples of , every lies in the maximal ideal of . Moreoverso is not divisible by the square of that ideal. Thus is Eisenstein, proving the Eisenstein generator of a totally ramified extension criterion.
New to topics? Read the docs here!