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
6
votes
2
answers
539
views
In what sense is $\Omega_p$ universal?
In Chapter 3 of the book ''A Course in $p$-adic Analysis'' A.M Robert defines the field $\Omega_p$. He calls the field ''universal'' but doesn't show a universal property. I would have guessed that it'...
- 3,871
10
votes
3
answers
1k
views
What's the number of solutions of the quadratic equation $x_1^2+\dots+x_m^2=0$ over finite ring $\mathbb{Z}/p^n$?
I want to calculate the number of solutions to the quadratic equation $$x_1^2+\dots+x_m^2=0$$ where $m$ is odd (a given number) and $x_i\in\mathbb{Z}/p^n$ for a given prime number $p$ and a given ...
- 63.9k
1
vote
0
answers
330
views
Automorphisms of the topological field $\mathbb{C}_p$ of $p$-adic complex numbers?
I am interested to see what is currently known about the automorphisms of the topological field $\mathbb{C}_p$ of $p$-adic complex numbers (with respect to the $p$-adic topology induced by the $p$-...
2
votes
0
answers
266
views
A "multi-adic" absolute value / topology?
Let $S$ be a set of finitely many prime numbers. Then, define $\left|\cdot\right|_{S}:\mathbb{Q}\rightarrow\left[0,\infty\right)$ by: $$\left|x\right|_{S}\overset{\textrm{def}}{=}\prod_{p\in S}\left|x\...
- 4,132
3
votes
0
answers
94
views
Projective limit of copies of same group w.r.t. some fixed endomorphism
In our study of automorphism groups of transcendental field extensions, we have encountered the situation where we have a group $F$ together with an endomorphism $\alpha \colon F \to F$, resulting in ...
- 6,614
1
vote
0
answers
94
views
How to estimate the highest power of 2 in the partial sum of 2-adic $\log(-1)$ (i.e. $\sum_{i=1}^n\frac{2^i}{i}$)?
The estimate I wanna get is $$v_2(\sum_{i=1}^n\frac{2^i}{i})\geq\min_{t\geq n+1}\{t-v_2(t)\}\tag{*}$$
where $v_2$ is the 2-adic valuation, that is the highest power of 2 defined on $\mathbb{Q}$.
Set $$...
CommunityBot
- 1
8
votes
1
answer
422
views
p-adic versions of log concavity for graphs (or matroids)
It was recently shown using techniques inspired by algebraic geometry (by Huh and Adiprasito-Huh-Katz) that the chromatic polynomial of a graph (or matroid) has coefficients that satisfy log-concavity....
7
votes
0
answers
394
views
Do algebraic completion/topological completion of fields always terminate? If so, are they unique?
Take the field $\mathbb{Q}$, If we complete it topologically with respect to the Euclidean norm, we get $\mathbb{R}$, then if we complete it algebraically, we get $\mathbb{C}$.
On the other hand, the ...
- 171
5
votes
1
answer
453
views
Computing the $p$-adic gamma function $\Gamma_p$
Let $p>2$ be a prime. For $n \in \mathbb{Z}^+$ we can define
\begin{equation}
F(n) = (-1)^n \prod_{1<i<n, p\nmid i} i.
\end{equation}
Since $\mathbb{Z}$ is dense in $\mathbb{Z}_p$, we can ...
- 707
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 ...
CommunityBot
- 1
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 ...
- 3,403
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 \...
- 476
12
votes
3
answers
2k
views
What is the value of $p$-adic $\zeta$-function at positive integer point?
$p$-adic zeta function is a $p$-adic interpolation of the Riemann $\zeta$-function for the values $\zeta(1−k)$, $k\ge 1$ (see $p$-adic Numbers, $p$-adic Analysis, and Zeta-Functions by Neal Koblitz) ...
- 61
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,065
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
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$-...
- 9,061
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
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 ...
- 149k
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\...
- 4,193
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^...
- 63.9k
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,132
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} \...
- 10.8k
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
7
votes
2
answers
606
views
convergence in $\hat{\mathbb{Z}}$, modulo prime power
The following problem appears in Lenstra's Galois Theory for Schemes (p 14, Ex 1.16).
Let $b\in\mathbb Z_{\ge0}$. Define the sequence $(a_n)_{n=0}^\infty$
by $a_0=b, a_{n+1}=2^{a_n}$. Prove that $...
- 63.9k
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 ...
CommunityBot
- 1
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 ...
- 12.9k
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)\...
- 41.1k
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^...
- 63.9k
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.$$ ...
- 12.3k
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 ...
CommunityBot
- 1
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\...
CommunityBot
- 1
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 ...
- 3,403
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 ...
- 2,017
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 $\...
2
votes
2
answers
2k
views
A multidimensional version of Hensel's lemma? (for more than one polynomial)
The classical Hensel's lemma is stated as follows: Let $f(x) \in \mathbb{Z}_p[x]$ and $a \in \mathbb{Z}_p$ satisfy
$$
|f(a)|_p < | f'(a) |_p^2.
$$
Then there is a unique $\alpha \in \mathbb{Z}_p$...
- 50.6k
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
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$ ...
- 63.9k
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 ...
- 50.6k
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 ...
- 10.9k