Q: A critierion for tamely ramified extension for local field Let $L/K$ be extension of complete discrete valued fields, $S,R$ be their ring of integers, if $L/K$ is tamely ramified, then $Tr_{L/K}(S)=R$. How does this imply $v_L(\mathfrak{D})=e-1$? Here $\mathfrak{D}$ is the different ideal in $S$. In Cassels and Frolich's Algebraic number theory p.13,Theorem 2, we first note that $Tr_{L/K}(S)^{-1}=\mathfrak{D}^{-1}\cap K$, then I was not clear how they deduced the inequality: $v_k(Tr_{L/K}(S))\leq \frac{v_L(\mathfrak{D})}{e}<v_k(Tr_{L/K}(S))+1$?
