Need help understanding splitting fields

  • Context: Graduate 
  • Thread starter Thread starter PsychonautQQ
  • Start date Start date
  • Tags Tags
    Fields Splitting
Click For Summary

Discussion Overview

The discussion revolves around finding a splitting field for the polynomial x^4 - 6x^2 - 7 over the rational numbers, specifically examining the roots and the nature of the field extensions involved.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant proposes that the splitting field for the polynomial can be expressed as Q(i)(7^(1/2)), while the textbook suggests Q(i)(2^(1/2)).
  • Another participant argues that if 2^(1/2) is in a field extension of the rationals, then (7/2)(2^(1/2)) should also be included due to closure under multiplication, indicating that the original result may not be minimal.
  • A participant questions how (7/2)*(2^(1/2)) relates to the reduction of finite extensions of 7^(1/2) to 2^(1/2), expressing confusion over the implications.
  • One participant acknowledges a misreading of the previous points and indicates a need for further reflection.
  • Another participant suggests that there may be a misprint in the textbook, asserting that the extension fields containing p^(1/2) and q^(1/2) for distinct primes p and q are not equivalent.

Areas of Agreement / Disagreement

Participants express differing views on the nature of the field extensions and whether the textbook's assertion is correct. There is no consensus on the relationship between the roots and the extensions being discussed.

Contextual Notes

There are unresolved questions regarding the minimality of the field extensions and the implications of including different square roots in the extensions.

PsychonautQQ
Messages
781
Reaction score
10
My textbook is going through an example on splitting fields. It asked to find a splitting field for x^4 - 6x^2 - 7 over the rational numbers. This polynomial factors to (x^2 - 7)*(x^2+1) which has roots of 7^(1/2) and i. So i figured the extension field E we are looking for is Q(i)(7^(1/2)), but my textbook jumps straight to Q(i)(2^(1/2).

is the squareroot of 7 an element of the simple extension of the rational numbers with the square root of two? I can't imagine it being (yet i can't imagine many things that are..).

Any mathamaverick want to shed some light on my situation?
 
Physics news on Phys.org
Doesn't it follow, if ##2^{1/2}## is in a field extension of the rationals that ##(7/2)( 2^{1/2}) ## is also on the field, e.g., by closure under multiplication? Your result is correct if you re not looking for a minimal extension.
 
  • Like
Likes   Reactions: PsychonautQQ
Okay, what am i missing? How does (7/2)*(2^(1/2)) show that the finite extensions of 7^(1/2) reduces to 2^(1/2)?
 
Ah, sorry, I misread, let me think again.
 
  • Like
Likes   Reactions: PsychonautQQ
It looks to me like a misprint. No, the extension fields containing p^{1/2} and q^{1/2}, for p and q prime, are NOT the same.
 
  • Like
Likes   Reactions: PsychonautQQ

Similar threads

Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 0 ·
Replies
0
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K