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

0
votes
1answer
44 views

Why is this function an embedding?

We have the canonical function $\epsilon_p: \mathbb{Z} \to \mathbb{Z}_p, x \mapsto (\overline{x})_{k \in \mathbb{N}_0}=(\overline{x}, \overline{x}, \overline{x}, \dots )$. The function $\epsilon_p: ...
1
vote
1answer
68 views

Set of integer p-adics-Proposition

Proposition: "$\mathbb{Z}_p$ contains only the ideals $0$ and $p^n \mathbb{Z}_p$ for $n \in \mathbb{N}_0$. It holds $\bigcap_{n \in \mathbb{N}_0} p^n \mathbb{Z}_p=0$ and $\mathbb{Z}_p \ ...
3
votes
0answers
22 views

$GL_2(\mathbb{Q}_p)$ and $GL_2(\mathbb{Z}_p)\cdot\mathbb{Q}_p^\times$

I am confused by a question, which is probably of school level. In some papers I have seen an induction from the group $GL_2(\mathbb{Z}_p)\cdot\mathbb{Q}_p^\times$ to the group $GL_2(\mathbb{Q}_p)$, ...
0
votes
2answers
33 views

Deriving the ultrametric from the p-adic norm?

I had thought that the ultra-metric property was just a rule that someone made up, that if applied shows some bizarre behavior. I however came across these notes: Lecture notes and it seems that the ...
1
vote
0answers
21 views

A question on hilbert symbol in $Q_p$

Let $\alpha, \beta , \gamma$ are non-zero elements of $Q_p$, show that $$(\alpha\gamma,\beta\gamma)=(\alpha,\beta)(\gamma,-\alpha\beta)$$, where $(\alpha,\beta)=1 $ or $-1$ whether $X^2-\alpha ...
0
votes
0answers
19 views

References for Hilbert symbols on $p$-adic fields

Can somebody give me some reference (Please not Serre, as it is too tough for me now) any reference for the basics and concepts on $p$-adic rings and fields and then gradually relating them to ...
0
votes
1answer
33 views

A simple question on p-adic fields

I have asked many question tonight on $p$-adic and I am still confused. So here is a very basic thing I want to know but nobody has cleared this doubt. It might be very silly, but please answer it. ...
4
votes
1answer
46 views

Which $p$-adic fields contain these numbers?

Question: Determine the $p$-adic fields which contain $$ a)\;\sqrt{-1} \qquad b)\;\sqrt{3} \qquad c)\;\sqrt{-7} \qquad d)\;\sqrt{17}$$ I have no idea on this as I am completely confused with ...
3
votes
1answer
44 views

Two doubts about squares in $\Bbb Z_p$

The statement says that for $p \neq 2$ an element $x=p^i u \in \mathbb Q_p^\times$ (with $i \in \mathbb Z$ and $u \in \mathbb Z_p^\times$) is a square if and only if $i$ is even and $u$ is a square in ...
3
votes
2answers
80 views

Why does taking completions make number fields simpler?

I'm currently taking a course on Local Fields, and the local-theoretic picture seems to be significantly simpler than that of number fields. For example, If $K$ is a finite extension of $\mathbb ...
2
votes
1answer
39 views

Begginer doubt in Ring of p-adic integers

I am studying $p$-adic Rings and let me explain my understanding and doubt here. As I understood, Let $p$ be a rational prime and $Z$ denotes ring of integers, then form cartesian product $$P=Z/pZ ...
2
votes
0answers
20 views

Counting tamely ramified Galois extensions of $\mathbb{Q}_p$ with a given Galois group.

For a homework exercise, I'm to determine for each $p$ the number of non-isomorphic tamely ramified Galois extensions $K/\mathbb{Q}_p$ such that $\operatorname{Gal}(K/\mathbb{Q}_p) \cong ...
2
votes
3answers
33 views

Visualizing Balls in Ultrametric Spaces

I've been reading about ultrametric spaces, and I find that a lot of the results about balls in ultrametric spaces are very counter-intuitive. For example: if two balls share a common point, then one ...
2
votes
1answer
32 views

$t$-adic topology (on $\mathbb F_p(1/t)$)

Recently I found this interesting discussion about algebraically closed fields of positive characteristic. In the answer marked as the top answer, I read about the $t$-adic topology. The $t$-adic ...
1
vote
0answers
42 views

Understanding the mechanics of P-adic topologies

I am trying to work out how it is that we actually work open sets on a p-adic topological space and how I would relate it to open sets in a point set topology. According wiki here: We have that open ...
4
votes
1answer
96 views

Proving existence of $\overline{\Bbb Q_p}$ without AC

The proof that every field has an algebraic closure is known to require at least a weak form of AC, the boolean prime ideal theorem. But I recall reading somewhere that for concrete, sufficiently ...
1
vote
1answer
31 views

Determine if $\sum_{q=1}^{\lceil n/2\rceil}R_q(n)$ gives the number of divisors of $n$.

Let $$R_q(n)=\left\{\begin{array}{lll} r\left(\dfrac n{2q-1}\right)&\text{if }(2q-1)\mid n\\ 0&\text{otherwise}\end{array}\right\},$$ where $r(n)$ is the ruler function, i.e., the $2$-adic ...
2
votes
0answers
182 views

