Field extensions of degree 10 over the rationals.

  • Thread starter Thread starter Theorem.
  • Start date Start date
  • Tags Tags
    Degree Field
Click For Summary
SUMMARY

The discussion centers on proving that if \(\alpha\) is a real number with degree 10 over \(\mathbb{Q}\), then \(\mathbb{Q}[\alpha] = \mathbb{Q}[\alpha^3]\). The proof begins by establishing the inclusion \(\mathbb{Q}[\alpha^3] \subset \mathbb{Q}[\alpha]\) and analyzing the degrees of the field extensions. It concludes that the assumption \(\alpha \notin \mathbb{Q}[\alpha^3]\) leads to a contradiction, confirming that \([\mathbb{Q}[\alpha]:\mathbb{Q}[\alpha^3]]\) must equal 1, thereby establishing the equality of the fields.

PREREQUISITES
  • Understanding of field extensions in algebra
  • Familiarity with polynomial irreducibility
  • Knowledge of degree of field extensions
  • Basic concepts of real numbers and their properties
NEXT STEPS
  • Study the properties of field extensions in algebraic number theory
  • Learn about polynomial irreducibility criteria, particularly in \(\mathbb{Q}[x]\)
  • Explore the implications of degree calculations in field theory
  • Investigate real and complex roots of polynomials and their significance in field extensions
USEFUL FOR

Mathematicians, algebra students, and anyone interested in field theory and polynomial equations, particularly those studying algebraic extensions and their properties.

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.
 

Similar threads

Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
Replies
2
Views
2K