Abstract Algebra: Splitting Fields and Prime Polynomials

[buzzmath]

I'm having trouble understanding splitting fields. Some of the problems are find the degree of the splitting field of x^4 + 1 over the rational numbers and if p is a prime prove that the splitting field over the rationals of the polynomial x^p - 1 is of degree p-1. I'm really confused with these type of problems. Can anyone give some helpful advice?

Thanks

 

[buzzmath]

could you say that x^4 + 1=(x^2 + i)(x^2 - i). Since this is factored into two polynomials of degree 2 the degree of the splitting field is 2*2=4?

 

[matt grime]

i is not a rational number. What are the roots of x^4_1? What is the smallest extension of Q that contains them?

 

[buzzmath]

can't the roots be in an extension field? isnt' the splitting field an extension field so i would be in the extension field? The roots would be x = (-1)^(1/4) but this isn't a rational number. I think because of this the extension would have to be the complex field because no real number satisfies this. How do you know if it's the smalllest extension?

 

[HallsofIvy]

can't the roots be in an extension field? isnt' the splitting field an extension field so i would be in the extension field? The roots would be x = (-1)^(1/4) but this isn't a rational number. I think because of this the extension would have to be the complex field because no real number satisfies this. How do you know if it's the smalllest extension?

Yes, that's the whole point. The splitting field is the smallest extension of Q that contains all of its roots. No, that splitting field is NOT the set of all complex numbers. What are the four roots of x^{4/sup]= -1?}

 

[buzzmath]

Can you write it like w = cos(360/4)+isin(360/4) then w^4 =1 so (2)^(1/2)/2+or-(2)^(1/2)/2i are the four roots so the field is Q(2^(1/2),i) but then how do you tell the degree of this field?

 

[buzzmath]

my experience with degrees is with polynomials not an entire field

 

[HallsofIvy]

Good. Yes, the splitting field is Q(\sqrt{2},i). The smallest field containing all rational numbers, \sqrt{2}, and i. In particular, that means it must include all numbers of the form a+ bi+ c\sqrt{2} where a, b, c are rational numbers. Since it must be closed under multiplication, it must also include \isqrt{2}. Since that cannot be written in the above form, it must, in fact, include numbers of the form a+ bi+ c\sqrt{2}+ di\sqrt{2}. One can show that any number in this extension field can be written in that form. We can think of that as a vector space over the rational numbers with basis {1, i, \sqrt{2},i\sqrt{2}}: i.e. the vector space has dimension 4 over the rational numbers. THAT is the "degree" of the extension field: its dimension as a vector space over the rational numbers. In this case we could also have seen that by noting that \sqrt{2} and i are both "algebraic of order 2" and that they are "algebraically independent".