1
$\begingroup$

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 Answers 1

1

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}\,$ .

  • 0
    Sir sorry for less information , here the field is $F_2$ , $f\in F_2[x]$2012-10-17