Angeordneter Körper/Automorphismengruppe nicht trivial/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei die Symbolmenge eines angeordneten Körpers.

Zeige, dass es einen angeordneten Körper derart gibt, dass nicht trivial ist.