Is an automorphism of the field of real numbers the identity map?

Is an automorphism of the field of real numbers $\mathbb{R}$ the identity map? If yes, how can we prove it?

Remark An automorphism of $\mathbb{R}$ may not be continuous.

• Hint: it's fairly easy to see that any order-preserving automorphism is the identity. Jul 22 '13 at 12:05
• I was sure this is a duplicate given that I have a recollection of spelling this out here at least twice. But the best match I could find right away is this. I'm not sure we can call it a duplicate. Sure, the answers of that question also answer this, but... Jul 22 '13 at 13:27
• Also, Jacobson's Basic Algebra I :-) Jul 22 '13 at 13:28
• @JyrkiLahtonen It is an interesting fact that there are infinitely many automorphisms of $\mathbb{C}$, even though $[\mathbb{C}:\mathbb{R}]=2$. Why is this fact not a contradiction to this problem? Sep 4 '17 at 20:50
• @user425181 It means that $\Bbb{C}$ has infinitely many subfields isomorphic to $\Bbb{R}$. Mind you, this result depends heavily on the axiom of choice. IIRC (ask a set theorist) if we drop out the axiom of choice, it may (or may not?) happen that $\Bbb{C}$ has only finitely many automorphisms. Sep 4 '17 at 21:04

Here's a detailed proof based on the hint given by lhf.

Let $\phi$ be an automorphism of the field of real numbers. Let $x \gt 0$ be a positive real number. Then there exists $y$ such that $x = y^2$. Hence $\phi(x) = \phi(y)^2 \gt 0$.

If $a \lt b$, then $b - a \gt 0$. Hence $\phi(b) - \phi(a) = \phi(b - a) \gt 0$ by the above. Hence $\phi(a) \lt \phi(b)$. This means that $\phi$ is strictly increasing.

If $n$ is a natural number, it can be written in the form $1 + \ldots + 1$, so $\phi(n) = n$. Now, any rational number is of the form $r = (a - b)c^{-1}$, for $a, b, c$ natural numbers, so it follows that $\phi(r) = r$ for any rational number.

Let $x$ be a real number. Let $r, s$ be rational numbers such that $r \lt x \lt s$. Then $r \lt \phi(x) \lt s$. Since $s - r$ can be arbitrarily small, $\phi(x) = x$. This completes the proof.

• Wow. Beautiful :-) Jul 17 '14 at 19:20
• @MakotoKato It is an interesting fact that there are infinitely many automorphisms of $\mathbb{C}$, even though $[\mathbb{C}:\mathbb{R}]=2$. Why is this fact not a contradiction to this problem? Sep 4 '17 at 20:49
• @user425181 Because in one case you're looking at automorphisms of $\mathbb{C}$, and in the other you're only looking at those which restrict to the identity on $\mathbb{R}$. The restriction in the second case is strong enough to only leave two options (and this is one of the key realizations in Galois theory). Mar 8 '21 at 2:52

Hint: Let $\phi$ be a field automorphism of $\mathbb R$. Then prove:

• $\phi$ sends positive numbers to positive numbers

• $\phi$ is increasing

• $\phi$ is continuous

• $\phi$ is the identity on $\mathbb Q$

• $\phi$ is the identity on $\mathbb R$.

• I just feel tempted to write how one's intuition might develop in such cases. $\phi$ is an automorphism $\implies$ it's a function. To know about this function, we must know in every possible way how this function will behave in the real domain. And that's why we want to investigate all properties of $\phi$. A real domain follows the laws of trichotomy, it has positive and real numbers. It's worthy to note how the function will react to such kinds of inputs. Again, a beautiful question :-) Jul 17 '14 at 19:55
• How do you prove the continuity?
– user422112
May 5 '18 at 12:50
• @ThatIs, actually, as Makoto's answer shows, continuity is not needed. But my point was that an increasing function can only have jump discontinuities and then it cannot be surjective. See math.stackexchange.com/questions/1207135/….
– lhf
May 5 '18 at 13:28
• My intuition for this proof is that once we know $\phi$ is the identity on the rational numbers, we want to extend $\phi$ by continuity. One way to do that is to show $\phi$ is increasing. But an automorphism is something that only "knows" about algebraic properties of the field, involving the field operations. Why would it "know" about the order relation on $\mathbb R$? We have to find a way to encode the order relation in algebraic terms, which we do by noting an algebraic difference between positive and negative numbers: having square roots. Jul 22 '18 at 11:41

