## Splitting Fields and Algebraic Closures (Pt. I)

**Point of Post: **In this post we discuss the notion of splitting fields for sets of polynomials as well as the algebraic closure of a given field.

**Splitting Fields and Algebraic Closures**

Up until this point we have committed a bit of an atrocity–well, sort of. Continually we have been considering some field and some extension and saying “well, if is some polynomial and with then we can consider the field generated by and **in** “. My point being that to consider things like , which fits with our original goal to consider minimal fields over which we can discuss the roots of a polynomial, we actually have to start with/find a field containing a root. Unfortunately, up until this point we have failed to do this. We have done a lot of math assuming we already have such a field, but alas, none are to be found. In this post we remedy this by actually showing that for any polynomial we can find a field extension such that for some (i.e. such that it has a root in ) but that we can factor (i.e. that it has all of its roots in ). It turns out that this is not too bad, but lurking quietly in the background is a much more interesting, and deep, question. Namely, the way in which we shall construct such a field for a given shall be simple-minded, but at the price of this simplicity comes a lack of “cohesion”. Namely, we shall have a difficult time trying to compare results about a polynomial to a polynomial by looking at the respective fields we constructed since, in a sense, they don’t related well together. What would be nice is if we didn’t have to look for these fields containing the roots of separately, if instead we could think about all of these fields living inside some bigger (realistically huge) field. In other words, can we find a an extension such that contains all of the roots of all ? This is a somewhat sensitive question construction wise. In a perfect world we’d just take the “union” of all the fields we get by examining the polynomials individually. Alas, being the semi-rigorous minded students that we are, this just won’t do. We shall construct the algebraic closure by a sneaky trick first thought up by Artin.

**Splitting Fields and Algebraic Closures**

As we stated above our first goal is to, given a field and polynomial , construct some extension such that factors completely into linear factors, or in the lingo, such that *splits*. If is an extension such that splits and is generated over by the roots of we call a *splitting field *for . Thus, the content of the first sentence could be rephrased as the desire to prove every polynomial in has a splitting field (it’s obvious the statements are equivalent).

*Remark: *We define the splitting field for a set of polynomials similarly.

We go about find a splitting field for by baby steps. Namely, instead of trying to find a field which contains all the roots of we first show that we can find a field which contains a root of . Of course, we need only consider monic irreducible polynomials since the general case will follow by factoring given polynomials into their irreducibles, etc. So, let’s consider the case when is monic and irreducible. The idea behind this construction is, as was said in the motivation, simple. In fact, from what we have already proven we actually have no real choice in the matter. Namely, suppose for a second that is some extension of containing a root . Then, of course, there is no reason to consider the entirety of and instead to only consider . But, note then that is necessarily algebraic since . Thus, we know that where, as usual, is the minimal polynomial of over . But, check it out, we know that is a monic irreducible polynomial annihilating . Thus, by first principles we know that is, secretly, just . Thus, we know that . Thus, our only hope for such an and thus such a to exist is that is our desired field.

Ok, well, one part of this statement is immediately clear–namely, since is irreducible we know that is actually a field, so we can check that part off. That said, what about the important part–the existence of a root of in ? Luckily, the fact that whatever this mysterious root is to be it has the property that comes to our rescue again. Namely, the isomorphism is the result of applying the first isomorphism theorem to the natural epimorphism taking . In particular, for all intents and purposes not only are we forced to concede that the only true identity of is but the only true identity of is . Thus, the moment of truth. For everything to work we need to check that applied to is zero. By a well-constructed miracle this is a tautology since . Yay! Thus we see that there is justice in the world and, in fact, is an extension of containing a root of .

Ok, cool, so we’ve found a root of hiding in some extension of , now we have to find the rest. Of course though, this easy, the first step’s always the hardest. Indeed, let and be equal to and respectively. The fact that has as a root in allows us to factor as for some with . Now we can take an irreducible, monic factor of and apply the same method to get a new field such that so that . Repeating this process times will give us the desired field as desired.

Note that not only do we have such a but we have control on it’s degree. Indeed, if we can begin by noting that is dimensional, and then is an dimensional -space, and then is an dimensional -space, etc. we can actually conclude that actually has the property that .

Now, once we have our actually getting a splitting field for is utterly trivial. Indeed, if are the roots of in then we merely consider . Clearly this is a field in which splits and is, by definition, generated by the roots of . Thus, putting it all together we get the following theorem:

**Theorem: ***Let be a field and with . Then, there exists a splitting field for with .*

Of course, we can repeat this process finitely man times to produce a splitting field for any finite set .

The first obvious question considering our construction is whether or not splitting fields are (up to isomorphism) unique. I mean, we have surely constructed a splitting field, but whose to say that we couldn’t find another field, constructed entirely differently, which is also a splitting field for yet is not isomorphic to it? Of course, as all is right in the mathematical world, this is not the case.

Indeed following [1] we prove the uniqueness of splitting fields in a piecewise manner. Namely, we shall start small and show that “small” extensions of a field [by appending roots] are unique up to isomorphism and then use transfinite techniques to take this finitary fact to an infinitary one. So, first comes first:

**Lemma: ***Let be two fields and irreducible. Define then to be the polynomial obtained by applying to the coefficients of . Then, if is a root of in some extension of and a root of in some extension of . There then exists an isomorphism extending which takes to .*

**Proof: **Since is irreducible and we know that and so with , and similarly we have an isomorphism with . So, now it’s fairly obvious that defined by is an isomorphism extending . Clearly then is an isomorphism extending and with .

**References:**

[1] Morandi, Patrick. *Field and Galois Theory*. New York: Springer, 1996. Print.

[2] Dummit, David Steven., and Richard M. Foote. *Abstract Algebra*. Hoboken, NJ: Wiley, 2004. Print.

[3] Lang, Serge. *Algebra*. New York: Springer, 2002. Print.

[4] Conrad, Keith. *Collected Notes on Field and Galois Theory*. Web. <http://www.math.uconn.edu/~kconrad/blurbs/>.

[5] Clark, Pete. *Field Theory*. Web. <http://math.uga.edu/~pete/FieldTheory.p

[…] Splitting Fields and Algebraic Closures (Pt. II) Point of Post: This is a continuation of this post. […]

Pingback by Splitting Fields and Algebraic Closures (Pt. II) « Abstract Nonsense | April 5, 2012 |

[…] instead of trying to construct such finite fields explicitly we shall construct them as splitting fields of certain polynomials in […]

Pingback by Finite Fields « Abstract Nonsense | April 12, 2012 |