Questions tagged [p-adic-numbers]
The p-adic number system for any prime number p extends the ordinary arithmetic of the rational numbers in a different way from the extension of the rational number system to the real and complex number systems
253 questions
4
votes
3
answers
219
views
Is $K^\times/ F^\times$ compact for local fields?
Let $K/F$ be a finite extension of local fields (of characteristic 0). Is it true that the quotient group $K^\times/ F^\times$ is always compact?
I understand that if the extension is cyclic, it is ...
- 833
2
votes
2
answers
546
views
A p-adic logarithm as a limit of discrete logs
I've been searching for something similar to the argument below for about a week now and I just must be missing out on the right key words. Can someone point me in the right direction and/or let me ...
- 2,235
1
vote
0
answers
64
views
Continous morphisms of a local field with conditions in positive characteristic
Let $P$ be a an irreducible polynomial of $k:=\mathbb F_q(T)$, $\Omega_P$ be the completion of an algebraic closure $\overline{k_P}$ of $k_P$, the completion of $k$ for the topology induced by the $P$-...
- 3,998
6
votes
1
answer
263
views
Hasse invariant and the Clifford algbera
Let
$$q = a_1 x_1^2 + \cdots + a_n x_n^2$$
be a quadratic form over some $p$-adic field $\mathbb{Q}_p$. We thus have its Hasse invariant
$$\mathcal{h}(q) = \prod_{1 \leq i < j \leq n} (a_i,a_j)_p \...
- 103
0
votes
0
answers
257
views
How to prove the map of rings $\mathcal{R} \to \mathcal{R'}$ is flat?
We fix a finite extension $K$ of $p$-adic field $\mathbb{Q}_p$ with ring of integers $\mathcal{O}_K$ and residue field $\kappa$. Consider the ring of witt vectors $W(\kappa)$ over the residue field $\...
- 930
2
votes
0
answers
478
views
Is there bijective correspondence between $P_n$ and $A_n$?
Let $K \supset \mathbb{Q}_p$ be the $p$-adic field and let $O_K$ be its ring of integers and $M_K$ be the maximal ideal with integral closure $\bar{M}_K$. A power series is invertible if its lowest ...
- 930
12
votes
1
answer
841
views
Numbers $k$ with $\{\binom nk:\ n\in\mathbb N\}$ dense in $\mathbb Z_p$ for any prime $p\le k$
Let $k$ be a positive integer and let $p$ be a prime. In my 2011 PAMS paper joint with my former student W. Zhang [Proc. Amer. Math. Soc. 139(2011), 1569-1577], we studied when $$S(k)=\left\{\binom nk:...
- 15.6k
3
votes
1
answer
95
views
An averaging procedure on finite multisets of $2$-adic integers
Recently there was this question talking about an averaging procedure on finite multisets of integers.
After seeing that question, I thought about the same procedure but with integers replaced by $2$-...
- 3,432
0
votes
0
answers
197
views
Is this topology on $\mathbb{Q}$ well studied?
Let $\|\cdot\|_p$ denote the $p$-adic norm on $\mathbb{Q}$. For the whole set of primes $P$ consider the topology which is generated with prebase of open sets $V_{p,\varepsilon}(x) = \{y\in\mathbb{Q} :...
- 291
1
vote
0
answers
94
views
What would be the quotient groups $U_{\mathrm{gen}}/U_{\mathrm{gen}}^{(n)}$ and $U_{\mathrm{gen}}^{(n)}/U_{\mathrm{gen}}^{(n+1)}$?
Let $K \supseteq \mathbb{Q}_p$ be a $p$-adic field with ring of integer $O$ and maximal ideal $m$. Let $O^*$ be the group of units in $O$.
Consider the group of units $U^{(0)}=U=O^*$ and $U^{(n)}=1+m^...
- 930
2
votes
2
answers
230
views
The stabiliser group of an isotropic quadratic form over $\mathbb{Q}_p$ is non-compact?
Let $\mathbb{Q}_p$ denote the $p$-adic integers. Let $V$ be a $\mathbb{Q}_p$-vector space and $Q : V \rightarrow \mathbb{Q}_p$ be a non-degenerate integral quadratic form. We say that the pair $(Q,V)$ ...
- 63
3
votes
1
answer
130
views
Analytic p-adic functions that take an algebraic value
Suppose it exists $r\in\mathbb R$ such that the non constant p-adic function $f(z)=\sum_{n\ge0}a_nz^n$ ($a_n\in\mathbb C_p$) is defined on $\mathcal D=\{z\in\mathbb C_p\mid v_p(z)>r\}$. Does it ...
- 3,998
2
votes
0
answers
75
views
Zeroes of the Euler series
Consider a prime $p$. Let $f$ be the Euler series defined by $f(z)=\sum_{n\ge0}n!z^n\}$. It is defined and analytic over $\mathcal D=\{z\in\mathbb C_p\mid v_p(z)>-\frac1{p-1}\}$. I try to check if ...
- 3,998
6
votes
2
answers
827
views
Zero of the exponential p-adic
Consider the $p$-adic exponential defined over $\mathbb C_p$. One knows $\exp$ is analytic in the domain $\mathcal D=\{z\in\mathbb C_P\mid v_p(z)>\frac1{p-1}\}$. Does it exist an element $z_0\in\...
- 3,998
3
votes
0
answers
118
views
Composition in function fields
Let $k=\mathbb F_q\left(\!\left(\frac1T\right)\!\right)$. One has the map: $\circ:k\times\{v\in k\mid\deg(v)>0\}\to k$ defined by $f\circ g=\sum_{n\ge-m}a_ng^{-n}$ where $f=\sum_{n\ge-m}a_n\frac1{T^...
- 3,998
5
votes
1
answer
576
views
Identity theorem in $p$-adic geometry/analysis
If one wants to do $p$-adic analysis and geometry, it is often bad so adapt "naively" complex analytic ideas, basically because $\mathbb{Q}_p$ is disconnected. The modern approach to this is,...
- 4,418
6
votes
1
answer
283
views
Perfect $\mathbb Z_\ell$-modules
Disclaimer : I asked this question on Maths.StackExchange 20 days ago (and started a bounty) here but got no answer, so I'm asking it here now (with no modification).
$\newcommand{\l}{\ell} \...
- 15.9k
4
votes
0
answers
872
views
Definition of Iwahori subgroup independently of the Bruhat-Tits building
Let $G$ be the points of a connected, semisimple algebraic group over a $p$-adic field $k$. To make life easy, let's assume the underlying group scheme is simply connected. The Bruhat-Tits building $...
- 6,180
2
votes
0
answers
108
views
Can an abelian group have multiple different actions of $\mathbb{Z}_p$?
This is perhaps a trivial question, but I've asked a few colleagues and they couldn't answer. For a given abelian group $M$, is it possible to have several different actions of the ring of $p$-adic ...
- 21
2
votes
1
answer
312
views
Why $E_1(\mathbb{Q}_p)\cong\mathbb{Z}_p$
I read an article where it is said: $E_1(\mathbb{Q}_p)\cong \mathbb{Z}_p$ where $E$ is an elliptic curve over $\mathbb{Q}_p$ and $E_1(\mathbb{Q}_p)=\{P\in E(\mathbb{Q}_p):\tilde{P}=\tilde{O}\}$.
The ...
- 131
2
votes
0
answers
226
views
Where is the flaw in this argument with $p$-adic extensions?
I cannot find what I am missing in the following computation. Let $K=\mathbb{Q}_p(p^{1/{(p-1)p^{\infty}}})$ and $L=\mathbb{Q}_p(\zeta_{p^{\infty}})$, where $\zeta_{p^n}$ is a primitive $p^n$-th root ...
- 282
7
votes
0
answers
489
views
intuition for lattices in p-adic (or other non-Archimedean) vector spaces?
I could use some help to jumpstart my intuition for lattices in vector spaces over non-Archimedean fields, like $\mathbb{Q}_p$ and $\mathbb{F}_q((t))$.
I have some intuition for $\mathbb{Z}$-lattices ...
- 1,338
5
votes
0
answers
328
views
Analytic continuation of $f(x)=\sqrt{\frac{1-x}{1-x^p}}$ over the p-adics
Consider the power series $f(x)=\sqrt{\frac{1-x}{1-x^p}}$ over the algebraic closure of $\mathbb{Q}_p$, defined by $f(0)=1$.
What can be said about an analytic continuation "in the form of Mittag-...
- 461
1
vote
0
answers
74
views
valuation of a derivative in a completion
Let $q$ be a power of a prime $p$ and $w$ be an irreducible polynomial of $\mathbb F_q[T]$. Denote by $\mathbb C_w$ the completion of an algebraic closure of $K_w$, the completion of $\mathbb F_q(T)$ ...
- 3,998
3
votes
0
answers
253
views
Jacobian change of variables formula for $p$-adic valued integration?
Let $k$ be a $p$-adic field. It's possible to make sense of the Haar measure $\mu_{\operatorname{Haar}}$ on $k^n$ as a $k$-valued measure and define integrals
$$\int\limits_{k^n} f(x_1, ... , x_n) d\...
- 6,180
0
votes
0
answers
139
views
continuous isomorphism of $p$-adic field
In Cassels-Frolich, one can read this theorem (page 57): Let $K$ be a finite finite separable extension of the valued field $(k,v)$. Let $\overline k$ be the completion of $k$ and $(K_j)_{1\le j\le r}$...
- 3,998
4
votes
2
answers
336
views
$p$-adic series bounded if and only if it has finitely many zeros
Let $L\subseteq\mathbb{C}_p$ be a finite extension of $\mathbb{Q}_p$, $r$ be a positive real number, and $f$ be a series $\sum_{n\in \mathbb{Z}} a_nz^n$ convergent in $D= \{x\in \mathbb{C}_p|0<v(x)\...
user141691
7
votes
0
answers
154
views
On the isomorphism of the lattices of submodules of certain free modules
Let $K,L$ be two finite extensions of the $p$-adic field
$\mathbb{Q}_p$ of the same degree. Let $\mathcal{O}_K$ and
$\mathcal{O}_L$ be the ring of integers of these two fields, and let
$\mathcal{O}_K^...
- 50.8k
2
votes
1
answer
170
views
Modulus of growth in $p$-adic spherically complete field of $\mathbb C_p$
Let $F$ be the spherically complete extension of $\mathbb C_p$ and $(a_n)_{n\in\mathbb N}$ be a sequence of $\mathbb C_p$ such that for all $r\in\mathbb R$, one has $$\lim_{n\to+\infty}|a_n|_pr^n=0.$$ ...
- 3,998
2
votes
1
answer
263
views
Calculation of Tate epsilon factor in the ramified case
Let $F$ be a nonarchimedean local field, $\chi$ a ramified character of $F^{\ast}$, $\psi$ a nontrivial character of $F$, and $dx$ a Haar measure on $F$ with respect to which the Fourier transform is ...
- 6,180
3
votes
0
answers
164
views
Using the Hilbert symbol to find nice field extensions
Let $p$ and $q$ be (not necessarily distinct) odd primes and let $F=\mathbb{Q}_p(\mu_q)$. The $q^{th}$ Hilbert symbol induces a non-degenerate alternating form $$(\cdot,\cdot)_q:F^\times/(F^\times)^q\...
- 2,516
1
vote
1
answer
2k
views
p-adic expansion of roots of unity [closed]
Let $w$ be an n-th root of unity, I have two questions
1) What are the conditions on the prime $p$ such that $w\in \mathbb{Z}_p$, and if it is the case what is the p-adic expansion of an n-th root of ...
- 23
0
votes
1
answer
269
views
If two monic polynomials of $\mathbb{Z}_p[X]$ (p-adic integer coefficient) are relatively prime modulo p, then do they generate $\mathbb{Z}_p[X]$?
I'm currently reading a paper of Rene Schoof, and I got stuck in a line. And I'm trying to check the above sentence.
Although that seems to be elementary, I hope someone can give me a counterexample ...
- 1,013
4
votes
0
answers
306
views
Computing the $2$-adic volume of a special orthogonal group
Let $n \geq 0$ be an integer, let $A = (a_{ij})$ be the $(2n+1) \times (2n+1)$ matrix defined by $a_{ij} = 0$ unless $i + j = 2n+2$, in which case $a_{ij} = 1$. Let $G$ be the group scheme over $\...
4
votes
0
answers
124
views
Finite dimensional irreps of $p$-adic groups
What are some examples of finite dimensional irreducible complex representations of $SL_2(\mathbb{Q}_p)$?
One knows such a representations cannot be smooth, so probably the examples will be ...
- 81
7
votes
1
answer
681
views
Change of variables for $p$-adic integral
Say $p$ is an odd prime. Suppose I have a measure $\mu$ on $\mathbf{Z}_p$. As in II.4.3 in Colmez - Fonctions d'une variable $p$-adique, I can restrict $\mu$ to $1+p\mathbf Z_p$, and there is a ...
- 503
1
vote
0
answers
201
views
Extension of $\mathbb C_p$?
Let $K/\mathbb Q$ be a finite algebraic extension. Consider a prime $p$ and $v$ be a valuation of $K$ above the valuation $v_p$ of $\mathbb Q_p$. Denote by $K_v$ a completion for the valuation $v$ of $...
- 3,998
1
vote
0
answers
111
views
extension of absolute values in function fields and product formula
Let $\Omega$ be the completion of an algebraic closure of $\mathbb F_q\left(\left(\frac1T\right)\right)$ for the valuation $-\deg$. Let $K/\mathbb F_q(T)$ be a algebraic extension of finite dimension $...
- 3,998
3
votes
0
answers
76
views
Continuous extension of the derivation in positive characteristic
Let $\Omega$ be the completion of an algebraic closure of $\mathbb F_q\left(\left(\frac1T\right)\right)$ for the topology induced by the valuation $-\deg$. Does there exist a derivation on $\Omega$ ...
- 3,998
11
votes
2
answers
1k
views
Is there a proof of quadratic reciprocity using $p$-adic numbers?
I asked same question on MSE before, but I didn't get any answer yet.
I know that the quadratic reciprocity can be regarded as a special case of Artin reciprocity (class field theory), and we can ...
- 2,215
3
votes
0
answers
187
views
Simple transfinite generalization of $p$-adic integers
One way to define the ring of $p$-adic integers is as a quotient of the formal power series semiring $\Bbb N[[x]]/(x-p)$. One can likewise start with the formal power series ring $\Bbb Z[[x]]/(x-p)$ ...
- 4,907
3
votes
1
answer
398
views
Analytic continuation of a $p$-adic function
Let $(a_n)_{n\in\mathbb N}$ and $(b_n)_{n\in\mathbb N}$ be sequences of $\mathbb Q_p$ such that the function $f:z\in\mathbb Q_p\to\sum_{n\ge0}a_nz^n+b_nz^{n+1}$converges in $\{|z|_p<1\}$. Assume ...
- 3,998
1
vote
0
answers
147
views
On $\det\left[\frac1{i^2-ij+j^2}\right]_{1\le i,j\le p-1}$ and $\det\left[\frac1{i^2-ij+j^2}\right]_{1\le i,j\le (p-1)/2}$
QUESTION. Is my following conjecture true? If true, how to prove it?
Conjecture. Let $p$ be a prime with $p\equiv5\pmod 6$, and define the matrices $A_p$ and $B_p$ by
$$A_p:=\left[\frac1{i^2-ij+j^2}\...
- 15.6k
7
votes
1
answer
1k
views
Convergence of a $p$-adic series
Let $K$ be a local field of characteristic $0$ with valuation $v$. I think
$$\lim_{\substack{q\in K\\q\to1}}\sum_{n\ge0}\prod_{j=1}^n\frac{q^j-1}{q-1}$$ converges to $\sum_{n\ge0}n!\in K$ but I did ...
- 3,998
4
votes
0
answers
442
views
Index of the congruence subgroups of $PGL_2(\mathbb{Z}_p)$
Let $\Gamma_n$ be the $n$-th congruence subgroup of $GL(2,\mathbb{Z}_p)$. So $\Gamma_n$ consists of matrices in $GL(2,\mathbb{Z}_p)$ which are congruent to the identity matrix modulo $p^n$. Let $Z(\...
- 685
5
votes
1
answer
648
views
Endomorphisms of the p-adic group $(\mathbb Z_p,+)$
Does there exist an endomorphism of $(\mathbb Z_p,+)$ of finite order different of $x\mapsto\xi x$ where $\xi$ is a root of unity in $\mathbb Z_p$?
Thanks in advance
- 3,998
2
votes
0
answers
69
views
Invariant compact in division ring
Let $K$ be a discrete valued (with discrete valuation $v$) complete local division ring with ring of valuation $V$. Let $F$ be a compact subset of $V$. Suppose that for all $x\in F$ and for all $y\in ...
- 3,998
18
votes
2
answers
1k
views
Is a matrix similar to its transpose over $\mathbb{Z}_p$?
Is every $n \times n$ matrix with entries in $\mathbb{Z}_p$ (or even $\mathbb{Z}$) conjugate to its transpose via a matrix in $GL_n(\mathbb{Z}_p)$?
On the one hand, I know the analogous fact is false ...
- 2,242
2
votes
1
answer
413
views
$2$-adic valuation on $\mathbb Q (\sqrt{-15})$
I was reading the book "The structure of groups of prime power order". In the book (page 226, Example 10.1.18) it is proved that
$-15$ has a square root is $\mathbb Z_2$ where $\mathbb Z_2$ ...
- 243
6
votes
1
answer
716
views
Integral Tate-Sen theory
Let $K$ be a finite extension of $\mathbb{Q}_p$, and let $C=\widehat{\overline{K}}$ be the completion of the algebraic closure of $K$. Let $\mathscr{O}_C$ be the ring of integers in $C$, and let $G_K$ ...
- 23k