Splitting field

In abstract algebra, a splitting field of a polynomial with coefficients in a field is a smallest field extension of that field over which the polynomial factors (or "splits", hence the name) into linear factors.

Definition

A splitting field of a polynomial p(X) over a field K is a field extension L of K over which p factors into linear factors

$p(X) = \prod_{i=1}^{\deg(p)} (X - a_i) \in L[X]$

and such that the coefficients a_i generate L over K. The extension L is then an extension of minimal degree over K in which p splits. It can be shown that such splitting fields exist and are unique up to isomorphism. The amount of freedom in that isomorphism is known to be the Galois group of p (if we assume it is separable).

Facts

An extension L which is a splitting field for multiple polynomials p(X) over K is called a normal extension.

Given an algebraically closed field A containing K, there is a unique splitting field L of p between K and A, generated by the roots of p. If K is a subfield of the complex numbers, the existence is automatic. On the other hand, the existence of algebraic closures in general is usually proved by 'passing to the limit' from the splitting field result; which is therefore proved directly to avoid circular reasoning.

Given a separable extension K′ of K, a Galois closure L of K′ is a type of splitting field, and also a Galois extension of K containing K′ that is minimal, in an obvious sense. Such a Galois closure should contain a splitting field for all the polynomials p over K that are minimal polynomials over K of elements a of K′.

Constructing splitting fields

Motivation

Finding roots of polynomials has been an important problem since the time of the ancient Greeks. Some polynomials, however, have no roots such as X² + 1 over $\mathbb R$, the real numbers. By constructing the splitting field for such a polynomial one can find the roots of the polynomial in the new field.

The Construction

Let F be a field and p(X) be a polynomial in the polynomial ring F[X] of degree n. The general process for constructing K, the splitting field of p(X) over F, is to construct a sequence of fields $F=K_0, K_1, \ldots K_{r-1}, K_r=K$ such that K_i is an extension of K_{i − 1} containing a new root of p(X). Since p(X) has at most n roots the construction will require at most n extensions. The steps for constructing K_i are given as follows:

• Factorize p(X) over K_i into irreducible factors $f_1(X)f_2(X) \cdots f_k(X)$.
• Choose any nonlinear irreducible factor f(X) = f_i(X).
• Construct the field extension K_{i + 1} of K_i as the quotient ring K_{i + 1} = K_i[X] / (f(X)) where (f(X)) denotes the ideal in K_i[X] generated by f(X)
• Repeat the process for K_{i + 1} until p(X) completely factors.

The irreducible factor f_i used in the quotient construction may be chosen arbitrarily. Although different choices of factors may lead to different subfield sequences the resulting splitting fields will be isomorphic.

Since f(X) is irreducible, (f(X)) is a maximal ideal and hence K_i[X] / (f(X)) is, in fact, a field. Moreover, if we let $\pi : K_i[X] \to K_i[X]/(f(X))$ be the natural projection of the ring onto its quotient then

$f(\pi(X)) = \pi(f(X)) = f(X)\ \bmod\ f(X) = 0$

so π(X) is a root of f(X) and of p(X).

The degree of a single extension [K_{i + 1}:K_i] is equal to the degree of the irreducible factor f(X). The degree of the extension [K : F] is given by $[K_r : K_{r-1}] \cdots [K_2 : K_1][K_1 : F]$ and is at most n!.

The Field K_i[x]/(ƒ(x))

As mentioned above, the quotient ring K_{i + 1} = K_i[X] / (f(X)) is a field when f(X) is irreducible. Its elements are of the form $c_{n-1}\alpha^{n-1} + c_{n-2}\alpha^{n-2} + \cdots + c_1\alpha + c_0$ where the c_j are in K_i and α = π(X). (If one considers K_{i + 1} as a vector space over K_i then the powers α^j for 1 ≤ j ≤ n−1 form a basis.)

The elements of K_{i + 1} can be considered as polynomials in α of degree less than n. Addition in K_{i + 1} is given by the rules for polynomial addition and multiplication is given by polynomial multiplication modulo f(X). That is, for g(α) and h(α) in K_{i + 1} the product g(α)h(α) = r(α) where r(X) is the remainder of g(X)h(X) divided by f(X) in K_i[X].

The remainder r(X) can be computed through long division of polynomials, however there is also a straightforward reduction rule that can be used to compute r(α) = g(α)h(α) directly. First let $f(X) = X^n + b_{n-1} X^{n-1} + \cdots + b_1 X + b_0$. (The polynomial is over a field so one can take f(X) to be monic without loss of generality.) Now α is a root of f(X), so $\alpha^n = -(b_{n-1} \alpha^{n-1} + \cdots + b_1 \alpha + b_0)$. If the product g(α)h(α) has a term α^m with m ≥ n it can be reduced as follows:

$\alpha^n\alpha^{m-n} = -(b_{n-1} \alpha^{n-1} + \cdots + b_1 \alpha + b_0) \alpha^{m-n} = -(b_{n-1} \alpha^{m-1} + \cdots + b_1 \alpha^{m-n+1} + b_0 \alpha^{m-n+1})$.

As an example of the reduction rule, take $K_i = \mathbb Q[X]$, the ring of polynomials with rational coefficients, and take f(X) = X⁷ − 2. Let g(α) = α⁵ + α² and h(α) = α³ + 1 be two elements of $\mathbb Q[X]/(X^7-2)$. The reduction rule given by f(X) is α⁷ = 2 so

$g(\alpha) h(\alpha) = \left(\alpha^5 + \alpha^2\right) \left(\alpha^3 + 1\right) = \alpha^8 + 2 \alpha^5 + \alpha^2 = \left(\alpha^7\right) \alpha + 2\alpha^5 + \alpha^2 = 2 \alpha^5 + \alpha^2 + 2\alpha.$

