Gaußsche Zahlen/Primzahlverhalten/Fakt

Die Primzahlen aus ${}\mathbb {Z}$ haben in ${}\mathbb {Z} [{\mathrm {i} }]$ folgendes Zerlegungsverhalten:

• Es ist

${}2=-{\mathrm {i} }(1+{\mathrm {i} })^{2}\,,$

und ${}1+{\mathrm {i} }$ ist prim in ${}\mathbb {Z} [{\mathrm {i} }]$.

• Für ${}p=1\mod 4$ ist

${}p=(x+y{\mathrm {i} })(x-y{\mathrm {i} })\,,$

mit gewissen eindeutig bestimmten ${}x,y\in \mathbb {N} _{+}$, wobei beide Faktoren prim sind.

• Für ${}p=3\mod 4$ ist ${}p$ prim in ${}\mathbb {Z} [{\mathrm {i} }]$.

Zum Beweis, Alternativen Beweis erstellen