<s>[INST] Finding the splitting field of the polynomial $x^5+2x^4+5x^2+x+4$ over $F_{11}$. I am working on the following problem:
Find the splitting field of the polynomial $f(x)=x^5+2x^4+5x^2+x+4$ over $F_{11}$.
What I have done:
So far I found that $-2$ is the only root of $f(x)$ in $F_{11}$. I have also factored $f(x)$ as $f(x)=(x+2)(x^2+5x+1)(x^2-5x+2)$ over $F_{11}$. 
Apparently the splitting field of $f(x)$ over $F_{11}$ is $F_{11^4}$. Can someone help me understand how one can conclude that.
 [/INST] We are considering the field $F_{11}(\alpha,\beta)$ were $\alpha^2 + 5\alpha +1=0$ and $\beta^2 - 5\beta +2=0$. We are going to show that $$F_{11}(\alpha,\beta)=F_{11}(\alpha+\beta)$$
In fact summing the equations we get $$(\alpha + \beta)(\alpha - \beta + 5)=1$$ which means that these elements are inverse one another, thus adding $(\alpha + \beta)$ to the base field we add its inverse $(\alpha - \beta + 5)$ as well, and also their sum and their difference and thus both $\alpha$ and $\beta$. We proved the claim. Now notice that $(\alpha + \beta) = \frac{\sqrt{21}+\sqrt{17}}{2}$ simply solving the equations of degree two. It has minimum polynomial $x^4 -19x^2+1$. It can be factorized in $F_{11}$ as $x^4 -19x^2+1=(x^2+5)(x^2-2)$ thus $\alpha + \beta$ is a solution of one of them, let's call it $p(x)$. So $$F_{11}(\alpha,\beta)=F_{11}(\alpha+\beta)\simeq\frac{F_{11}[x]}{(p(x))}$$
</s>