Field Extensions: Definitions and Properties

Introduction

A field extension is a fundamental concept in abstract algebra, representing a relationship between two fields where one field is contained within the other. This relationship is often denoted as $ \mathbb{F}_1 \subseteq \mathbb{F}_2 $, where $ \mathbb{F}_2 $ is an extension of $ \mathbb{F}_1 $. Field extensions are crucial in understanding algebraic structures, as they provide a framework for studying polynomials, roots, and the solvability of equations. The study of field extensions is deeply intertwined with Galois theory, which connects field extensions to group theory through the concept of Galois groups.

Definition and Basic Properties

A field extension is a pair of fields $ \mathbb{F}_1 $ and $ \mathbb{F}_2 $ such that $ \mathbb{F}_1 \subseteq \mathbb{F}_2 $ and $ \mathbb{F}_2 $ is a field. The extension $ \mathbb{F}_2 $ is said to be an extension of $ \mathbb{F}_1 $. The degree of the extension, denoted $ [\mathbb{F}_2 : \mathbb{F}_1] $, is the dimension of $ \mathbb{F}_2 $ as a vector space over $ \mathbb{F}_1 $. For example, $ \mathbb{Q}(\sqrt{2}) $ is a field extension of $ \mathbb{Q} $ with degree 2.

Key properties of field extensions include the tower law, which states that for any sequence of fields $ \mathbb{F}_1 \subseteq \mathbb{F}_2 \subseteq \mathbb{F}_3 $, the degree $ [\mathbb{F}_3 : \mathbb{F}_1] $ satisfies $ [\mathbb{F}_3 : \mathbb{F}_1] = [\mathbb{F}_3 : \mathbb{F}_2] \cdot [\mathbb{F}_2 : \mathbb{F}_1] $. This law underscores the multiplicative nature of field extensions.

Field Extensions and Tower Law

The tower law is a cornerstone in the study of field extensions. It ensures that the degree of an extension can be decomposed into the product of the degrees of intermediate extensions. For instance, if $ \mathbb{F}_1 \subseteq \mathbb{F}_2 \subseteq \mathbb{F}_3 $, then $ [\mathbb{F}_3 : \mathbb{F}_1] = [\mathbb{F}_3 : \mathbb{F}_2] \cdot [\mathbb{F}_2 : \mathbb{F}_1] $. This property is essential for understanding the structure of extensions and their implications for solvability.

The tower law also implies that if $ \mathbb{F}_1 \subseteq \mathbb{F}_2 \subseteq \mathbb{F}_3 $, then $ \mathbb{F}_3 $ is a finite extension of $ \mathbb{F}_1 $ if and only if $ \mathbb{F}_3 $ is a finite extension of $ \mathbb{F}_2 $ and $ \mathbb{F}_2 $ is a finite extension of $ \mathbb{F}_1 $. This hierarchical structure is vital for analyzing the complexity of extensions and their relationships.

Algebraic and Transcendental Extensions

A field extension is algebraic if every element of the extended field is algebraic over the base field. For example, $ \mathbb{Q}(\sqrt{2}) $ is an algebraic extension of $ \mathbb{Q} $ because $ \sqrt{2} $ satisfies the polynomial $ x^2 - 2 $. Conversely, a field extension is transcendental if there exists at least one element that is not algebraic over the base field, such as $ \pi $ in $ \mathbb{Q}(\pi) $.

The distinction between algebraic and transcendental extensions is critical in algebraic number theory and Galois theory. Algebraic extensions are often finite, while transcendental extensions can be infinite. For instance, $ \mathbb{Q}(\pi) $ is a transcendental extension of $ \mathbb{Q} $, and its degree is infinite.

Finite Field Extensions

A finite field extension occurs when the degree $ [\mathbb{F}2 : \mathbb{F}_1] $ is finite. Such extensions are particularly important in cryptography and coding theory, where finite fields are used to construct error-correcting codes. For example, $ \mathbb{F}{p^n} $, the field with $ p^n $ elements, is a finite extension of $ \mathbb{F}_p $, where $ p $ is a prime.

Finite extensions are also closely related to the concept of normal extensions, where the minimal polynomial of any element in the extension is separable. Normal extensions ensure that the