Opened 5 years ago

Last modified 22 months ago

#20266 new enhancement

Galois conjugates for elements in extension of p-adics

Reported by: wuthrich Owned by:
Priority: minor Milestone: sage-7.2
Component: padics Keywords: padicIMA, padicBordeaux
Cc: roed Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

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.

Change History (2)

comment:1 Changed 3 years ago by roed

  • Keywords padicIMA added

comment:2 Changed 22 months ago by roed

  • Keywords padicBordeaux added
Note: See TracTickets for help on using tickets.