Prove that $x^4 + \alpha x^3 + {\alpha}^2 x^2 + {\alpha}^3 x + {\alpha}^4$ is irreducible over $\Bbb{Q}(\alpha)$ where $\alpha ^5 = 2$. My initial idea was to follow the same idea as in the case for a quadratic (as in here: Prove that $x^2$ + $\alpha$ x + ${\alpha}^2$ is irreducible over $\Bbb{Q}(\alpha)$ where $\alpha ^3 = 2$.), but it could factor into two squares and even the case of having a linear factor is quite complex. Can someone give me an idea that would work?

Let $f(x) =x^5-2\in\mathbb{Q}[x]$ then $f(x) $ is irreducible over $\mathbb{Q} $. Let $a$ be a root of $f(x) $ and let $K=\mathbb{Q} (a) $ so that $[K:\mathbb{Q}] =5$.
Let $b$ be a root of the polynomial $$g(x) =\frac{f(x)} {x-a} =x^4+ax^3+a^2x^2+a^3x+a^4\in K[x] $$ Then we show that $b\notin K$. We have $$g(b) = b^4p(a/b)$$ where $$p(x) =x^4+x^3+x^2+x+1\in\mathbb{Q}[x]$$ is irreducible over $\mathbb{Q} $ (apply Eisenstein criterion on $p(x+1)$). If $b\in K$ then $c=a/b\in K$ is a root of $p(x) $ and $\mathbb{Q} (c) $ is a subfield of $K$ of degree $4$ over $\mathbb{Q} $. This is absurd as $K$ is of degree $5$ over $\mathbb{Q} $ and $4\nmid 5$.
Let $L=K(b) $ then we have proved above that $1<[L:K]\leq 4$ so that $[L:\mathbb{Q}] \leq 20$. Our job is done if we prove that $[L:K] = 4$ or equivalently $[L:\mathbb{Q}] =20$. This is where we need $c=a/b$ which is a root of $p(x) $. We have $K(b) =K(c) $ and then $L=\mathbb{Q} (a, c) $ and $[L:\mathbb{Q}] $ is divisible by both $[\mathbb{Q} (a) :\mathbb{Q}] =5$ and $[\mathbb{Q} (c) :\mathbb{Q}] =4$ so that $[L:\mathbb{Q}] \geq 20$. It follows that $[L:\mathbb{Q}] =20$ and $[L:K] =4$ and therefore $g(x) $ is irreducible over $K$.
