Skip to main content

Automorphisms of the hyperreals over the rationals and nontrivial automorphism groups

A classic result says the automorphism group of $\mathbb{R}$ (over $\mathbb{Q}$) is trivial. The proof is simple: every automorphism preserves squares, and hence fixes the positive reals, so it must be order preserving. Since it must fix $\mathbb{Q}$, and $\mathbb{Q}$ is dense in $\mathbb{R}$, if any real number were not fixed, this would yield a contradiction.

In larger real-closed fields where $\mathbb{Q}$ is not dense, automorphisms are still order preserving, but the argument that they are trivial does not work. I haven't found any examples of a non-trivial automorphism of a real-closed field, but I also can't prove they don't exist. So, the first question I'd like to ask is whether all automorphism groups of real-closed fields are trivial.

If they aren't all trivial, then I want to know what, if anything, we can say. To ask a less vague question, can we classify the automorphisms of the hyperreals? How many are there, and what is their groups structure like?