# Thread:

1. ## Radical extension

Prove the splitting field of $x^3+x^2+1\in Z_{2}[x]$ is a radical extension...
when it comes to $Z_{2}$,I am a little bit confused. Since many theorem is based on $charF=0$..

2. Originally Posted by ynj
Prove the splitting field of $x^3+x^2+1\in Z_{2}[x]$ is a radical extension...
when it comes to $Z_{2}$,I am a little bit confused. Since many theorem is based on $charF=0$..
The theorem about determining if something is a radical extension (that is, the polynomial is solvable) is about charachteristic zero fields. However, the definition of radical extensions is more general then that.

Remember, $K/F$ is a radical extension (by definition) iff there exists $a_1,...,a_n\in K$ and $e_1,...,e_n\geq 1$ such that $F(a_1,...,a_n) = K$, $a_j^{e_j} \in F(a_1,...,a_{j-1})$.

So construct the splitting field of this and argue that you can write it in the above form.

3. Originally Posted by ThePerfectHacker
The theorem about determining if something is a radical extension (that is, the polynomial is solvable) is about charachteristic zero fields. However, the definition of radical extensions is more general then that.

Remember, $K/F$ is a radical extension (by definition) iff there exists $a_1,...,a_n\in K$ and $e_1,...,e_n\geq 1$ such that $F(a_1,...,a_n) = K$, $a_j^{e_j} \in F(a_1,...,a_{j-1})$.

So construct the splitting field of this and argue that you can write it in the above form.
Yeah,but I simply know nothing about the structure of the splitting field...

4. Originally Posted by ynj
Prove the splitting field of $x^3+x^2+1\in Z_{2}[x]$ is a radical extension...
Notice that $x^3+x^2+1$ is irreducible over $F = \mathbb{Z}_2[x]$. Therefore, as you know, there exists an extension field $K$ which has $\alpha\in K$ that solves this polynomial. Therefore, $\alpha^3 = \alpha^2 + 1$. Now $x^3 + x^2 + 1 = (x+\alpha)(x^2 + (\alpha+1)x+\alpha(\alpha+1))$. You need to ask now whether $x^2+(\alpha+1)x+\alpha(\alpha+1)$ has a zero in $F(\alpha)$. Sadly, it does not, this can be confirmed by checking $a\alpha^2+b\alpha + c$ where $a,b,c\in \{0,1\}$. Thus, $F(\alpha)$ is not the splitting field over $x^3+x^2+1$. However, we know there exists $L/F(\alpha)$ such that there is $\beta \in L$ which solves $x^2+(\alpha+1)x+\alpha(\alpha +1 ) \in F(\alpha)[x]$. The extension field $F(\alpha,\beta)$ will therefore become the splitting field over $F$. Now it remains to argue this satisfies the conditions of being a radical extension.

5. this is maybe an easier way: let $p(x)=x^3+x^2+1 \in \mathbb{F}_2[x].$ see that if $p(\alpha)=0,$ then $\alpha^7 = 1 \in \mathbb{F}_2.$ thus the splitting field of $p(x)$ is a radical extension of $\mathbb{F}_2.$

6. Originally Posted by NonCommAlg
this is maybe an easier way: let $p(x)=x^3+x^2+1 \in \mathbb{F}_2[x].$ see that if $p(\alpha)=0,$ then $\alpha^7 = 1 \in \mathbb{F}_2.$ thus the splitting field of $p(x)$ is a radical extension of $\mathbb{F}_2.$
But $F(\alpha)$ is not the splitting field.
You need to show that $F(\alpha,\beta)$ satisfies $\beta^{n_1} \in F(\alpha)$ and $\alpha^{n_2} \in F$.
You have shown that $n_2=7$ works so it still remains to find $n_1$.

7. Originally Posted by ThePerfectHacker
But $F(\alpha)$ is not the splitting field.
You need to show that $F(\alpha,\beta)$ satisfies $\beta^{n_1} \in F(\alpha)$ and $\alpha^{n_2} \in F$.
You have shown that $n_2=7$ works so it still remains to find $n_1$.
Yeah.. $F(\alpha,\beta)$is the splitting field. But we know $\alpha^7\in F,\beta^7\in F\subset F(\alpha)$. Is that right?

8. Originally Posted by ynj
Yeah.. $F(\alpha,\beta)$is the splitting field. But we know $\alpha^7\in F,\beta^7\in F \subset F(\alpha)$. Is that right?
correct!
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 60, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9422401785850525, "perplexity_flag": "head"}