# Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Beispiel

Es sei $\mathbb {N}$ die Menge der natürlichen Zahlen und $M=\mathbb {N} \times \mathbb {N}$ die Produktmenge mit der komponentenweisen Addition. Wir erklären auf $M$ eine Relation durch
    $(a,b)\sim (c,d),{\text{ falls }}a+d=b+c.$
Dies ist bei $a\leq c$ genau dann der Fall, wenn es ein $e\in \mathbb {N}$ (nämlich $e=c-a$) mit
    $(c,d)=(a,b)+(e,e)\,$
gibt. D.h. die beiden Paare unterscheiden sich um ein Diagonalelement, also um ein Paar, wo beide Komponenten übereinstimmen. Diese Relation ist eine Äquivalenzrelation auf $M$, siehe Aufgabe. Wenn man $\mathbb {N} \times \mathbb {N}$ als ein quadratisches Gitter anordnet (das ist ein „diskretes Koordinatensystem“), so sind die Äquivalenzklassen durch die Punkte auf einer zur Diagonalen parallelen „diskreten Geraden“ gegeben. Die Punkte $(a,b)$ mit $a\geq b$ sind äquivalent zu $(a-b,0)$, sie haben also einen Repräsentanten, bei dem die zweite Komponente $0$ ist. Die Punkte $(a,b)$ mit $a\leq b$ sind äquivalent zu $(0,b-a)$, sie haben also einen Repräsentanten, bei dem die erste Komponente $0$ ist. Die Punkte $(a,a)$ sind zu $(0,0)$ äquivalent. Den Repräsentanten einer Äquivalenzklasse, bei dem mindestens eine Komponente $0$ ist, nennen wir den Standardvertreter dieser Äquivalenzklasse. Die Standardvertreter sind die diskreten Punkte des begrenzenden Viertelkreuzes; zu einem Punkt ergibt sich der Standardvertreter, wenn man parallel zur Diagonalen in Richtung der Halbachsen wandert, bis man auf einer der Halbachsen landet. Zwei Punkte sind genau dann äquivalent, wenn sie den gleichen Standardvertreter besitzen.
Wir bezeichnen nun die Quotientenmenge, also die Menge der Äquivalenzklassen unter dieser Äquivalenzrelation, als Menge der ganzen Zahlen und bezeichnen sie mit $\mathbb {Z}$. Jede ganze Zahl hat dann genau einen Standardvertreter der Form $n:=(n,0)$ mit $n\in \mathbb {N} _{+}$, der Form $0:=(0,0)$ oder der Form $-n:=(0,n)$ mit $n\in \mathbb {N} _{+}$. Eine natürliche Zahl $n$ fassen wir von nun an als die ganze Zahl $(n,0)$ auf.
Wir wollen nun zwei ganze Zahlen, also zwei solche Äquivalenzklassen $[(a,b)]$ und $[(c,d)]$ miteinander „addieren“, also eine Verknüpfung $\oplus$ auf $\mathbb {Z}$ einführen. Der naheliegende Ansatz ist, diese Verknüpfung mittels der komponentenweisen Addition als
    $[(a,b)]\oplus [(c,d)]:=[(a+c,b+d)]\,$
zu definieren. Hier tritt das Problem der Wohldefiniertheit auf, denn die Verknüpfung wird erklärt unter Bezug auf Repräsentanten, und es ist nicht von vornherein klar, dass unterschiedliche Repräsentanten zum gleichen Ergebnis führen. Wenn also $(a,b)\sim (a',b')$ und $(c,d)\sim (c',d')$ sind, so muss man überprüfen, dass
    $(a+c,b+d)\sim (a'+c',b'+d')\,$
und damit $[(a+c,b+d)]=[(a'+c',b'+d')]$ ist. Dies ist der Fall, siehe Aufgabe. Man kann weiterhin zeigen, dass die so definierte Verknüpfung auf $\mathbb {Z}$ assoziativ und kommutativ ist, dass $[(0,0)]$ das neutrale Element der Verknüpfung ist und dass es zu jedem Element $[(a,b)]$ ein inverses Element gibt, nämlich $[(b,a)]$.
Wir definieren nun eine Multiplikation auf $\mathbb {Z}$ durch
    $[(a,b)]\cdot [(c,d)]:=[(ac+bd,ad+bc)]\,.$
Dies ist wieder wohldefiniert und man kann zeigen, dass die Multiplikation assoziativ und kommutativ ist mit $1=[(1,0)]$ als neutralem Element und dass das Distributivgesetz gilt.