Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-136/4/a/solution

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 . Let
be 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 . Moreover
so 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!