Gaußsche Zahl

Gaußsche Zahlen wurden von Gauß in der Abhandlung Theorie der biquadratischen Reste. Zweite Abhandlung (1832, in Latein) erstmals eingeführt.^[2]

Das quadratische Reziprozitätsgesetz (das Gauß 1796 zum ersten Mal beweisen konnte) verknüpft die Lösbarkeit der Kongruenz ${\displaystyle x^{2}\equiv q{\pmod {p}}}$  mit der Lösbarkeit von ${\displaystyle x^{2}\equiv p{\pmod {q}}}$ . Ebenso verknüpft das kubische Reziprozitätsgesetz die Lösbarkeit der Kongruenz ${\displaystyle x^{3}\equiv q{\pmod {p}}}$  mit der von ${\displaystyle x^{3}\equiv p{\pmod {q}}}$  und das biquadratische Reziprozitätsgesetz ist die Verknüpfung von ${\displaystyle x^{4}\equiv q{\pmod {p}}}$  mit ${\displaystyle x^{4}\equiv p{\pmod {q}}}$ .

Gauß fand heraus, dass sich das biquadratische Reziprozitätsgesetz und die Ergänzungen dazu wesentlich einfacher als Aussagen über „ganze komplexe Zahlen“ (d. h. gaußsche Zahlen) formulieren und beweisen lassen. In einer Fußnote (S. 541) erwähnt er, dass die Eisenstein-Zahlen der naturgemäße Bereich für Theoreme über kubische Reziprozität sind und ähnliche Erweiterungen der ganzen Zahlen die geeigneten Bereiche zur Untersuchung von höheren Potenzen. Diese Abhandlung enthält nicht nur die Einführung gaußscher Zahlen, sondern auch der Begriffe Norm, Einheit, primär und Assoziierte, die heute in der algebraischen Zahlentheorie Standard sind. Siehe dazu auch die Festschrift zum Zahlbericht.^[3]

Eine gaußsche Zahl ${\displaystyle g}$  ist durch

${\displaystyle g=a+b{\mathrm {i} }}$ 

gegeben, wobei ${\displaystyle a}$  und ${\displaystyle b}$  ganze Zahlen sind.^[4]

Der Ring der gaußschen Zahlen heißt auch Gaußscher Zahlring^[5] und wird mit ${\displaystyle \mathbb {Z} [\mathrm {i} ]}$  bezeichnet. Er entsteht also aus ${\displaystyle \mathbb {Z} }$  durch Adjunktion der imaginären Einheit ${\displaystyle \mathrm {i} }$ .

Die gaußschen Zahlen sind die Punkte mit ganzzahligen Koordinaten in der gaußschen Zahlenebene. Sie bilden ein zweidimensionales Gitter.

 

 

Wie in jedem Ring kann man – analog zu ${\displaystyle \mathbb {Z} }$  – auch in ${\displaystyle \mathbb {Z} [\mathrm {i} ]}$  Zahlentheorie betreiben. Insbesondere lassen sich Primelemente als Verallgemeinerung des Begriffes Primzahl definieren. Die Eindeutigkeit der Primfaktordarstellung gilt dann auch für die gaußschen Zahlen.^[6] Die Primelemente im Ring der Gaußschen Zahlen ${\displaystyle \mathbb {Z} [\mathrm {i} ]}$  sind bis auf die Einheitsfaktoren ${\displaystyle \pm 1,\pm \mathrm {i} }$  genau die Primzahlen der Form ${\displaystyle 4k+3,\ k\in \mathbb {N} _{0}}$ , das Element ${\displaystyle 1+i}$  und die Elemente ${\displaystyle a+b\cdot \mathrm {i} ,\ a,b\in \mathbb {Z} }$ , für die ${\displaystyle a^{2}+b^{2}=p}$  eine Primzahl ist, die man als ${\displaystyle p=4k+1,\ k\in \mathbb {Z} }$  schreiben kann.

