Extensions of local fields and elementary symmetric polynomials
Let K be a local field whose residue field has characteristic p and let L/K be a finite separable totally ramified extension of degree n=upν. Let σ1,…,σn denote the K-embeddings of L into a separable closure Ksep of K. For 1≤h≤n let eh(X1,…,Xn) denote the hth elementary symmetric polynomial in n variables, and for α∈L set Eh(α)=eh(σ1(α),…,σn(α)). Set j=min{vp(h),ν}. We show that for r∈Z we have Eh(MLr)⊂MK⌈(ij+hr)/n⌉, where ij is the jth index of inseparability of L/K. In certain cases we also show that Eh(MLr) is not contained in any higher power of MK.