 Solution

Normalize the discrete valuation on $L$ by $v_L(L^{\times })=\mathbb{Z}$, set $v_L(0)=+\infty$, and write ${\mathcal{O}}_L$ for its valuation ring. For a finite Galois extension of local fields, define $G_{-1}=G=\mathrm{Gal}(L/K)$ and, for integers $i\ge 0$,Equivalently, $G_i$ is the kernel of the action on ${\mathcal{O}}_L/{\mathfrak{m}}_L^{i+1}$. These are the lower ramification numbering of the ramification groups. In particular, $G_0$ is the inertia group, the kernel of the action on the residue field, and $G_1$ is the wild inertia group. They form a decreasing sequence of normal subgroups, eventually trivial.

For a real index $t\ge -1$, extend by $G_t=G_{\lceil t\rceil }$. Define the Herbrand function byIt is continuous, strictly increasing and piecewise linear; denote its inverse by ${\psi }_{L/K}$. The upper ramification numbering isThe definition includes the placement of the groups at break endpoints: the group at a break is the group before the drop. Lower numbering is compatible with subgroups; upper numbering is the one compatible with quotients. In a totally ramified extension, the uniformizer criterion for lower ramification groups permits testing the defining valuation inequality on one uniformizer instead of on every integral element.