ramified extension of Qp

asked 2017-02-12 21:52:01 -0600

this post is marked as community wiki

This post is a wiki. Anyone with karma >750 is welcome to improve it.

I am wondering if anyone knows 1. How to define Q_p[\mu_p] in sage, where \mu_p is a primitive p-th root of unity in \bar Q_p. 2. How to write b=\mu_p. 3. Solve a quadratic equation x^2+a_1x+a_2=0, where a_1 and a_2 are both in Q_p[\mu_p]. 4. Is log function defined on Q_p[\mu_p] .

Thank you in advance!

edit retag flag offensive close merge delete