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

4
votes
0answers
123 views

Liftings in unramified extensions of $\Bbb Z_p$

[Edit : I have changed the formulation of the question. Sorry for the trouble] Here is a stupid question, maybe trivial. Let $p$ be a prime number, $q = p^n$ where $n$ is an integer, $R = ...
2
votes
2answers
425 views

The $p$-adic integers as a profinite group

How to prove that if $\mathbb{Z}_p$ is the set of $p$-adic integers then $\displaystyle{\mathbb{Z}_p=\varprojlim\mathbb{Z}/p^n\mathbb{Z}}$ where the limit denotes the inverse limit? $\mathbb{Z}_p$ is ...
1
vote
2answers
237 views

Unramified p-adic extension implies Galois

I am looking for a short proof that if $L \supset K$ are finite extensions of the p-adic numbers $\mathbb{Q}_p$, then if $L/K$ is unramified, $L/K$ is Galois. I think the proof is related to somehow ...
4
votes
1answer
106 views

Choosing an isomorphism $\tau:\overline{\mathbf{Q}}_p\simeq\mathbf{C}$; how do things depend on choice of $\tau$?

I sometimes see arguments that begin by choosing an isomorphism of fields $\tau:\overline{\mathbf{Q}}_p\simeq\mathbf{C}$, and then defining some property in terms of this isomorphism. I'm not so ...
6
votes
1answer
182 views

Line in a proof on p69 in Cassel's Local Fields

I'm trying to read the proof of LEMMA 6.1 (Nagell) Let $u_n$ be defined by $u_0=0$, $u_1=1$ and $u_n=u_{n-1}-2u_{n-2} \hspace{20pt} (n\geq 2)$. Then $u_n=\pm1$ only for $n=1,2,3, ...
6
votes
4answers
316 views

Divergent series and $p$-adics

If we naïvely apply the formula $$\sum_0^\infty a^i = {1\over 1-a}$$ when $a=2$, we get the silly-seeming claim that $1+2+4+\ldots = -1$. But in the 2-adic integers, this formula is correct. Surely ...
11
votes
2answers
290 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 ...
9
votes
1answer
258 views

What are the branches of the $p$-adic zeta function?

I'm reading the book $p$-adic Numbers, $p$-adic Analysis, and Zeta-Functions by Neal Koblitz. In it, Koblitz wants to iterpolate the Riemann Zeta function for the values $\zeta_p(1-k)$ with $k \in ...
0
votes
1answer
329 views

P-adic integers

Show that $\frac{2}{p-1}$ is a $p$-adic integer and find its p-adic expansion. P-adic numbers really make little sense to me so any help explaining what to do and why would be really appreciated. ...
5
votes
1answer
235 views

The polynomial $x^p - x -1/p$ over $\mathbb{Q}_{p}$

I know that the polynomial $f(x) = x^p -x - \frac{1}{p} \in \mathbb{Q}_{p}[x]$ is irreducible. So, let $\alpha$ be a root of $f(x)$, and $K = \mathbb{Q}_p(\alpha)$. Let $O_K$ be the valuation ring of ...
3
votes
1answer
372 views

Newton polygons

This question is primarily to clear up some confusion I have about Newton polygons. Consider the polynomial $x^4 + 5x^2 +25 \in \mathbb{Q}_{5}[x]$. I have to decide if this polynomial is irreducible ...
6
votes
1answer
175 views

The number of solutions of the equation $x^n+y^n=1$ over $\mathbb{Z}_p$ with $\mathbb{Z}_p=\{\alpha\in \mathbb{Q}_p:|\alpha|_p\le 1\}$.

The number of solutions of the equation $x^n+y^n=1$ over $\mathbb{Z}_p$ with $\mathbb{Z}_p=\{\alpha\in \mathbb{Q}_p:|\alpha|_p\le 1\}=\{\sum_{i=0}^\infty a_ip^i:0\le a_i \le p-1\}$. I was trying ...
7
votes
2answers
302 views

What does the Haar measure on $\hat{\mathbf{Z}}$ look like?

What does the Haar measure on $\hat{\mathbf{Z}} = \prod_p \mathbf{Z}_p$ look like? Does it bear any relation to the "upper density" of a subset $S\subset\mathbf{N}$ defined by $m(S) = ...
7
votes
2answers
517 views

Is the algebraic closure of a $p$-adic field complete

