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.

learn more… | top users | synonyms

2
votes
1answer
22 views

converging power series over $p$-adic integers is a UFD

Denote by $|\cdot |$ the $p$-adic norm, and let $$\mathbb Z_p \{z\}=\left\{\sum_{n=0}^\infty a_nz^n;\ a_n\in \mathbb Z_p ,\ |a_n|\underset {n\rightarrow \infty} {\longrightarrow 0} \right\}$$ the ...
2
votes
0answers
20 views

Mixed vs Equal Characteristic Local Rings

This is more of a vague, intuitive type of question, so perhaps there isn't anything too concrete anyone can offer. I am trying to get a sense of precisely why working with local rings of equal ...
2
votes
0answers
21 views

Determinant 1 matrix does not change p-adic measures

Let $f:\mathbb Z^d \rightarrow \mathbb Z^d$ be a linear map having determinant 1. Is there an obvious way to see that if $U\subseteq \mathbb Z_p^d$ is a measurable set, then the p-adic measure of $U$ ...
0
votes
1answer
30 views

Converges to 0 vs. Diverges to 0; Terminology in p-adic Analysis

In practice, in p-adic analysis, when referring to a sequence of numbers it is common to use the terminology "converges to 0". However, isn't this terminology, technically, incorrect by the definition ...
3
votes
0answers
36 views

Classical geometry vs. p-adic geometry

I am interested in learning more about $p$-adic analysis and some of the geometric theories that are commonly used. However, it seems that many of the tools there are developed from analogous ...
1
vote
2answers
47 views

The p-adic expansion of 1/2 for odd p

I just started self-studying p-adic analysis, using Alain M. Robert's book A Course in p-adic Analysis. So, I wanted to make sure that I got this correct before continuing and developing bad habits ...
1
vote
1answer
39 views

Non real complex in metric completions of $\mathbb Q$

Process of completion of $\mathbb Q$ using the absolute value $|x|$ does not touch to the non-real complex numbers which are added to $\mathbb Q$ via extensions fields. However completion of $\mathbb ...
2
votes
1answer
35 views

Roots of $p$-adic irreducible polynomials

