Gaußsche Zahlen als Gitterpunkte in der komplexen Zahlenebene

Eine Gaußsche Zahl ${\displaystyle {}z}$ ist durch ${\displaystyle {}z=a+b{\mathrm {i} }}$ gegeben, wobei ${\displaystyle {}a}$ und ${\displaystyle {}b}$ ganze Zahlen sind. Die Menge dieser Zahlen wird mit ${\displaystyle {}\mathbb {Z} [{\mathrm {i} }]}$ bezeichnet. Die Gaußschen Zahlen sind die Gitterpunkte, d.h. die Punkte mit ganzzahligen Koordinaten, in der komplexen Ebene. Sie bilden mit komponentenweiser Addition und mit der induzierten komplexen Multiplikation einen kommutativen Ring.

Eine euklidische Funktion ist durch die Norm ${\displaystyle {}N}$ gegeben, die durch ${\displaystyle {}N(a+b{\mathrm {i} }):=a^{2}+b^{2}}$ definiert ist. Man kann auch ${\displaystyle {}N(z)=z\cdot {\bar {z}}}$ schreiben, wobei ${\displaystyle {}{\bar {z}}}$ die komplexe Konjugation bezeichnet. Die Norm ist das Quadrat des komplexen Absolutbetrages und wie dieser multiplikativ, also ${\displaystyle {}N(zw)=N(z)N(w)}$.

Mit der Norm lassen sich auch leicht die Einheiten von ${\displaystyle {}\mathbb {Z} [{\mathrm {i} }]}$ bestimmen: ist ${\displaystyle {}wz=1}$, so ist auch${\displaystyle {}N(zw)=N(z)N(w)=1}$, also ${\displaystyle {}N(z)=1}$. Damit sind genau die Elemente ${\displaystyle {}\{1,-1,{\mathrm {i} },-{\mathrm {i} }\}}$ diejenigen Gaußschen Zahlen, die Einheiten sind.