Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\mathbb K/\mathbb Q_p$ be a finite extension of $p-$adic field $\mathbb Q_p$. Let ${\mathcal O}=\{x\in K\;:\;|x|\leq1\}$ and ${\mathcal P}=\{x\in K:\;|x|<1\}$, here $|\cdot|$ is the absolute value. Show that the quotient ring $\mathcal O/\mathcal P$ is a finite field. What is the cardinal of its and show a complete system of representatives of the residue classes of this quotient ring.

share|improve this question
2  
This looks like homework. What have you tried? –  Soarer May 14 '11 at 3:03
2  
Please don't post in the imperative mode ("Show", "prove", "construct"). You aren't giving us an assignment, you are, I think, trying to ask a question. So ask, don't tell. –  Arturo Magidin May 14 '11 at 3:22
add comment

1 Answer

${\cal{O}}$ is a very distinguished ring inside $\mathbf{K}$...what is it?

Try studying the situation first when $\mathbf{K}=\mathbf{Q}_p$.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.