Field extension

Some math groups fit inside others. A big group can hold a small group. This is like a big box with a small box inside.

We call the big group an extension. The small group is a subfield. The small group stays the same inside the big one.

One group of numbers is the real numbers. Another group is the complex numbers. The complex numbers are an extension of the real ones.

We can also use small groups to find new ones. This helps us solve hard puzzles. It helps us study shapes and numbers too.

Math is full of these nesting groups.

In math, some number groups fit inside others. We call the large group an extension field. The smaller group inside is a subfield. The small group keeps its own rules. It uses the same math rules as the big group.

Think about the real numbers. The complex numbers are an extension of them. The rational numbers are also a subfield of the real numbers. This creates a chain of groups.

We can measure how big an extension is. This is called the degree. A degree of two is a quadratic extension. A degree of three is a cubic extension. Some extensions are finite, meaning they have a set size. Others are infinite.

Sometimes we add one new number to a small field. This is a simple extension. It can help us find roots for hard puzzles. A root is a number that solves an equation.

Mathematicians use these ideas in many ways. They help in number theory and geometry. They also help us study Galois theory. This theory uses groups to understand how numbers work together.

In mathematics, some number groups fit perfectly inside larger ones. We call the larger group an extension field. The smaller group inside is called a subfield. The subfield follows the same math rules as the bigger group. 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 different math worlds.

We can measure the size of these extensions using a value called the degree. Think of the degree like the dimension of a space. If the degree is two, we call it a quadratic extension. If the degree is three, it is a cubic extension. Some extensions are finite, which means they have a set size. Others are infinite, like the field of real numbers over the rational numbers.

Sometimes, we create an extension by adding just one new number. This is called a simple extension. This new number is often a primitive element. We use these new numbers to solve math puzzles called polynomials. A root is a number that solves a specific polynomial equation. If a field does not have a certain root, we can build a new field to find it.

There are different ways these extensions behave. An algebraic extension is one where every element is a root of a polynomial. If an element is not a root of any polynomial, it is called transcendental. We also talk about normal and separable extensions. When an extension is both normal and separable, it is called a Galois extension. These special extensions are very important in math.

Mathematicians use these ideas to study many different things. They are very useful in algebraic number theory and algebraic geometry. Galois theory uses these extensions to study how numbers work together. This theory helps us describe the intermediate fields between the small and large groups. It uses a special tool called a Galois group to do this. These ideas help us understand the deep patterns of math.

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.