Aufgabe:
Sei K ein endlicher Körper. Zeigen Sie, dass es keine Ordnungsrelation auf K gibt, die K zu einem angeordneten Körper machen würde.
Problem/Ansatz:
Die Musterlösung ist ein Beweis durch Widerspruch:
Wir nehmen an, dass es eine Ordnungsrelation ≤ auf K gibt die K zu einem angeordneten Körper macht. Wir schreiben 1 für das Einselement von K, und wissen dass 0 < 1 gilt. Sei n die Anzahl Elemente von K. Wir erhalten die strikte Ungleichungen
0 < 1 < 1 + 1 < 1 + 1 + 1 < · · · < 1 + · · · + 1 = 0
Was einen Widerspruch erzeugt.
Wie kann ich die Ungleichung verstehen? Wie kann man n Elemente, die nicht 0 sind, addieren und 0 erhalten?