TITLE: Classifying prime ideals of $\mathbb{Z}[i]$
QUESTION [6 upvotes]: I am studying number fields and their rings of integer and I want to understand prime ideals of Gaussian integers $\mathbb{Z}[i]$, which is the ring of integers of $\mathbb{Q}[i]$. We have the following arguments for ramification primes:

In $\mathbb{Z}[i]$, there are three kinds, ramified, split and inert primes:


There is exactly one rational prime that ramifies, namely $2$, and the prime above it, say $\mathfrak p$ has norm $2$.
Each rational prime $p\equiv 1\pmod 4$ splits into a product of two primes $pO_K=\mathfrak p_1\mathfrak p_2$ both of which have norm $p$.
Finally the rational primes $p\equiv 3\pmod 4$ stay prime with norm $p^2 $.

Using the arguments above, how can we classify prime ideals of $\mathbb{Z}[i]$, ?

REPLY [5 votes]: You also need the fact that $\textbf{Z}[i]$ is a principal ideal domain. This means that any number in this domain is in one or more principal ideals. Then you only need to check if the three kinds of numbers you've listed belong in only in ideals generated by the kinds of numbers you've listed.
{"set_name": "stack_exchange", "score": 6, "question_id": 2479336}