Gaussian integer ($\mathbb{Z}[i]$)

A Gaussian integer has the form $a+bi$ with $a,b\in \mathbb{Z}$. Its multiplicative norm is $N(a+bi)=a^2+b^2$, which makes $\mathbb{Z}[i]$ a Euclidean domain.

If $\alpha =a+bi$ is a Gaussian integer and $P$ is a nonzero prime ideal of $R=\mathbb{Z}[\alpha ]$, then $R/P$ is a finite field. Complex conjugation preserves $R$, so a nonzero $\beta \in P$ gives the positive integer $\beta \bar{\beta }\in P$. Primality supplies a rational prime $p\in P$. Since $\alpha$ satisfies the monic polynomial $t^2-2at+a^2+b^2$, the ring $R/P$ is a quotient of ${\mathbb{F}}_p[t]/(\bar{F})$ and has at most $p^2$ elements. It is a finite integral domain, hence a field. The proof does not require $R$ to be a principal ideal domain.