A finite field $\mathbb{F}_p$ posesses the property that for any irreducible polynomial $f\in\mathbb{F}_p[x]$ adjoining any root of $f$ automatically adjoins all roots of $f$. (In other words, any ...
2
votes
2answers
38 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 ...
2
votes
2answers
36 views

Error in or another way of calculating $\frac{1}{2} \in \mathbb{Q}_3$

I want to find the $p$-adic expansion of $\frac{1}{2} \in \mathbb{Q}_3$. I begin with noting that $- \frac{1}{2} = \frac{1}{1-3} = \sum_{n=0}^{\infty} 3^n$. Therefore, $\frac{1}{2} = 1 - \frac{1}{2} = ...
2
votes
3answers
57 views

Understanding $p$-adic fields

OK, I'm completely lost on this. Define the $p$-adic integers $\mathbb{Z}_p$ as the projective limit $$\lim_{\leftarrow} \mathbb{Z}/p^n \mathbb{Z}.$$ So, if $a \in \mathbb{Z}_p$, then $a$ can be ...
1
vote
1answer
33 views

Proof that $\mathbb Q_p$ is unique up to unique isomorphism preserving the absolute values

On pages 58-59 of Gouvea's $p-$adic Numbers: An Introduction, he gives the following proof that the field $\mathbb Q_p$, constructed using equivalence classes of Cauchy sequences, is unique up to ...
4
votes
2answers
38 views

Primitive $p^n$-th root of unity in $\bar{\mathbb{Q}}_p$.

I am trying to solve the following exercise in Koblitz's "$p$-adic Numbers, $p$-adic analysis, and Zeta-Functions". Let $p$ be a prime. Let $a$ be a primitive $p^n$-th root of unity in ...
2
votes
1answer
39 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 ...
2
votes
1answer
25 views

Valuation of a particular element

I am tying to compute the valuation of a particular element of $\mathbb{Q}_p$. I am trying to compute $\operatorname{val}_p(P)$ where $P=\frac{\log(1+p^2)}{\log(1+p)}$ and $\log$ is the $p$-adic ...
2
votes
0answers
36 views

Inverse limit of the following system.

Let $\mathcal{O}_L = \mathbb{Z}[\sqrt{-5}]$ be the number ring of $L=\mathbb{Q}[\sqrt{-5}]$, and $\mathfrak{p} =(2, 1+\sqrt{-5})$ a prime (and maximal ideal) in $\mathcal{O}_L$. What is the inverse ...
1
vote
0answers
36 views

$p$-Adic complex numbers, expansion into series

For any field of $p$-adic numbers $\mathbb{Q}_p$ there is a unique, up to an isomorphism, extension $\mathbb{C}_p$ that is both algebraically and metrically complete, the field of $p$-adic complex ...
6
votes
0answers
64 views

A slightly stranger Hensel's Lemma

I'm trying to understand the solution to this problem. It came up when doing some revision. It is essentially to show that the conclusion of Hensel's Lemma holds if we have take a valuation ring $R$ ...
2
votes
2answers
38 views

$p$(ain)-adic number sequence

I am trying to figure out how $p$-adic numbers work and currently am having trouble wrapping my head around how they work, so I made a pun! HAH! Jokes aside, I am working on this question Show ...
4
votes
1answer
41 views

Show an intersection of Galois groups is trivial

Let $L/K$ be a finite abelian extension of number fields, and for an extension of places $w/v$ consider the local Artin map $\Phi: K_v^{\ast} \rightarrow Gal(L_w/K_v)$, defined via the global Artin ...
1
vote
0answers
35 views

Is the $\mathbb{Q}_2$- Space$ (\mathbb{Q}_2[\zeta], trace(cxy))$ hyperbolic?

I am working at a Problem for some time and it comes down to the question: Let $K:=\mathbb{Q}_2[\zeta]$ be a cyclotomic extention of the dyadic field $\mathbb{Q}_2$. For any $c \in ...
2
votes
1answer
17 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 ...
1
vote
2answers
78 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 ...
1
vote
0answers
39 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 ...
1
vote
2answers
76 views

Fermats little theorem for p-adic integers

Just a short question: Is Fermats little theorem applicable in the p-adic integers $\mathbb Z_p$? If yes, why?
7
votes
2answers
208 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 ...
4
votes
3answers
131 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}$ ...
4
votes
1answer
34 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 ...
3
votes
1answer
61 views

In $\mathbb Q_p$, proving every open ball is the disjoint union of more than one open ball

I'm reading the Foundations chapter of Gouvea's p-adic Numbers: An Introduction, and I'm trying to solve the following problem he poses to the reader: Take the $p-$adic absolute value on $\mathbb ...
2
votes
0answers
21 views

Why is $m \infty$ the conductor of $K = \mathbb{Q}(\zeta_m)/\mathbb{Q}$?

Wouldn't this be saying that for all $p$ dividing $m$, $1 + p^{\operatorname{ord}_p(m)} \mathbb{Z}_p$ is contained in the group of local norms $N_{\mathfrak p/p}(K_{\mathfrak p})$, where $\mathfrak p$ ...
2
votes
0answers
23 views

Show that $U_i \rightarrow U_{i+e}, x \mapsto x^p$ is an isomorphism

Show that $U_i \rightarrow U_{i+e}, x \mapsto x^p$ is an isomorphism? Let $K$ be a finite extension of $\mathbb{Q}_p$ with uniformizer $\pi$, prime $\mathfrak p$, and ramification index $e = ...
1
vote
2answers
62 views

Hensel's lemma & $p$-adic polynomial roots

I want to determine the number of roots of $f(X) = X^3-5X+20$ in $\mathbb{Z}_p$ using Hensel's lemma (lemma is on the bottom). Unfortunately I am not very well trained to solve this. Take for example ...
0
votes
0answers
13 views

Roots of $X^2-z$ in $2$-adics [duplicate]

Using Hensel's lemma is it true that $X^2-z$, for $z\in \mathbf Z$ any integer have no roots in 2-adics ? Hensel's lemma only shows, if a root of a polynomial can be lifted to a root in $\mathbf ...
0
votes
0answers
35 views

How to show that $X^2-2$ has a solution in $\mathbb Q_7$?