Every Cauchy sequence converges

SENTENCE: The p-adic numbers are complete with respect to the p-norm, ie every Cauchy sequence converges. PROOF: Let $(x_i)_{i \in \mathbb{N}}$ a Cauchy-sequence in $\mathbb{Q}_p$. We want to show ...
4
votes
1answer
88 views

$\sum_{\zeta^p=1}(\zeta-1)^n$

Given $n\geq0$ let $$ z_n=\sum_{\zeta^p=1}(\zeta-1)^n $$ where $p$ is an odd prime number (summation extended to all $p$-th roots of 1). It is clear that: $z_n\in\Bbb Z$ (it's a Galois invariant sum ...
3
votes
1answer
24 views

Extending a DVR could produce not a DVR

I'm reading Tate's paper about $p$-divisible groups. In Chapter $(2.4)$ he asserts that if you take $R$ a complete DVR with residue field $k$ of characteristic $p>0$, $K$ its field of fractions, ...
4
votes
1answer
39 views

sequence $\{a^{p^{n}}\}$ converges in the p-adic numbers.

Let $a\in \mathbb{Z}$ be relatively prime to $p$ prime. Then show that the seqeunce $\{a^{p^{n}}\}$ converges in the $p$-adic numbers. This to me seems very counter intuitive. Since $(a,p)=1$ the ...
5
votes
1answer
226 views

At which p-adic fields does the equation have no solution?

I have to check if the equation $3x^2+5y^2-7z^2=0$ has a non-trivial solution in $\mathbb{Q}$. If it has, I have to find at least one. If it doesn't have, I have to find at which p-adic fields it has ...
3
votes
1answer
81 views

Why doesn't the equation have a solution in $\mathbb{Q}_2$?

I have to find for which primes $p$, the equation $x^2+y^2=3z^2$ has a rational point in $\mathbb{Q}_p$. According to my notes: Obviously, $\forall p \in \mathbb{P}, p \nmid 2 \cdot 3$, there is a ...
0
votes
0answers
26 views

How do we this congruence?

I am looking at the proof of Hensel's Lemma. Hensel's Lemma: Let $F(x)=a_0+a_1x+ \dots+ a_n x^n \in \mathbb{Z}_p[x]$. We suppose that there is a p-adic $\alpha_1 \in \mathbb{Z}$ such that: ...
1
vote
2answers
176 views

Does the equation has a non-trivial solution?

Could you give me some hints how I can solve the following exercise? Check if the equation $3x^2+7y^2-5z^2=0$ has a non-trivial solution in $\mathbb{Q}$ . If it has a solution, find at least one. If ...
1
vote
0answers
45 views

What does $p\mathbb{Z}_p$ mean?

I am looking at Hensel's Lemma: Let $F(x)=a_0+a_1x+ \dots + a_n x^n \in \mathbb{Z}_p[x]$. We suppose that there is a $p-$adic number $\alpha_1 \in \mathbb{Z}$, such that: $$F(\alpha_1) \equiv 0 ...
1
vote
1answer
31 views

convergence of the sequence $10^{-n}$ in the p-adic numbers

Let $p$ be prime. I am tasked to prove that the sequence $10^{-n}$ does not converge in $\mathbb{Q}_{p}$ for any $p$ where $\mathbb{Q}_{p}$ is the set of p-adic numbers. For $p=2$ or $5$, we see ...
0
votes
2answers
46 views

Can the b-adic representation of rational numbers (by quote notation) be extended to non-terminating expansions?

The wikipedia article on p-adic numbers warns about $b$-adic expansions where $b$ is not a prime: Although for p-adic numbers p should be a prime, base 10 was chosen to highlight the analogy with ...
0
votes
3answers
42 views

How to show $\sqrt{p}$ is not in $\mathbb{Q}_p$?

I am pretty sure that $\sqrt{p}$ is not in $\mathbb{Q}_p$, the $p$-adic numbers. But I just can't quite show it. Could someone please explain how I could show this? Thanks!
0
votes
2answers
42 views

Calculate the power series

I want to find the power series of $\frac{1}{3!}$ in the field $\mathbb{Q}_3$. In order to do this, do I have to solve the congruence $3!x \equiv 1 \pmod{3^n} \Rightarrow 6x \equiv 1 \pmod 3$? If ...
0
votes
1answer
41 views

What else could we do, instead of solving the congruences?

I want to find the p-adic expansion of $\frac{1}{p}$ and $\frac{1}{p^r}$ in the field $\mathbb{Q}_p$. So, do I have to solve the congruences $px \equiv 1 \pmod {p^n}, p^r x \equiv 1 \pmod { p^n }, ...
1
vote
1answer
46 views

Solution of Pell equation over field of p-adic numbers

Right now I am studying Pell equation. Using continued fractions, we can find the solution of Pell equation. Now my question, is it possible for me to find a solution in the field of p-adic numbers ...
1
vote
1answer
32 views

quadratic field extensions of $\mathbb{Q}_p$

Today during class we proved that there were exactly three quadratic field extensions of the $p$-adic number field $\mathbb{Q}_p$. To prove this it was stated that it was enough to look at the group ...
2
votes
2answers
154 views

Which theorem could be used?

I want to write the $p-$adic expansion of $6!$ in $\mathbb{Q}_3$. I have to solve the congruence $x \equiv 6! \pmod {3^n}$, right? I found the following: $$x_0 \equiv 6! \pmod 3 \Rightarrow x_0 ...
4
votes
0answers
46 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.) ...
2
votes
0answers
14 views

