Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Angeordneter Körper/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Das Äquivalenzklassenmodell von ist mit der Addition

der Multiplikation

dem Nullelement , dem Einselement und der durch

falls

definierten Ordnung

ein angeordneter Körper.

Zum Beweis, Alternativen Beweis erstellen