On the structure of the irreducible polynomials over local fields (Q1892574)

A field \(K\) is called local if it is complete relative to a rank one and discrete valuation \(v\). The authors examine the structure of irreducible polynomials in one variable over \(K\). They introduce the definition of a system \(P(f)\) of invariant factors for each monic irreducible polynomial \(f\) in \(K[X]\). They prove that these invariants are characteristic. They apply their results to understand the extension of the natural valuation of a local field \(K\) to the field given by the considered polynomial.