# two Non isomorphic root field-extension of the field.

Does there exist two non isomorphic minimal field extension ( root field) of $f= \frac {x^{64}-x}{x(x-1)} \in F_2[x]$ .

I may be using wrong word here saying minimal field extension but in german its said as "minimal würzelkörper" .

Any help would be appreciated .

Attempt : I tried factorizing using maple into irreducible factors . And using the fact that if we have a field of degree $p^n$ then the subfield must have degree $p^m$ where $m$ divides $n$ , and if this subfield contains the root of the irreducible polynomial then its the minimal root field ( field extension ) . Where am i going wrong ?

-

## 1 Answer

I think you may be referring to "splitting field" = (the/a) minimal extension field containing all the roots of a given polynomial over some certain field, which you haven't provided. Anyway:

$$\frac{x^{64}-x}{x(x-1)}=\frac{x(x-1)(x^{62}+x^{61}+...+x+1)}{x(x-1)}=x^{62}+x^{61}+...+x+1$$

Now, $\,62=2^6\Longrightarrow\,$ the splitting field of $\, x^{64}-x\,$ over the prime field $\,\Bbb F_2:=\Bbb Z/2\Bbb Z\,$ is the (unique, up to isomorphism of fields) field $\,\Bbb F_{2^6=64}\,$ of degree $\,6\,$ over $\,\Bbb F_2\,$.

Since in the above simplification we've cancelled the linear factors for $\,x=0,1\,$ and we must have these two elements in any field, we can see that the minimal extension field of $\,\Bbb F_2\,$ that contains ll the roots of the original rational function is the forementioned field $\,\Bbb F_{64}\,$ .

-

@DanAntonio : Sir, I am just talking about the extension field not the splitting field. How can i find two extensions $F(\alpha)$ and $F(\beta)$ which are not isomorphic ?? – Theorem Oct 16 '12 at 22:58
Extension of what field? What does the expression $\,\frac{x^{64}-x}{x(x-1)} \,$ have to do with all this? In general, for a field $\,\Bbb F\,$ and two elements $\,\alpha, \beta\,$ in some algebraic extension, the fields $\,\Bbb F(\alpha)\cong\Bbb F(\beta)\,$ iff $\,\alpha,\beta\,$ are roots of the same irreducible polynomial in $\,\Bbb F[x]\,$ . If one of $\,\alpha,\beta\,$ is not algebraic over $\,\Bbb F\,$ then things can be even harder... – DonAntonio Oct 17 '12 at 2:58
Sir sorry for less information , here the field is $F_2$ ,  $f\in F_2[x]$ – Theorem Oct 17 '12 at 5:32
{"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": 26, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "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.9059668183326721, "perplexity_flag": "head"}