有限扩张的定义、次数与刻画

引言

在域论中，有限扩张是研究域扩张性质的重要工具。它不仅在代数数论中具有基础性地位，也在伽罗瓦理论中发挥关键作用。有限扩张是指一个域扩张 $ \mathbb{L} \supseteq \mathbb{F} $ 满足以下条件：

$ \mathbb{L} $ 是 $ \mathbb{F} $ 的一个域扩张；
$ \mathbb{L} $ 的度数 $ [\mathbb{L} : \mathbb{F}] $ 是有限的。

本篇文章将深入探讨有限扩张的定义、次数计算及其刻画方法，揭示其在域论中的核心地位。

有限扩张的定义

有限扩张是域论中的基本概念，其核心在于扩张的“有限性”。设 $ \mathbb{F} $ 为一个域，$ \mathbb{L} $ 为 $ \mathbb{F} $ 的一个域扩张，若 $ [\mathbb{L} : \mathbb{F}] < \infty $，则称 $ \mathbb{L} $ 为 $ \mathbb{F} $ 的有限扩张。

有限扩张的定义隐含了以下关键性质：

存在性：存在 $ \mathbb{L} $ 使得 $ \mathbb{F} \subseteq \mathbb{L} $ 且 $ [\mathbb{L} : \mathbb{F}] $ 有限；
构造性：通过多项