The valuation criterion for normal basis generators

Bart de Smit, Mathieu Florence, Lara Thomas

If $L/K$ is a finite Galois extension of local fields, we say that the valuation criterion $VC(L/K)$ holds if there is an integer $d$ such that every element $x\in L$ with valuati…