deciding whether two padic extensions are isomorphic

Fernando Gouvea <[email protected]>
Newsgroups gmane.comp.mathematics.pari.user
Message-ID <[email protected]>
In my book on the p-adic numbers, I mention the GP command padicfields, 
which lists out the (finitely many) extensions of a given Q_p of a given 
degree. With the flag 1, it lists the polynomial that generates the 
extension, followed by the ramification index e, the residue degree f, 
the (power of 3 in) the discriminant, and the number of different 
embeddings in an algebraic closure.

gp > padicfields(3,4,1)
%14 = [[x^4 + 13*x^3 + 64*x^2 + 61*x + 40, 1, 4, 0, 1],
        [x^4 + 2*x^3 + 11*x^2 + 10*x + 4, 2, 2, 2, 1],
        [x^4 + 2*x^3 + 8*x^2 + 13*x + 7, 2, 2, 2, 1],
        [x^4 + 3, 4, 1, 3, 2],
        [x^4 + 6, 4, 1, 3, 2]]

Earlier in the book I had introduced a field F obtained from Q_3 by 
adjoining a cube root of 1 and a square root of 2. That is an extension 
of degree 4 with e=f=2, so it is either the second or the third in this 
list. How might one decide which? In other words, given two polynomials 
of degree 4, is there a way to use GP to decide whether they define the 
same extension?

A similar question might be asked about the two totally ramified 
extensions as well, since their invariants are also the same.

Thanks,

Fernando

-- 
=============================================================
Fernando Q. Gouveahttp://www.colby.edu/~fqgouvea
Carter Professor of Mathematics
Dept. of Mathematics
Colby College
5836 Mayflower Hill
Waterville, ME 04901

Who can endure a doctrine which would allow only dentists to say
whether our teeth were aching, only cobblers to say whether our shoes
hurt us, and only governments to tell us whether we were being well
governed?
   -- C. S. Lewis, in A Preface to Paradise Lost
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.