The relationship between algebraic extensions and finite extensions

Introduction

In field theory, algebraic extensions and finite extensions are fundamental concepts that govern the structure of field extensions. An algebraic extension is a field extension where every element of the extended field is algebraic over the base field. A finite extension, on the other hand, is one where the dimension of the extension as a vector space over the base field is finite. This article explores the interplay between these two types of extensions, emphasizing their definitions, properties, and implications. While every finite extension is algebraic, not all algebraic extensions are finite. The relationship between these concepts is deeply tied to the nature of the base field and the structure of the extension.

Algebraic Extensions and Finite Extensions

An algebraic extension of a field $ \mathbb{F} $ is a field $ \mathbb{K} $ such that every element of $ \mathbb{K} $ is a root of a non-zero polynomial with coefficients in $ \mathbb{F} $. This definition ensures that $ \mathbb{K} $ is a vector space over $ \mathbb{F} $, and the dimension of this vector space, denoted $ [\mathbb{K} : \mathbb{F}] $, is finite if and only if $ \mathbb{K} $ is a finite extension of $ \mathbb{F} $. Thus, every finite extension is algebraic, but the converse is not always true.

A finite extension is a field extension $ \mathbb{K} $ over $ \mathbb{F} $ where $ [\mathbb{K} : \mathbb{F}] < \infty $. Such extensions are also called algebraic extensions of finite degree. The key distinction lies in the finiteness of the extension’s dimension. While all finite extensions are algebraic, algebraic extensions can be infinite-dimensional. For example, the field $ \mathbb{Q}(\sqrt{2}) $ is a finite extension of $ \mathbb{Q} $, but $ \mathbb{Q}(\sqrt{2}, \sqrt{3}) $ is an algebraic extension of $ \mathbb{Q} $ that is infinite-dimensional.

Conditions for Finite Extensions

The finiteness of an extension is closely tied to the structure of the base field and the nature of the elements in the extension. For a finite extension $ \mathbb{K} $ over $ \mathbb{F} $, the following conditions hold:

Dimensionality: The dimension $ [\mathbb{K} : \mathbb{F}] $ must be finite. This is equivalent to the existence of a basis $ { \alpha_1, \alpha_2, \dots, \alpha_n } $ such that every element of $ \mathbb{K} $ can be expressed as a linear combination of these