Die Primelemente im Ring der gaußschen Zahlen haben einen engen Bezug zu den gewöhnlichen Primzahlen. Sie zerfallen in drei Klassen (jeweils bis auf Assoziiertheit, d. h. bis auf Multiplikation mit ${\displaystyle \pm 1}$  und ${\displaystyle \pm \mathrm {i} }$ , den Einheiten des Ringes der gaußschen Zahlen):

Der doppelte Primfaktor von 2:

Die Zahl 2 kann als Produkt der Primelemente ${\displaystyle 1+\mathrm {i} }$  und ${\displaystyle 1-\mathrm {i} }$  geschrieben werden, die sich aber wegen ${\displaystyle 1+\mathrm {i} =\mathrm {i} \cdot (1-\mathrm {i} )}$  nur um eine Einheit unterscheiden. Also gilt ${\displaystyle (1+\mathrm {i} )(1-\mathrm {i} )=\mathrm {i} ^{3}\cdot (1+\mathrm {i} )^{2}}$  und die – bis auf Assoziiertheit der Faktoren eindeutige – Primfaktorzerlegung

${\displaystyle 2=\mathrm {i} ^{3}\cdot (1+\mathrm {i} )^{2}}$ 

zeigt, dass 2 zum Quadrat des Primelements ${\displaystyle 1+\mathrm {i} }$  assoziiert ist (2 ist verzweigt).

Faktoren von Primzahlen der Form 4k + 1:

Ist ${\displaystyle p}$  eine Primzahl der Form ${\displaystyle 4k+1}$  mit einer natürlichen Zahl ${\displaystyle k}$ , so lässt sich ${\displaystyle p}$  auf im Wesentlichen eindeutige Weise als Summe zweier Quadratzahlen schreiben (siehe Zwei-Quadrate-Satz):

${\displaystyle p=a^{2}+b^{2}}$  mit gewissen ${\displaystyle a,b\in \mathbb {Z} }$ 

Dann ist

${\displaystyle p=(a+b\mathrm {i} )(a-b\mathrm {i} )}$ 

die Primfaktorzerlegung von ${\displaystyle p}$ , ${\displaystyle p}$  selbst ist also kein Primelement im Ring der gaußschen Zahlen, sondern Produkt zweier konjugierter Primelemente (${\displaystyle p}$  ist zerlegt). Beispielsweise ist ${\displaystyle 5=(2+\mathrm {i} )(2-\mathrm {i} )}$  kein Primelement, aber ${\displaystyle 2+\mathrm {i} }$  und ${\displaystyle 2-\mathrm {i} }$  sind zwei Primelemente.

Primzahlen der Form 4k + 3:

Ist ${\displaystyle p}$  eine Primzahl der Form ${\displaystyle 4k+3}$  mit einer natürlichen Zahl ${\displaystyle k}$ , so ist ${\displaystyle p}$  auch im Ring der gaußschen Zahlen ein Primelement (${\displaystyle p}$  bleibt prim, es ist träge).

Die drei Fälle beschreiben das Verhalten von Primelementen bei Erweiterung des Körpers der rationalen Zahlen zum Körper der Gaußschen Zahlen (entstanden durch Adjunktion der imaginären Einheit).

Eine bis auf die Reihenfolge der Faktoren eindeutige Primfaktorzerlegung für eine beliebige gaußsche Zahl ${\displaystyle z\neq 0}$  ergibt sich z. B., wenn man ${\displaystyle p_{1}=1+\mathrm {i} }$  setzt und von den vier Assoziierten jedes ungeraden Primelements ${\displaystyle p_{m}}$  das durch die Forderung ${\displaystyle p_{m}\equiv 1{\pmod {2+2\mathrm {i} }}}$  (s. w. u. Kongruenzen und Restklassen) eindeutig bestimmte sog. primäre auswählt und diese nach ihrer Norm sortiert:

