No Access

A family of Eisenstein polynomials generating totally ramified extensions, identification of extensions and construction of class fields

Maurizio Monge

Instituto de Matemática da UFRJ, Av. Athos da Silveira Ramos 149, Centro de Tecnologia, Bloco C Cidade Universitária, Ilha do Fundão, Caixa Postal 68530 21941-909, Rio de Janeiro, RJ, Brazil

Search for more papers by this author

https://doi.org/10.1142/S1793042114500511Cited by:2 (Source: Crossref)

Abstract

Let K be a local field with finite residue field, we define a normal form for Eisenstein polynomials depending on the choice of a uniformizer π_K and of residue representatives. The isomorphism classes of extensions generated by the polynomials in the family exhaust all totally ramified extensions, and the multiplicity with which each isomorphism class L/K appears is always smaller than the number of conjugates of L over K. An algorithm to recover the set of all special polynomials generating the extension determined by a general Eisenstein polynomial is described. We also give a criterion to quickly establish that a polynomial generates a different extension from that generated by a set of special polynomials, such criterion does not only depend on the usual distance on the set of Eisenstein polynomials considered by Krasner and others. We conclude with an algorithm for the construction of the unique special equation determining a totally ramified class field in general degree, given a suitable representation of a group of norms.

Keywords:

AMSC: 11S15, 11Y40, 11S31

References

S. Amano , J. Fac. Sci. Univ. Tokyo Sect. IA Math. 18 , 1 ( 1971 ) . Google Scholar
P. Deligne, Representations of Reductive Groups over a Local Field, Travaux en Cours (Hermann, Paris, 1984) pp. 119–157. Google Scholar
I. B. Fesenko and S. V. Vostokov , Local Fields and Their Extensions ( American Mathematical Society , Providence, RI , 2002 ) . Google Scholar
C. Greve and S. Pauli, Int. J. Number Theory 8(6), 1401 (2012). Link, Web of Science, Google Scholar
J. Guàrdia, J. Montes and E. Nart, Trans. Amer. Math. Soc. 364(1), 361 (2012). Crossref, Web of Science, Google Scholar
V. Heiermann, J. Number Theory 59(1), 159 (1996). Crossref, Web of Science, Google Scholar
C. Helou, Comm. Algebra 19(8), 2267 (1991). Crossref, Web of Science, Google Scholar
J. W. Jones and D. P. Roberts, J. Symbolic Comput. 41(1), 80 (2006). Crossref, Web of Science, Google Scholar
M. Krasner , Mathematica (Cluj) 13 , 72 ( 1937 ) . Google Scholar
M. Krasner , C. R. Acad. Sci. Paris 254 , 3470 ( 1962 ) . Web of Science, Google Scholar
M. Krasner , C. R. Acad. Sci. Paris 255 , 224 ( 1962 ) . Web of Science, Google Scholar
M. Krasner , C. R. Acad. Sci. Paris 255 , 1682 ( 1962 ) . Web of Science, Google Scholar
M. Krasner , C. R. Acad. Sci. Paris 255 , 2342 ( 1962 ) . Web of Science, Google Scholar
M. Krasner , C. R. Acad. Sci. Paris 255 , 3095 ( 1962 ) . Web of Science, Google Scholar
H.-C. Li, Trans. Amer. Math. Soc. 349(4), 1437 (1997). Crossref, Web of Science, Google Scholar
J. D. Lubin, Trans. Amer. Math. Soc. 267(1), 133 (1981). Crossref, Web of Science, Google Scholar
J. Montes Peral, Polígonos de Newton de orden superior y aplicaciones aritméticas, Ph.D. thesis, Universitat de Barcelona (1999) . Google Scholar
Ö. Ore, Math. Ann. 99(1), 84 (1928). Crossref, Google Scholar
S. Pauli, J. Théor. Nombres Bordeaux 18(3), 627 (2006). Crossref, Google Scholar
S. Pauli and X.-F. Roblot, Math. Comput. 70(236), 1641 (2001). Crossref, Web of Science, Google Scholar
J.-P. Serre , C. R. Acad. Sci. Paris Sér. A–B 286 , 1031 ( 1978 ) . Web of Science, Google Scholar
J.-P. Serre , Local Fields ( Springer , New York , 1979 ) . Crossref, Google Scholar
S. Yamamoto, Mem. Fac. Sci. Kyushu Univ. Ser. A, Math. 22(2), 96 (1968). Google Scholar
M. Yoshida , Proc. Amer. Math. Soc 140 , 4141 ( 2012 ) . Crossref, Web of Science, Google Scholar