Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Multiplikation/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Durch die Festlegung

erhält man auf (dem Äquivalenzklassenmodell von) eine Verknüpfung, die kommutativ und assoziativ ist und die als neutrales Element besitzt.

Zum Beweis, Alternativen Beweis erstellen