${\displaystyle {\begin{aligned}&p_{2}=-1+2\mathrm {i} ,\quad p_{3}=-1-2\mathrm {i} ,\quad p_{4}=-3,\quad p_{5}=+3+2\mathrm {i} ,\quad \\&p_{6}=+3-2\mathrm {i} ,\quad p_{7}=+1+4\mathrm {i} ,\quad p_{8}=+1-4\mathrm {i} ,\;\dots ,\;p_{15}=-7,\dotsc \end{aligned}}}$ 

(offensichtlich sind hierbei die natürlichen Primzahlen der Form ${\displaystyle 4k+3}$  immer mit negativem Vorzeichen zu versehen, da ${\displaystyle 4k+3\equiv 3\equiv -1{\pmod {2+2\mathrm {i} }}}$ ). Die obige Definition erfüllt offensichtlich ein wichtiges Kriterium: Das Produkt beliebiger primärer Gaußscher Zahlen ist ebenfalls eine primäre Zahl. Damit erhält man

${\displaystyle z={\mathrm {i} }^{k}\prod _{m\in \mathbb {N} }p_{m}^{\nu _{m}}}$  mit ${\displaystyle k=0,\dotsc ,3}$  und ${\displaystyle \nu _{m}\geq 0}$  (darin gilt natürlich nur für endlich viele Exponenten ${\displaystyle \nu _{m}>0}$ ).

Eine andere, häufig benutzte Primfaktordarstellung ergibt sich, wenn man darin die überflüssigen Faktoren ${\displaystyle p_{k}^{0}=1}$  weglässt, und nur die Primteiler von ${\displaystyle z}$  berücksichtigt, d. h. alle ${\displaystyle p_{m}}$  mit ${\displaystyle \nu _{m}>0}$ . Dies seien die Zahlen ${\displaystyle q_{n}\in \{p_{1},\dots \},\;n=1,\dots ,r}$ . Damit lautet die Darstellung

${\displaystyle z={\mathrm {i} }^{k}\prod _{n=1}^{r}q_{n}^{\mu _{n}}}$  mit ${\displaystyle k=0,\dotsc ,3}$  und ${\displaystyle \mu _{n}>0}$ 

Jede gaußsche Zahl ${\displaystyle g\neq 0}$  hat vier Assoziierte ${\displaystyle \pm g,\pm \mathrm {i} g}$ , die durch Multiplikation mit den Einheiten gebildet werden und in allen vier Quadranten der komplexen Zahlenebene liegen.
Ein größter gemeinsamer Teiler (ggT) zweier gaußscher Zahlen ${\displaystyle a,b}$  ist definiert als gaußsche Zahl ${\displaystyle t}$  mit folgenden zwei Eigenschaften:^[7]

1. ${\displaystyle t\mid a}$  und ${\displaystyle t\mid b,\,}$  d. h.: ${\displaystyle t}$  ist ein gemeinsamer Teiler von ${\displaystyle a}$  und ${\displaystyle b}$ .
2. Aus ${\displaystyle s\mid a}$  und ${\displaystyle s\mid b}$  folgt ${\displaystyle s\mid t,\,}$  d. h.: Jeder gemeinsame Teiler von ${\displaystyle a}$  und ${\displaystyle b}$  teilt auch ${\displaystyle t}$ .

Daraus folgt: Alle gaußschen Zahlen ${\displaystyle t}$  mit diesen Eigenschaften (bei gegebenem ${\displaystyle a,b}$ ) sind assoziiert. Der ggT ist somit eine im Wesentlichen (bis auf Assoziierte) eindeutig bestimmte gaußsche Zahl mit der üblichen Schreibweise ${\displaystyle t=(a,b)}$ .

Sofern die Primfaktorzerlegung von ${\displaystyle a}$  und ${\displaystyle b}$  bekannt ist, also ${\displaystyle a=i^{k}\prod _{m}p_{m}^{\nu _{m}},\,b=i^{n}\prod _{m}p_{m}^{\mu _{m}}}$ , ist der ggT natürlich sofort gegeben durch ${\displaystyle (a,b)=\prod _{m}p_{m}^{\lambda _{m}}}$  mit ${\displaystyle \lambda _{m}=\mathrm {min} (\nu _{m},\mu _{m})}$ .

 

