search

sagemath / sage

Main repository of SageMath. Now open for Issues and Pull Requests.
https://www.sagemath.org
Other
1.2k stars 413 forks source link

Galois conjugates for elements in extension of p-adics #20266

Open chriswuthrich opened 8 years ago

chriswuthrich commented 8 years ago

It would be nice to have Galois conjugates for elements in finite extensions of Q_p.

E.g.

sage: R.<X> = Qp(3,20)[]
sage: K.<t> = Qp(3,20).extension(X^2-3)
sage: t.galois_conjugates()

should return [t,-t].

It is also not clear if the minimal polynomial of t is best over the field K, so x-t, rather than over the base field Q_p, i.e. x^2-3.

CC: @roed314

Component: padics

Keywords: padicIMA, padicBordeaux

Issue created by migration from https://trac.sagemath.org/ticket/20266

roed314 commented 5 years ago

Changed keywords from none to padicIMA

roed314 commented 4 years ago

Changed keywords from padicIMA to padicIMA, padicBordeaux