Showing $[K(x):K(\frac{x^5}{1+x})]=5$?

Solution 1:

We only need to show that the polynomial $x^5-\alpha x - \alpha$ is irreducible over $K(\alpha)[x]$. Note that the polynomial is primitive, thus it suffices to show it is irreducible over $K[\alpha][x]$.

We use the idea of Eisenstein criterion, let $\varphi:K[\alpha]\to K$ be the evaluation map sending $\alpha \mapsto 0$. Extend this homomorphism to get $\pi: K[\alpha][x]\to K[x]$. If $x^5-\alpha x -\alpha = fg$, with $f,g \in K[\alpha][x]$, $f,g$ non-unit. Then $$\pi(f)\pi(g) = x^5$$ Note that $\ker \pi = (\alpha)$, the ideal generated by $\alpha$.

Since $K[x]$ is a UFD, $f = x^r + \alpha f_0, g = x^{5-r} + \alpha g_0$, where $f_0,g_0\in K[\alpha][x]$. But this would imply that the constant term of $fg$ is a multiple of $\alpha^2$. Hence $x^5-\alpha x -\alpha$ is irreducible over $K[\alpha][x]$.

Solution 2:

What you have to do is show that $f(X)=X^5-\alpha(X+1)$ is irreducible over $K(\alpha)$ and you are done.

This is because we would have $[K(\alpha)(x):K(x)][K(x):K(\alpha)] = [K(\alpha)(x):K(\alpha)] = 5$ and $K(x)\neq K(\alpha)$ would imply $[K(x):K(\alpha)]=5$ by $5$ being prime.

Now, $f$ is primitive polynomial in $K[\alpha][X]$, so by Gauss's lemma, it is irreducible over $K(\alpha)$ if and only if it is irreducible over $K[\alpha]$.

First of all, $f$ can't have a root in $K[\alpha]$ since it would mean that $$p(\alpha)^5-\alpha(p(\alpha)+1)=0$$ and that $\alpha$ is algebraic over $K$.

Thus, if $f$ weren't irreducible, it would have to allow factorization of the form

$$f(X) = (X^3 +a(\alpha)X^2+b(\alpha)X+c(\alpha))(X^2+d(\alpha)X+e(\alpha))$$ which would lead to system

\begin{align} a(\alpha)+d(\alpha)&=0\\ b(\alpha)+a(\alpha)d(\alpha)+e(\alpha)&= 0\\ c(\alpha)+b(\alpha)d(\alpha)+a(\alpha)e(\alpha) &= 0\\ c(\alpha)d(\alpha)+b(\alpha)e(\alpha)&= -\alpha\\ c(\alpha)e(\alpha)&=-\alpha \end{align}

and now you can use that $K[X]\cong K[\alpha]$ since $\alpha$ is transcedental and degree arguments to show that the above system is impossible to solve in $K[X]$.