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

Das Äquivalenzklassenmodell von $\mathbb{Z}$ ist mit der Addition

$[(a,b)]+[(c,d)]:=[(a+c,b+d)],$

der Multiplikation

$[(a,b)]\cdot [(c,d)]:=[(ac+bd,ad+bc)],$

dem Nullelement $[(0,0)]$ und dem Einselement $[(1,0)]$

ein kommutativer Ring.

Zum Beweis, Alternativen Beweis erstellen