Definition, Judgment, and Properties of Algebraic Extensions

Introduction

In the study of field theory, algebraic extensions play a pivotal role in understanding the structure of fields and their relationships. An algebraic extension is a field extension where every element of the extended field is algebraic over the base field. This concept bridges the gap between abstract field theory and concrete examples, providing a framework for analyzing extensions in contexts such as finite fields, infinite fields, and algebraic closures. The classification of algebraic extensions into distinct categories—such as finite, infinite, or transcendental—remains a cornerstone of modern algebra. This article explores the definition of algebraic extensions, the criteria for determining their nature, and their fundamental properties, emphasizing their significance in both theoretical and applied mathematics.

Definition of Algebraic Extensions

An algebraic extension of a field $ F $ is a field $ E $ such that every element of $ E $ is algebraic over $ F $. Formally, if $ E $ is a field containing $ F $, then $ E $ is algebraic over $ F $ if for every $ \alpha \in E $, there exists a non-zero polynomial $ p(x) \in F[x] $ such that $ p(\alpha) = 0 $. This definition extends the concept of a field extension, where $ E/F $ is an algebraic extension if and only if $ E $ is a finite-dimensional vector space over $ F $ and every element of $ E $ satisfies a polynomial equation with coefficients in $ F $.

Examples of algebraic extensions include $ \mathbb{Q}(\sqrt{2}) $ over $ \mathbb{Q} $, where $ \sqrt{2} $ satisfies the polynomial $ x^2 - 2 \in \mathbb{Q}[x] $. Similarly, $ \mathbb{C} $ over $ \mathbb{R} $ is an algebraic extension, as every complex number is algebraic over $ \mathbb{R} $ in the sense that it satisfies a quadratic equation with real coefficients. However, not all extensions are algebraic; for instance, $ \mathbb{R} $ over $ \mathbb{Q} $ is not algebraic, as $ \sqrt{2} $ is transcendental over $ \mathbb{Q} $.

Judgment of Algebraic Extensions

The determination of whether an extension $ E $ is algebraic over $ F $ hinges on the nature of $ E $ and the properties of $ F $. For a finite field $ F $, every extension is algebraic, as every element of $ E $ satisfies a polynomial equation over $ F $. This is due to the fact that finite fields are algebraically closed in their extensions, ensuring that every element is algebraic. Conversely, for infinite fields, the situation is more complex. An extension $ E $ over $ F $ is algebraic if and only if $ E $ is a finite extension of $ F $, as infinite extensions can contain transcendental elements that do not satisfy polynomial equations over $ F $.

The distinction between algebraic and transcendental extensions is critical in field theory. A transcendental extension occurs when there exists at least one element in $ E $ that is transcendental over $ F $, meaning it does not satisfy a polynomial equation with coefficients in $ F $. For example, $ \mathbb{C} $ over $ \mathbb{Q} $ is a transcendental extension, as $ \pi $ is transcendental over $ \mathbb{Q} $. In contrast, algebraic extensions are strictly finite in their structure, as they are vector spaces over $ F $ with finite dimensions.

Properties of Algebraic Extensions

Algebraic extensions possess several key properties that distinguish them from other types of field extensions. One fundamental property is that algebraic extensions are finitely generated over their base fields. If $ E $ is an algebraic extension of $ F $, then $ E $ can be expressed as $ F(\alpha_1, \alpha_2, \dots, \alpha_n) $, where each $ \alpha_i $ is algebraic over $ F $. This finitely generated nature ensures that the extension is a vector space