I have never liked the proofs of this that use analysis more than necessary. Once you get that $\phi$ is order-preserving and the identity map on the rationals, take an arbitrary real number $a$. If $\phi(a) \neq a$, then there is a rational $q \in \mathbb{Q}$ between $a$ and $\phi(a)$. If $a \leq q \leq \phi(a)$, then $\phi(a) \leq \phi(q) = q$, so $\phi(a) \leq q$ and $q \leq \phi(a)$, so $\phi(a) = q = \phi(q)$, so $a = q$, contradicting the fact that $\phi(a) \neq a$. Similarly if $\phi(a) \leq q \leq a$.

For related but slightly stronger results, see $\S$ 16.7 of these field theory notes.

Highlights:

(i) Every Archimedean ordered field $K$ admits a unique homomorphism of ordered fields $K \hookrightarrow \mathbb{R}$.
(ii) Let $(F,<)$ be an ordered field in which every positive element is a square (e.g. any real-closed field, e.g. $\mathbb{R}$). Then the ordering $<$ is unique, so every homomorphism of fields between two such fields is necessarily a homomorphism of ordered fields. Thus:

The identity map on $\mathbb{R}$ is the unique field homomorphism from $\mathbb{R}$ to $\mathbb{R}$: "$\mathbb{R}$ is strongly rigid".

(In the Lemma that occurs just before the "Main Theorem on Archimedean Ordered Fields" -- currently numbered Lemma 192 and on p. 106, but both of these are subject to change -- where it says "topological rings", I think it should say "Hausdorff topological rings".)

Here is a quick formulation of the proof which bypasses explicitly showing the ordering is preserved. Let $f:\mathbb{R}\to\mathbb{R}$ be an automorphism. We know $f$ fixes all rational numbers. Suppose $f$ is not the identity; say $f(x)\neq x$ for some $x$. We may assume $f(x)>x$ (if $f(x)<x$, then $f(-x)>-x$, so we can replace $x$ by $-x$). Now let $q$ be a rational number such that $x<q<f(x)$ and let $y=\sqrt{q-x}$. Note that $$f(q)=f(x+y^2)=f(x)+f(y)^2\geq f(x).$$ But $f(q)=q$ since $q$ is rational, so this contradicts the fact that $q<f(x)$. Thus $f$ must be the identity.

• How do we know, that f fixes all rational numbers ? Mar 13 '18 at 8:17
• @martina: $f$ fixes $1$ and then additive and multiplicative properties forces it to fix all rationals. May 20 '18 at 0:08

I think the correct way to use density of rationals in this problem is this:

Let $a$ be a real number and suppose $\phi(a) \neq a$. Then, there exists a rational number $q$ such that $a<q<\phi(a)$. Hence, $q < \phi(a)$ and $q>\phi(a)$. This is a contradiction since $\phi$ is a bijection.

• Of course you first must show that $\phi$ preserves the ordering. Jun 15 '16 at 14:57
• Yes. This is done above. Jun 15 '16 at 15:43
• @GEdgar It is an interesting fact that there are infinitely many automorphisms of $\mathbb{C}$, even though $[\mathbb{C}:\mathbb{R}]=2$. Why is this fact not a contradiction to this problem? Sep 4 '17 at 20:51
• @user425181 ... only one non-identity automorphism of $\mathbb C$ maps $\mathbb R$ into itself. The others don't. Thus, no contradiction. Sep 4 '17 at 22:24