2463149ddbe938d9.tex
1: \begin{abstract}
2:   Let $K$ be a local field with finite residue field, we define a normal form for Eisenstein
3:   polynomials depending on the choice of a uniformizer $\pi_K$ and of residue representatives. The
4:   isomorphism classes of extensions generated by the polynomials in the family exhaust all totally
5:   ramified extensions, and the multiplicity with which each isomorphism class $L/K$ appears is
6:   always smaller than the number of conjugates of $L$ over $K$.
7: 
8:   An algorithm to recover the set of all special polynomials generating the extension determined by
9:   a general Eisenstein polynomial is described. We also give a criterion to quickly establish that a
10:   polynomial generates a different extension from that generated by a set of special polynomials,
11:   such criterion does not only depend on the usual distance on the set of Eisenstein polynomials
12:   considered by Krasner and others.
13: 
14:   We conclude with an algorithm for the construction of the unique special equation determining a
15:   totally ramified class field in general degree, given a suitable representation of a group of
16:   norms.
17: \end{abstract}
18: