Solution

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

Let and normalize . The lower ramification groups are
with . In particular is the inertia group, and is the wild inertia group. When the extension is totally ramified, the uniformizer criterion for lower ramification groups permits the equivalent test on one uniformizer.

New to topics? Read the docs here!