Ask Your Question
1

How to define $\mathbb{Q}_p(\sqrt{5})$ and $\mathbb{Q}_p (\sqrt{5} ,\sqrt{3})$ and find their valuation rings for $p=7$?

asked 2019-03-06 22:03:29 -0500

anonymous user

Anonymous

updated 2019-03-30 02:53:11 -0500

FrédéricC gravatar image

I tried finite extension $\mathbb({Q}_p$ I unable do it. It will also great if help me with how to define the valuation ring of that finite extension

edit retag flag offensive close merge delete

1 answer

Sort by » oldest newest most voted
3

answered 2019-03-08 12:06:39 -0500

nbruin gravatar image

updated 2019-04-03 12:15:36 -0500

Try:

sage: Qp=pAdicField(7)
sage: R.<x>=Qp[]
sage: K.<a>=Qp.extension(x^2-5)
sage: OK=K.integer_ring()
sage: OK
7-adic Unramified Extension Ring in a defined by x^2 - 5

Note that 15 is a square in $\mathbb{Q}_7$, so $\mathbb{Q}_7(\sqrt{3},\sqrt{5})$ is just $\mathbb{Q}_7(\sqrt{5})$.

edit flag offensive delete link more

Comments

I wanted to define \mathbb{Q}_7(\sqrt{5},sqrt{3})

Sunil pasupulati gravatar imageSunil pasupulati ( 2019-04-02 02:07:21 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2019-03-06 22:03:29 -0500

Seen: 103 times

Last updated: Apr 03