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

1
vote
0answers
85 views

Proving independence of log-function

Let $ \alpha_1, \ldots, \alpha_r $ be elements of a field $K \supseteq \mathbb Q$, which have the property that for $n_i \in \mathbb Z$, $i=1,\ldots,r$, it follows from $\alpha_1^{n_1}\cdots ...
4
votes
1answer
116 views

Subgroups of index 3 in $1+p\mathbb{Z}_p$

Let $p$ be a prime. I'm trying to compute the subgroups of index $3$ in $\mathbb{Q}_p^\times$ to enumerate some cyclic extensions using CFT. I've essentially reduced the problem down to finding the ...
7
votes
2answers
1k views

What do the $p$-adic roots of unity look like?

I know that $\mathbb{Z}_p$ has all the $p-1^{st}$ roots of unity (and only those). Is it true that mod $p$ they are all different? Meaning, is the natural map $\mathbb{Z}_p \rightarrow \mathbb{F}_p$, ...
1
vote
0answers
111 views

Potential computational questions that could be asked about p-adic numbers and Galois Theory

I have an exam on P-Adic integers (and a bit on Galois Theory) that my professor said would be very computational, but he never does any examples of the theorems he proves in class. He said the exam ...
4
votes
0answers
369 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 ...
5
votes
0answers
160 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 ...
6
votes
2answers
152 views

Does $\mathbb{Q}_p \cap \overline{\mathbb{Q}}$ depend on the embedding of $\overline{\mathbb{Q}}$ into $\overline{\mathbb{Q}_p}$?

I think the title pretty much says it all. I'm getting confused in the subtle parts of a proof, and would appreciate some help.
8
votes
2answers
584 views

Are all nonarchimedean valuations discrete?

I am studying valuation theory on the way to local class field theory, and the texts I have looked at immediately focus on discrete valuations in developing the theory of nonarchimedean valuations. ...
7
votes
2answers
620 views

$n$th powers in the p-adics

Suppose $K$ is a $p$-adic field (finite extension of the $p$-adics), and let $n$ be any integer (independent of what $p$ is). Define $U$ to be the set of all $x$ in $K$ such that $|x| = 1$ and such ...
29
votes
3answers
2k views

How far are the $p$-adic numbers from being algebraically closed?

A few days ago I was recalling some facts about the $p$-adic numbers, for example the fact that the $p$-adic metric is an ultrametric implies very strongly that there is no order on $\mathbb{Q}_p$, as ...
1
vote
2answers
409 views

Computing Newton polygons

I am looking at the first two examples in Paul Garretts notes on p-adic number theory. The first example is computing the Newton polygon of $x^5+2x^2+5$ over $\mathbb{Q}_2$. I think this is the lower ...
8
votes
2answers
677 views

Binomial coefficients: how to prove an inequality on the $p$-adic valuation?

In section 4 of the article by Afred van der Poorten's A Proof That Euler Missed ... the following inequality is used: $$\nu_{p}\displaystyle\binom{n}{m}\leq\left\lfloor\dfrac{\ln n}{\ln ...