本册定位。 其三的证明里埋着一颗种子：PID ⟹ UFD 的关键一步是「理想升链必终止」。本册把这颗种子培育成一整片森林——把「链条件」升格为定义，得到一对互相镜像的概念：诺特环（Noetherian，升链终止）与阿廷环（Artinian，降链终止）。前者是 20 世纪交换代数的地基（希尔伯特基定理、代数几何的整套语言都站在它上面），后者是「有限代数」的代数化身（其八的有限环全是阿廷环）。两条链条件表面上只是把「≤」翻了方向，后果却天差地别：诺特环可以无限大（ℤ、ℚ[x, y]），阿廷环注定「矮而胖」（维数 0、有限个局部块）。
一两条链条件：把「终止」变成定义
定义 1.1（诺特环）。 环 R 称为诺特环，若每个理想升链 I1 ⊆ I2 ⊆ I3 ⊆ ⋯ 终止（存在 N 使 In = IN 对 n ≥ N）。
定义 1.2（阿廷环）。 环 R 称为阿廷环，若每个理想降链 I1 ⊇ I2 ⊇ I3 ⊇ ⋯ 终止。
两条定义各有一个等价形式，合称「有限性条件」：
诺特环 ⟺ 每个理想有限生成 ⟺ 每个非空理想族有极大元。
阿廷环 ⟺ 每个非空理想族有极小元。
直觉上：诺特性说「理想不会无限地变大」（每一步扩张都在消耗有限的「余量」），阿廷性说「理想不会无限地变小」（每一步收缩都撞到底）。把这两条直觉精确化的正是「极大元 / 极小元」版本——它们是选择公理层面的等价，本册只用有限生成版本。
命题 1.3（ℤ 的双面性）。 ℤ 是诺特环但不是阿廷环。
ℤ 是 PID，每个理想 (d) 一元生成——当然「有限生成」，故诺特。但降链 (1) ⊃ (2) ⊃ (4) ⊃ (8) ⊃ ⋯ 永不终止（每步都是真包含：2k+1 的倍数是 2k 倍数的真子集）。脚本 A1 对 200 条随机升链验证终止；A2 把降链写到 260——它还在继续，而且可以永远继续下去。这一正一反就是两条链条件的第一个分野。
例 1.4（域：两性兼备）。 域只有两个理想 (0) 与 F，链都短得可怜，故域既诺特又阿廷。这也预示了本册的终局：阿廷环将表现为「若干个『域的胖化版本』的乘积」。
主理想世界里，三种理想运算各有一个算术化身，值得并排记下（对 R = ℤ，理想 (a)、(b)）：
- 和 (a) + (b) = (gcd(a, b))：两个理想的并集能「够到」的最小理想，对应「公因子」；
- 交 (a) ∩ (b) = (lcm(a, b))：同时落在两个理想里的元素，对应「公倍数」；
- 积 (a)·(b) = (ab)：有限和 Σ aibi 生成的理想，对应「乘积」。
三者的包含关系 (ab) ⊆ (a) ∩ (b) ⊆ (a) + (b) 在 ℤ 里就是 gcd | lcm | ab 的影子（理想包含与整除反向）；互素时三者在中间合并——gcd = lcm = ab（其六 CRT 的理想语言）。链条件与这些运算的关系一句话说尽：诺特 ⟺ 升链终止 ⟺ 每个理想有限生成；而「每个理想有限生成」在 ℤ 里退化成「每个子群循环」——这正是 ℤ 的理想全部形如 (n) 的原因（其五 A 组的 200 条升链就是在 ℤ 的因子偏序集上走的）。诺特环的商环与局部化仍诺特（继承性），故希尔伯特基定理一处发力、处处可用：ℤ[x] 诺特 ⟹ ℤ[x, y]、ℤ[x, y, z] 全诺特——多项式环无论加多少变元，理想都有限生成。
二诺特环：希尔伯特基定理
诺特性最惊人的地方是它遗传给多项式环：
定理 2.1（Hilbert 基定理，1890）。 若 R 是诺特环，则 R[x] 也是诺特环。归纳地，R[x1, …, xn] 诺特；特别地，域 F 上任意有限多个变元的多项式环都是诺特环。
证明的关键一步（不可约化地讲）：给定 R[x] 的理想 I，对每个次数 n 取 I 中 n 次多项式的首项系数全体，连同 0 组成 R 的理想 Jn。诺特性给 Jn 稳定（Jn = JN 对 n ≥ N）；于是 I 由「次数 < N 的代表元 + N 个首项系数的生成元」有限生成。细节见教材，骨架只有一个：把 R 的诺特性一层一层传给 R[x]。
希尔伯特基定理的历史冲击力不亚于数学内容。1890 年 Gordan 看到希尔伯特的手稿后说出了那句著名评语：「这不是数学，是神学。」（Das ist nicht Mathematik, das ist Theologie.）因为希尔伯特的证明是存在性的：它断言有限生成基存在，却不给出构造。几十年后计算代数（Gröbner 基，1965）才把「构造」补上——而 Gröbner 基算法的正确性证明，用的正是本册的升链条件：算法每步消去一个首项，升链终止保证停机。
推论 2.2。 ℤ 是诺特环（PID），故 ℤ[x]、ℤ[x, y] 诺特；ℚ 是诺特环，故 ℚ[x, y, z] 诺特。几何的推论：代数簇的每个子簇都由有限多个方程定义——「有限多个方程描述无限多个点」之所以合法，全靠希尔伯特基定理。
数值注记（E 组）。 诺特 ≠ 主理想。ℤ[x] 诺特（希尔伯特基定理），但理想 (2x, x2) 不是主理想：若 (2x, x2) = (d)，则 d | 2x 且 d | x2，候选生成元逐个排除——脚本用系数匹配证明 x = 2x·a + x2·b 无整数解（2a0 = 1 无解，E1），故 x ∉ (2x, x2)；而 d = 2x 时 x2/2x = x/2 ∉ ℤ[x]（E2）。于是 (2x, x2) 恰好需要两个生成元——诺特性的本体（有限生成）与主理想性（一元生成）的分界线，就在这个例子上。
三阿廷环：有限代数的代数化身
阿廷环远比诺特环「矮」。三条结构定理把它的形状完全定死：
定理 3.1（阿廷环的维数为零）。 阿廷环中每个素理想都是极大理想。（故素理想链长度为 0。）
证明思路. 若 P 素而非极大，取极大理想 M ⊋ P，看商链 R/P ⊋ R/M：阿廷性会强迫商域链终止，而域链一旦真包含就矛盾。细节用「理想在商环中的对应」完成。□
定理 3.2（Akizuki–Hopkins–Levitzki）。 阿廷（交换）环自动诺特。
方向出人意料：降链条件比升链条件强。直觉：降链终止迫使所有理想「有底」，底一存在，链在两个方向都短。这是本册最不直观也最漂亮的定理——它说「矮」蕴涵「不无限高」。
定理 3.3（结构定理）。 交换阿廷环 R 唯一分解为有限个局部阿廷环的直积：
R ≅ R1 × R2 × ⋯ × Rt
每个 Ri 只有一个极大理想 Mi，且 Mi 幂零（Min = 0 对足够大的 n）。
这是其六中国剩余定理的巅峰应用：把 R 的极大理想两两互素地「切开」，每一块都只剩一个极大理想。t = 极大理想个数。
数值注记（B、C、G 组）。 脚本把这三条定理在 ℤ/n 上逐条兑现：
① ℤ/n 的理想全体恰是 n 的因子集（B1，n = 2..60 全验），有限个 ⟹ 升链降链都终止 ⟹ ℤ/n 是阿廷环（B2：ℤ/12 有 6 个理想 [1, 2, 3, 4, 6, 12]）。
② ℤ/16 局部：唯一极大理想 (2)，且 (2)4 = 16 ≡ 0 幂零（C1）——定理 3.3 的「局部块」样本。ℤ/12 非局部：极大理想 (2) 与 (3) 两个（C2）。
③ ℤ/16 的幂零元全体 = {0, 2, 4, …, 14} = (2)（G1）——即幂零根 = 那个唯一的极大理想。对照 ℤ/12：幂零元只有 {0, 6}（G2），根是 (2)∩(3) = (6)——两个素成分的「公共对角线」。
④ 维数：ℤ/12 的素理想 (2)、(3) 都极大，零理想不素（3·4 = 12 ≡ 0 而 3、4 都非零，F4），故素链长 0（F3）——阿廷 ⟹ 维数 0 的样本。对照 ℤ：链 (0) ⊂ (2) 长 1（F2）；𝔽3[x, y]：链 (0) ⊂ (x) ⊂ (x, y) 长 2（F1）。三者的维数阶梯 0、1、2 恰是「阿廷、PID、多变元」的分层。
四两条链的对照表
把本册的实例排成一张表，「两极」的几何一目了然：
环 | 诺特？ | 阿廷？ | 理想结构 | 维数 |
|---|---|---|---|---|
域 F | ✓ | ✓ | 只有 (0)、F | 0 |
ℤ/n | ✓ | ✓ | n 的因子集（有限） | 0 |
ℤ[i]、F[x]（PID） | ✓ | ✗ | 主理想，但可无限升 | 1 |
ℤ、F[x] | ✓ | ✗ | 同上（ℤ 是 PID） | 1 |
ℤ[x]、F[x, y] | ✓ | ✗ | 有限生成，可非主 | ≥ 1（F[x,y] 为 2） |
ℚ[x1, x2, x3, …]（无穷变元） | ✗ | ✗ | 理想 (x1, x2, …) 无限生成 | —— |
表的读法：诺特性是「代数可以计算」的门槛（有限生成 ⟹ 算法可处理），阿廷性是「代数已经穷尽」的标志（维数 0 ⟹ 一切都是有限块）。中间那一大片——ℤ、F[x]、F[x, y]——是代数几何与数论的主战场。
注 4.1（无穷变元的反例）。 表末一行值得停留：ℚ[x1, x2, x3, …] 的理想 I = (x1, x2, x3, …)（每个 xi 都在其中）不能由有限多个多项式生成——任何有限个生成元的最高次数/变元标号有限，而 I 的元可以涉及任意大的下标。这是「诺特性失效」最干净的例子，也解释了为什么希尔伯特基定理只对有限多个变元成立。
五诺特环上的模：结构定理的入口
第二章第三章是「主理想环上的模」——有限生成 Abel 群分类（ℤ-模）、若尔当标准形（F[x]-模）都住在那里。而它真正的推广是「诺特环上的有限生成模」：
命题 5.1。 R 诺特 ⟺ 「R 的每个理想」作为模有限生成 ⟺ R 上每个有限生成模的子模都有限生成。
第三条是诺特性真正的威力所在：它保证「子对象不会失控」。线性代数里「子空间有限维」的直觉，在模论里由诺特性接管。第三章的结构定理（PID 上有限生成模 ≅ 自由部分 ⊕ 扭部分）之所以对 ℤ 与 F[x] 成立，正是因为这两个环既诺特又主理想——诺特性保证归纳能终止，主理想性给出标准形。本册把「诺特」这一半单独拎出来，第三章的「主理想」那一半才有坚实的地基。
注 5.2（阿廷模与合成列）。 阿廷环上的模也有镜像故事：有限长模（合成列长度有限，§1.9 合成群列的环论版）恰好是「既诺特又阿廷」的模。阿廷环本身作为自身上的模就是有限长的——这给出定理 3.2 的另一条证明路径（合成列 + 若尔当–赫尔德定理）。群论第一章的合成列与本章的链条件是同一枚硬币的两面。
数值注记（B、C、D 组）。 有限尺度上，这些判据都能「眼见为实」：ℤ/n 的理想全体恰是 (d)（d 取 n 的因子）——理想集合与因子集合一一对应（B1，n = 2…60 全验）；ℤ/12 有 6 个理想 {1, 2, 3, 4, 6, 12}，升链降链都必终止（B2）。极大理想个数 = 不同素因子个数（D1）：ℤ/12 的极大理想 (2)、(3) 恰两个；ℤ/16 局部（唯一极大理想 (2)）而 ℤ/12 非局部（C1/C2）——有限环的局部性用肉眼就能断。
结构定理的预告。 阿廷环的完整结构定理把每个阿廷环拆成「有限多个局部块」的乘积：Jacobson 根幂零、半单商是矩阵环的乘积（Artin–Wedderburn）。剧本 G 组验算了两例幂零根：ℤ/16 的根是 (2) = {0, 2, 4, …, 14}（每个元素 a 满足 a4 ≡ 0，因为 24 = 16 ≡ 0）；ℤ/12 的根是 {0, 6} = (6)（62 = 36 ≡ 0），从 CRT 看它正是 ℤ/3 × ℤ/4 中 {0} × (2) 那条「对角线上的零块」。根 = 环里「必然消失」的那一部分；其八的上三角环 T2(𝔽p) 会给出第一个非交换样本。
六维数：把「链能有多长」量化
两条链条件只回答「是否终止」；维数回答「终止前最长能走多远」。
定义 6.1（克鲁尔维数，最小样本）。 环 R 的维数 = 素理想链 (P0) ⊊ (P1) ⊊ ⋯ ⊊ (Pn) 能达到的最大长度 n。
剧本 F 组把四个尺度量了出来：
环 | 素理想链 | 维数 |
|---|---|---|
ℤ/12 | (2)、(3) 皆极大，(0) 非素（F4 逐项核对） | 0 |
ℤ | (0) ⊂ (p) | 1 |
𝔽3[x] | (0) ⊂ (f)（f 不可约） | 1 |
𝔽3[x, y] | (0) ⊂ (x) ⊂ (x, y) | 2 |
维数的几何读法在交换代数里是一条基本原则：维数 0 的环像「一堆点」（有限环全部如此，其八），维数 1 的像「曲线」（ℤ 的素数是「点」，(0) 是「一般点」），维数 2 的像「曲面」。𝔽3[x, y] 里链 (0) ⊂ (x) ⊂ (x, y) 的三节，恰好对应「平面 ⊃ 直线 ⊃ 点」的包含层级——代数与几何的字典，其六的素理想语言已经备好了一半。
为什么有限环维数必为 0：有限环的素理想都极大（若 P ⊊ Q 且 Q 是素理想，则 R/P 是有限整环、从而是域——其八定理 5.1——故 P 极大，链长封顶）。有限 ⟹ 阿廷 ⟹ 维数 0，这条因果链把本册与其八缝在一起。另一侧，诺特而非阿廷的 ℤ、F[x] 恰是维数 1：「一条链、但可以很长」。维数把两条链条件的分工翻译成了长度语言。
七术语考古、三句话与阅读指引
7.1 名词与历史的来路
- Noetherian（诺特环）。 Emmy Noether（1882–1935）1921 年的论文《Idealtheorie in Ringbereichen》首次把「升链条件」作为公理提出，交换代数从此有了地基。她同时是抽象代数公理化运动的旗手——van der Waerden 的《Moderne Algebra》（1930）就是把她的哥廷根讲义整理成书。链条件式的定义（而非「每个理想有限生成」）是她的原创视角。
- Artinian（阿廷环）。 Emil Artin（1898–1962）在 1920 年代研究「降链条件」；阿廷环的结构定理（Hopkins 1939、Levitzki 1939：阿廷 ⟹ 诺特）以两位证明者命名。注意区分 Emil Artin 与其子 Michael Artin（M. Artin《Algebra》的作者，代数几何与表示论名家）。
- Hilbert basis theorem（希尔伯特基定理）。 David Hilbert（1862–1943）1890 年发表，Gordan 的「神学」评语与此同期；1893 年希尔伯特给出第二个证明回应质疑。它是「存在性证明」进入代数的标志性事件，也是不变量理论 finiteness 问题的终点。
- nilpotent / nilradical（幂零 / 幂零根）。 拉丁 nihil「无」：幂零元 an = 0，「乘到头是虚无」。全体幂零元构成理想（交换环中），称为幂零根或素根。它是环的「无穷小部分」——ℤ/16 的根 (2) 是全部「方向 2 上的无穷小」。代数几何里对应「非既约的结构」。
- Krull dimension（克鲁尔维数）。 Wolfgang Krull（1899–1971）1928 年定义：素理想链的最大长度。ℤ 维数 1、k[x, y] 维数 2、阿廷环维数 0——代数对象的「维数」第一次不依赖几何直觉而被公理化。现代代数几何的维数论全部建立在这一概念上。
- Gröbner basis（Gröbner 基）。 Wolfgang Gröbner 1938 年的思想，由其学生 Bruno Buchberger 1965 年的博士论文做成算法（以导师命名）。它把「理想成员判定」变成可计算问题，升链条件保证停机——希尔伯特基定理的计算化后裔。
7.2 三句话总结
① 两条链条件是方向相反的「有限性公理」：诺特（升链终止 = 理想有限生成）允许无限大的环（ℤ、F[x, y]），阿廷（降链终止）注定有限块结构（ℤ/n、域）——ℤ 用 200 条终止的升链与 60 步还在下坠的降链演示了两极。
② 希尔伯特基定理把诺特性从 R 传给 R[x]（有限多个方程描述代数簇的合法性来源），但诺特 ≠ 主理想：ℤ[x] 的 (2x, x2) 系数匹配证明没有单一生成元——「有限生成」与「一元生成」在这里分道。
③ 阿廷环被三条定理完全定形：维数 0、自动诺特（Hopkins–Levitzki）、分解为有限个局部块（ℤ/16 = 单块局部幂零根 (2)；ℤ/12 = 两块，幂零根 (6)）——其六的中国剩余定理正是「切块」的手术刀。
7.3 阅读指引
- 教材：张英伯、王恺顺《代数学基础（下·第 2 版）》§2.5（素理想）、§2.3（环的理想）、第三章（主理想环上的模）——本册是 §2.3 的深化与第三章的预告。
- 交换代数标准教材：M. F. Atiyah & I. G. MacDonald, Introduction to Commutative Algebra 第 6–8 章（链条件、阿廷环、离散赋值环）——本册定理 3.1–3.3 的完整证明在这三章里。
- 希尔伯特基定理与历史：D. Hilbert, Über die Theorie der algebraischen Gebilde（1890/1893 两篇原典）；历史叙述见 C. Reid, Hilbert（Springer 传记）第 6 章「General Laws」——Gordan「神学」评语的现场。
- 诺特的原始论文：E. Noether, Idealtheorie in Ringbereichen, Math. Ann. 83 (1921) 24–66；英译与导读见《The Collected Papers of Emmy Noether》。
- Gröbner 基：D. A. Cox, J. Little, D. O'Shea, Ideals, Varieties, and Algorithms, 4th ed.（Springer）——升链条件如何变成停机证明的最佳教材。
- 阿廷环与模论：N. Jacobson, Basic Algebra II 第 3 章（Artin 环与半单性）；T. Y. Lam, A First Course in Noncommutative Rings（Graduate Texts）第 1–4 章（非交换版的链条件，供进阶）。
《代数学基础（下·第 2 版）》第二章补充读物 · 环论专题读本其五 ｜ 九章格数学 ｜ 第 2 版 · 2026