Tagged Questions

3
votes
1answer
145 views

Multidimensional Hensel lifting

I have a question about a practical application of (some) generalised form of Hensel's Lemma. I cannot find it stated in an appropriate form in Bourbaki or anywhere else, so here goes ... Let $p$ be ...
1
vote
1answer
65 views

Valuation rings of complete non-archimedean fields which are not local

I would like to know how are the valuation rings of complete non-archimedean fields which are not local. Take, for example, $\mathbb{C}_p$, and its valuation ring, ...
5
votes
2answers
197 views

Question about $p$-adic numbers and $p$-adic integers

I've been trying to understand what $p$-adic numbers and $p$-adic integers are today. Can you tell me if I have it right? Thanks. Let $p$ be a prime. Then we define the ring of $p$-adic integers to ...
9
votes
1answer
108 views

diagonalizing a matrix over the $\ell$-adics

Let $M$ be a $2 \times 2$ matrix with coefficients in $\mathbb{Z}_{\ell}$ whose characteristical polynomial is $$ P(T) = T^2- (a+d) T + (ad-bc). $$ I've encountered the following assertion: If ...
11
votes
2answers
245 views

Why is $O_K\otimes \mathbb{Z}_p\cong \oplus_{\mathfrak{p}|p}O_{K,\mathfrak{p}}$?

In my old number theory notebook this is stated as a fact. However, I ran into problems when I tried to prove it. First let me state the (supposed) theorem accurately: Theorem (?) Let $K$ be a ...
5
votes
1answer
195 views

Integral closure of p-adic integers in maximal unramified extension

Let $\mathbb Q_p$ be the field of p-adic numbers, and let $\mathbb Q_p^{\text{unr}}$ be maximal unramified extension in some algebraic closure of $\mathbb Q_p$. My understanding is that $\mathbb ...
4
votes
1answer
106 views

Subgroups of index 3 in $1+p\mathbb{Z}_p$

Let $p$ be a prime. I'm trying to compute the subgroups of index $3$ in $\mathbb{Q}_p^\times$ to enumerate some cyclic extensions using CFT. I've essentially reduced the problem down to finding the ...