Field extensions of degree 10 over the rationals.

  • Thread starter Thread starter Theorem.
  • Start date Start date
  • Tags Tags
    Degree Field
Theorem.
Messages
236
Reaction score
5

Homework Statement


Show that if \alpha is real and has degree 10 over \mathbb{Q} then
\mathbb{Q}[\alpha]=\mathbb{Q}[\alpha^3]


Homework Equations





The Attempt at a Solution


It is clear that \mathbb{Q}[\alpha^3]\subset \mathbb{Q}[\alpha]. This gives us the
sequence of fields \mathbb{Q}\subset \mathbb{Q}[\alpha^3]\subset \mathbb{Q}[\alpha]. Since these are finite extensions, we then have [\mathbb{Q}[\alpha]:\mathbb{Q}]=10=[\mathbb{Q}[\alpha]:\mathbb{Q}[\alpha^3]][\mathbb{Q}[\alpha^3]:\mathbb{Q}].
Since x^3-\alpha^3\in \mathbb{Q}[\alpha^3][x] is of degree 3 and has \alpha as a root, [\mathbb{Q}[\alpha]:\mathbb{Q}[\alpha^3]]\leq 3. Since it must also divide 10, it must be 1 or 2. The goal then is to show that it cannot be 2 (or then that [\mathbb{Q}[\alpha^3]:\mathbb{Q}] cannot be 5.)
I have tried going further on this point, but I think I'm just getting stubborn and missing something subtle. Any hints would be appreciated.
-Theorem
 
Physics news on Phys.org
Okay I just got an idea. We can suppose towards a contradiction that \alpha \notin \mathbb{Q}[\alpha^3] Then the polynomial x^3-\alpha^3 is irreducible in \mathbb{Q}[\alpha^3] since
\alpha is real by assumption and so \mathbb{Q}[\alpha^3] is contained in \mathbb{R} and the other two roots of the polynomial are non real (and thus it cannot be factored over \mathbb{Q}[\alpha^3]. Buth then this leads to a contradiction since then this forces [\mathbb{Q}[\alpha]:\mathbb{Q}[\alpha^3]]=3. which is impossible.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top