no quotient of $\mathcal{O}_{\mathbb{C}_K}$ modulo a proper ideal containing $p$ is a perfect $\mathbb{F}_p$-algebra?

I am reading the Notes on $p$-adic Hodge theory of O. Brinon & B. Conrad . Can someone explains the following things to me? «... no quotient of $\mathcal{O}_{\mathbb{C}_K}$ modulo a proper ideal ...
3
votes
0answers
46 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 ...
1
vote
1answer
33 views

$\mathbb{Q}_p$ contains a square root of $4p+1$, but not of $4p$.

Let $p$ be a prime, let $\mathbb{Q}_p$ be the field of $p$-adic numbers. I want to show that it contains a square root of $4p+1$, but does not contain a square root of $4p$. I could only manage the ...
2
votes
1answer
35 views

Definition of field of fractions of $p$-adic integers

I am given this definition of the field of fractions of the p-adic integers: $$Q_p=\left\{ \frac{r}{s} \mid r, s \in Z_p, s \neq 0\right\}$$ How can I show that: $Q_p$ consists of the sums of the ...
0
votes
0answers
27 views

The sets are equal

I want to show that $Z_p^*= \{ x \in Z_p | |x|_p=1 \}$. I have tried the following: Let $x \in Z_p^*$, then $x=a_0+a_1p+a_2p^2+ \dots \ \ \ \ \ \ \ \ 1 \leq a_i \leq p-1$. So, $x \in Z_p $. When ...
0
votes
0answers
28 views

Identity of the $p-$norm

A $p-$ norm of $\mathbb{Q}_p$ is a function $||_p: \mathbb{Q}_p \to \mathbb{R}$ $$x \neq 0, x=p^{w_p(x)}u \mapsto p^{-w_p(x)}$$ $$\text{ For } x=0 \Leftrightarrow w_p(x)=\infty \\ p^{-\infty}:=0$$ ...
1
vote
0answers
18 views

Prove identities-p norm

A $p-$ norm of $\mathbb{Q}_p$ is a function $||_p: \mathbb{Q}_p \to \mathbb{R}$ $$x \neq 0, x=p^{w_p(x)}u \mapsto p^{-w_p(x)}$$ $$\text{ For } x=0 \Leftrightarrow w_p(x)=\infty \\ p^{-\infty}:=0$$ ...
1
vote
4answers
122 views

Power series in $\mathbb{Q}_5$

Could you help me to find the first five positions of the power series in $\mathbb{Q}_5$ of $\frac{1}{2}$? How can I do this? Is there a general formula?
1
vote
1answer
29 views

What does the inequality stand?

The additive $p-$ adic valuation of $\mathbb{Q}_p$: $$w_p: \left\{\begin{matrix} \mathbb{Q}_p \rightarrow \mathbb{Z} \cup \{\infty\}\\ p^m u \mapsto m\\ 0 \mapsto \infty \end{matrix}\right.$$ ...
0
votes
1answer
64 views

How can we show that it is an integer 5-adic number?

Show that the number $\frac{3}{8}$ is an integer $5$-adic and calculate the first five positions of its power series in $\mathbb{Q}_5$. Could you explain me how we can conclude that $\frac{3}{8}$ is ...
2
votes
1answer
53 views

Ring of the integer $p$-adic numbers $\mathbb{Z}_p$

Let the ring of the integer $p$-adic numbers $\mathbb{Z}_p$. Could you explain me the following sentences? It is a principal ideal domain. $$$$ The function $\epsilon_p: \mathbb{Z} \to ...
0
votes
0answers
28 views

Completed group ring

Let $p$ be a prime number. Consider $\mathbb{Z}_p$ the ring of $p$-adic integers. If $G$ is a profinite group, define $\mathbb{Z}_p[[G]]$ to be the inverse limit $\lim\mathbb{Z}_p [G/U]$ where $u$ ...
7
votes
1answer
98 views

Computing a uniformizer in a totally ramified extension of $\mathbb{Q}_p$.

Do you know how to compute a uniformizer of $\mathbb{Q}_p(\zeta_{p^n},p^\frac{1}{p})$? Where $\zeta_{p^n}$ is a primitive $p^n$-th root of 1 and $p$ is an odd prime.
1
vote
1answer
43 views

Tate's thesis - continuous map from a local field to circle group

I am currently reading Decomposition of Unitary Representations defined by a discrete subgroups of nilpotent groups, by C.C. Moore. It is metioned that if $\mathbb{K}$ is a $p$-adic field in his ...
2
votes
0answers
41 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 ...