Abstract Algebra/Splitting Fields and Algebraic Closures

Splitting FieldsEdit

Let F be a field and p(x) be a nonconstant polynomial in F(x). We already know that we can find a field extension of F that contains a root of p(x). However, we would like to know whether an extension E of F containing all of the roots of p(x) exists. In other words, can we find a field extension of F such that p(x) factors into a product of linear polynomials? What is the "smallest" extension containing all the roots of p(x)?

Let F be a field and   be a nonconstant polynomial in F[x]. An extension field E of F is a splitting field of p(x) if there exist elements   in E such that   and

  in E[x].

A polynomial   splits in E if it is the product of linear factors in E[x].

Example 1: Let   be in  . Then p(x) has irreducible factors   and  . Therefore, the field   is a splitting field for p(x).

Example 2: Let   be in  . Then p(x) has a root in the field  . However, this field is not a splitting field for p(x) since the complex cube roots of 3,   are not in  .

Theorem Let p(x)   F(x) be a nonconstant polynomial. Then there exists a splitting field E for p(x).

Proof. We will use mathematical induction on the degree of p(x). If  , then p(x) is a linear polynomial and  . Assume that the theorem is true for all polynomials of degree k with   and let  . We can assume that p(x) is irreducible; otherwise, by our induction hypothesis, we are done. There exists a field K such that p(x) has a zero   in K. Hence,  , where  . Since  , there exists a splitting field   of q(x) that contains the zeros   of p(x) by our induction hypothesis. Consequently,

 

is a splitting field of p(x).

The question of uniqueness now arises for splitting fields. This question is answered in the affirmative. Given two splitting fields K and L of a polynomial  , there exists a field isomorphism   that preserves F. In order to prove this result, we must first prove a lemma.

Lemma Theorem Let   be an isomorphism of fields. Let K be an extension field of E and   be algebraic over E with minimal polynomial p(x). Suppose that L is an extension field of F such that   is root of the polynomial in F[x] obtained from p(x) under the image of  . Then   extends to a unique isomorphism   such that   and   agrees with   on E.

Lemma Proof. If p(x) has degree n, then we can write any element in   as a linear combination of  . Therefore, the isomorphism that we are seeking must be

 ,

where

 

is an element in  . The fact that   is an isomorphism could be checked by direct computation; however, it is easier to observe that   is a composition of maps that we already know to be isomorphisms.

We can extend   to be an isomorphism from E[x] to F[x], which we will also denote by  , by letting

 .

This extension agrees with the original isomorphism  , since constant polynomials get mapped to constant polynomials. By assumption,  ; hence,   maps   onto  . Consequently, we have an isomorphism  . We have isomorphisms   and  , defined by evaluation at   and  , respectively. Therefore,   is the required isomorphism.

Now write   and  , where the degrees of f(x) and g(x) are less than the degrees of p(x) and q(x), respectively. The field extension K is a splitting field for f(x) over E(α), and L is a splitting field for g(x) over F(β). By our induction hypotheses there exists an isomorphism   such that   agrees with   on E(α). Hence, there exists an isomorphism   such that   agrees with   on E.

Corollary Let p(x) be a polynomial in F[x]. Then there exists a splitting field K of p(x) that is unique up to isomorphism.

Algebraic ClosuresEdit

Given a field F, the question arises as to whether or not we can find a field E such that every polynomial p(x) has a root in E. This leads us to the following theorem.

Theorem 21.11 Let E be an extension field of F. The set of elements in E that are algebraic over F form a field.

Proof. Let   be algebraic over F. Then   is a finite extension of F. Since every element of   is algebraic over  , and   are all algebraic over F. Consequently, the set of elements in E that are algebraic over F forms a field.


Corollary 21.12 The set of all algebraic numbers forms a field; that is, the set of all complex numbers that are algebraic over   makes up a field.

Let E be a field extension of a field F. We define the algebraic closure of a field F in E to be the field consisting of all elements in E that are algebraic over F. A field F is algebraically closed if every nonconstant polynomial in F[x] has a root in F.

Theorem 21.13 A field F is algebraically closed if and only if every nonconstant polynomial in F[x] factors into linear factors over F[x].

Proof. Let F be an algebraically closed field. If   is a nonconstant polynomial, then p(x) has a zero in F, say α. Therefore,   must be a factor of p(x) and so  , where  . Continue this process with   to find a factorization


 ,

where  . The process must eventually stop since the degree of p(x) is finite.

Conversely, suppose that every nonconstant polynomial p(x) in F[x] factors into linear factors. Let   be such a factor. Then  . Consequently, F is algebraically closed.


Corollary 21.14 An algebraically closed field F has no proper algebraic extension E.

Proof. Let E be an algebraic extension of F; then  . For  , the minimal polynomial of α is  . Therefore,   and  .


Theorem 21.15 Every field F has a unique algebraic closure.

It is a nontrivial fact that every field has a unique algebraic closure. The proof is not extremely difficult, but requires some rather sophisticated set theory. We refer the reader to [3], [4], or [8] for a proof of this result.

We now state the Fundamental Theorem of Algebra, first proven by Gauss at the age of 22 in his doctoral thesis. This theorem states that every polynomial with coefficients in the complex numbers has a root in the complex numbers. The proof of this theorem will be given in Abstract Algebra/Galois Theory.

Theorem 21.16 (Fundamental Theorem of Algebra) The field of complex numbers is algebraically closed.