<s>[INST] Is $(4+\sqrt{5})$ a prime ideal of $\mathbb{Z} \left[ \frac{1+\sqrt{5}}{2} \right]$? Consider the integral domain  $\mathbb{Z} \left[ \frac{1+\sqrt{5}}{2} \right]$. Is $(4+\sqrt{5})$ a prime ideal of  $\mathbb{Z} \left[ \frac{1+\sqrt{5}}{2} \right]$?
I know the following elementary facts. We have
\begin{equation}
\mathbb{Z} \left[ \frac{1+\sqrt{5}}{2} \right] = \left\{ \frac{m + n \sqrt{5}}{2} : m, n \in \mathbb{Z} \text{ are both even or both odd} \right\}.
\end{equation}
For every $\frac{m + n \sqrt{5}}{2} \in \mathbb{Z} \left[ \frac{1+\sqrt{5}}{2} \right]$, define its norm as usual:
\begin{equation}
N\left(\frac{m + n \sqrt{5}}{2}\right)=\frac{m^2-5n^2}{4}.
\end{equation}
Since $m, n$ are both even or both odd, it is easy to see that the norm is an integer. From this fact it is easily seen that $\frac{m + n \sqrt{5}}{2}$ is a unit of $\mathbb{Z} \left[ \frac{1+\sqrt{5}}{2} \right]$ if and only if $m^2 - 5n^2=4$ or $m^2 - 5n^2=-4$. Now since $N(4+\sqrt{5})=11$ we easily get that $4+\sqrt{5}$ is an irreducible element of  $\mathbb{Z} \left[ \frac{1+\sqrt{5}}{2} \right]$. If $\mathbb{Z} \left[ \frac{1+\sqrt{5}}{2} \right]$ were a unique factorization domain, we could conclude that $(4+\sqrt{5})$ a prime ideal of  $\mathbb{Z} \left[ \frac{1+\sqrt{5}}{2} \right]$. But I do not know if $\mathbb{Z} \left[ \frac{1+\sqrt{5}}{2} \right]$ is a unique factorization domain. Does someone know if it is?
Thank you very much in advance for your attention.
 [/INST] Yes, $\mathbb{Z}\left[\frac{1+\sqrt{5}}{2}\right]$ is a UFD because it is norm-Euclidean.
</s>