Hints for finding a Galois closure

  • Thread starter Mystic998
  • Start date
  • #1
206
0

Homework Statement


Find the Galois closure of the field [itex]\mathbb{Q}(\alpha)[/itex] over [itex]\mathbb{Q}[/itex], where [tex]\alpha = \sqrt{1 + \sqrt{2}}[/tex].


Homework Equations


Um...the Galois closure of E over F, where E is a finite separable extension is a Galois extension of F containing E which is minimal.


The Attempt at a Solution


I've found that the minimal polynomial of [itex]\alpha[/itex] is [itex]x^{4} - 2x^{2} - 1[/itex] (at least I think. I'm having a heck of a time showing it's irreducible over the rationals but I'm willing to just leave that as an exercise for the reader, so to speak), and it's separable, so I know a Galois closure exists. But I can't figure out a good way to generate it.

There are no examples of actually doing this explicitly in the book, though the proof of existence implies that you should take the intersection of all Galois extensions of F containing E. Or would finding explicitly the splitting field of the minimal polynomial be enough in this case? If so, could you guys help me out with that? This is kind of tricky.
 

Answers and Replies

  • #2
morphism
Science Advisor
Homework Helper
2,015
4
Yes, finding the splitting field will be enough. You're just going to throw in the conjugates of [itex]\alpha[/itex], and that will make your extension normal. Can you guess what they are? One of them is obviously [itex]-\alpha[/itex]. What about the other 2? Considering [itex]\alpha^2[/itex] will be helpful.
 
  • #3
206
0
I believe the splitting field is just the original extension adjoin i. So that's handy. But it seems like that really shouldn't be the Galois closure. Why would any Galois extension of the rationals that contains [itex]\mathbb{Q}(\alpha)[/itex] have to contain i? It seems like it would only have to be a subset of the reals.
 
  • #4
morphism
Science Advisor
Homework Helper
2,015
4
There's no reason it should be real at all. Think about it: any normal extension of [itex]\mathbb{Q}[/itex] that contains [itex]\alpha[/itex] will contain the conjugates of [itex]\alpha[/itex], so the minimal such extension is the one you get by adjoining these elements to [itex]\mathbb{Q}(\alpha)[/itex]. And there's nothing saying [itex]\alpha[/itex] can't have non-real conjugates, just because it itself is real.
 
  • #5
206
0
I think I understand... The splitting field is the minimal field that contains all the roots of the minimal polynomial, and anything that's Galois over the rationals contains all the conjugates of [itex]\alpha[/itex] (i.e., the roots of the minimal polynomial). So it contains the splitting field. Thanks!

Edit: Er...Galois over the rationals and contains alpha. Heh.
 

Related Threads on Hints for finding a Galois closure

  • Last Post
Replies
7
Views
971
  • Last Post
Replies
4
Views
8K
  • Last Post
Replies
6
Views
2K
Replies
4
Views
1K
Replies
7
Views
585
  • Last Post
Replies
6
Views
1K
Replies
7
Views
598
  • Last Post
Replies
4
Views
4K
  • Last Post
Replies
7
Views
1K
  • Last Post
Replies
3
Views
2K
Top