# 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

132
questions

**2**

votes

**1**answer

241 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 ...

**2**

votes

**0**answers

163 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 ...

**6**

votes

**0**answers

155 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 ...

**5**

votes

**0**answers

243 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-...

**1**

vote

**0**answers

58 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**

votes

**0**answers

98 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\...

**0**

votes

**0**answers

91 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}$...

**4**

votes

**2**answers

275 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)\...

**6**

votes

**0**answers

69 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^...

**2**

votes

**1**answer

113 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.$$ ...

**2**

votes

**1**answer

99 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 ...

**3**

votes

**0**answers

120 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\...

**-1**

votes

**1**answer

264 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 ...

**0**

votes

**1**answer

182 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 ...

**4**

votes

**0**answers

225 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

108 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 ...

**6**

votes

**1**answer

389 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 ...

**1**

vote

**0**answers

165 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 $...

**1**

vote

**0**answers

51 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 $...

**2**

votes

**0**answers

71 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$ ...

**11**

votes

**2**answers

507 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 ...

**3**

votes

**0**answers

90 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)$ ...

**3**

votes

**1**answer

262 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 ...

**1**

vote

**0**answers

126 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}\...

**7**

votes

**1**answer

415 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 ...

**4**

votes

**0**answers

260 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(\...

**3**

votes

**1**answer

283 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

**2**

votes

**0**answers

61 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 ...

**14**

votes

**2**answers

683 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**

votes

**1**answer

230 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$ denotes ...

**6**

votes

**1**answer

295 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$ ...

**2**

votes

**0**answers

78 views

### Volume of a double class of a parahoric subgroup

Let $F$ be a non-archimedean local field with residue field $F_q$. Let $G$ be the group of $F$-rational points of a connected reductive group defined and split over $F$. Fix a maximal split torus $T$ ...

**4**

votes

**0**answers

194 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$...

**20**

votes

**1**answer

780 views

### What is $\mathbb{Q}_1$, the “field of $1$-adic numbers”?

(Disclaimer: I'm totally ignorant about $\mathbb{F}_1$ theory)
There are now (several) working definitions of the "field with one element" $\mathbb{F}_1$ (not literally a field, of course), and ...

**1**

vote

**1**answer

138 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**

votes

**1**answer

173 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 ...

**2**

votes

**1**answer

192 views

### On an isomorphism between $p$-adic power series and an inverse limit

Let $K$ be an extension field of $\mathbb{Q}_p$, let $O$ be the ring of integers of $K$, and let $P$ be the maximal ideal of $O$.
If $K$ is a finite extension of $\mathbb{Q}_p$, there is the well-...

**4**

votes

**1**answer

160 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 ...

**11**

votes

**3**answers

537 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-...

**4**

votes

**0**answers

169 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$....

**4**

votes

**0**answers

135 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= \...

**3**

votes

**1**answer

330 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&&&&...

**1**

vote

**1**answer

240 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$...

**6**

votes

**0**answers

143 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 ...

**8**

votes

**1**answer

441 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 ...

**3**

votes

**0**answers

144 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 ...

**11**

votes

**0**answers

820 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$-...

**2**

votes

**0**answers

87 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 ...

**8**

votes

**0**answers

183 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**

vote

**1**answer

155 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^...