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-07 05:03:29 +0100

anonymous user

Anonymous

updated 2019-03-30 08:53:11 +0100

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 19:06:39 +0100

nbruin gravatar image

updated 2019-04-03 19:15:36 +0100

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 09:07:21 +0100 )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-07 05:03:29 +0100

Seen: 443 times

Last updated: Apr 03 '19