How to show that $X^2-2$ has a solution in $\mathbb Q_7$ ? Here, in example $5.3$ it is written that, there are $2$ solutions, but isn't justified why, do I have to check every coefficient or is ...
0
votes
1answer
40 views

Showing $\mathbf Z_2/8\mathbf Z_2\simeq\mathbf Z/8\mathbf Z$

Showing $\mathbf Z_2/8\mathbf Z_2\simeq\mathbf Z/8\mathbf Z$ $2$-adic integers are of the form $a_0+a_12+a_22^2+a_32^3+a_42^4\dots$ does modulo $8\mathbf Z$ means that, the only remaining part ...
0
votes
1answer
58 views

Solution of $8x^2+x+1=0\in \mathbb{Q}_2$.

We are asked to determine whether the equation $f(x)=8x^2+ x+ 1$ has a root in $\mathbb{Q}_2$. Now, I immediately think to apply Hensel's Lemma, with $\alpha=1$, by which I mean $f(\alpha)\equiv 0 ...
2
votes
1answer
34 views

Squares in $\mathbb Q_p$ are $p^{2n}\alpha$

If $p$ is an odd prime, then the squares in the field of p-adic numbers $\mathbb Q_p$ are the elements are $0$ or of the form $p^{2n}\alpha$, $n\in\mathbb Z$ and $\alpha\in\mathbb Z_p^{\times}$ ...
2
votes
2answers
38 views

A extending the p-adic valuation to a quadratic extension of $\mathbb{Q}_p$

I'm trying to solve the following problem. Prove that, if $d \in \mathbb{Z}_p$ is non-square, then $|a + b \sqrt{d}|p = |a^2 − b^2d|^{1/2}_p$ , for any $a, b \in \mathbb{Q}p$, defines a ...
4
votes
2answers
220 views

Questions about p-adic numbers

I got two questions about $p$-adic numbers: I often read that the field $\mathbb Q_p$ is much different than the field $\mathbb R$. An element of $\mathbb Q_p$ is of the form ...
1
vote
2answers
34 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$?
0
votes
1answer
31 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 ...
2
votes
1answer
75 views

When is $x^2 - 75 y^2 = 0$ in $\mathbb{Z}_p$ solvable?

Exercise: For which prime numbers does the equation $x^2 - 75 y^2 = 0$ have non-trivial solution in the $p$-adic integers $\mathbb{Z}_p$? For $p\neq 5$, the non-trivial solvability of the ...
3
votes
3answers
94 views

Explicit description of $\Bbb Q_p \cap \bar{\Bbb Q}$

Note that we can embed $\Bbb Q_p$ into $\Bbb C$, as it is discussed here. But as far as I understand, this embedding sends the power series to transcendental elements, so we can't certainly embed ...
5
votes
6answers
629 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 ...
2
votes
2answers
39 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 ...
2
votes
1answer
25 views

non-archimedean absolute value (Ostrowski's theorem)

I'm reading the proof of Ostrowski's theorem in Gouvea's book on p-adic numbers and there is one step that I don't understand. Let $|\cdot|$ be a non-archimedean absolute value and $n=rp+s$ where ...
1
vote
1answer
31 views

“p-adic absolute value” in polynomial ring

I'm working with Gouvea's book on p-adic numbers. In problem 34 I'm asked to give a "p-adic" (I put it in quotes as in my understanding its just a p-adic-like) valuation and absolute value for an ...
0
votes
0answers
30 views

$p$-adic integers.

I have some problems regarding the definition of the $p$-adic integers. I've the following definition: $\mathbb{Z}_{p} = \lbrace \sum_{i=0}^{\infty}a_{i}p^{i}\vert a_{i}\in\mathbb{Z} \rbrace = ...
1
vote
1answer
30 views

Online calculator for $ p $-adic valuations and absolute values.

Does anyone know a website where I can enter a prime base and a rational and then get the $ p $-adic valuation and the $ p $-adic absolute value? For sure I know how to do it by hand, but I want to ...
2
votes
1answer
36 views

Relationship Between Ring of Integers of a Number Field to P-adic integers

Suppose we have a number field $K$ with ring of integers $\mathcal O_K$. Let $\frak p$ be a prime ideal in $K$ lying over $p\in \mathbb Q$. Then, using the $\frak p$-adic norm, we may define the ...