Splitting Fields and Algebraic Closure

In the study of polynomial equations, a fundamental question is: over what field does a polynomial break down completely into linear factors? The answer lies in two interconnected concepts: the splitting field, which is the smallest such field for a given polynomial, and the algebraic closure, a field where every polynomial splits. These constructions are not mere abstractions; they form the indispensable foundation for Galois theory, which uses the symmetry of these fields to reveal why polynomial equations are solvable—or unsolvable—by radicals.

Splitting Fields: Construction and Purpose

Given a field $F$ and a polynomial $f(x)\in F[x]$, you often need a larger field where $f(x)$ factors completely into first-degree polynomials. A splitting field for $f(x)$ over $F$ is precisely that: the smallest extension field $E$ of $F$ such that $f(x)$ splits into linear factors in $E[x]$, and $E$ is generated over $F$ by the roots of $f(x)$.

The construction is an iterative process. If $f(x)$ is already a product of linear factors in $F[x]$, then $F$ itself is the splitting field. If not, take an irreducible factor $p_1(x)$ of $f(x)$ and form the field $F_1=F[x]/(p_1(x))$, where $(p_1(x))$ is the ideal generated by $p_1(x)$. In this extension, $p_1(x)$ has a root, namely the coset ${\alpha }_1=x+(p_1(x))$. Now, factor $f(x)$ over $F_1$ and repeat the process with a remaining irreducible factor. This sequence of simple algebraic extensions terminates when you finally have $f(x)=c(x-{\alpha }_1)(x-{\alpha }_2)\dots (x-{\alpha }_n)$ in some field $E$. The field $E=F({\alpha }_1,{\alpha }_2,\dots ,{\alpha }_n)$ is the splitting field.

For example, consider $f(x)=x^2-2$ over $\mathbb{Q}$. The polynomial is irreducible. Adjoining a root, say $\sqrt{2}$, gives $\mathbb{Q}(\sqrt{2})$. In this field, $f(x)=(x-\sqrt{2})(x+\sqrt{2})$. Since the second root $-\sqrt{2}$ is automatically included, $\mathbb{Q}(\sqrt{2})$ is the splitting field. This process guarantees a finite extension of $F$.

Uniqueness of Splitting Fields

A critical feature of splitting fields is their uniqueness up to isomorphism. The theorem states: if $\varphi :F\to F^{\prime }$ is an isomorphism of fields, and $f(x)\in F[x]$ corresponds to $f^{\varphi }(x)\in F^{\prime }[x]$ (by applying $\varphi$ to the coefficients), then any splitting field $E$ of $f(x)$ over $F$ is isomorphic to any splitting field $E^{\prime }$ of $f^{\varphi }(x)$ over $F^{\prime }$, via an isomorphism that extends $\varphi$.

The proof proceeds by induction on the degree of the extension. The key step involves extending the isomorphism $\varphi$ to map a root of an irreducible factor of $f(x)$ to a root of the corresponding factor of $f^{\varphi }(x)$. Since the splitting field is built by successively adjoining roots, this process can be repeated until the full isomorphism between $E$ and $E^{\prime }$ is established. In the special case where $F=F^{\prime }$ and $\varphi$ is the identity map, this theorem tells us that any two splitting fields for the same polynomial over $F$ are isomorphic as extensions of $F$. This "essentially unique" nature makes the splitting field a well-defined object for study.

Algebraically Closed Fields and Algebraic Closures

A field $\overline{F}$ is called algebraically closed if every non-constant polynomial in $\overline{F}[x]$ has a root in $\overline{F}$. By a simple inductive argument, this is equivalent to saying every polynomial in $\overline{F}[x]$ splits into linear factors. The complex numbers $\mathbb{C}$ are the canonical example, as stated by the Fundamental Theorem of Algebra.

