# Tagged Questions

In mathematics the $p$-adic number system for any prime number $p$ extends the ordinary arithmetic of the rational numbers in a way different from the extension of the rational number system to the real and complex number systems.

84 views

### Reference for the p-adic numbers

Can anyone give me a reference (book or a paper) that introduces the p-adic numbers and their important properties? Also, I would love if that reference contained some not to advanced applications of ...
45 views

61 views

### Solving equations in $\mathbb{Z}_3$ with Hensel's Lemma

Further to the post here, I'm trying to find the $n \in \mathbb{Z}$ such that there is a solution to the equation $$x^3 +3x+y^3+3y=n$$ in $\mathbb{Z}_3$. Now, I've been able to show that in the ...
33 views

32 views

### Proof that an archimedean absolute value on $\mathbb Q$ is equivalent to $|\ |_\infty$

I have included a bolded comment in a step in the part of Gouvea's proof of Ostrowski's theorem where he shows that an archimedean absolute value on $\mathbb Q$ is equivalent to $|\ |_\infty$ (the ...
105 views

### Squares in $\mathbb Z_p$

Let $p\neq 2$, then I want to understand that every element in $\mathbb Z_p$ (p-adic integers) is a square. For the prove one must see that $2$ is invertible in $\mathbb Z_p$. But $2$ is the element ...
81 views

### Roadmap to $p$-adic numbers: where a self-learner should look for references

TL;DR at the end of the question. I’m currently trying to learn as much as possible about p-adic numbers. I’m not sure what is the most fascinating part of the theory, but the use of the adjective “p-...
159 views

### Fermat's little theorem for p-adic integers

Just a short question: Is Fermat's little theorem applicable in the p-adic integers $\mathbb Z_p$? If yes, why?
230 views

### Structure of the group $\{1+p\mathbb Z_p \}$

In preparation for algebraic number theory I am reading Serre : A course in Arithmetic. I stuck in understanding a proof (p.17): Notation: $U_n=1+p^n\mathbb Z_p$ Actually there are many things ...
156 views

### The group $(1+p\mathbb Z_p)/(1+p^{n}\mathbb Z_p)$

I want know some information about the group \begin{equation*} \frac{(1+p\mathbb Z_p)}{(1+p^{n}\mathbb Z_p)} \end{equation*} (the Quotient group). What is the order of this group? I guess $p^{n-1}$ ...
52 views

### Which properties determine the uniqueness of the local Artin map?

Any abelian extension of local fields can be realized as the completion of a global abelian extension. So let $L/K$ be abelian, $w/v$ an extension of places. From the global Artin map on ideles we ...
83 views

155 views

61 views

46 views

### Topology of $\Bbb{Q}_p$

Let $a\in \Bbb{Q}_p$. Is $a+p^x\Bbb{Z}_p$ an open set around $a$ in the topology of $\Bbb{Q}_p$. Here $x \in \Bbb{Z}$. Also I have another question. Is $\mathbb{Z}_p$ open in $\Bbb{Q}_p$?
48 views

### Does any continuous map between two Banach spaces over a nonarchimedian field is a closed map?

Does any continuous map between two Banach spaces is a closed map? It seems to me that it is true. Let $f:V \rightarrow W$ be a map, where $V$, $W$ are (infinite dimensional) Banach space over a a ...
98 views

699 views

### Polynomial with a prime number as a root

Is it possible to prove that this equation is false: $$\sum_{i=0}^n a_i p^i = 0$$ with following conditions: $a_i \in [-1;1]$; [Might $a\in\{-1,1\}$ have been intended here?] $p$ is a prime ...
68 views

### Any finite index subgroup of $\mathbb Z_p$ is open [duplicate]

I'm trying to show that every finite index subgroup $H$ of $\mathbb Z_p$ is open. Since $H$ has finite index, it is equivalent (and perhaps easier) to show that it is closed. But I've tried showing ...
54 views

61 views

### $3 X^3 + 4 Y^3 + 5 Z^3$ has roots in all $\mathbb{Q}_p$ and $\mathbb{R}$ but not in $\mathbb{Q}$

This is an exercise in my textbook in a chapter about the Hasse-Minkowski-theorem: Show that the polynomial $3 X^3 + 4 Y^3 + 5 Z^3$ has a non-trivial root in $\mathbb{R}$ and all $\mathbb{Q}_p$. ...
58 views

### Why is $\mathbb{Q}_\infty = \mathbb{R}$?

Why, in the context of p-adic numbers, do we have the convention $$\mathbb{Q}_\infty = \mathbb{R} \quad$$ ? It must have something to do with the generalization of the Legendre-symbol for $\mathbb{R}$...
31 views

### What is the normal core of $GL_2(\mathbb{Z}_p)$ in $GL_2(\mathbb{Q}_p)$?

What is the normal core of $GL_2(\mathbb{Z}_p)$ in $GL_2(\mathbb{Q}_p)$? (the normal core of $H$ in $G$ is the largest subgroup of $H$ which is normal in $G$. it is the intersection of all $G$-...
39 views

### Power series in p-adic integers

How can we show that for $x \in \mathbb{Z}_p$, $\log_p(1+x)$ converges in $\mathbb{Z}_p$ when $|x|_p < 1$? To clarify, $\log_p(1+x)$ is the power series: \sum_{n=1}^\infty \frac{(-1)^{n+1}x^n}{n}...
49 views

### Showing Zp is isomorphic to the completion of Z, when Z is considered as a p-adic metric space

Question: Show that Zp is isomorphic to the p-adic completion of Z; that is, the completion of Z when Z is considered a metric space via the p-adic metric. I'm stuck. If we take an element a in Zp, ...
### The “$GL_2(\mathbb{Z}[1/p])$-part” of an element in $GL_2(\mathbb{Q}_p)$
Is there a group homomorphism $\varphi:GL_2(\mathbb{Q}_p)\rightarrow GL_2(\mathbb{Z}[1/p])$ such that for every $x\in GL_2(\mathbb{Q}_p)$ we have $x^{-1}\cdot\varphi(x)\in GL_2(\mathbb{Z}_p)$? My ...
Let $F$ be a finite extension of $\Bbb{Q}_p$. Let K be tamely ramified extension of $F$ Containing the maximal unramified extension. Let $P$ denote the residue field of the corresponding tamely ...