Field extension

In algebra, a field extension describes a specific relationship between two mathematical structures called fields. A field is a set where you can add, subtract, multiply, and divide by any non-zero element. When one field, $L$, contains another field, $K$, we call $L$ an extension field of $K$. In this pair, $K$ is known as a subfield of $L$. This means $K$ is a subset of $L$ that still functions as a complete field using the same operations. For example, the complex numbers are an extension of the real numbers. Within the real numbers, you can find the rational numbers. This creates a nested structure of mathematical worlds.

To understand the structure of these extensions, mathematicians look at the larger field as a vector space over the smaller field. This allows us to measure the "size" of the extension using a value called the degree, denoted as $[L : K]$. The degree represents the dimension of this vector space. If the degree is 1, the two fields are exactly the same. We use specific names for extensions of certain degrees. A degree of 2 is a quadratic extension, and a degree of 3 is a cubic extension. If the degree is a finite number, we call it a finite extension.

Extensions can also be categorized by how they are built. A simple extension is created by adding a single element to a field. This added element is called a primitive element. If we add a set of elements to a field, the smallest field containing them is called the field generated by those elements. In fields with characteristic 0, the primitive element theorem states that every finite extension is a simple extension. However, this theorem does not always hold true for fields with a non-zero characteristic.

We often build extensions to solve polynomial equations. A root is a value that makes a polynomial equal to zero. If a field does not contain the root for a specific polynomial, we can construct an extension field that does. This is often done using a quotient ring of a polynomial ring. By repeating this process, we can create a splitting field. A splitting field is an extension where a given polynomial can be broken down completely into linear factors.

Elements within an extension can be either algebraic or transcendental. An element is algebraic over $K$ if it is a root of a non-zero polynomial with coefficients in $K$. The simplest polynomial that has that element as a root is called its minimal polynomial. An algebraic extension is one where every single element is algebraic. In contrast, an element is transcendental if no such polynomial exists. If an extension is built using these independent, non-root elements, it is called a transcendental extension.

Special types of algebraic extensions provide deeper insight into mathematical symmetry. An extension is normal if every irreducible polynomial that has one root in the field actually splits completely in that field. An extension is separable if the minimal polynomial of every element has no repeated roots. When an extension is both normal and separable, it is called a Galois extension. These extensions are central to the study of polynomial roots and group theory.

Galois theory provides a powerful way to study the intermediate fields between $K$ and $L$. For a Galois extension, we can define a Galois group, which consists of automorphisms that leave the base field $K$ fixed. The fundamental theorem of Galois theory establishes a perfect connection, or bijection, between the subgroups of this Galois group and the intermediate fields. This allows mathematicians to use the tools of group theory to solve complex problems in algebra and number theory.

Field extensions are fundamental tools in several advanced mathematical branches. They are essential in algebraic number theory, where they help study properties of numbers. In algebraic geometry, they are used to understand the properties of algebraic varieties. The concept also extends to the study of Riemann surfaces and meromorphic functions. By exploring these extensions, mathematicians can uncover the deep, underlying structures that connect different areas of mathematics.