Let $K$ be a finite extension of $\mathbf{Q}_p$, i.e., a $p$-adic field. (Is this standard terminology?) Why is (or why isn't) an algebraic closure $\overline{K}$ complete? Maybe this holds more ...
3
votes
2answers
200 views

Applications of the p-adics

As I was preparing to spend a month studying p-adic analysis, I realized that I've never seen the theory of p-adic numbers applied in other branches of mathematics. I can certainly see that the field ...
1
vote
1answer
93 views

Why is the trace map from a finite extension of $\mathbb{Q}_p$ continuous?

Let $k$ be a finite extension of $\mathbb{Q}_{p}$. Why is $tr_{k/\mathbb{Q}_{p}}$ a continuous map from $k$ onto $\mathbb{Q}_{p}$?
8
votes
1answer
135 views

$\mathbb Z_p$-rank $\leq r_1+r_2-1$ in Leopoldt's conjecture

I am trying to understand Leopoldt's conjecture as formulated in section 5.5 of Washington's "Introduction to Cyclotomic Fields". For an algebraic number field $K$ let $E$ denote the global units, ...
4
votes
1answer
454 views

What are the quadratic extensions of $\mathbb{Q}_2$?

How do you classify the non-squares in $\mathbb{Q}_2$? I've tried writing down expansions for "odd" numbers in $\mathbb{Z}_2$, but unlike in $\mathbb{Z}_p$, the n$^{th}$ term in the expansion is not ...
5
votes
1answer
70 views

equation over $\mathbb{Z}_3$

Consider the ring $\mathbb{Z}_3$ of 3-adic integers. Does there exist a positive integer $n$ and a solution to $(X_1^2 + X_2^2 + \cdots + X_{n - 1}^2)^2 = 2X_n^4$ in $\mathbb{Z}_3^n$? If so, what is ...
4
votes
1answer
158 views

Is there a $p$-adic version of Liouville theorem?

That is, if a function $f$ is analytic and bounded in all $K$, a $p$-adic field (or more generally a complete non-archimedean field), has to be constant? And does the theorem work for functions on ...
6
votes
2answers
170 views

Easy way to determine the primes for which $3$ is a cube in $\mathbb{Q}_p$?

This is a qual problem from Princeton's website and I'm wondering if there's an easy way to solve it: For which $p$ is $3$ a cube root in $\mathbb{Q}_p$? The case $p=3$ for which $X^3-3$ is not ...
4
votes
1answer
177 views

Equivalence of Euclidean norm used in Ostrowski's Theorem

In a proof of Ostrowski's theorem (The only nontrivial norms on $\mathbb{Q}$ are $\|\cdot\|_{p}$ and $\|\cdot\|_{\infty}$), we come to the point where we have shown a certain norm, $\|\cdot\|$, has ...
3
votes
1answer
338 views

Is $\mathbb Q_r$ algebraically isomorphic to $\mathbb Q_s$ while r and s denote different primes?

It is obvious that $\mathbb Q_r$ is topologically isomorphic to $\mathbb Q_s$ while $r$ and $s$ denote different primes. But I really don't know whether it is true in the aspect of algebra. As I ...
1
vote
1answer
111 views

Quadratic form over the dyadic numbers

I would like to know whether $q=\langle 3,3,11\rangle$ (a diagonal ternary form) represents $2$ over $\mathbb{Q}_2$ (i.e. whether there exist $x,y,z\in\mathbb{Q}_2^\times$ such that $q(x,y,z)=2$). I ...
3
votes
2answers
248 views

Isotropy over $p$-adic numbers

Over what $p$-adic fields $\mathbb{Q}_p$ is the form $\langle3, 7, -15\rangle$ isotropic?
3
votes
2answers
196 views

Hilbert Symbols when $K =$ the $p$-adic numbers

How can I show that the Hilbert Symbol is bimultiplicative, when the local field is the $p$-adic numbers? Everything I can find just sort of asserts bimultiplicativity without much proof, so I'm ...
3
votes
2answers
270 views

Square roots in the $p$-adics

Suppose I want to know whether $\sqrt{7}\in\mathbb{Q}_5$, or more generally, whether $\sqrt{n}\in\mathbb{Q}_p$ for $n\in\mathbb{Z}$, $p$ an odd prime. What are the techniques for determining this? Am ...
2
votes
1answer
376 views

Extending the p-adic valuation

Given a prime $p$, the $p$-adic valuation on the field $\mathbb{Q}$ is the map $\nu:\mathbb{Q}^*\to\mathbb{Z}$ given by $\nu(p^ka/b)=k$, where $a,b$ are prime to $p$. I want to consider extensions ...
1
vote
1answer
123 views

Discontinuous functions from $\mathbb Q_p$ to $\mathbb R$

The question is how we construct a function $f:\mathbb Q_p\to\mathbb R$ so that $f$ is discontinuous at every $x_0\in\mathbb Q_p$.
4
votes
1answer
154 views

Valuations on number fields

I'm trying to explicitly compute modular representations of some finite groups -- the easiest example to discuss is the cyclic group $C_3$ when $p=3$. The three ordinary irreducible modules for $C_3$, ...
4
votes
3answers
352 views

How many $p$-adic numbers are there?

Let $\mathbb Q_p$ be $p$-adic numbers field. I know that the cardinal of $\mathbb Z_p$ (interger $p$-adic numbers) is continuum, and every $p$-adic number $x$ can be in form $x=p^nx^\prime$, where ...
1
vote
1answer
92 views

Nice description of $(1+2\mathbb{Z}_2)^{2^k}$?

For $p\neq 2$ it's easy to prove through the log/exp-correspondence that $$(1+p\mathbb{Z}_p)^{p^k}=1+p^{k+1}\mathbb{Z}_p.$$ This gives an easy way to compute the groups ...
2
votes
0answers
141 views

Can this function extend to a measure?

I believe I have one final question on a function I've been thinking about. To set up, let $\mathbb{Q}_p$ be the $p$-adic numbers, and let $B(x,r)$ denote the closed balls $$ ...
1
vote
1answer
182 views

$p$-adic intermediate value theorem

Is there a $p$-adic analogue to the intermediate value theorem? I know there is a notion of convex sets in the $p$-adic context but can we hope for an intermediate value theorem in this context?
4
votes
2answers
196 views

Can I build a finitely additive function on $\mathbb{Q}_p$?

This is partially motivated by a question I saw earlier here, Does such a finitely additive function exist? I've been reading about the topology of $\mathbb{Q}_p$ in Knapp's Advanced Algebra in ...
5
votes
2answers
765 views

Why are closed balls in the $p$-adic topology compact?

I was skimming through some of this paper Measurable Dynamics and Simple $p$-adic Polynomials out of curiosity. A few pages in, the author claims that closed balls are both open and compact sets in ...
0
votes
2answers
180 views

Balls in ultrametric spaces

Consider a ball $B$ in the ultrametric space $X=K^n$ where $K$ is a $p$-adic field. (Recall that a ball in $X$ is a set of the form $\lbrace x \in K^n \mid \|x\|:= \max_{i=1}^n (\mid x_1 \mid, \dots, ...
2
votes
1answer
204 views

Create an order relation over the field of p-adic numbers

I've come to know that you can't define an order relation over the field of p-adic numbers that is compatible with the addition and multiplication according to the ordered field axioms. I was ...
7
votes
3answers
286 views

A property of some sequences of natural numbers (and their binary representation)

Let's consider a sequence of natural numbers $a_n$, represented in binary, with the following properties: $\forall n \in \mathbb{N}$ the number $a_n$ is represented with $n$ binary digits $\forall ...
1
vote
0answers
125 views

Algebraic topology concepts in the $p$-adic setting

Can we expect that we might apply notions similar to "simple connectedness" and "multiple connectedness" to the $p$-adic setting, in spite of the fact that the standard topology of $\mathbb{Q}_p^n$ is ...
4
votes
1answer
268 views

Is there a $p$-adic version of the Riemann hypothesis?

Is there a $p$-adic version of the Riemann hypothesis or this does not make any sense?
4
votes
0answers
228 views

Intersection of nested open sets

Consider a nested sequence $O_1$, $O_2$, $\dots , O_k, \dots $ of open sets in $\mathbb{Q}_p^n$ such that $O_i \setminus O_{i+1}$ has empty interior. Under which conditions do we have $\bigcap_k O_k$ ...
4
votes
0answers
59 views

Green’s formula in p-adic integration

Is there an analogue of Green's formula in p-adic integration (with respect to the Haar measure)?
2
votes
1answer
76 views

normal groups of a infinite product of groups

I have a question regarding the quotient of a infinite product of groups. Suppose $(G_{i})_{i \in I}$ are abelian groups with $|I|$ infinite and each $G_i$ has a normal subgroup $N_i$. Is it true in ...
0
votes
0answers
77 views

Definable measure preserving isomorphisms of $p$-adic semialgebraic sets

Consider a $p$-adic field $K$ (finite extension $\DeclareMathOperator{\bQ}{\mathbb{Q}}$of $\bQ_p$) in Macintyre language $\DeclareMathOperator{\cL}{\mathcal{L}}$ $\cL_{\rm Mac}$. Let $Z$ be a ...
5
votes
3answers
235 views

Finding $p^\textrm{th}$ roots in $\mathbb{Q}_p$?

So assume we are given some $a\in\mathbb{Z}_p^\times$ and we want to figure out if $X^p-a$ has a root in $\mathbb{Q}_p$. We know that such a root must be unique, because given two such roots ...
4
votes
2answers
606 views

Roots of unity in a local field

The multiplicative group of a local field $K$ with valuation ring $\mathcal{O}$ and residue class field of $\overline{K}$ of degree $q=p^f$ splits as $K=\langle \pi\rangle\times \mu_{q-1}\times ...
2
votes
1answer
174 views

Integers in $p$-adic field

Let $K$ be a finite extension of $\mathbb Q_p$. How to prove that if an element of $K$ has non negative valuation then it is algebraic over $\mathbb Z_p$? I would like also a reference for this proof ...
5
votes
1answer
254 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
129 views

Decomposition of $\mathbb{C}_p^*$

I'm looking for a topological group decomposition of $\mathbb{C}_p^*$. I know that I can write $\mathbb{C}_p^*\cong p^\mathbb{Q}\times \mathcal{O}_{\mathbb{C}_p}^* \cong p^\mathbb{Q}\times ...