Andernfalls kann man den euklidischen Algorithmus benutzen: Zur Bestimmung des ggT zweier Zahlen ${\displaystyle z_{0},z_{1}}$  läuft er ähnlich ab wie für ganze Zahlen. Es gilt ${\displaystyle (z_{0},0)=z_{0}}$  für alle ${\displaystyle z_{0}}$  (also insbesondere ${\displaystyle (0,0)=0}$ ). Und für ${\displaystyle z_{1}\neq 0}$  gibt es ein Paar gaußscher Zahlen ${\displaystyle q_{1},z_{2}}$  mit

${\displaystyle z_{0}=q_{1}z_{1}+z_{2}}$  und ${\displaystyle |z_{2}|<|z_{1}|.}$ 

Man bestimmt dazu ${\displaystyle q_{1}=m+n\mathrm {i} }$  als diejenige gaußsche Zahl, die dem Bruch ${\displaystyle \xi :={\frac {z_{0}}{z_{1}}}}$  am nächsten liegt. Dafür gilt stets ${\displaystyle \left|m-\operatorname {Re} (\xi )\right|\leq {\frac {1}{2}}}$  und ${\displaystyle \left|n-\operatorname {Im} (\xi )\right|\leq {\frac {1}{2}}}$ , also ${\displaystyle d:=\left|q_{1}-\xi \right|\leq d_{\text{max}}={\frac {1}{\sqrt {2}}}}$  und folglich ${\displaystyle |z_{2}|\leq {\frac {|z_{1}|}{\sqrt {2}}}}$ .

Falls ${\displaystyle z_{2}\neq 0}$ , wird das fortgesetzt mit ${\displaystyle z_{1}=q_{2}z_{2}+z_{3}}$  und ${\displaystyle |z_{3}|<|z_{2}|}$  usw. bis ${\displaystyle z_{n+1}=0}$ . Dann ist ${\displaystyle z_{n}}$  der gesuchte ggT: ${\displaystyle (z_{0},z_{1})=z_{n}}$ .

Beispiel:
Gesucht sei der ggT der gaußschen Zahlen ${\displaystyle z_{0}=5+\mathrm {i} ,\;z_{1}=2}$ . Der Quotient ist ${\displaystyle {\frac {z_{0}}{z_{1}}}=2{,}5+0{,}5\mathrm {i} }$ . Für ${\displaystyle q_{1}}$  kommen damit die vier gaußschen Zahlen ${\displaystyle 2,2+\mathrm {i} ,3,3+\mathrm {i} }$  in Frage. Wir wählen z. B. ${\displaystyle q_{1}=2}$  und erhalten ${\displaystyle z_{2}=z_{0}-q_{1}z_{1}=5+\mathrm {i} -4=1+\mathrm {i} }$ . Der nächste Schritt ergibt ${\displaystyle {\frac {z_{1}}{z_{2}}}={\frac {2}{1+\mathrm {i} }}=1-\mathrm {i} }$ , d. h., der Rest ist ${\displaystyle z_{3}=0}$ : Der Algorithmus bricht ab und wir erhalten als ggT ${\displaystyle {\underline {(5+\mathrm {i} ,2)=z_{2}=1+\mathrm {i} }}}$ .

Zwei gaußsche Zahlen ${\displaystyle z_{1},z_{2}}$  heißen kongruent bezüglich eines gaußschen Moduls ${\displaystyle z_{0}}$ , wenn es eine gaußsche Zahl ${\displaystyle q}$  gibt mit ${\displaystyle z_{1}-z_{2}=qz_{0}}$ . Man schreibt dafür ${\displaystyle z_{1}\equiv z_{2}{\pmod {z_{0}}}}$ . Dann gibt es auch einen gemeinsamen Rest ${\displaystyle r}$  mit ${\displaystyle z_{1}=q_{1}z_{0}+r,\,z_{2}=q_{2}z_{0}+r}$ .^[8] Wie oben kann man die Faktoren ${\displaystyle q_{1},q_{2}}$  so bestimmen, dass ${\displaystyle |r|\leq {\frac {|z_{0}|}{\sqrt {2}}}}$  gilt.

