Angeordneter Körper/Automorphismengruppe nicht trivial/Aufgabe

Es sei ${}S=\{0,1,+,\cdot ,\geq \}$ die Symbolmenge eines angeordneten Körpers.

Zeige, dass es einen angeordneten Körper ${}K$ derart gibt, dass ${}S-\operatorname {Aut} \,K$ nicht trivial ist.

Eine Lösung erstellen