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
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,107
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
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(\...
- 4,713
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
- 1,474
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 ...
- 12.9k
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 ...
- 3,823
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$ ...
CommunityBot
- 1
13
votes
3
answers
691
views
Some questions on the $p$-adic properties of special $L$-values
Warning: Some naive, speculative questions from a total non expert.
Let $\rho$ be a p-adic representation of the Galois group $Gal(\overline K/K)$ for a number field $K$. We can consider the Artin L-...
CommunityBot
- 1
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$ ...
- 13.1k
6
votes
0
answers
698
views
Jacobson radical of a tensor product
Let $R$ be a commutative ring and $A_1$, $A_2$ be $R$-algebras. Is there any general mean to compute the Jacobson radical of the tensor product $A_1\otimes_R A_2$ in terms of ${\rm Rad}(A_i )$, $i=1,2$...
- 6,349
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). ...
- 34
2
votes
1
answer
202
views
Decomposition of $\widehat{k^{\times}}$ occuring in local class field theory
Let $k$ be a finite extension of $\mathbb{Q}_p$ very often we use the isomorphism that $Gal(\overline{k}/k)^{ab} \simeq \hat{(k^{\times})}$ given by local class field theory.
My question would be do ...
- 1,386
11
votes
1
answer
774
views
2-adic Logarithm and Resistance of n-dimensional Cube
Resistance across opposite vertices of n-dimensional cube with each edge at one ohm resistance is
$$R_n=\sum_{k=0}^{n-1}\frac1{(n-k){n\choose k}}=\frac1n\sum_{k=0}^{n-1}\frac1{{n-1\choose k}}.$$
The ...
- 16.5k
4
votes
1
answer
273
views
Kummer congruences for totally real number fields
There is a generalization of the Kummer congruences to totally real number fields with characters due to Deligne-Ribet. For example, see the exposition here, more precisely see Theorem 2.1.
What is ...
- 5,670
49
votes
5
answers
3k
views
If a unitsquare is partitioned into 101 triangles, is the area of one at least 1%?
Update: The answer to the title question is no, as pointed out by Tapio and Willie. I would be more interested in lower bounds.
Monsky's famous theorem with amazingly tricky proof says that if we ...
- 19.1k
4
votes
0
answers
216
views
Structure of modules over Iwasawa algebra $\mathbb{Z}_p[[T]]$ when taken mod $p$
Let $A \in M_n(\mathbb{Z}_p)$ be a nonsingular matrix which is nilpotent mod $p$, so $A^r \in pM_n(\mathbb{Z}_p)$ for some $r$. Then $\mathbb{Z}_p[[T]]$ acts on $\mathbb{Z}_p^n$ with $T$ acting by $A$....
- 568
4
votes
0
answers
144
views
Does a countably generated $\mathbb{Q}$-algebra inject into some $p$-adic field?
Let $K$ be a subfield of $\mathbb{C}$. If $K$ is finitely generated over $\mathbb{Q}$, then $K$ injects into $\mathbb{Q}_p$ for some $p$.
Assume that $K$ is countably generated, i.e., $K= \...
- 71
3
votes
1
answer
611
views
Is there a better proof for this than using the 10-adic numbers?
Here are two somewhat strange sums using the shifted decimal forms of the powers of $3.$
$\begin{equation*}\begin{array}{ccccccc}
&1&&&&&& \\
&&3&&&&...
- 60.6k
2
votes
1
answer
695
views
The Unit Group of $\mathbb{Z}_p$
Let $\mathbb{Z}_p$ the ring of $p$-adic numbers. It's known that the multiplicative unit group $\mathbb{Z}_p ^\times$ can be set theoretically described as $\bigcup _{1 \le a \le p-1} a+ p\mathbb{Z}_p$...
- 47.4k
6
votes
0
answers
224
views
Specifying cokernels of all powers of $p$-adic matrix
Given a matrix $A \in M_d(\mathbb{Z}_p)$ (with nonzero determinant), viewed as a map $\mathbb{Z}_p^d \to \mathbb{Z}_p^d$, I am interested in the sequence of abelian $p$-groups $\{coker(A^n)\}_{n \geq ...
- 63.9k
6
votes
0
answers
2k
views
Newton Method in $p$-adic case
The Newton Method over $\mathbb{R}$ has the property that the precision is doubled (under some continuous differentiable assumption) in each iteration. For the ring $\mathbb{Z}_p$ of $p$-adic integers,...
- 63.9k
11
votes
1
answer
690
views
Mori: p-adic and real hemispheres of the mathematical universe?
I recall having read, some time ago, a beautiful and poetic opening of an article (or was it a book?). From memory, it was by Shigefumi Mori, and talked about the (mathematical) universe consisting of ...
- 13.8k
25
votes
1
answer
833
views
Only finitely many values of the symmetric functions of $1/1,1/2,\ldots,1/n$ are $2$-adic integers (?)
For integers $n \geq k \geq 1$ let
$$H(n,k) := \sum_{1 \leq i_1 < \cdots < i_k \leq n} \frac1{i_1 \cdots i_k}$$
be the $k$-th elementary symmetric function of $\tfrac1{1},\tfrac1{2}, \ldots, \...
- 44.4k
3
votes
0
answers
213
views
Inverse of reduction mod $p$ functor?
I have a very general, and possibly not very precisely stated question, which comes up quite often in my work, and I would be very happy to be able to address. To my dismay, I only have some very ...
- 993
11
votes
0
answers
1k
views
Nick Katz observation: "the rationality of the zeta function!"
In the proceedings "Algebraic Geometry - Arcata 1974" edited by R. Hartshorne there is an article by Nick Katz called "$p$-adic $L$-functions via moduli of elliptic curves". He starts by recalling $p$-...
- 3,107
2
votes
0
answers
102
views
Zero digits of a p-adic algebraic number
This question might be too simple and I just don't see something very obvious, so I apologize in advance if that is so.
Let $p$ be a prime number and let $\mathbb Z_p$ denote the ring of $p$-adic ...
- 1,625
8
votes
0
answers
245
views
Relation between valuation of p-adic regulator of totally real field and its finite p-unramified abelian extensions
For each prime number $p$ and number field $k$, there exists at least one extension $k_{\infty}/k$ with Galois group isomorphic to $\mathbb{Z}_p$, the cyclotomic $\mathbb{Z}_p$-extension. If $k_p/k$ ...
- 1,521
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^...
- 1,766
11
votes
2
answers
813
views
lowest degree of polynomial that removes the first digit of an integer in base p
Let $p$ be an odd prime and $n \geq 2$.
(1) Does there exist an integer-coefficient polynomial $f$ such that $f(x) = x - (x \bmod p)$ for all $x \in \mathbb{Z}/p^n \mathbb{Z}$? The polynomial ...
- 75
2
votes
0
answers
140
views
Completing vs Extending a field
Given a field and a metric on it, consider the goal of completing it and extending it in order to get an algebraicly closed and complete field.
How should one proceed? Should one first complete it ...
- 53.3k
3
votes
1
answer
2k
views
What is $p$-adic Fourier series?
Q1: Can we define Fourier series for a function $\mathbb{Z}_p\to \mathbb{Q}_p$?
Q2: There are (in a real case) Bernoulli polynomials which have the most simple Fourier expansion:
$$B_n(\{x\})=-\frac{...
- 3,107
3
votes
1
answer
787
views
Cardinality of ${\mathbb{C}_p}$ [closed]
I know, that field ${\mathbb{Q}_p}$ (field of p-adic numbers) has the same cardinality as $\mathbb{C}$. Taking algebraic closure doesn't change the cardinality of infinite field, so cardinality $\...
- 47.4k
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 ...
- 188k
5
votes
0
answers
262
views
p-adic analogue of self-adjoint operator
Consider the very well-known result that any Hermitian matrix over $\mathbb{C}$, say $T$, admits a decomposition $T = UDU^*$ where $U$ is unitary and $D$ is diagonal with real entries. I am looking ...
- 63.9k
9
votes
0
answers
408
views
Transcendence of the $p$-adic number $\sum_{n\ge0}a^{2^n}$
Let $p$ a prime number and $a\in\overline{\mathbb Q}\subset\mathbb C_p$ be an algebraic $p$-adic number such that $|a|_p<1$.
Is the number $s_a=\sum_{n\ge0}a^{2^n}$ transcendental over $\mathbb ...
- 3,998
5
votes
1
answer
898
views
p-adic expansion for elements in algebraic closure of p-adic numbers
In the following I will describe a proposal for the p-adic expansion of the elements of the algebraic closure $\overline{\mathbb{Q}_p}$ of $\mathbb{Q}_p$. My question is if this "conjecture" has been ...
- 596
14
votes
1
answer
1k
views
A quantitative version of Hensel's Lemma
I've been reading some papers on Igusa zeta functions, and they seem to be implicitly using a "quantitative version" of Hensel's Lemma, which also asserts the number of lifts of a $\mathbb{Z}/p\mathbb{...
- 4,195
4
votes
1
answer
973
views
convergent series representation for p-adic complex numbers
The field $\mathbb{C}_p$ of $p$-adic complex numbers is the completion of the algebraic closure of $\mathbb{Q}_p$ with the corresponding extension of the usual non-Archimedean valuation $|\;\;|_p$.
...
- 1,856
5
votes
1
answer
670
views
Linear independence of p-adic logarithms (analog of Baker's theorem)
We have the following theorem of Baker:
Theorem 1. Let $\alpha_1, \ldots, \alpha_m \in \mathbb{C}$ be algebraic numbers $\neq 0, 1$ such that $\log \alpha_1, \ldots, \log \alpha_m$ are linearly ...
- 30.5k
3
votes
0
answers
119
views
Does anyone know anything about the 2-valuation of the discriminant of a polynomial?
Take a random polynomial $f$ with integer coefficients (e.g., choose coefficients between $1$ to $B$ of a fixed degree $n$ and let $B$ tend to $\infty$). Using computer we noted that the 2-valuation ...
- 3,362
22
votes
1
answer
3k
views
What is the $p$-adic Langlands conjecture for $\mathbf{GL}_1$?
In the Boston conference on Fermat's Last Theorem (Summer 1995), Barry Mazur said (around 15m into the video) about class field theory that
If you are a number-theorist and you want to cheer ...
CommunityBot
- 1
3
votes
1
answer
341
views
Dihedral extension of 2-adic number field
Sorry if the question is too long and maybe elementary.
I am reading a paper by Hirotada Naito on "Dihedral extensions of degree 8 over the rational p-adic fields". To generate dihedral extension $K(\...
- 18.7k
3
votes
0
answers
198
views
Characterizing rational functions on $\mathbb{Q}$ in terms of smooth extensions to $\mathbb{R}$ and $\mathbb{Q}_p$
Consider a function $f$ from a cofinite subset of $\mathbb{Q}$ to $\mathbb{Q}$. As established here and here $f$ extending to a smooth function on a cofinite subset of $\mathbb{R}$ is not sufficient ...
CommunityBot
- 1
5
votes
2
answers
528
views
2-adic valuation of odd harmonic sums
(This question is cross-posted on math.stackexchange)
I'm playing with p-adic valuations, and find that the odd harmonic sums, $\tilde{H}_k=\sum_{i=1}^{k}\frac{1}{2i-1}$, has 2-adic valuation $||k^2||...
CommunityBot
- 1
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 ...
CommunityBot
- 1
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\...
- 6,924
2
votes
0
answers
166
views
Relative Leopoldt defect
Let F be a totally real number field such that the Leopoldt conjecture holds at a prime number $p$ and $M$ be a quadratic totally real extension of $F$.
Is there a bound of the Leopoldt defect of $M$ ...
- 1,066
6
votes
1
answer
410
views
A $p$-adic sum of reciprocals of powers
Let $p$ be a prime number and $k\geq 2$ an even integer. Consider the following $p$-adic integer:
$$
S_{p,k} := \lim_{r\to+\infty} \sum_{a=1}^{p^r} \big(\frac{p^r}{a}\big)^k
$$
Convergence is easy to ...
- 9,061
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)\...
- 10.9k