Die Kongruenzrelation ${\displaystyle R_{z_{0}}}$  nach dem Modul ${\displaystyle z_{0}}$  induziert im Gaußschen Zahlring ${\displaystyle \mathbb {Z} [\mathrm {i} ]}$  eine Klasseneinteilung ${\displaystyle \mathbb {Z} [\mathrm {i} ]/R_{z_{0}}}$ . Man definiert ${\displaystyle {\bar {a}}}$  als die Menge aller gaußschen Zahlen ${\displaystyle z}$ , für die gilt: ${\displaystyle z\equiv a{\pmod {z_{0}}}}$ . Die Menge ${\displaystyle {\bar {a}}}$  nennt man eine Restklasse modulo ${\displaystyle z_{0}}$ . Damit gilt:

${\displaystyle {\bar {a}}={\bar {b}}}$  genau dann, wenn ${\displaystyle a\equiv b{\pmod {z_{0}}}}$ 

Addition und Multiplikation von Kongruenzen sind sehr einfach: Aus ${\displaystyle a_{1}\equiv b_{1}{\pmod {z_{0}}}}$  und ${\displaystyle a_{2}\equiv b_{2}{\pmod {z_{0}}}}$  folgt:

${\displaystyle a_{1}+a_{2}\equiv b_{1}+b_{2}{\pmod {z_{0}}}}$ 

${\displaystyle a_{1}\cdot a_{2}\equiv b_{1}\cdot b_{2}{\pmod {z_{0}}}}$ 

Das zeigt, dass die Definitionen

${\displaystyle {\bar {a}}+{\bar {b}}:={\overline {a+b}}}$ 

${\displaystyle {\bar {a}}\cdot {\bar {b}}:={\overline {ab}}}$ 

für die Summe und das Produkt von Restklassen wohldefiniert (d. h. repräsentantenunabhängig) und daher gerechtfertigt sind. Die Menge ${\displaystyle \mathbb {Z} [\mathrm {i} ]/R_{z_{0}}}$  der Restklassen bildet dann mit diesen Operationen einen kommutativen Ring mit ${\displaystyle {\bar {0}}}$  als Nullelement und ${\displaystyle {\bar {1}}}$  als Einselement, den sogenannten Restklassenring modulo ${\displaystyle z_{0}}$ .

Beispiele:

1. Es gibt genau zwei Restklassen zum Modul ${\displaystyle z_{0}=1+\mathrm {i} }$ , nämlich das Hauptideal ${\displaystyle {\bar {0}}=\{0,\pm 2,\pm 4,\dotsc ,\pm 1\pm \mathrm {i} ,\pm 3\pm \mathrm {i} ,\dotsc \}}$  aller Vielfachen ${\displaystyle z\cdot (1+\mathrm {i} )}$  des Moduls und ${\displaystyle {\bar {1}}=\{\pm 1,\pm 3,\dotsc ,\pm \mathrm {i} ,\pm 2\pm \mathrm {i} ,\dotsc \}}$ , die ein Schachbrettmuster in der gaußschen Zahlenebene bilden. Sie können als Erweiterung der geraden bzw. ungeraden natürlichen Zahlen angesehen und deshalb als (un)gerade gaußsche Zahlen bezeichnet werden (Gauß unterteilt die geraden Zahlen noch in halbgerade und gerade, d. h. durch 2 teilbare).
   
