Monday, 4 November 2013

Field Extensions



Let $L/K$ a finite extension and $f(x)\in K[x]$ a non-linear irreducible polynomial. Prove that if $\mathrm{gcd}\left( \mathrm{deg}(f) , \left[ L:K \right] \right)=1$ then $f(x)$ has no roots in $L$.






Added: (Solution based on the answer below)



Suppose $f(x)$ has a root in $L$, namely $\alpha$ and consider the extension $K(\alpha)/K$. Since $f$ is irreducible we have that $[K(\alpha) : K] = \mathrm{deg}(f) > 1$. On the other hand we have that $[L:K]=[L:K(\alpha)][K(\alpha):K]$. Then $[L:K]=[L:K(\alpha)](\mathrm{deg}(f))$ but this is imposible since $\mathrm{gcd}\left( \mathrm{deg}(f) , \left[ L:K \right] \right)=1$ and $\mathrm{deg}(f) > 1$.



Answer




  1. What do you know about the degree $[K(\alpha):K]$ of an extension when $\alpha$ is a root of an irreducible polynomial $g(x)\in K[x]$?


  2. What do you know about the degrees $[L:K]$, $[K:F]$, and $[L:F]$ of extensions when you have a tower $F\subset K\subset L$ ?



No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...