Definition, Construction, and Existence of Splitting Fields

Introduction

A splitting field is a fundamental concept in field theory, serving as a bridge between polynomial factorization and the structure of field extensions. It is a field extension $ \mathbb{F} $ over a base field $ \mathbb{K} $ such that every non-constant polynomial over $ \mathbb{K} $ splits into linear factors in $ \mathbb{F} $. This notion is critical in algebraic geometry and number theory, as it ensures that the algebraic closure of a field is well-defined and that polynomials can be fully analyzed within their extensions. Splitting fields are closely related to algebraic closures and play a pivotal role in the study of field extensions.

Definition of a Splitting Field

A splitting field of a polynomial $ f(x) \in \mathbb{K}[x] $ is a field extension $ \mathbb{F} $ over $ \mathbb{K} $ such that:

  1. $ \mathbb{F} $ contains all roots of $ f(x) $, and
  2. $ \mathbb{F} $ is algebraic over $ \mathbb{K} $.

Formally, if $ \mathbb{F} $ is a field extension of $ \mathbb{K} $ and $ f(x) $ splits in $ \mathbb{F} $, then $ \mathbb{F} $ is a splitting field for $ f(x) $. The minimal such field (with respect to inclusion) is called the splitting field of $ f(x) $.

Key properties of splitting fields include:

  • They are algebraic over $ \mathbb{K} $, meaning every element of $ \mathbb{F} $ satisfies a polynomial equation with coefficients in $ \mathbb{K} $.
  • Splitting fields are transcendental over $ \mathbb{K} $ if the polynomial $ f(x) $ is not separable over $ \mathbb{K} $.
  • The degree of a splitting field is often large, reflecting the complexity of the polynomial.

Examples include:

  • The splitting field of $ x^2 - 2 $ over $ \mathbb{Q} $ is $ \mathbb{Q}(i) $, where $ i $ is the imaginary unit.
  • For the polynomial $ x^3 - 2x + 1 $, its splitting field over $ \mathbb{Q} $ includes all roots of the polynomial, which may require additional extensions.

Construction of Splitting Fields

The construction of splitting fields involves iteratively extending base fields to include roots of polynomials. Given a base field $ \mathbb{K} $ and a polynomial $ f(x) \in \mathbb{K}[x] $, the process begins by finding a root $ \alpha \in \mathbb{F} $ of $ f(x) $, then extending $ \mathbb{K} $ to $ \mathbb{K}(\alpha) $, and repeating this for all irreducible factors of $ f(x) $.

  1. Step 1: Find a Root
    If $ f(x) $ is irreducible over $ \mathbb{K} $, then its splitting field is the field extension obtained by adjoining all its roots. For example, if $ f(x) = x^n + ax^{n-1} + \cdots + c $ is irreducible, its splitting field is the field generated by all roots of $ f(x) $.

  2. Step 2: Iterate Extensions
    For reducible polynomials, the splitting field is the composite of the splitting fields of its irreducible factors. This ensures that all roots are included in the extension.

  3. Role of Field Extensions
    The splitting field is a transcendental extension if the polynomial is not separable, as it may require additional elements (e.g., roots of irreducible polynomials) to achieve full factorization.

  4. Example Construction
    Consider $ f(x) = x^3 - 2x + 1 \in \mathbb{Q}[x] $. The polynomial is irreducible over $ \mathbb{Q} $, and its roots are not rational. The splitting field is constructed by adjoining all roots of $ f(x) $, resulting in a field extension of degree equal to the order of the Galois group of the polynomial.

Existence of Splitting Fields

The existence of splitting fields is a cornerstone of field theory, rooted in the properties of algebraic closures. Every non-constant polynomial over a field $ \mathbb{K} $ has a splitting field, which