Angeordneter Körper/Teilkörper von R/Automorphismengruppe trivial/Aufgabe

Es sei ${}S=\{0,1,+,\cdot ,\geq \}$ die Symbolmenge eines angeordneten Körpers. Zeige, dass für jeden Unterkörper ${}K\subseteq \mathbb {R}$ die Automorphismengruppe ${}S-\operatorname {Aut} \,K$ trivial ist.

Eine Lösung erstellen