整扩张

整扩张是一种环扩张，其中每个元素都满足子环上的首一多项式，它推广了代数域扩张，并控制了素理想在环之间如何关联。

Definition

环扩张的一个元素如果是一个首一多项式的根，且该多项式的系数在子环中，则称该元素在子环上是整的；当每个元素都是整的时，该扩张是整的，而整闭包是所有这些元素的集合。

Scope

本主题涵盖了整元素和整依赖性、环在扩张中的整闭包和正规环、上行定理、下行定理和诺特规范化，这些结构性结果奠定了维度理论的基础。

Core questions

• 一个环元素在一个子环上是整的意味着什么？
• 什么是整闭包？环何时是正规的？
• 素理想如何沿着整扩张上升和下降？
• 诺特规范化如何将一个代数表示为多项式环的有限扩张？

Key theories

整闭包和正规性

在子环上整的元素形成一个子环，即整闭包；一个等于其在分式域中自身整闭包的整环被称为整闭的或正规的，这是一个关键的正则性条件。

上行定理和下行定理

对于一个整扩张，子环的每个素理想都是扩张的某个素理想的收缩（上行），并且素理想链可以兼容地提升（下行），因此两个环的素谱紧密相连。

诺特规范化

域上的每个有限生成代数都是一个多项式子环（由代数独立的元素组成）上的有限模，因此是整模，这是维度理论和仿射簇几何的代数核心。

Clinical relevance

整扩张在代数数论中至关重要，其中数域的整数环是整数的整闭包；在代数几何中，诺特规范化和上行定理是维度理论以及簇之间有限态射行为的基础。

History

整依赖性抽象了戴德金研究的数论中的代数整数。埃米·诺特的规范化引理以及克鲁尔在20世纪20年代和30年代的工作使整扩张成为维度理论的基础，后来由扎里斯基和格罗滕迪克进行了几何解释。

Key figures

• Emmy Noether
• Wolfgang Krull
• David Hilbert
• Oscar Zariski

Seminal works

• atiyah1969
• eisenbud1995
• matsumura1989

Frequently asked questions

整扩张如何推广代数域扩张？

在一个域上，整和代数的含义相同，因为首一多项式和任意非零多项式仅相差一个单位。在一个一般环上，首一条件是必不可少的，它捕捉了那些行为类似于代数整数的元素。

诺特规范化为何重要？

它将域上的任何有限生成代数表示为多项式环的有限扩张，因此其维度等于多项式变量的数量。这为仿射簇的整个维度理论奠定了具体构造的基础。