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
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
1
vote
1
answer
242
views
Can a p-adic ball cover a p-adic ball?
Are there a polynomials $f_1,...f_n \in \mathbb{Z}_p[x_1,...x_n]$ with there coeficients $p$-adic integers s.t.
A map $F:\mathbb{Z}_p^n\rightarrow \mathbb{Z}_p^n$ defined by $f_1,...f_n$
satisfy the ...
- 328
1
vote
1
answer
186
views
Finite-order automorphisms in the absolute Galois group of a $p$-adic field?
I'm searching for a sort of analogue of the complex conjugation.
More precisely, let $K$ be a characteristic zero field complete with respect to an ultrametric absolute value. Let $C$ be the ...
- 323
1
vote
1
answer
253
views
A vanishing sum and related $p$-adic congruences
Recently I had a curious discovery. Namely, I have made the following conjectures.
Conjecture 1. We have the identity
$$\sum_{k=0}^\infty\frac{(10k-1)\binom{3k}k\binom{6k}{3k}}{(2k+1)512^k}=0.\label{1}...
- 15.6k
1
vote
1
answer
348
views
Does $17x^4+y^2=-1$ have solution in $\Bbb{Q}_2(\sqrt{-5})$?
This question raised when I tried to calculate $2$-Selmer group of elliptic curve $E:y^2=x^3+17x$ over $\Bbb{Q}(\sqrt{-5})$.
$17x^4+y^2=-1$ does not have solution in $\Bbb{Q}_2$
(https://math....
- 1,541
1
vote
1
answer
881
views
Why is every l-adic Galois representation conjugate to one over the l-adic integers? [closed]
Why is every l-adic Galois representation
$$G_{\mathbb{Q}_p}\rightarrow GL_n(\mathbb{Q}_{l})$$
conjugate to one over the l-adic integers?
$$G_{\mathbb{Q}_p}\rightarrow GL_n(\mathbb{Z}_{l})$$
- 1,805
1
vote
1
answer
89
views
Compact subgroups of a linear group over non-Archimedean local field
$\DeclareMathOperator\GL{GL}$Let $\mathbb{F}$ be a non-Archimedean local field. Let $\mathcal{O}$ be its ring of integers.
Is it true that any compact subgroup of $\GL_n(\mathbb{F})$ is conjugated to ...
- 21.8k
1
vote
1
answer
381
views
Unramified extension over $ \mathbb{Q}_{p} $
Let $\mathbb{Q}_{p}$ be a p-adic field such that $ p \neq 2 $. We knew that for every $ n=2m $ there exists exactly one unramified extension $ K $ of $ \mathbb{Q}_{p} $ of degree $ n $, obtained by ...
- 923
1
vote
1
answer
193
views
null infinite product in the p-adic setting
Let $p$ be a prime, $\mathbb C_p$ be the completion of a algebraic closure of $\mathbb Q_p$ and $(u_n)_{n\in\mathbb N}$ be a sequence of $\mathbb C_p$ converging towards $0$. Suppose that for all $n\...
- 3,998
1
vote
1
answer
475
views
How does the solenoid structure of $\mathbb{A}/\mathbb{Q}$ lift to $PGL(2, \mathbb{A})/ PGL(2, \mathbb{Q})$?
Some papers I am reading talk about an "adelic" object $PGL(2, \mathbb{Q}) \backslash PGL(2, \mathbb{A})$ . This has sparked a lot of confusion since I don't know what such a quotient could mean.
A ...
- 22.8k
1
vote
1
answer
280
views
$p$-adic $L$-functions and congruence of $L$-values
I am reading about $p$-adic $L$-functions and I have one question in mind.
To start with, I will write a proof I've learned of a congruence of $L$-values:
Theorem: Let $p\geq5$ be a prime, $\alpha\...
- 302
1
vote
1
answer
428
views
Characters of p-adic units
Let $p$ be a prime and denote by $\mathbb{Z}_p^{\times}$ the group of $p$-adic units. Suppose that $\chi$ is a character $\chi: \mathbb{Z}_p^{\times} \rightarrow \mathbb{C}^{\times}$. Then it is well ...
- 59
1
vote
1
answer
190
views
Hilbert symbols vanishing
Let $p$ be an odd prime, and let $E/\mathbb{Q}_p$ be a finite extension that contains a primitive $p$-th root of unity $\zeta_p$ but not a primitve $p^2$-th root of unity $\zeta_{p^2}$. Let $a,b \in E^...
- 11.3k
1
vote
1
answer
74
views
Time complexity of Magma's `NormEquation` for quadratic extensions of $2$-adic fields
Note: This is similar to, but easier than, a previous question I asked here. It is a different question! I'm hoping this one might get an answer because it concerns a standard algorithm, whereas the ...
- 411
1
vote
1
answer
150
views
Quadratic unramified extension of a p-adic field
Let $F$ be a non-archimedean local field of residual characteristic $p\neq 2$, and let $E=F[\sqrt{\epsilon}]$ be the quadractic unramified extension, here $\epsilon$ is a non-square element of $\...
- 63
1
vote
1
answer
289
views
Inverse limit of $p^n$-torsion abelian groups
Let $p$ be a prime and let $\{A_n\}_{n > 0}$ be an inverse limit of abelian groups such that $A_n$ is $p^n$-torsion with $A_n/p^{n - 1} \cong A_{n - 1}$ (these isomorphisms are part of the data). ...
- 2,663
1
vote
0
answers
246
views
To justify the intuition about #$E(\Bbb Q_p)$＝$∞$
Let $E$ be an elliptic curve on $\Bbb Q_p$.
$E_0(\Bbb Q_p)$ is points of $E(\Bbb Q_p)$ reduced to nonsingular points.
How to prove #$E(\Bbb Q_p)$＝$∞$ directly ?
According to Silverman's book 'the ...
- 1,541
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$-...
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 $$...
user178596
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
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
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
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
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
1
vote
0
answers
146
views
Class field theory, Ideles class
Let $H$ be a totally complex Galois extension of $\mathbb{Q}$ and $g:G_H \rightarrow \bar{\mathbb{Q}}_p$ be a continuous morphism. By class field thoery we have $\mathrm{Hom}(G_H, \bar{\mathbb{Q}}_p)\...
- 1,066
1
vote
0
answers
122
views
Cycle with integral coefficients from cycle with $\mathbb Z_l$-coefficients
Let $X$ be a $n$-dimensional ($n>2$) smooth projective variety over $k=\bar k$ of positive characteristic. Take a divisor $D\in Pic(X).$ Suppose we know that $\frac{[D]^2}{2}\in H^4(X,\mathbb Z_l(...
- 155
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
0
votes
1
answer
346
views
a question about a result in Bushnell-Henniart book 'the local Langlands conjecture for GL(2)'
This might be a easy question, but I couldn't get the point.
Let $F$ be a p-adic field, $\bar{F}$ a separable algebraic closure of $F$. Set $\Omega_F=Gal(\bar{F}/F)$. Use $F_{\infty}\subset \bar{F}$ ...
- 2,709
0
votes
1
answer
568
views
A confusion about power series and p-adic measures
In page 16 of these notes on $p$-adic $L$-functions, it makes the following claim:
Let $\alpha$ be a $p$-adic measure on $\mathbf{Z}_p$ which corresponds to a power series $F_{\alpha}(T) \in \mathbf{...
- 1,949
0
votes
1
answer
170
views
Integral closure in the algebraic closure of $p$-adic numbers
Let $p$ be a prime number and let $\overline{\mathbb{Q}}_p$ be a fixed algebraic closure of the $p$-adic numbers $\mathbb{Q}_p$. It is well know that the ring of integers of $\mathbb{Q}_p$ is the ring ...
- 367
0
votes
1
answer
96
views
Sums of powers of measures of $p$-adic balls
Let $(a_n,k_n) \in \mathbb{Z}_p \times \mathbb{N}$ for $n \in \mathbb{N}$ and consider the sequence of closed $p$-adic balls $B(a_n,k_n) = a_n + p^{k_n}\mathbb{Z}_p$. I assume that the $(a_n,k_n)$ are ...
- 21.4k
0
votes
1
answer
426
views
How do I extend the $2$-adic absolute value to prove Monsky's Theorem?
In proving Monsky's Theorem, it is required that we define the $2$-adic absolute value on an arbitrary finitely generated extension of $\mathbb{Q}$ say $\mathbb{K}=\mathbb{Q}(\alpha_1,\ldots,\alpha_n)$...
user500557
0
votes
1
answer
155
views
$p$-adic order of Pochhammer k-symbol
I am with the following problem.
There is a closed formula or some lower bound for the $p$-adic valuation of the product $\prod_{k=1}^m(a+k\ell)$ (Pochhammer symbol)? where $a$ and $\ell$ are ...
0
votes
1
answer
276
views
Partitioning the unit ball in an ultrametric space
Consider an ultrametic space $X=K^n$ (for the norm $\| x\| =\max_{i=1,n} (\mid {x_1}\mid,\dots,\mid{x_n}\mid)$ where $K$ is an ultrametric field. Let $B(1):=\lbrace x \in X \mid \|x\| \leq 1\rbrace$ ...
user16974
0
votes
0
answers
81
views
What is the action of the Galois group due to Lubin-Tate formal group on the respective Tate module?
It is a well-known fact that a Tate module $T_p(A)$ of an abelian group (abelian variety or commutative group scheme) $A$ over a field $K$, equipped with a continuous action of the respective absolute ...
- 195
0
votes
0
answers
81
views
Can every $\ast$-algebra be represented in this space of matrices?
Let $k$ be a field with characteristic $0$. For every set $X$, let $\mathcal{B}(X)$ be the set of (possibly infinite) matrices $T = (T_{x,y})_{x,y \in X}$ with coefficients in $k$ such that in each ...
- 1,485
0
votes
0
answers
71
views
Space of non-archimedean characters is nonempty
Let $k$ be an algebraically closed complete non-archimedean field. Let $\mathcal{O}_k$ be its ring of integers. Suppose that $A$ is a $k$-Banach algebra, and $B$ is its closed unitary ball. Note that $...
- 1,485
0
votes
0
answers
116
views
What is the quotient group $\mathfrak{q}^2/\mathfrak{p}^2 \mathbb{Z}_p$?
Let $p \geq 2$ be prime and $K=\mathbb{Q} (\zeta_p),~ \zeta^{p-1}=1$ with ring of integers $\mathcal{O}_K$. We denote $\mathfrak{p} \mid p$ the prime ideal of $K$ dividing $p$. Let $K_{\mathfrak{p}}$ ...
- 930
0
votes
0
answers
124
views
How extension $\Bbb{Q}_p(\hat{E}[p])/\Bbb{Q}_p$ looks like?
Let $E/ \Bbb{Q}_p$ be an elliptic curve over $ \Bbb{Q}_p$. $\hat{E}$ denote the corresponding formal group of $E$.
I want to know what
$\Bbb{Q}_p(\hat{E}[p])/\Bbb{Q}_p$ is .
At first I tried to prove ...
- 1,541
0
votes
1
answer
607
views
Method to solve modular quadratic polynomial [duplicate]
If $q$ is a prime what is the best method to compute roots of a quadratic polynomial $f(x)\equiv0\bmod q^2$ which is of form $x^2+bx+c\equiv0\bmod q^2$ where $b^2-4c\equiv0\bmod q$ and $gcd(b,q)=1$ ...
- 13.9k
0
votes
0
answers
202
views
When is $u \circ v=v \circ u$ for $p$-adic power series $u$ and $v$ in two power series rings $A$ and $B$ respectively?
Let $K \supset \mathbb{Q}_p$ be the $p$-adic field with ring of integers $O_K$ and maximal ideal $m_K$. Let $\bar K$ be the algebraic closure and $\bar{m}_K$ be the integral closure of $m_K$ with ...
- 930
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
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
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
0
votes
0
answers
231
views
Unexpected isomorphisms between "unrelated fields"
I read in the post Why worry about the Axiom of Choice ? that the existence of isomorphisms between $\overline{\mathbb{Q}_p}$, $p$ any prime, and $\mathbb{C}$, makes some worry about the Axiom of ...
- 4,605
0
votes
1
answer
432
views
$p$-adic orthogonal groups in four variables
Let $p>2$ be prime. By the classification of quadratic forms, there are $8$ pairwise non-equivalent isotropic orthogonal groups in $4$ variables. Is there a concrete classification of orthogonal ...
- 6,224
0
votes
0
answers
197
views
Name of some commutative ring akin to $p$-adics
I need help in identifying the naming convention of some commutative ring described below.
Let $p$ be a prime, let $k$ be a positive integer, and let $$\textbf{e} = (e_0,\ldots,e_{k-1})$$ be a list ...
- 103
0
votes
0
answers
121
views
Computing a projection of a $p$-adic plane curve
Given a prime $p$ and a polynomial equation $f(x,y)=0$ with rational coefficients, I would like to obtain a precise description of the set of all numbers $y\in\mathbb Q_p$ such that the equation has a ...
- 1,021
0
votes
0
answers
391
views
the definition of pro-infinitesimal thickenings
Let $R$ be a ring and $A$ and $R$-algebra. A pro-infinitesimal thickening of $R$ is a pair $(D, \theta)$ such that $\theta: D \rightarrow R$ is surjective and $D$ is separated and complete for the $I:=...
- 287