- #1
mathmari
Gold Member
MHB
- 5,049
- 7
Hey!
I want to show that each extension of degree $2$ is normal. I have done the following:
Let $K/F$ the field extension with $[F:K]=2$.
Let $a\in K\setminus F$. Then we have that $F\leq F(a)\leq K$.
We have that $[K:F]=2\Rightarrow [K:F(a)][F(a):F]=2$.
There are the following possibilities:
I want to show that each extension of degree $2$ is normal. I have done the following:
Let $K/F$ the field extension with $[F:K]=2$.
Let $a\in K\setminus F$. Then we have that $F\leq F(a)\leq K$.
We have that $[K:F]=2\Rightarrow [K:F(a)][F(a):F]=2$.
There are the following possibilities:
- $[K:F(a)]=1$ and $[F(a):F]=2$
In this case we have that $K=F(a)$ and $\deg m(a,F)=2$.
In $K$, since $a\in K$, we have that $m(a,F)=(x-a)g(x)$, with $\deg g(x)=1$. Since $g$ is a linear polynomial of $K[x]$ , so it is of the form $x-c$, so its root $c$ must belong to $K$.
That means that $m(a,K)$ splits in $K$, i.e., all the roots are in $K$. So, the extension $K/F$ is normal. - $[K:F(a)]=2$ and $[F(a):F]=1$
In this case we have that $F=F(a)$, and so $a\in F$, a contradiction.