Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Kommutativer Ring/Fakt
Das Äquivalenzklassenmodell von ist mit der Addition
der Multiplikation
dem Nullelement und dem Einselement
ein kommutativer Ring.
Das Äquivalenzklassenmodell von 
![{\displaystyle {}[(a,b)]+[(c,d)]:=[(a+c,b+d)]\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26a52d48bd8d6752f000b989c01ac00bcf01a57c)
der Multiplikation
![{\displaystyle {}[(a,b)]\cdot [(c,d)]:=[(ac+bd,ad+bc)]\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b51e69acf3691a66a51c3e1ceab6b3409966341)
dem Nullelement ![{\displaystyle {}[(0,0)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/475a6889495e16a90a7bddd389ad803ee5e078f9)
![{\displaystyle {}[(1,0)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/729d0600c281952f3efa4039a3bab1a6d0c9833c)
ein kommutativer Ring.