A valuation criterion for normal basis generators in local fields of characteristic \(p\) (Q849210)

Let \(K\) be a local field of characteristic \(p\) with perfect residue field and let \(L/K\) be a finite Galois extension. Let \(G=\text{Gal}(L/K)\), let \(v_L:L^{\times}\rightarrow{\mathbb Z}\) be the normalized valuation on \(L\), and let \({\mathfrak D}_{L/K}\) be the different of \(L/K\). The author proves that if \(L/K\) is a totally wildly ramified extension and \(\rho\in L\) satisfies \(v_L(\rho)\equiv-v_L({\mathfrak D}_{L/K})-1\pmod{[L:K]}\) then \(\rho\) generates a normal basis for \(L/K\), i.\,e., \(L=K[G]\rho\). The author also proves that this result is the best possible: If \(L/K\) is a totally wildly ramified extension and \(i\) is an integer such that \(i\not\equiv-v_L({\mathfrak D}_{L/K})-1\pmod{[L:K]}\) then there is \(\rho_i\in L\) such that \(v_L(\rho_i)=i\) and \(L\not=K[G]\rho\). Furthermore, if the Galois extension \(L/K\) is \textit{not} totally wildly ramified then for every integer \(i\) there is \(\rho_i\in L\) such that \(v_L(\rho_i)=i\) and \(L\not=K[G]\rho\).