Prime elements in $\mathbb{Z}[\sqrt{2}]$ What are the prime elements in the ring $\mathbb{Z}[\sqrt{2}]$?
Note that since the ring is a PID (and thus a UFD) then prime = irreducible. Even more, it is Euclidean with respect to the absolute value of the norm: $N(a+b\sqrt{2})=a^2-2b^2$ so it has a nice structure.
I know that if $N(\alpha)=p$ with $p$ prime integer then $\alpha$ is a prime element. Not a very explicit description but it would do. 
Nevertheless, I think there are other primes not covered by the above case. What about prime integers, are they still prime in $\mathbb{Z}[\sqrt{2}]$? I am hoping a classification can be found similar to the primes in $\mathbb{Z}[i]$...
Edit: As Alex Youcis points out, it is probably useful to keep in mind that all the units in this ring are characterized by $\pm(1-\sqrt{2})^n$, so the search for prime elements should be up to these.

In case someone is still interested in an elementary solution: By proceeding analogously to the case of $\mathbb{Z}[i]$ (in Neukirch's book on algebraic number theory) we can give a list that contains all prime elements of $\mathbb{Z}[\sqrt{2}]$. However, the solution is incomplete insofar that associated prime elements might appear more than once.
The corresponding theorem about the representability of integer primes as the norm of elements in $\mathbb{Z}[\sqrt{2}]$ is the following.

Lemma: For a prime number $p>2$, the diophantine equation
  \begin{equation*}
p = a^2 - 2b^2
\end{equation*}
  is solvable in integers $a$ and $b$ if and only if $p \equiv 1$ or $7 \bmod 8$.

Note that $2 = 2^2-2*1^1$ is representable as well.
Proof: This is analogous to Neukirch's proof that a prime $p>2$ is representable as a sum of two squares if and only if $p \equiv 1 \bmod 4$. We replace Wilson's theorem (Theorem 80) by Theorem 95 in Hardy and Wrights classic book. It says that the congruence $x^2 \equiv 2 \bmod p$ has a solution if $p \equiv 1, 7 \bmod 8$ (two is a quadratic residue mod $p$).
Note that squares are $\equiv 0,1,4 \bmod 8$, hence only odd numbers $\equiv 1,7 \bmod 8$ can be represented by $a^2-2b^2$.
For the converse, by theorem 95, there is an integer $x$ such that $p\vert x^2-2 = (x-\sqrt{2})(x+\sqrt{2})$, so $p$ is no longer prime in $\mathbb{Z}[\sqrt{2}]$, since $p$ divides neither of the factors in $\mathbb{Z}[\sqrt{2}]$. Hence $p$ can be written as the product $\alpha \beta$ of two non-units, such that for the norm  $N(p) = p^2 = N(\alpha) N(\beta)$ holds. Since $\alpha$ and $\beta$ are non-units, $N(\alpha) = N(\beta) = p$ (up to a possible minus sign of which we can get rid of by choosing appropriate associate elements). If we write e.g. $\alpha = a+bi$, we found the integers $a$ and $b$ with $N(\alpha) = a^2 - 2b^2 = p$.
Now the prime elements of $\mathbb{Z}[\sqrt{2}]$ (up to, and possibly including) associates are


*

*$\sqrt{2}$,

*$\alpha \in \mathbb{Z}[\sqrt{2}]$ such that $N(\alpha) = p$ is a prime $p \equiv 1, 7 \bmod 8$,

*and integer primes $p \equiv 3,5 \bmod 8$.


Now, one can use the proof as for the prime elements in $\mathbb{Z}[i]$ almost word by word by first showing that all these elements are in fact prime elements, and then by showing that any prime element must be associated to an element in the list. (Elements of prime norm are prime because they cannot be further factorized in non-units (and using that we work in an UFD here), and elements in (3) with square prime norm are prime because they are not representable) (any prime element has norm in $\mathbb{Z}$ which factorizes there uniquely. Then one can say again that the prime element must have norm $\pm 1$, $\pm p$ or $\pm p^2$, for $p$ being one of the primes dividing the norm in $\mathbb{Z}$. $\pm 1$ cannot be, $\pm p$ and we are in case (1) or (2), and $\pm p^2$ gives case (3) ).
