域扩张

域扩张是指一个域包含一个较小的域作为子域，它是域论的基本对象，其大小通过其作为向量空间的次数来衡量。

Definition

域扩张是由一个域和一个子域组成的对；等效地，较大的域被视为较小域上的向量空间，该向量空间的维度即为扩张的次数。

Scope

本主题涵盖扩张的次数、代数元素与超越元素、单扩张和最小多项式、次数的塔定律、有限生成扩张和代数扩张，以及在经典直尺和圆规作图中的应用。

Core questions

• 如何衡量域扩张的大小？
• 一个元素何时是基域上的代数元素，其最小多项式是什么？
• 在扩张塔中，次数如何相乘？
• 域理论如何解决经典作图问题？

Key theories

次数与塔定律

扩张的次数是其作为基域上向量空间的维度，在扩张塔中，次数相乘，使得次数成为一个基本的指数相加不变量。

代数元素的最小多项式

域上的代数元素是唯一的首一不可约多项式的根，该多项式即为最小多项式，其次数等于它生成的单扩张的次数。

可作图性

一个长度仅当它位于次数为2的扩张塔中时才能用直尺和圆规作图，因此它生成的扩张的次数必须是2的幂，这解决了倍立方和三等分任意角的不可行性。

Clinical relevance

域扩张是研究多项式根和构造新数系（包括复数、代数数域和有限域）的框架。它们将经典的希腊作图问题转化为次数计算，并构成了伽罗瓦理论的基础。

History

克罗内克通过对多项式环进行商运算，展示了如何将多项式的根添加到域中，从而为扩张提供了代数构造。施泰尼茨1910年的回忆录建立了域及其扩张的抽象理论，而旺策尔早些时候曾使用次数论证来证明几个经典作图的不可能性。

Key figures

• Leopold Kronecker
• Ernst Steinitz
• Évariste Galois
• Pierre Wantzel

Seminal works

• dummit2004
• lang2002
• artin2011

Frequently asked questions

域扩张的次数衡量什么？

它是较大域作为较小域上的向量空间的维度。例如，通过添加一个平方根可以得到一个二次扩张，当扩张堆叠成塔时，次数会相乘。

这如何解决三等分角问题？

可作图点生成的扩张的次数是2的幂。三等分任意角需要解一个不可约的三次方程，这将产生一个三次扩张，它不是2的幂，因此用直尺和圆规是不可能实现的。