In mathematics the $p$-adic number system for any prime number $p$ extends the ordinary arithmetic of the rational numbers in a way different from the extension of the rational number system to the real and complex number systems.

learn more… | top users | synonyms

13
votes
0answers
230 views

p-adic Lie groups vs. algebraic groups over $\mathbb{Q}_p$

I am somewhat confused about the following two concepts and the relations between them- One concept is a Lie group $G$ over the $p$-adic field. This is defined in a similar fashion to a (real) Lie ...
8
votes
0answers
40 views

Is torsion of a topological module closed?

I was asking to myself the following question. Consider a $p$-adically complete and separated topological algebra $R$ over $\mathbb{Z}_{p}$. As $\mathbb{Z}_{p}$ is a domain, we know that the ...
7
votes
0answers
169 views

Maps between spectral sequences

I am trying to understand a subtle point about how Theorem 2.2.5 is used in Kedlaya, Abbott, and Roe's "Bounding Picard numbers of surfaces using p-adic cohomology". Below I've tried to pose the ...
7
votes
0answers
98 views

Ramification group fixing an unramified extension

For a Galois extension of local fields $L/K$ with Galois group $G$, define the ramification groups $G_i$ by $$G_i = \{ \sigma \in G : \nu_{L}(\sigma(x) - x) \geq i+1 \text{ } \forall x \in ...
6
votes
0answers
105 views

A slightly stranger Hensel's Lemma

I'm trying to understand the solution to this problem. It came up when doing some revision. It is essentially to show that the conclusion of Hensel's Lemma holds if we have take a valuation ring $R$ ...
5
votes
0answers
36 views

Proving that $-1$ has no square root in $\mathbb Z_3$ (3-adic integers)

I want to prove that $-1$ has no square root in $\mathbb Z_3$ (3-adic integers). By the definition of inverse limit, we know that there is a ring homomorphism $\phi$ from $\mathbb Z_3$ to $\mathbb ...
5
votes
0answers
79 views

Relation between Bombieri theorem and p-adic squares

Koblitz states in his book on p-adic numbers on page 84: Suppose that $\alpha \in \mathbb Q$ is such that $1 + \alpha$ is the square of a nonzero rational number $a/b$. Let $S$ be the set of all ...
5
votes
0answers
143 views

Neukirch's motivation for $p$-adic numbers

I've started reading Neukirch's Algebraic Number Theory book and at the beginning of Chapter II he starts his motivation for the $p$-adic numbers as follows: "The idea originated from the observation ...
5
votes
0answers
57 views

A p-adic integral

Let $(K,||)$ be a finite extension of $\mathbb{Q}_p$ of degree $d$ such that the restriction of $||$ to $\mathbb{Q}_p$ is the usual p-adic absolute value. Endow $GL_n(K)$ with the unique Haar measure ...
5
votes
0answers
287 views

Intersection of nested open sets

Consider a nested sequence $O_1$, $O_2$, $\dots , O_k, \dots $ of open sets in $\mathbb{Q}_p^n$ such that $O_i \setminus O_{i+1}$ has empty interior. Under which conditions do we have $\bigcap_k O_k$ ...
5
votes
0answers
181 views

Is there a notion of *p-adic Dedekind Domains*?

As we all know, the ring $Z_p$ can be constructed as the projective limit of the rings $Z/p^{n}Z$. Now is there any generalization such as the p-adic completions of a Dedekind Domain? This might be ...
4
votes
0answers
63 views

Question about topological properties of $\Bbb{C}_p$

It is known that the structure of $p$-adic integers, $\Bbb{Z}_p$ is homeomorphic to the Cantor set, and $\Bbb{Q}_p$ is homeomorphic to the one-point deleted Cantor set (as I know, I don't certain it.) ...
4
votes
0answers
31 views

properties of certain semigroup action on $\mathbb{Z}/p\mathbb{Z}$

Suppose we have a polynomial $f \in \mathbb{Z}/p\mathbb{Z}[x]$, $f(x) = x^2 - x$. We are interested in elements $n \in \mathbb{Z}/p\mathbb{Z}$ such that after repeated application of f they ...
4
votes
0answers
202 views

Why is the Euclidean metric called the prime at infinity?

I've been studying p-adic analysis recently and after a bit of searching on the web, I haven't found an answer as to why the Euclidean metric is referred to as the 'prime at infinity', and given the ...
4
votes
0answers
123 views

p-adic liftings on SAGE

I asked a question the other day: Multidimensional Hensel lifting which @Hurkyl kindly and very elegantly answered. A follow-on from this is that I have tried to implement exactly the "algorithm" ...
4
votes
0answers
145 views

Liftings in unramified extensions of $\Bbb Z_p$

[Edit : I have changed the formulation of the question. Sorry for the trouble] Here is a stupid question, maybe trivial. Let $p$ be a prime number, $q = p^n$ where $n$ is an integer, $R = ...
4
votes
0answers
69 views

Green’s formula in p-adic integration

Is there an analogue of Green's formula in p-adic integration (with respect to the Haar measure)?
4
votes
0answers
497 views

p-adic numbers and binomial coefficients

Let $\alpha\in \mathbb{Z}_p$ be an $p$-adic integer and define for $n\in \mathbb{Z}_{\geq 0}$ $${\alpha\choose n} := \frac{\alpha(\alpha-1)\cdot\ldots\cdot(\alpha-n+1)}{n!}.$$ This is again a ...
3
votes
0answers
53 views

“Logarithmic derivative of a p-adic number”

Coleman, in "Division Values in Local Fields", (Inventiones math. 53, 91 - 116 (1979)), says that In his work on cyclotomic fields Kummer observed that various formal operations on power series ...
3
votes
0answers
77 views

Kummer map and cohomology group for an elliptic curve

Let $E=E_q$ be the Tate ellipitc curve over a finite extension $K$ of $\mathbb{Q}_p$ for a $q$. Let $T$ be its p-adic Tate module. Let $\mathfrak m$ be the maximal ideal in $K$. I saw in this paper ...
3
votes
0answers
59 views

Is there a better representation than p-adics for exact computer arithmetic?

I stumbled across Quote notation and went hog wild. But when I stumbled on a technical detail I received a very discouraging comment: I think those authors may have been a bit short-sighted, ...
3
votes
0answers
36 views

How to write the Adeles over $\mathbb{Q}(i)$?

What do these adeles look like over $\mathbb{Q}(i)$? These are simply fractions where the numerator and denominator are allowed to have the number $i = \sqrt{-1}$. The elements look like: $$ ...
3
votes
0answers
27 views

Determinant 1 matrix does not change p-adic measures

Let $f:\mathbb Z^d \rightarrow \mathbb Z^d$ be a linear map having determinant 1. Is there an obvious way to see that if $U\subseteq \mathbb Z_p^d$ is a measurable set, then the p-adic measure of $U$ ...
3
votes
0answers
108 views

Classical geometry vs. p-adic geometry

I am interested in learning more about $p$-adic analysis and some of the geometric theories that are commonly used. However, it seems that many of the tools there are developed from analogous ...
3
votes
0answers
28 views

Iwasawa module: $O[[G]]$ is noetherian where $G$ is a compact $p$ adic Lie group

Let $G$ be a compact $p$ adic Lie group. Let $E$ be a finite extension of $\Bbb{Q}_p$ with ring of integers $O$. Then how to show that $O[[G]]$ is noetherian. I was reading the article here and on ...
3
votes
0answers
55 views

Herbrand Quotient: Formula for $|K^*/(K^*)^n|$

NB: Please restrict answers to hints and not solutions. Problem: Use the theory of the Herbrand quotient $q(A)=H^{0}(A)/H^{1}(A)$ to show that, if $K$ is a finite extension of $\mathbb{Q}_p$, and ...
3
votes
0answers
81 views

For $p\ge3$ there is no extension of $\mathbb Q_p$ with Galois group $S_4$

I'm trying to show that if $p\ge3$ is prime, then There is no extension $K$ of the field of $p$-adic numbers $\mathbb Q_p$ with Galois group $S_4$. I know that $K$ must have a subextension ...
3
votes
0answers
76 views

Lucas' Theorem for $p$-adic integers?

Does Lucas' Theorem hold for $p$-adic integers? More specifically, does it specifically hold for the case that, given a $p$-adic integer: $$x = x_0 + x_1p + x_2p^2 + \cdots = \sum_{i=0}^\infty ...
3
votes
0answers
70 views

Does a generalization of the Teichmuller-character for non-prime arguments exist?

Rereading an older article on Fermat-quotients in which I'd applied some p-adic-rationale I find now, that my method for the representation of bases $b$ which allow high fermat-quotients ...
3
votes
0answers
32 views

GL$_2(\mathbb{Q}) Z_{\mathbb{R}}$ closed in GL$_2(\mathbb{A})$?

I am struggling with the following subgroups of GL$_2(\mathbb{A})$ where $\mathbb{A}$ is (the topological ring of) Adeles over $\mathbb{Q}$: $$G_\mathbb{Q} := \iota(\text{GL}_2(\mathbb{Q})) $$ where ...
3
votes
0answers
115 views

An application of Hensel's lemma to some different fields

I would like to prove the following. Let $p>2$ be a prime number, $\mathbb{Q}_{p}$ the field of p-adic numbers Let $u\in \mathbb{Z}_{p}^{\times}$ be a unit. (1)Prove that the following are ...
3
votes
0answers
313 views

Constructing the complex p-adic numbers

I'm reading through "$p$-adic Numbers, $p$-adic Analysis, and Zeta-Functions" by Koblitz to learn about p-adic numbers. In chapter 3, he describes the construction of $\Omega$ (a.k.a. $\Omega_p$), the ...
3
votes
0answers
69 views

$ \mathcal O_K/(p) \cong \mathbb F_p[T]/(T^n)$?

Let $K$ be a totally ramified extension of $\mathbb Q_p$ of degree $n$. Then $$ \mathcal O_K/(p) \cong \mathbb F_p[T]/(T^n) .$$ What is this isomorphism?
3
votes
0answers
39 views

Borel lemma on rationality

I am looking for an enlightening proof of the following fact: Let $F(t)\in \mathbb{Z}[[t]]$ and suppose $S$ is a finite set of places on $\mathbb Q$ containing $\infty$. If for every $v\in S$ $F(t)$ ...
3
votes
0answers
48 views

computation of an $H^2$

Let $p$ be a prime number and $\mathbb{Q}_p$ the field of $p$-adic numbers. Let $G_p$ be the absolute Galois group of $\mathbb{Q}_p$ and fix an absolutely irreducible representation $$ \rho : G_p \to ...
3
votes
0answers
99 views

Maximal compact subgroup of $GL_n(\mathbb C_p)$

It is known that the general linear group $GL_n(\mathbb Q_p)$ over the $p$-adic numbers has $GL_n(\mathbb Z_p)$ as a maximal compact subgroup and every other maximal compact subgroup of $GL_n(\mathbb ...
3
votes
0answers
68 views

Spectrum theorem for p-adic matrix analysis

Recently, I met a problem related to p-adic matrices in my research, the key of the problem can be summarized in the following way: 1: whether there exist spectrum theorem for p-adic matrix.\ 2: ...
2
votes
0answers
27 views

Proving that $\mathbb{Q}_p$ is not formally real.

I've been looking for a concrete proof without results. The only hint that I have found says: 1) $\mathbb{Q}_2$ contains a square root of $-7$. 2) $\mathbb{Q}_p$ ($p>2$) contains a square root of ...
2
votes
0answers
29 views

Stronger form of Hensel's lemma?

Let $f \in \mathbb{Z}_p[x]$ and suppose $|f(a)|_p < |f'(a)|_p^2$ for some $a \in \mathbb{Z}_p$. Let $a_1 = a$, and for $n \ge 1$ let$$a_{n+1} = a_n - f(a_n)/f'(a_n).$$How do I see that this defines ...
2
votes
0answers
69 views

infinitely $p$-divisible elements in $A\otimes \mathbb{Z}_p$

Let $A$ be a (possibly non-finitely generated) torsion-free abelian group. Suppose that $A$ contains no infinitely $p$-divisible elements, then does the same hold for $A\otimes \mathbb Z_p$, where ...
2
votes
0answers
64 views

What constitutes a good reading course in $p$-adic number theory?

I have had a course in number theory where I studied Marcus and also a course in differential geometry. I have read Koblitz's introductory book on $p$-adic numbers. I am roughly interested in both ...
2
votes
0answers
28 views

How algebraically restrictive is the structure of $\Bbb Q_p$?

My question is a little difficult to explain, but I will try to state it. First, let me talk about the field $\Bbb R$ of real numbers. Let $K$ be the maximal real algebraic extension of $\Bbb Q$, that ...
2
votes
0answers
22 views

Un-ramified extension of $\mathbb{Q}_p$. A clarification on the construction

I'm following the proof given in Koblitz's book which roughly speaking builds the un-ramified extension of degree $f$ of $\mathbb{Q}_p$ as $\mathbb{Q}_p(\alpha)$, where $\alpha$ is a root of the lift ...
2
votes
0answers
65 views

Showing the positivity of $p$-adic density of zeroes of a polynomial

Let $f \in \mathbb{Z}[x_1, \ldots, x_n]$ and $p$ be a prime. Let $\nu_t(p)$ denote the number of solutions $\mathbf{x} \in ((\mathbb{Z}/p^t \mathbb{Z}))^*)^n$ to the congruence $$ f( \mathbf{x} ) ...
2
votes
0answers
53 views

Valuations above $\mathbb{Q}(\alpha)$

Let $K$ be a field, we say that a function $\nu:K\to \mathbb{Z}_{\geq 0} \cup \lbrace \infty \rbrace$ is a valuation above $K$ if then followings hold for each choose of $x,y \in K$: 1 $\nu(x) = ...
2
votes
0answers
47 views

Closed subgroups of $Z_{p}^{\times}$

I was able to prove that any closed subgroup of additive group of $Z_{p}$ is of the form $p^{n}Z_{p}$ for some $n$. I asked the same question for the multiplicative group of units in $Z_{p}$, that is ...
2
votes
0answers
95 views

What is a “branch” of p-adic exponentiation?

I am reading p-adic Numbers, p-adic Analysis, and Zeta-Functions by Neal Koblitz. Please look at page 27. The definition of $f(x)=n^x$ is unambiguously defined when $n$ is $1 \mod p$. Next, for any ...
2
votes
0answers
43 views

Mixed vs Equal Characteristic Local Rings

This is more of a vague, intuitive type of question, so perhaps there isn't anything too concrete anyone can offer. I am trying to get a sense of precisely why working with local rings of equal ...
2
votes
0answers
39 views

Inverse limit of the following system.

Let $\mathcal{O}_L = \mathbb{Z}[\sqrt{-5}]$ be the number ring of $L=\mathbb{Q}[\sqrt{-5}]$, and $\mathfrak{p} =(2, 1+\sqrt{-5})$ a prime (and maximal ideal) in $\mathcal{O}_L$. What is the inverse ...
2
votes
0answers
22 views

Why is $m \infty$ the conductor of $K = \mathbb{Q}(\zeta_m)/\mathbb{Q}$?

Wouldn't this be saying that for all $p$ dividing $m$, $1 + p^{\operatorname{ord}_p(m)} \mathbb{Z}_p$ is contained in the group of local norms $N_{\mathfrak p/p}(K_{\mathfrak p})$, where $\mathfrak p$ ...