Uniformizer criterion for lower ramification groups
= Uniformizer criterion for lower ramification groups
If $L/K$ is a finite totally ramified Galois extension and $\pi_L$ is a <uniformizer>, then
$$
G_i=\{\sigma:v_L(\sigma(\pi_L)-\pi_L)\geq i+1\}
$$
for every $i\geq0$.