2. Zum gaußschen Modul ${\displaystyle z_{0}=2}$  gibt es genau vier Restklassen, nämlich ${\displaystyle {\bar {0}},{\bar {1}},{\bar {\mathrm {i} }},{\overline {1+\mathrm {i} }}}$ . (Man beachte, dass z. B. ${\displaystyle 1+\mathrm {i} \equiv \pm 1\pm \mathrm {i} {\pmod {2}}}$  gilt.)

 

Um alle Restklassen zu einem Modul ${\displaystyle z_{0}}$  zu bestimmen, kann man mit der Abbildung ${\displaystyle z(s,t)=(s+\mathrm {i} t)z_{0}}$  ein quadratisches Gitter über die komplexe Zahlenebene legen. Die Gitterlinien seien die Geraden mit ${\displaystyle s=\pm {\frac {1}{2}},\pm {\frac {3}{2}},\dotsc }$  und ${\displaystyle t\in \mathbb {R} }$  bzw. ${\displaystyle t=\pm {\frac {1}{2}},\pm {\frac {3}{2}},\dotsc ,s\in \mathbb {R} }$ . Sie zerteilen die Ebene in Quadrate ${\displaystyle Q_{mn}}$  (mit ganzzahligen ${\displaystyle m,n}$ ) ${\displaystyle s=\left[m-{\frac {1}{2}},m+{\frac {1}{2}}\right),t=\left[n-{\frac {1}{2}},n+{\frac {1}{2}}\right)}$ . Die vier Eckpunkte von ${\displaystyle Q_{00}}$  sind die assoziierten Punkte ${\displaystyle {\frac {\pm 1\pm i}{2}}z_{0}}$ . Wenn ${\displaystyle z_{0}}$  eine gerade gaußsche Zahl ist, sind alle vier gaußsche Zahlen (und auch kongruent zueinander), ansonsten keine. Im ersten Fall nehmen wir z. B. nur den Eckpunkt ${\displaystyle {\frac {-1-\mathrm {i} }{2}}z_{0}}$  als zu ${\displaystyle Q_{00}}$  gehörig. Innerhalb jedes Quadrates sind alle gaußschen Zahlen inkongruent, wenn man jeweils die oberen Grenzen ausschließt: ${\displaystyle s<m+{\frac {1}{2}},t<n+{\frac {1}{2}}}$  (wenn auf den Grenzlinien gaußsche Zahlen liegen, dann immer paarweise kongruente Zahlen).

Das Quadrat ${\displaystyle Q_{00}}$  beschreibt damit alle minimalen Reste, in dem Sinne, dass alle anderen Elemente in den Restklassen betragsmäßig nicht kleiner sind (Gauß bezeichnet sie als absolut kleinste Reste).

Daraus lässt sich mit einfachen geometrischen Überlegungen ableiten, dass die Anzahl der Restklassen zu einem gegebenen Modul ${\displaystyle z_{0}=m+n\mathrm {i} }$  gleich seiner Norm ${\displaystyle N(z_{0}):=|z_{0}|^{2}=m^{2}+n^{2}}$  ist (bei den natürlichen Zahlen ist die Anzahl der Restklassen zu einem Modul ${\displaystyle m}$  trivialerweise gleich dem Betrag ${\displaystyle |m|}$ ).

Man sieht sofort, dass alle Quadrate deckungsgleich sind (inklusive der Gitterpunkte). Sie haben die Seitenlänge ${\displaystyle |z_{0}|}$ , also die Fläche ${\displaystyle F=|z_{0}|^{2}=m^{2}+n^{2}}$  und in allen liegt die gleiche Anzahl gaußscher Zahlen, die wir mit ${\displaystyle N_{g}}$  bezeichnen. Allgemein ist die Zahl von Gitterpunkten in einem beliebigen Quadrat der Fläche ${\displaystyle A}$  bestimmt durch ${\displaystyle A+O({\sqrt {A}})}$ . Betrachten wir nun ein großes Quadrat aus ${\displaystyle k\times k}$  Quadraten ${\displaystyle Q_{mn}}$ , dann liegen darin folglich stets ${\displaystyle k^{2}F+O(k{\sqrt {F}})}$  Gitterpunkte. Es gilt also ${\displaystyle k^{2}N_{g}=k^{2}F+O(k{\sqrt {F}})}$ , was im Limes ${\displaystyle k\to \infty }$  ${\displaystyle {\underline {N_{g}=F=m^{2}+n^{2}}}}$  ergibt.