For an arbitrary field $F$, an algebraic closure of $F$ is an algebraic extension $\overline{F}$ of $F$ that is itself algebraically closed. It is, in essence, the smallest algebraically closed field containing $F$, where "smallest" means every element is algebraic over $F$ (i.e., is a root of some nonzero polynomial with coefficients in $F$).

Existence and Uniqueness of an Algebraic Closure

Proving that every field has an algebraic closure requires more sophisticated set theory. The classic proof uses Zorn's Lemma. The idea is to consider the collection of all algebraic extension fields of $F$, partially ordered by inclusion. One shows that every chain has an upper bound (its union), so Zorn's Lemma guarantees a maximal element $M$. One then argues that this maximal algebraic extension must be algebraically closed; if a polynomial in $M[x]$ failed to split, you could construct a proper algebraic extension of $M$, contradicting maximality. Therefore, $M$ is an algebraic closure of $F$.

Like splitting fields, the algebraic closure is unique up to isomorphism. The uniqueness theorem states: if $\overline{F}$ and $\Omega$ are two algebraic closures of $F$, then there exists an isomorphism $\overline{F}\to \Omega$ that fixes $F$ pointwise. The proof strategy is similar to that for splitting fields but uses a more general application of Zorn's Lemma to extend the identity map on $F$ to an isomorphism between the two closures. This result assures us that we can speak of "the" algebraic closure $\overline{F}$, understanding it is unique in a rigid, categorical sense.

Common Pitfalls

1. Confusing "algebraically closed" with "algebraic closure." An algebraically closed field is a property (e.g., $\mathbb{C}$). An algebraic closure is an object relative to a base field $F$. For instance, $\mathbb{C}$ is algebraically closed, and it is an algebraic closure of $\mathbb{R}$. However, $\mathbb{C}$ is also an algebraic closure of $\mathbb{Q}$, but here the extension $\mathbb{C}/\mathbb{Q}$ is vastly larger than necessary, containing transcendental numbers. The algebraic closure of $\mathbb{Q}$, denoted $\overline{\mathbb{Q}}$, is the field of algebraic numbers, which is a countable subfield of $\mathbb{C}$.

1. Assuming the algebraic closure is a finite extension. For a finite field or a field like $\mathbb{Q}$, the algebraic closure is an infinite algebraic extension. It contains roots of all polynomials, of all degrees, so it cannot be described by adjoining finitely many elements.

1. Overlooking the role of isomorphism. When we say a splitting field is "unique," we mean unique up to isomorphism. There can be many different sets or constructions that represent the splitting field, but they are all structurally identical from the perspective of field theory. This is a key conceptual step in abstract algebra.

1. Misapplying the existence proof. The existence proof for an algebraic closure is non-constructive; it relies on Zorn's Lemma (equivalent to the Axiom of Choice). For most fields, you cannot explicitly write down or list all elements of $\overline{F}$. You work with it through its universal property: it is a field containing $F$ where any polynomial has a root, and any other such field contains a copy of $\overline{F}$.

Summary

• A splitting field for a polynomial $f(x)$ over a field $F$ is the smallest extension $E=F({\alpha }_1,...,{\alpha }_n)$ where $f(x)$ factors as $c\prod (x-{\alpha }_i)$. It is constructed by iteratively adjoining roots of irreducible factors.
• Splitting fields are unique up to isomorphism. Given an isomorphism of base fields, it extends to an isomorphism of the corresponding splitting fields for corresponding polynomials.
• An algebraically closed field (like $\mathbb{C}$) is one where every non-constant polynomial has a root, equivalently, splits into linear factors.
• An algebraic closure $\overline{F}$ of a field $F$ is an algebraic extension that is algebraically closed. It is the ultimate "splitting field" for all polynomials over $F$.
• Every field has an algebraic closure, and any two algebraic closures of the same field are isomorphic over the base field. These existence and uniqueness theorems provide the stable ground upon which Galois theory is built, allowing us to analyze polynomials through the symmetries of their splitting fields.