Examples

The complex numbers

Consider the polynomial ring R[x], and the irreducible polynomial x² + 1. The quotient space R[x] / (x² + 1) is given by the congruence x² ≡ −1. As a result, the elements (or equivalence classes) of R[x] / (x² + 1) are of the form a + bx where a and b belong to R. To see this, note that since x² ≡ −1 it follows that x³ ≡ −x, x⁴ ≡ 1, x⁵ ≡ x, etc.; and so, for example p + qx + rx² + sx³ ≡ p + qx + r⋅(−1) + s⋅(−x) = (p − r) + (q − s)⋅x.

The addition and multiplication operations are given by firstly using ordinary polynomial addition and multiplication, but then reducing modulo x² + 1, i.e. using the fact that x² ≡ −1, x³ ≡ −x, x⁴ ≡ 1, x⁵ ≡ x, etc. Thus:

$(a_1 + b_1x) + (a_2 + b_2x) = (a_1 + a_2) + (b_1 + b_2)x \, ,$

$(a_1 + b_1x)(a_2 + b_2x) = a_1a_2 + (a_1b_2 + b_1a_2)x + (b_1b_2)x^2 \equiv (a_1a_2 - b_1b_2) + (a_1b_2 + b_1a_2)x \, .$

If we identify a + bx with (a,b) then we see that addition and multiplication are given by

$(a_1,b_1) + (a_2,b_2) = (a_1 + a_2,b_1 + b_2) \, ,$

$(a_1,b_1)\cdot (a_2,b_2) = (a_1a_2 - b_1b_2,a_1b_2 + b_1a_2) \, .$

We claim that, as a field, the quotient R[x] / (x² + 1) is isomorphic to the complex numbers, C. A general complex number is of the form a + ib, where a and b are real numbers and i² = −1. Addition and multiplication are given by

$(a_1 + ib_1) + (a_2 + ib_2) = (a_1 + a_2) + i(b_1 + b_2) \, ,$

$(a_1 + ib_1) \cdot (a_2 + ib_2) = (a_1a_2 - b_1b_2) + i(a_1b_2 + a_2b_1) \, .$

If we identify a + ib with (a,b) then we see that addition and multiplication are given by

$(a_1,b_1) + (a_2,b_2) = (a_1 + a_2,b_1 + b_2) \, ,$

$(a_1,b_1)\cdot (a_2,b_2) = (a_1a_2 - b_1b_2,a_1b_2 + b_1a_2) \, .$

The previous calculations show that addition and multiplication behave the same way in R[x] / (x² + 1) and C. In fact, we see that the map between R[x] / (x² + 1) and C given by a + bx → a + ib is a homomorphism with respect to addition and multiplication. It is also obvious that the map a + bx → a + ib is both injective and surjective; meaning that a + bx → a + ib is a bijective homomorphism, i.e. an isomorphism. It follows that, as claimed: R[x] / (x² + 1) ≅ C.

Cubic example

Let K be the rational number field Q and

p(X) = X³ − 2.

Each root of p equals $\sqrt[3]{2}$ times a cube root of unity. Therefore, if we denote the cube roots of unity by

$\omega_1 = 1 \,$,

$\omega_2 = - \frac{1} {2} + \frac {\sqrt{3}} {2} i$, and

$\omega_3 = - \frac{1} {2} - \frac {\sqrt{3}} {2} i$,

any field containing two distinct roots of p will contain the quotient between two distinct cube roots of unity. Such a quotient is a primitive cube root of unity—either ω₂ or ω₃ = 1 / ω₂). It follows that a splitting field L of p will contain ω₂, as well as the real cube root of 2; conversely, any extension of Q containing these elements contains all the roots of p. Thus

${L=\mathbb{Q}(\sqrt[3]{2},\omega_2)=\{a+b \omega_2+c\sqrt[3]{2} +d \sqrt[3]{2} \omega_2+ e \sqrt[3]{2^2} + f \sqrt[3]{2^2} \omega_2 \,|\,a,b,c,d,e,f\in\mathbb{Q} \}}$

Other examples

• A splitting field of x² + 1 over $\mathbb F_7$ is $\mathbb F_{49}$; the polynomial has no roots in $\mathbb F_7$, i.e., −1 is not a square there, because 7 is not equivalent to 1 (mod 4).
• The splitting field of x² − 1 over $\mathbb F_7$ is $\mathbb F_7$ since x² − 1 = (x + 1)(x − 1) already factors into linear factors.
• Let the base field F = Z / 2Z, the field of two elements {0, 1}, and let f(x) = x³ + x + 1. It is easy to verify that f(x) has no roots in F, hence f(x) is irreducible in F[x]. Put r = x + (f(x)) in F[x] / (f(x)) so F(r) is a field and x³ + x + 1 = (x + r)(x² + ax + b) in F(r)[x]. Note that we can write + for - since the characteristic is two. Comparison of coefficients shows that a = r and b = 1 + r². The elements of F(r) can be listed as c + dr + er², where c, d, e are in F. There are eight elements: 0, 1, r, 1 + r, r², 1 + r², r + r² and 1 + r + r². Substituting these in x² + rx + 1 + r² we reach (r²)² + r(r²) + 1 + r² = r⁴ + r³ + 1 + r² = 0, since r² = r + 1 and r⁴ = r² + r. Hence x² + ax + b factors into linear factors in F(r)[x] and E = F(r) is a splitting field of x³ + x + 1 over F.

See also

• Rupture field

References

• Dummit, David S., and Foote, Richard M. (1999). Abstract Algebra (2nd ed.). New York: John Wiley & Sons, Inc. ISBN 0-471-36857-1.
• Weisstein, Eric W., "Splitting field" from MathWorld.