MHB Field extension-degree of the minimal polynom

  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Field
mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey!

Let $K\leq E$ a field extension and $a \in E$ an algebraic element over $K$. We suppose that $Irr(a,K)$ has an odd degree. Show that $K(a)=K(a^2)$. Does this also hold when the degree is even??

I have done the following:

We have that $K\leq K(a^2)\leq K(a)$.

$f(x)=x^2-a^2 \in K(a^2)[x]$ and $f(a)=0$

$Irr(a,K(a^2)) \mid x^2-a^2$, so $degIrr(a,K(a^2))=1 \text{ or } 2$

Since $[K(a):K(a^2)][K(a^2):K(a)]=[K(a):K]=\text{ odd }$ it should be $[K(a):K(a^2)]=degIrr(a,K(a^2))=\text{ odd }$.

Therefore, $degIrr(a,K(a^2))=[K(a):K(a^2)]=1$.

Is this correct?? Do we conclude from that, that $K(a)=K(a^2)$??

What can I say about the case where the degree is even??
 
Physics news on Phys.org
mathmari said:
Is this correct?? Do we conclude from that, that $K(a)=K(a^2)$??

It looks good to me! Yes, it is true that if $[E : F] = 1$ for extension $E/F$, then $E = F$. This follows immediately from the notion of degree of extensions : $[E : F]$ can be thought of as the cardinality of a basis by which $E$ is spanned over $F$. If $[E : F] = 1$, the basis is a singleton set. But then $E \supseteq F$ so $E$ is naturally spanned over $F$ by $\{1\}$ (plus some more stuff). But since the basis is singleton, $E$ is spanned over $F$ by $\{1\}$ only, forcing $E = F$.

mathmari said:
What can I say about the case where the degree is even??

This doesn't hold if $\text{min}_K(a)$ is even. For example, take $K = \Bbb Q$, and $a = \sqrt{2}$. Then $K(a^2) = \Bbb Q(\sqrt{2}^2) = \Bbb Q$ which is a strict subset of $\Bbb Q(\sqrt{2}) = K(a)$. If $a$ has an even degree, you can only say that $[K(a^2) : K(a)] = 2$.
 
The world of 2\times 2 complex matrices is very colorful. They form a Banach-algebra, they act on spinors, they contain the quaternions, SU(2), su(2), SL(2,\mathbb C), sl(2,\mathbb C). Furthermore, with the determinant as Euclidean or pseudo-Euclidean norm, isu(2) is a 3-dimensional Euclidean space, \mathbb RI\oplus isu(2) is a Minkowski space with signature (1,3), i\mathbb RI\oplus su(2) is a Minkowski space with signature (3,1), SU(2) is the double cover of SO(3), sl(2,\mathbb C) is the...

Similar threads

Back
Top