Splitting Field Questions - Abstract Algebra Exam

In summary: So \omega_6^5 is also the principal 6th root of unity. After finding the zeros, you can take the basis of the field with those zeros as the splitting field. The degree of the splitting field is the dimension of that basis.
  • #1
buzzmath
112
0
I'm studying for my abstract algebra exam and I had a question and was wondering if anyone could help me out. If I'm given a polynomial is there a method to find the splitting field of the polynomial and the degree of that field? My book basically just gives the definition of a splitting field and there are really no examples. Thanks
 
Physics news on Phys.org
  • #2
I think you would first have to find all the zeros of the polynomial. But if the zeros aren't in the field that the polynomial is defined in is there any way to see these? I've seen an example of this using complex numbers, using Demoirves thm I think but I'm not really sure how that was done or if that is a standard way to find all the zeros. I think after you find all the zeros you can just take the basis of the field with the basis of the zeros and that is the splitting field? Are there exactly n zeros for an n degree polynomial? And then the degree of the splitting field is the dimension of this basis?
Thanks
 
  • #3
Yes, you have to find all zeros of the polynomial. The field here is the set of rational numbers. Surely, you can determine whether a number is a rational number or not?

I don't know what you mean by "the basis of the field with the basis of the zeros". The splitting field is the smallest field containing all rational numbers and all zeros and the polynomial. It is true that such a field can be written as a vector space over the rational numbers- that may be the "basis" you are referring to. And yes, the dimension of that basis is the degree of the splitting field.

Each zero of the polynomial will be a "basis" element as long as it is "independent" of previously used zeros: as long as it cannot be written as a linear combination of those zeros.

For example, the zeros of the polynomial x2-2= 0 are [itex]\sqrt{2}[/itex] and [itex]-\sqrt{2}[/itex]. They are not 'independent' since one is -2 times the other. The smallest field containing all rational numbers and the zeros of x2-2 must contain any rational number a and [itex]\sqrt{2}[/itex]. Since a field is closed under multiplication, it must also include numbers of the form [itex]a\sqrt{2}[/itex]. Since a field is closed under addition, it must include numbers of the form [itex]a\sqrt{2}+ b[/itex]. It's easy to show that sums and products of such things can be written in the same form. Of course, in a field, every non-zero number has an multiplicative inverse:
[tex]\frac{1}{a\sqrt{2}+b}= \frac{a\sqrt{2}}{2a^2- b^2}- \frac{b}{2a^2- b}[/tex]
(and 2a2- b cannot be 0 because [itex]\sqrt{2}[/itex] is not a rational number). That is, every number in that field can be written in the form [itex]a\sqrt{2}+ b(1)[/itex], a vector space over the rational numbers with basis [itex]\{1, \sqrt{2}\}[/itex] so the degree is 2.
 
  • #4
Thanks, the concepts are a little clearer to me now. I am still have trouble with certain problems. For example how would I find the zeros of x^6 -1? I feel like I should know this but I don't know of a way to do it.

Also, my teacher ran through this problem really quickly in class. If p is prime, prove that the splitting field over F, the rational numbers, of the polynomial x^p - 1 is of degree p-1? he wrote x^p -1 =(x-1)(x^p-1 +...+1) since 1 is a rational we just need to find the splitting field of the other polynomial. so write a1, ...,a(p-1) as the roots of this polynomial. there are p-1 of them because the degree of the polynomial is p-1? [F(a1):F]= p-1 can we assume this? then x^p -1 =0 so x^p =1 so x = e^((i*2*k*pi)/p) where k = 0,...,p-1 how and why did you do this? then [F(a1, a2):F]=[F(a1,a2);F(a1)][F(a1):F] show this equals 1*(p-1). then to complete the proof show {a1,...,a(p-1)} is a cyclic group with generator a1. I have no idea how to do that but I don't need to know group theory. Although, I am curious. then the proof is done. why exactly?

Thanks for any help
 
  • #5
x6-1= 0 means that x is a 6th root of unity. Those can be found by putting the number into "polar form". The roots are 1, [itex]\omega_6[/itex], [itex]\omega_6^2[/itex], [itex]\omega_6^3[/itex],[itex]\omega_6^4[/itex], and [itex]\omega_6^5[/itex].
Of course, [itex]\omega_6[/itex] is the "principal 6th root of unity":
[tex]e^{\frac{2\pi}{6}}= e^{\frac{\pi}{3}}= cos(\frac{\pi}{3})+ i sin(\frac{\pi}{3})[/tex].
 

1. What is a splitting field?

A splitting field is a field extension of a given field that contains all the roots of a polynomial over that field.

2. How do you find the splitting field of a polynomial?

To find the splitting field of a polynomial, you need to factor the polynomial into irreducible factors and then adjoin all the roots of those factors to the original field. This will create the smallest field extension that contains all the roots of the polynomial.

3. Can a polynomial have more than one splitting field?

Yes, a polynomial can have multiple splitting fields. However, all splitting fields for a given polynomial are isomorphic, meaning they have the same algebraic structure.

4. How are Galois groups related to splitting fields?

The Galois group of a polynomial is the group of automorphisms of its splitting field that fix the base field. It provides information about the symmetry of the roots of the polynomial and can be used to determine the solvability of the polynomial by radicals.

5. What is the importance of splitting fields in abstract algebra?

Splitting fields are important in abstract algebra because they allow us to extend a given field to contain all the roots of a polynomial. This is crucial in many areas of mathematics, such as algebraic geometry and number theory.

Similar threads

  • Calculus and Beyond Homework Help
Replies
4
Views
2K
  • Calculus and Beyond Homework Help
Replies
2
Views
802
  • Calculus and Beyond Homework Help
Replies
27
Views
4K
  • Calculus and Beyond Homework Help
Replies
8
Views
2K
  • Linear and Abstract Algebra
Replies
1
Views
798
  • Calculus and Beyond Homework Help
Replies
1
Views
2K
  • Linear and Abstract Algebra
Replies
9
Views
1K
Replies
64
Views
2K
  • Calculus and Beyond Homework Help
Replies
7
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
1K
Back
Top