Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Kommutativer Ring/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Das Äquivalenzklassenmodell von ist mit der Addition

der Multiplikation

dem Nullelement und dem Einselement

ein kommutativer Ring.

Zum Beweis, Alternativen Beweis erstellen