Intereting Posts

Will computers one day start creating and proving math for us?
Approximating measures by open sets and compact sets.
Riemann Surface, existence of meromorphic function.
Is there matrix representation of the line graph operator?
Finding the sum of series $\sum_{n=0}^∞ \frac{2^n + 3^n}{6^n}$
Why are the coefficients of the equation of a plane the normal vector of a plane?
Showing the alternating series $\sum_{n=1}^\infty (-1)^n \frac{n}{p_n}$ where $p_n$ is the $n$th prime converges
For which $a$ is $n\lfloor a\rfloor+1\le \lfloor na\rfloor$ true for all sufficiently large $n$?
How to prove $\int_0^{2\pi} \ln(1+a^2+2a\cos x)\, dx=0$?
Riemann Lebesgue Lemma Clarification
$f_n(x)$ convergence in measure implies $\frac{|f_n(x)-f(x)|}{1+|f_n(x)-f(x)|}$ convergence almost everywhere
Normal and central subgroups of finite $p$-groups
What contour should be used to evaluate $\int_0^\infty \frac{\sqrt{t}}{1+t^2} dt$
Prove that a counterexample exists without knowing one
Is there an easier method to this integration problem?

Is an automorphism of the field $\mathbb{Q}_p$ of $p$-adic numbers the identity map?

If yes, how can we prove it?

**Note**:We don’t assume an automorphism of $\mathbb{Q}_p$ is continuous.

- Prove or Disprove: If every nontrivial subgroup of a group $G$ is cyclic, then $G$ is cyclic.
- $R$ with an upper bound for degrees of irreducibles in $R$
- Definition of a Group in Abstract Algebra Texts
- Are all simple left modules over a simple left artinian ring isomorphic?
- Proving a basic property of polynomial rings
- Exponential fields as structures with three binary operations.

- Are polynomials over $\mathbb{R}$ solvable by radicals?
- Two exercises on characters on Marcus (Part 2)
- An example of a group such that $G \cong G \times G$
- Question regarding isomorphisms in low rank Lie algebras
- Given two algebraic conjugates $\alpha,\beta$ and their minimal polynomial, find a polynomial that vanishes at $\alpha\beta$ in a efficient way
- Prove that there is no element of order $8$ in $SL(2,3)$
- Show that $(\mathbb{Z}/(x^{n+1}))^{\times}\cong \mathbb{Z}/2\mathbb{Z}\times\Pi_{i=1}^n\mathbb{Z}$
- Example of non-Noetherian non-UFD Krull domain?
- The product of a subgroup and a normal subgroup is a subgroup
- In a ring $(A,+, \cdot)$ if $aba = a$ then $bab = b$ and all non zero elements in $A$ are invertible.

We use squares in a way that resembles the usual proof of the corresponding result about reals – we use squares to prove continuity of automorphisms.

Assume first that $p>2$ and that $\sigma$ is an automorphism of $\mathbb{Q}_p$. The key observation is that $1+px^2$ is a square in $\mathbb{Q}_p$ if and only if $x$ is in $\mathbb{Z}_p$. If $x$ is not a $p$-adic integer, then $\nu(1+px^2)$ is odd, so it cannot be a square. On the other hand (this is were we need $p>2$) by Hensel’s lemma $1+px^2$ is a square, if $x$ is a $p$-adic integer.

If $1+px^2=y^2$, then clearly $1+p\sigma(x)^2=\sigma(y)^2$, so from the preceding paragraph we can deduce that $\sigma(x)\in\mathbb{Z}_p$ whenever $x$ is. But $\sigma(p)=p$, so we see that $\sigma^{-1}(p^k\mathbb{Z}_p)=p^k\mathbb{Z}_p$ for all natural numbers $k$. Thus $\sigma$ is continuous, and the claim follows from density of $\mathbb{Z}$ (they are all fixed points of $\sigma$) inside $\mathbb{Z}_p$.

