Abstract Algebra – Finding a Splitting Field of x^3 + x + 1 Over Z2

abstract-algebrafield-theory

Finding a splitting field of $x^3 + x +1$ over $\mathbb{Z}_2$.

Ok so originally I messed around with $x^3 + x +1$ for a bit looking for an easy way to factor it and eventually decided that the factors are probably made up of really messy nested roots. So then I tried looking at the quotient field $\mathbb{Z}_2[x]/x^3 + x + 1$ to see if I would get lucky and it would contain all three roots but it doesn't. Is there a clever way to easily find this splitting field besides using the cubic formula to find the roots and then just directly adjoining them to $\mathbb{Z}_2$?

Edit: Ok it turns out I miscalculated in my quotient field, $\mathbb{Z}_2[x]/x^3 + x + 1$ does contain all three roots.

Best Answer

The splitting field is either degree $3$ or degree $6$ over $\mathbb{Z}_2$, hence it is either $\mathbb{F}_8$ or $\mathbb{F}_{64}$.

Let $\alpha$ be a root, so that $\mathbb{F}_8 = \mathbb{F}(\alpha)$. The elements are of the form $a+b\alpha+c\alpha^2$, with $\alpha^3=\alpha+1$.

Now, the question is whether any of these elements besides $\alpha$ is a root of the original polynomial $x^3+x+1$.

Note that $(\alpha^2)^3 = (\alpha^3)^2 = (\alpha+1)^2 = \alpha^2+1$, and so if we plug in $\alpha^2$ into the polynomial we have $$\alpha^6 + \alpha^2 + 1 = \alpha^2+1+\alpha^2+1= 0.$$ Thus, $\alpha^2$ is also a root. So the polynomial has at least two roots in $\mathbb{F}_8$, and so splits there.

Related Question