环论

环论研究配备兼容加法和乘法运算的集合，它概括了整数和多项式的算术，并为代数和代数几何的大部分内容提供了结构基础。

Definition

环是一个带有两个二元运算的集合，即加法（使其成为阿贝尔群）和乘法（满足结合律和对加法的分配律），通常具有乘法单位元。环论研究这些结构、它们的理想以及它们之间的映射。

Scope

该领域涵盖环、子环和理想；商环和同构定理；环同态；整环、分式域和唯一分解；多项式环以及欧几里得环、主理想环和诺特环。它涵盖了研究生代数课程水平的交换环理论和非交换环理论。

Sub-topics

• ideal
• integral domain
• polynomial ring
• ring homomorphism

Core questions

• 环的理想如何控制其商结构和同态像？
• 在什么条件下，环允许唯一分解为不可约元素？
• 环的性质如何传递到其上的多项式环和分式环？
• 哪些结构假设（诺特、主理想、欧几里得）能产生易于处理的算术？

Key theories

环的同构定理

环同态通过其核的商进行分解，理想与商环之间由此产生的对应关系与群论的同构定理相似。

唯一分解层级

欧几里得整环是主理想整环，主理想整环是唯一分解整环；这一系列蕴含关系组织了整环的算术，并解释了何时分解为不可约元素本质上是唯一的。

希尔伯特基定理

如果一个环是诺特环，那么其上有限多个变量的多项式环也是诺特环，这确保了域上有限生成代数具有良好行为的理想理论。

Clinical relevance

环论为代数几何（簇的坐标环）、代数数论（整数环）、编码理论和密码学（多项式环和商环）以及符号处理多项式的计算机代数系统提供了代数基础。

History

环论起源于戴德金（Dedekind）在代数数论中的理想概念和希尔伯特（Hilbert）的不变量理论，并于20世纪20年代由埃米·诺特（Emmy Noether）抽象为一门结构性学科，她的升链条件重塑了该领域。阿廷（Artin）等人将结构理论扩展到非交换设置。

Key figures

• Richard Dedekind
• David Hilbert
• Emmy Noether
• Wolfgang Krull
• Emil Artin

Seminal works

• lang2002
• dummit2004
• atiyah1969

Frequently asked questions

理想和子环有什么区别？

子环在环运算下是封闭的，而理想在与任何环元素相乘时还具有吸收性。理想，而非任意子环，恰好是环同态的核，也是可以进行商运算的对象。

为什么多项式环如此重要？

多项式环是自由交换代数：它们模拟了不定元的添加，它们的理想对应于多项式方程组，希尔伯特基定理使得它们的理想理论可以有限地控制，这是通往代数几何的门户。