Can You Prove the Equality of Field Theories with Different Prime Numbers?

Click For Summary
SUMMARY

The discussion centers on proving the equality of field extensions Q(√p, √q) and Q(√p + √q) where p and q are distinct prime numbers. The user successfully demonstrates that √p + √q belongs to Q(√p, √q) but struggles to show the reverse inclusion. Key calculations include α = √p + √q, α² = p + q + 2√(pq), and α³ = (p + 3q)√p + (3p + q)√q. The solution hints at using simultaneous linear equations to establish the required field inclusion.

PREREQUISITES
  • Understanding of field theory and field extensions
  • Familiarity with algebraic numbers and their properties
  • Knowledge of prime number characteristics
  • Ability to manipulate square roots and polynomial equations
NEXT STEPS
  • Study the properties of field extensions in algebraic number theory
  • Learn about simultaneous linear equations and their applications in field theory
  • Explore the concept of algebraic closure and its implications for field equality
  • Investigate specific examples of field extensions involving prime numbers
USEFUL FOR

Mathematics students, particularly those studying abstract algebra and field theory, as well as researchers exploring algebraic structures involving prime numbers.

ElDavidas
Messages
78
Reaction score
0

Homework Statement



Show [itex]Q(\sqrt{p},\sqrt{q}) = Q(\sqrt{p} + \sqrt{q})[/itex]

Homework Equations



[itex]p[/itex] and [itex]q[/itex] are two different prime numbers

The Attempt at a Solution



I can show [itex]\sqrt{p} + \sqrt{q} \in Q(\sqrt{p},\sqrt{p})[/itex]

I have trouble with the other direction though, i.e [itex]\sqrt{p},\sqrt{p} \in Q(\sqrt{p} + \sqrt{q})[/itex].

So far I've let [itex]\alpha = \sqrt{p} + \sqrt{q}[/itex]

and found the powers [itex]\alpha^2 = p + q + 2 \sqrt{p}\sqrt{q}[/itex] and [itex]\alpha^3 = (p + 3q )\sqrt{p} + (3p + q)\sqrt{q}[/itex]

Not sure what to do now though.
 
Physics news on Phys.org
So you know that
[itex]\sqrt{p} + \sqrt{q}[/itex]

and

[itex](p + 3q )\sqrt{p} + (3p + q)\sqrt{q}[/itex]

are in the field. That is all you need. HINT: think simlutaneous linear equations.
 

Similar threads

Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
Replies
2
Views
2K