Opened 7 years ago

Last modified 4 weeks ago

#20266 new enhancement

Galois conjugates for elements in extension of p-adics

Reported by: wuthrich Owned by:
Priority: minor Milestone:
Component: padics Keywords: padicIMA, padicBordeaux
Cc: David Roe 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 (3)

comment:1 Changed 5 years ago by David Roe

Keywords: padicIMA added

comment:2 Changed 3 years ago by David Roe

Keywords: padicBordeaux added

comment:3 Changed 4 weeks ago by Matthias Köppe

Milestone: sage-7.2
Note: See TracTickets for help on using tickets.