Let $f = x^5+2x^4-2$ and $\alpha \in \mathbb C$ with $f(\alpha) = 0$. Show that $\mathbb Z [\alpha ]$ is a principal ideal ring.
What I have done so far:
My idea was to first prove that $\mathcal O_K = \mathbb Z[\alpha ]$ (with $K := \mathbb Q[\alpha]$) and after that show that the class number $h_K = 1$. This would imply the claim. So I calculated the discriminant:
$$d\left(\mathbb Z[\alpha ]\right) = D(f) = -15536 = (-1)\cdot 2^4 \cdot 971$$ From this I can derive $\mathcal O_K = \mathbb Z[\alpha ]$ (Since $f$ is an Eisenstein-polynomial for $p=2$ we know that $2 \nmid \left[ \mathcal O_K : \mathbb Z [\alpha] \right]$, but $[ \mathcal O_K : \mathbb Z [\alpha] ]^2 \cdot d(\mathcal O_K)= d(\mathbb Z[\alpha ]) = (-1)\cdot 2^4 \cdot 971$. Therefore $[ \mathcal O_K : \mathbb Z [\alpha] ]= 1$ and $\mathcal O_K = \mathbb Z[\alpha ]$)
However I am having problems showing $h_K = 1$. I have calculated the Minkowski bound $M$. It is $M<7$. So I only need to look at the prime ideals above $2,3$ and $5$ and show that they are principal already (right?). But how do I do that exactly, I am not sure how to tell whether they are split, inert or ramified. Any help would be much appreciated.
Use $f$ to find the factorization of a prime $p$ in the given ring. We have that:
$$f = x^5 \in \mathbb{F}_2[x] \implies 2\mathcal{O}_K = (2,\alpha)^5 = \mathfrak{p}_2^5$$ $$f = x^5+2x^4+1 \in \mathbb{F}_3[x] \implies 3\mathcal{O}_K = (3)$$ $$f = x^5+2x^4+3 \in \mathbb{F}_5[x] \implies 5\mathcal{O}_K = (5)$$
(The polynomials on the left are written in their factorization into irreducibles)
So from here we have that the problem reduces to proving that $\mathfrak{p}_2 = (2,\alpha)$ is a principal ideal. But this is true, as $2=\alpha(\alpha^4 + 2\alpha^3)$ and so $2 \in (\alpha)$. Hence we have that $\mathfrak{p}_2 = (\alpha)$. Hence as the class group of the ring of integers is generated by principal ideals we have that $h_K =1$