If $p=2$ we need to make a small modification to the above argument. This time we see that $1+8x^2$ is a $2$-adic square, iff $x$ is a $2$-adic integer. This is because Hensel’s lemma allows us to prove the existence of a $2$-adic square root of anything $\equiv 1\pmod8$. On the other hand if $x\notin\mathbb{Z}_2$, then either $\nu(1+8x^2)$ is odd (whenever $\nu(x)\le -2$) or $1+8x^2$ is an odd $2$-adic integer $\not\equiv1\pmod4$. It cannot be a square in either case. The rest of the argument works as above.

The identity map is the only automorphism of the field of $p$-adic numbers, because of Schmidt’s theorem implying that a field complete with respect to a discrete absolute value is *not* complete with respect to an absolute value, which is inequivalent to the original.

For a proof, see here: http://www.math.utk.edu/~wagner/papers/padic.pdf

The following proof is basically the same as Mr. Dietrich Burde’s answer.

Let $\mathbb{Q}_p$ be the field of $p$-adic numbers.

Let $\nu$ be the canonical additive valuation on $\mathbb{Q}_p$, i.e. $\nu(p) = 1$.

Let $\sigma$ be an automorphism of $\mathbb{Q}_p$.

Since $\mathbb{Q}$ is dense in $\mathbb{Q}_p$ and $\sigma$ induces the identity map on $\mathbb{Q}$, it suffices to prove that $\sigma$ is continuous.

Let $U$ be the set of $p$-adic units.

We first show that $\sigma(U) \subset U$.

Let $\alpha \neq 0$ be a $p$-adic number.

Suppose the set $S = \{n \in \mathbb{Z}, n \gt 0\mid x^n = \alpha$ has a solution in $\mathbb{Q}_p\}$ is infinite.

If $x^n = \alpha$, then $n\nu(x) = \nu(\alpha)$.

Hence if $\nu(\alpha) \neq 0$, then $\nu(\alpha)$ is divisible by infinite numbers of rational integers. This is absurd.

Therefore $\nu(\alpha) = 0$, which means $\alpha \in U$.

Now suppose $\epsilon$ is a $p$-adic unit.

The set $S = \{n \in \mathbb{Z}, n \gt 0\mid x^n = \epsilon$ has a solution in $\mathbb{Q}_p\}$is infinite as shown in here.

Hence the similar set for $\sigma(\epsilon)$ is infinite.

Therefore $\sigma(\epsilon) \in U$ by what we have shown above.

This means $\sigma(U) \subset U$.

Let $\alpha \neq 0$ be an element of $\mathbb{Z}_p$.

Let $n = \nu(\alpha)$.

Then $\alpha = p^n \epsilon$, where $\epsilon \in U$.

Since $\sigma(\alpha) = p^n\sigma(\epsilon)$, $\sigma(\alpha) \in \mathbb{Z}_p$.

Hence $\sigma(\mathbb{Z}_p) \subset \mathbb{Z}_p$.

Hence $\sigma(p^n\mathbb{Z}_p) \subset p^n\mathbb{Z}_p$ for every positive integer $n$.

This means $\sigma$ is continuous.

- What are all conditions on a finite sequence $x_1,x_2,…,x_m$ such that it is the sequence of orders of elements of a group?
- If $A$ is full column rank, then $A^TA$ is always invertible
- What do you call numbers such as $100, 200, 500, 1000, 10000, 50000$ as opposed to $370, 14, 4500, 59000$
- Checking a fundamental unit of a real quadratic field
- In a family with two children, what are the chances, if one of the children is a girl, that both children are girls?
- About eigenvalues and complex matrix
- Is there any guaranteed stability margins for Extended Kalman Filter (EKF)?
- How to solve the following summation problem?
- External measure invariant under unitary transformations
- Can a set containing $0$ be purely imaginary?
- How to use Parseval' s( Plancherel' s) identity?
- Showing groups of order $p^{k}(p+1)$ are not simple, p prime
- Use integration by parts to express $I(2n) =$ Integral of $\tan^{2n}x\mathrm{d}x$ in terms of $I(2n − 2)$.
- Does a nonlinear additive function on R imply a Hamel basis of R?
- Must the intersection of connected sets be connected?