Uniqueness of Splitting Fields

  • Thread starter Euclid
  • Start date
  • #1
214
0
In my class notes, I have two theorems which don't quite seem to fit together. Maybe you can help me out.
Thm 1 If p(x) in F[x] splits in K, then E=F(a1,...,an) is the splitting field of p(x) in K (the a_i's are the roots of p(x)).
Thm 2 If p(x) in F[x], then the splitting field of p(x) is unique up to isomorphism.
I'm clearly missing something big here. Doesn't (1) imply (2)? Isn't (1) even stronger than (2)?
What's an example of a polynomial with two distinct but isomorphic splitting fields?
 

Answers and Replies

  • #2
matt grime
Science Advisor
Homework Helper
9,420
4
Strictly speaking Thm 1 should state that E is *a* splitting field for p.

Thm 2 then states that this is essentially unique.

For instance, it is not obvious, but it is true, that

[tex] \mathbb{Q}[\sqrt{3},\sqrt{5}] \cong \mathbb{Q}[\sqrt{3}+\sqrt{5}][/tex]

So that [tex]\mathbb{Q}[\sqrt{3}+\sqrt{5}][/tex] is the splitting field of

[tex](x^2-3)(x^2-5)[/tex] and isn't of the form you wrote.
 
  • #3
mathwonk
Science Advisor
Homework Helper
2020 Award
11,249
1,456
Matt's point is that although you are right, the definition of the splitting field in K, makes it opbvious that there is only one such field IN K, there may be other splitting fields that are not in K.

Matt's example is a little misleading to me since it is the same field but just written with a different generator. It would persuade me more if he were to give an isomorphic splitting field not lying in the same ambient field, such as Q[X] modded out by the minimal polynomial of sqrt(3)+sqrt(5).
 
  • #4
matt grime
Science Advisor
Homework Helper
9,420
4
mathwonk said:
Matt's example is a little misleading to me since it is the same field but just written with a different generator. It would persuade me more if he were to give an isomorphic splitting field not lying in the same ambient field, such as Q[X] modded out by the minimal polynomial of sqrt(3)+sqrt(5).


Feel free to post a better example.
 
  • #5
214
0
Ok... This is helping. I guess the problem is this:
Suppose we have a field F and two extension fields K and K' in which a polynomial p(x) splits. We have the splitting field E for p(x) in K and the splitting field E' for p(x) in K'.
The problem in my mind is that I'm tempted to say E=E'. I mean, when we mod out by a certain irreducible, we always view F as contained in the resulting field. But if K and K' both are extension fields, and we view them as containing F, then E and E' both contain F. E and E' are both supposedly the smallest subfields of K and K' containing the roots of p(x). But their intersection is a field contained in K and K', and containing the roots of p(x). So the intersection is in fact equal to E and E' and so E=E'.
This is why I'm troubled. I guess it's just a silly point. I know there are instances when splitting fields aren't actually equal, but it certainly seems obvious to me that they should be isomorphic (in your example above, it wasn't as obvious, but I think that's partly because it wasn't even obvious that that polynomial even splits in Q[root3+root5]). But the proof given in class was much more complex, and seemingly unnecessarily so.
 
Last edited:
  • #6
matt grime
Science Advisor
Homework Helper
9,420
4
The proof I know for the isomorphism of splitting fields is trivial, and roughly says what you just said, but in fewer words. Although that is probably a function of the order and style in which I learned the results. However, there is also the stronger result that splitting fields behave well with respect to field isomorphisms.
 

Related Threads on Uniqueness of Splitting Fields

  • Last Post
Replies
1
Views
586
  • Last Post
Replies
3
Views
2K
Replies
6
Views
2K
Replies
4
Views
1K
Replies
4
Views
3K
Replies
9
Views
820
Replies
7
Views
920
Replies
3
Views
839
  • Last Post
Replies
7
Views
2K
Replies
2
Views
891
Top