Finding All u in R for Field Extension Q(√2,³ √5) and Proving Equality

  • Context: Graduate 
  • Thread starter Thread starter cantgetit
  • Start date Start date
  • Tags Tags
    Field
Click For Summary
SUMMARY

The discussion focuses on finding all elements u in R such that Q(u) equals Q(√2,³√5) and proving their equality. It is established that one possible u is √2 + ³√5, and the degree of the field extension Q(√2,³√5) over Q is 6. The basis for the field Q(√2,³√5) is identified as {1, α, β, αβ, β², αβ²}, where α = √2 and β = ³√5. To prove equality, one must derive conditions on the coefficients a, b, c, d, and e in the expression u = aα + bβ + cαβ + dβ² + eαβ² that ensure [Q(u):Q] = 6.

PREREQUISITES
  • Understanding of field extensions in algebra
  • Familiarity with the concepts of degree of a field extension
  • Knowledge of algebraic bases and linear combinations
  • Basic proficiency in manipulating radicals and roots
NEXT STEPS
  • Study the properties of field extensions and their degrees
  • Learn how to construct bases for composite field extensions
  • Explore the implications of the gcd of degrees in field theory
  • Investigate techniques for proving equality of field extensions
USEFUL FOR

Mathematicians, algebra students, and anyone studying field theory or working with algebraic structures involving roots and extensions.

cantgetit
Messages
1
Reaction score
0
how do I find all u in R such that Q(u)=Q(√2,³ √5 ) (square root of two and cubed root of 5) and prove they are the same. PLEASE help I am desperate! I understand that one possible u is √2+³ √5 but i don't know hoe to prove it withou pages of algebra and i don't know what the others are.
 
Physics news on Phys.org
Well, the degree of [tex]\mathbb{Q}(\sqrt{2}, \sqrt[3]{5})[/tex] over [tex]\mathbb{Q}[/tex] is 6. (Prove this.) Thus, we know that if [tex]\{ 1, \alpha \}[/tex] and [tex]\{ 1, \beta, \beta^2 \}[/tex] are bases for [tex]\mathbb{Q}(\sqrt{2})[/tex] and [tex]\mathbb{Q}(\sqrt[3]{5})[/tex], respectively, then [tex]\{ 1, \alpha, \beta, \alpha \beta, \beta^2, \alpha \beta^2 \}[/tex] is a basis for [tex]\mathbb{Q}(\sqrt{2}, \sqrt[3]{5})[/tex] over [tex]\mathbb{Q}[/tex]. In particular, we can write
[tex] u = a \alpha + b \beta + c \alpha \beta + d \beta^2 + e \alpha \beta^2[/tex]
(why can we assume that the [tex]1[/tex]-component of [tex]u[/tex] is [tex]0[/tex] WLOG?). At this point, since you know the degrees of all of the basis elements over [tex]\mathbb{Q}[/tex], you should be able to find conditions on the coefficients [tex]a,b,c,d,e[/tex] that guarantee that [tex][ \mathbb{Q}(u) : \mathbb{Q} ] = 6[/tex], which is enough to show that [tex]\mathbb{Q}(u) = \mathbb{Q}(\sqrt{2}, \sqrt[3]{5})[/tex]. (HINT: If the degrees of [tex]x_1[/tex] and [tex]x_2[/tex] over [tex]\mathbb{Q}[/tex] are [tex]d_1, d_2[/tex], and [tex]\gcd(d_1, d_2) = 1[/tex], what is the degree of [tex]x_1 + x_2[/tex]?)
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K