Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
2 answers
546 views

A p-adic logarithm as a limit of discrete logs

I've been searching for something similar to the argument below for about a week now and I just must be missing out on the right key words. Can someone point me in the right direction and/or let me ...
1 vote
0 answers
330 views

Automorphisms of the topological field $\mathbb{C}_p$ of $p$-adic complex numbers?

I am interested to see what is currently known about the automorphisms of the topological field $\mathbb{C}_p$ of $p$-adic complex numbers (with respect to the $p$-adic topology induced by the $p$-...
2 votes
0 answers
266 views

A "multi-adic" absolute value / topology?

Let $S$ be a set of finitely many prime numbers. Then, define $\left|\cdot\right|_{S}:\mathbb{Q}\rightarrow\left[0,\infty\right)$ by: $$\left|x\right|_{S}\overset{\textrm{def}}{=}\prod_{p\in S}\left|x\...
3 votes
0 answers
253 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\...
2 votes
2 answers
2k views

A multidimensional version of Hensel's lemma? (for more than one polynomial)

The classical Hensel's lemma is stated as follows: Let $f(x) \in \mathbb{Z}_p[x]$ and $a \in \mathbb{Z}_p$ satisfy $$ |f(a)|_p < | f'(a) |_p^2. $$ Then there is a unique $\alpha \in \mathbb{Z}_p$...