准素分解
准素分解将诺特环中的理想表示为准素理想的有限交集，它推广了整数分解为素数幂的形式，并揭示了相关的素理想。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
理想的准素分解是将其表示为准素理想的有限交集，其中一个理想是准素的，如果其中包含的乘积强制其中一个因子在其中，或者另一个因子的幂在其中；这些分支的根理想是相关的素理想。
Scope
本主题涵盖准素理想及其根理想、关于诺特环中准素分解存在性的Lasker-Noether定理、不可约分解、相关素理想和孤立准素分支的唯一性，以及通过不可约分支和嵌入素理想进行的几何解释。
Core questions
- 什么是准素理想，它如何推广素数幂？
- 理想何时允许准素分解？
- 准素分解的哪些部分是唯一确定的？
- 相关素理想和嵌入素理想如何在几何上出现？
Key theories
- Lasker-Noether定理
- 在诺特环中，每个理想都是准素理想的有限交集，因此准素分解总是存在的，它将唯一因式分解从元素推广到理想。
- 相关素理想的唯一性
- 尽管准素分支本身并非总是唯一的，但相关素理想的集合（分支的根理想）由理想唯一确定，最小相关素理想的分支也是如此。
- 几何解释
- 最小相关素理想对应于由理想定义的代数集的不可约分支，而嵌入素理想记录了额外的、低维结构，例如沿子簇的重数。
Clinical relevance
准素分解是因式分解的理想理论类比，是代数几何的基础：它将代数集分解为不可约分支，并检测嵌入和多重结构，它还组织了在交换代数中使用的模的相关素理想。
History
Emanuel Lasker于1905年证明了多项式环的准素分解，Emmy Noether于1921年在引入升链条件的论文中，抽象地为所有诺特环建立了准素分解；该结果以他们的名字命名为Lasker-Noether定理。
Key figures
- Emanuel Lasker
- Emmy Noether
- Wolfgang Krull
Related topics
Seminal works
- atiyah1969
- eisenbud1995
- matsumura1989
Frequently asked questions
- 准素分解与整数因式分解有何相似之处？
- 将整数写成素数幂的乘积，对于它生成的理想而言，对应于准素理想的交集，其根理想是素理想。准素分解将此从整数推广到任何诺特环中的理想，在诺特环中，字面上的因式分解可能失败。
- 准素分解是唯一的吗？
- 不完全是。相关素理想的集合以及属于最小素理想的分支是唯一的，但嵌入素理想的分支可以选择不同的方式。因此，素理想数据是规范的，而具体分支则不是。