How to prove that the ring of all algebraic integers is a Bézout domain? I was told that the ring of all algebraic integers (that is, the complex numbers which are roots of a monic polynomials with integral coefficients) is a Bézout domain. But I have no idea how to prove it. Can anyone help me with this? Thanks in advance.
 A: First, an example:
Consider the algebraic number field $\mathbb{Q}(\sqrt{-5})$. Its class number is two. That means there exist ideals of the ring of integers $\mathbb{Z}[\sqrt{-5}]$ of this field that are not principal, but the square of any ideal is principal. For instance, we have the decomposition
$$6 = 2 \cdot 3 = ( 1 + \sqrt{-5})\cdot (1-\sqrt{-5})$$
The ideals $\mathfrak{p}\colon =(3, 1+\sqrt{-5})$ is prime and of order $2$. That means that its square $\mathfrak{p}^2$ is principal. Indeed, we have from first principles
\begin{gather*}
\mathfrak{p}^2 = (\, 9,\, 3( 1 +\sqrt{-5}),\, (1+\sqrt{-5})^2)=\\
= (\, (2+\sqrt{-5})(2-\sqrt{-5}),\, (-1 + \sqrt{-5})(2 -\sqrt{-5}),\, -2(2 - \sqrt{-5})\, )=\\ 
(2 - \sqrt{-5})
\end{gather*}
Let's consider the quadratic extension $\mathbb{Q}\left(\sqrt{2 - \sqrt{-5}}\right) $ of the field $\mathbb{Q}(\sqrt{5})$. In the ring of the integers of this number field we have the equality of ideals (extend the ideals)
$$(3, 1+\sqrt{-5})^2 =(2 - \sqrt{-5}) = \left( \sqrt{2 - \sqrt{-5}}\right)^2$$
Because of the unique decomposition of ideals of any ring of integers of an algebraic number field, the above equality implies
$$(3, 1+\sqrt{-5})= \left( \sqrt{2 - \sqrt{-5}}\right)$$
Let's check this equality. For comfort, fix an embedding of $\mathbb{Q}\left(\sqrt{2 - \sqrt{-5}}\right) $ into $\mathbb{C}$,  $\sqrt{2 - \sqrt{-5}} \mapsto \frac{ \sqrt{5} - i }{\sqrt{2}}$ ( so $\sqrt{-5} \mapsto \sqrt{5}i$)
We have $3^2 = 9 = (2+ \sqrt{5}i) \cdot (2- \sqrt{5}i)$ so
$$
3= \frac{ \sqrt{5} + i }{\sqrt{2}}\cdot \frac{ \sqrt{5} - i }{\sqrt{2}}
$$
Note that $\frac{ \sqrt{5} + i }{\sqrt{2}}$ is in the ring of integers of $\mathbb{Q}\left(\frac{ \sqrt{5} - i }{\sqrt{2}}\right)$. Indeed, the minimal polynomial of $\frac{ \sqrt{5} + i }{\sqrt{2}}$ is $x^4 - 4 x^2 + 9$ and moreover
$$\frac{ \sqrt{5} + i }{\sqrt{2}}= 4/3 \cdot \frac{ \sqrt{5} - i }{\sqrt{2}}-1/3 \cdot \left(\frac{ \sqrt{5} - i }{\sqrt{2}}\right)^3 $$
Also, from $(1+ \sqrt{5}i)^2 = -2 ( 2 - \sqrt{5}i)$ we get
$$1+ \sqrt{5}i = \sqrt{2} i \cdot \frac{ \sqrt{5} - i }{\sqrt{2}}$$
Again, $\sqrt{2}i$ is an algebraic integers and $\mathbb{Q}\left(\frac{ \sqrt{5} - i }{\sqrt{2}}\right)$, since
$$\sqrt{2} i =1
/3 \cdot \frac{ \sqrt{5} - i }{\sqrt{2}}-1/3 \cdot \left(\frac{ \sqrt{5} - i }{\sqrt{2}}\right)^3 $$
So far, both $3$ and $1+ \sqrt{5}i$ are divisible by $\frac{ \sqrt{5} - i }{\sqrt{2}}$. Now we'll see that $\frac{ \sqrt{5} - i }{\sqrt{2}}$ is an (algebraic) integer combination of $3$ and $1+ \sqrt{5}i$. Indeed, we have
$$\frac{ \sqrt{5} - 3 i}{\sqrt{2}} \cdot (1 + \sqrt{5} i) + \frac{ \sqrt{5} - i }{\sqrt{2}}\cdot 3 = \frac{ \sqrt{5} - i }{\sqrt{2}}$$
And so it goes in general. Consider finitely many algebraic integers $(\alpha_s)$ . Let $K$ the algebraic number field generated by them, $\mathcal{O_K}$ its ring of integers. The ideal class of $K$ is finite. Therefore, the $m$ power of ideal of $\mathcal{O}_K$ generated by the $\alpha_s$ is principal for some integer $m$ ( for instance, if $m$ is the class number of $K$). There exists $\beta$ in $\mathcal{O}_K$ so that $(\alpha_s)^m_s = (\beta)$ ($\beta$ uniquely determined by this $m$ up to a unit element ( in $\mathcal{O}_K
^{\times}$). Extend $K$ by adding $\beta^{1/m}$ to $L = K(\beta^{1/m})$. We have the equality of $\mathcal{O}_L$ ideals
$$(\alpha_s)_s^m = (\beta)$$ and so
$$(\alpha_s)_s = (\beta^{1/m})$$
