I am studying for an algebra exam and have stumbled upon these two questions:
- Show that $(2, \varepsilon)$ is not a principal ideal in $\mathbb{Z}[\sqrt{0}]$
- Show that $(2, \varepsilon)$ is a principal ideal in $\mathbb{Z}[\sqrt{-1}]$
$\varepsilon$ is not specified, but I suppose $\varepsilon = \sqrt{0}$ and $\varepsilon = \sqrt{-1}$ respectively. Here are my thoughts:
- Isn’t $\mathbb{Z}[\sqrt{0}] = \mathbb{Z}$ and hence a PID?
- I know that $\mathbb{Z}[\sqrt{-1}] = \mathbb{Z}[i]$ and that the Gaussian integers are a PID. How could I prove the statement without this fact?
Edit: I have found this definition in the lecture notes: Let $A$ be a (commutative) ring, $d \in A$, and $\varepsilon$ a “square root” of $d$ that we add to $A$, then $A[\sqrt{d}] = \{a + b\varepsilon, a, b \in A\}$. That’s why I think $\mathbb{Z}[\sqrt{0}] = \{a + b\sqrt{0}, a, b \in \mathbb{Z}\} = \mathbb{Z}$.
After sorting out the notational difficulties with Daniel Fisher, I am now able to answer my own question: