Lower ramification numbering (source code)

= Lower ramification numbering
{title2=$G_s=\{\sigma:v_L(\sigma a-a)\geq s+1\text{ for every }a\in\mathcal O_L\}$}

For all real $s\geq0$, this definition uses the normalized integral valuation on $L$. Equivalently $G_s=G_{\lceil s\rceil}$. The group $G_0$ is the <inertia group> and $G_1$ is the <wild inertia group>.