Viele Sätze (und Beweise) für Moduln ganzer Zahlen lassen sich direkt auf Moduln gaußscher Zahlen übertragen, indem man jeweils den Betrag des Moduls durch die Norm ersetzt. Insbesondere gilt das für die prime Restklassengruppe und den Satz von Fermat-Euler, wie hier kurz ergänzt werden soll.

Die prime Restklassengruppe (pRG) des Restklassenringes modulo ${\displaystyle z}$  ist die multiplikative Gruppe seiner Einheiten. Sie besteht aus allen Restklassen ${\displaystyle {\bar {a}}}$  mit zu ${\displaystyle z}$  teilerfremdem ${\displaystyle a}$ , für die also gilt: ${\displaystyle (a,z)=1}$ . Die Anzahl ihrer Elemente sei bezeichnet als ${\displaystyle \phi (z)}$  (analog zur eulerschen Phi-Funktion ${\displaystyle \varphi (m)}$  für ganze Zahlen ${\displaystyle m}$ ). Für Primelemente ergibt sich sofort ${\displaystyle \phi (p)=|p|^{2}-1}$  und für beliebige (zusammengesetzte) gaußsche Zahlen ${\displaystyle z}$  kann man die eulersche Produktformel

${\displaystyle \phi (z)=|z|^{2}\prod _{p_{m}|z}\left(1-{\frac {1}{|p_{m}|^{2}}}\right)}$ 

ableiten, wobei das Produkt über alle Primteiler von ${\displaystyle z=\mathrm {i} ^{k}\prod _{m}p_{m}^{\nu _{m}}}$  (mit ${\displaystyle \nu _{m}>0}$ ) zu erstrecken ist.

Auch der wichtige Satz von Fermat-Euler ist sofort übertragbar:

Aus ${\displaystyle (a,z)=1}$  folgt ${\displaystyle a^{\phi (z)}\equiv 1{\pmod {z}}}$ .

Mit Hilfe dieses Satzes kann man z. B. einige diophantische Gleichungen für gaußsche Zahlen explizit lösen. Beispielsweise seien ${\displaystyle x,y}$  als Lösungen der linearen Gleichung

${\displaystyle ax+by=c}$ 

für gegebene gaußsche Zahlen ${\displaystyle a,b,c}$  gesucht. Dafür kann man o. B. d. A. ${\displaystyle (a,b)=1}$  annehmen, da jeder gemeinsame Teiler von ${\displaystyle a}$  und ${\displaystyle b}$  auch ein Teiler von ${\displaystyle c}$  sein muss (andernfalls hat die Gleichung keine Lösung) und deshalb herausgekürzt werden kann.

Dazu betrachtet man diese Gleichung modulo ${\displaystyle b}$ , was ergibt ${\displaystyle ax\equiv c{\pmod {b}}}$ . Der Satz von Fermat-Euler liefert dann eine explizite Lösung ${\displaystyle x}$ , nämlich

${\displaystyle x\equiv ca^{\phi (b)-1}{\pmod {b}}}$ ,

d. h. alle gaußsche Zahlen der Form ${\displaystyle x=ca^{\phi (b)-1}+ub}$  mit beliebigen gaußschen Faktoren ${\displaystyle u}$ . Eingesetzt in die Ausgangsgleichung ergibt das

${\displaystyle y=c{\frac {1-a^{\phi (b)}}{b}}-ua}$ ,

was nach dem Satz von Fermat-Euler ebenfalls eine gaußsche Zahl ist.

 

