 Solution

For a finite Galois extension of local fields, let $G=\mathrm{Gal}(L/K)$, $G_{-1}=G$, and, for integers $i\ge 0$, define the lower ramification groups byIn particular, $G_0$ is the inertia group. The identity satisfies every bound because $v_L(0)=\infty$.

If the extension is totally ramified, its residue fields agree. Choose representatives in ${\mathcal{O}}_K$ of their common residue field. Every $a\in {\mathcal{O}}_L$ has a convergent uniformiser expansion $a={\sum }_{j\ge 0}{c}_j{\pi }_L^j$ with these representatives $c_j$, all fixed by $G$. For $j\ge 1$,Each summand in the second factor has valuation $j-1$. Thus a bound $v_L(\sigma ({\pi }_L)-{\pi }_L)\ge i+1$ implies the same bound on $\sigma (a)-a$, by convergence and the valuation inequality. Necessity follows by testing $a={\pi }_L$. This proves the uniformizer criterion for lower ramification groups: