Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Multiplikation/Fakt
Durch die Festlegung
erhält man auf (dem Äquivalenzklassenmodell von) eine Verknüpfung, die kommutativ und assoziativ ist und die als neutrales Element besitzt.
Durch die Festlegung
![{\displaystyle {}[(a,b)]\cdot [(c,d)]:=[(ac+bd,ad+bc)]\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/271e150f46d092c8a4e0ae63c57aeb711ce6f96d)
erhält man auf
(dem
Äquivalenzklassenmodell
von)
![{\displaystyle {}[(1,0)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/729d0600c281952f3efa4039a3bab1a6d0c9833c)