Die meisten der ungelösten Probleme haben mit der Verteilung der gaußschen Primzahlen in der Ebene zu tun.

• Das Gaußsche Kreisproblem (engl. Gauss’s circle problem) beschäftigt sich nicht mit gaußschen Zahlen an sich, sondern fragt nach der Anzahl der Gitterpunkte innerhalb eines Kreises mit gegebenem Radius um den Koordinatenursprung. Das ist äquivalent der Bestimmung der Anzahl gaußscher Zahlen mit der Norm kleiner als ein gegebener Wert.

Zwei ungelöste Probleme über gaußsche Primzahlen sind z. B.

• Auf den reellen und imaginären Koordinatenlinien liegen unendlich viele gaußsche Primzahlen 3, 7, 11, 19, … und deren Assoziierte. Gibt es weitere Geraden, auf denen unendlich viele Primzahlen liegen? Insbesondere: Gibt es unendlich viele Primzahlen der Form ${\displaystyle 1+k\mathrm {i} }$ ?^[9]

• Ist es möglich, durch die Ebene der gaußschen Zahlen bis ins Unendliche zu wandern, indem man die gaußschen Primzahlen als Stützstellen benutzt und dabei nur Schritte begrenzter Länge macht? Das ist als Gaußsches Grabenproblem (engl. Gaussian moat problem) bekannt; es wurde 1962 aufgestellt von Basil Gordon und ist noch ungelöst.^[10][11]

• Peter Bundschuh: Einführung in die Zahlentheorie. 6., überarbeitete und aktualisierte Auflage. Springer-Verlag, Berlin u. a. 2008, ISBN 978-3-540-76490-8. 
• Harald Scheid: Zahlentheorie. 3. Auflage. Spektrum Akademischer Verlag, Heidelberg u. a. 2003, ISBN 3-8274-1365-6. 

1. ↑ Harald Scheid: Zahlentheorie. 3. Auflage. Spektrum Akademischer Verlag, Heidelberg u. a. 2003, ISBN 3-8274-1365-6, S. 108. 
2. ↑ H. Maser (Hrsg.): Carl Friedrich Gauss’ Arithmetische Untersuchungen über höhere Arithmetik. Springer, Berlin 1889, S. 534 ff.
3. ↑ F.Lemmermeyer: 120 JAHRE HILBERTS ZAHLBERICHT, DMV, 2017
4. ↑ Gaußsche Zahl. In: Guido Walz (Hrsg.): Lexikon der Mathematik. 1. Auflage. Spektrum Akademischer Verlag, Mannheim/Heidelberg 2000, ISBN 3-8274-0439-8. 
5. ↑ Peter Bundschuh: Einführung in die Zahlentheorie. 6., überarbeitete und aktualisierte Auflage. Springer-Verlag, Berlin u. a. 2008, ISBN 978-3-540-76490-8, S. 76. 
6. ↑ Holger Brenner: Vorlesung. (PDF; 79 kB), Universität Osnabrück.
7. ↑ Herbert Pieper: Die komplexen Zahlen. VEB Deutscher Verlag der Wissenschaften, Berlin 1988, ISBN 3-326-00406-0, S. 119. 
8. ↑ E. Krätzel: Zahlentheorie. VEB Deutscher Verlag der Wissenschaften, Berlin 1981, S. 17. 
9. ↑ Ribenboim, Ch.III.4.D Ch. 6.II, Ch. 6.IV (Hardy & Littlewood's conjecture E and F)
10. ↑ Ellen Gethner, Stan Wagon, Brian Wick: A stroll through the Gaussian primes. In: American Mathematical Monthly. Band 105, Nr. 4, 1998, S. 327–337, doi:10.2307/2589708 (englisch, Mathematical Reviews 1614871, zbMATH 0946.11002). 
11. ↑ Richard K. Guy: Unsolved problems in number theory. 3. Auflage. Springer, 2004, ISBN 978-0-387-20860-2, S. 55–57 (englisch, zbMATH 1058.11001).