Definition, Degree, and Characterization of Finite Extensions

Introduction

A finite extension is a fundamental concept in field theory, bridging algebraic structures and their properties. It refers to a field extension $ E/F $ where $ E $ is a finite-dimensional vector space over $ F $, and the dimension $ [E:F] $ is a finite integer. Such extensions are crucial in algebraic number theory, Galois theory, and the study of field extensions. The degree $ [E:F] $ quantifies the size of the extension and is intimately tied to the algebraic properties of elements within $ E $. Finite extensions are characterized by their algebraic closure, normality, and the existence of a finite basis, making them a cornerstone of modern algebra.

Definition of Finite Extensions

A field extension $ E/F $ is finite if the dimension of $ E $ as a vector space over $ F $ is finite. This definition extends to algebraic extensions, where $ E $ is the set of roots of a polynomial with coefficients in $ F $. For example, $ \mathbb{Q}(\sqrt{2}) $ is a finite extension of $ \mathbb{Q} $, as $ [E:\mathbb{Q}] = 2 $. Finite extensions are algebraic because every element of $ E $ satisfies a polynomial equation with coefficients in $ F $. The degree $ [E:F] $ is the cardinality of the basis of $ E $ over $ F $, and it is invariant under field isomorphisms.

Degree of a Finite Extension

The degree $ [E:F] $ is a fundamental invariant of finite extensions. It is equal to the number of linearly independent elements in $ E $ over $ F $, and it directly relates to the minimal polynomial of elements in $ E $. For instance, if $ \alpha \in E $ has minimal polynomial $ f(x) \in F[x] $ of degree $ n $, then $ [E:F] = n $. This property ensures that finite extensions are algebraic over their base fields, a key characteristic of finite extensions. The degree also determines the structure of $ E $, as it dictates the number of distinct roots of polynomials in $ E $. For example, the extension $ \mathbb{Q}(\sqrt{2}) $ has degree 2, and its elements satisfy quadratic equations over $ \mathbb{Q} $.

Characterization of Finite Extensions

Finite extensions are characterized by their algebraic closure, normality, and the existence of a finite basis. An extension $ E/F $ is normal if it contains all its roots of any polynomial with coefficients in $ F $, ensuring that $ E $ is the splitting field of that polynomial. The degree of a normal extension is closely tied to the number of roots of the polynomial, and the extension is finite if and only if the polynomial is separable. Additionally, finite extensions are characterized by their Galois groups, which are finite and act transitively on the roots of polynomials in $ E $. The Galois correspondence establishes a bijection between subgroups of the Galois group and subfields of $ E $, providing a deep connection between the degree and the structure of the extension.

Conclusion

Finite extensions are essential in understanding the algebraic structure of fields and their properties. Their definition, degree, and characterization reveal critical insights into the relationships between base fields, algebraic elements, and their extensions. The degree quantifies the size of the extension and is linked to the minimal polynomials of elements within the field, while the characterization of normality and Galois theory underscores their significance in advanced algebra. These concepts form the foundation for further studies in field theory, algebraic number theory, and Galois theory, highlighting their enduring relevance in mathematics.