重访理想与商环

从核到理想的运算法则

在第一卷中你证明了：交换环 R 的理想恰好是从 R 出发的环同态的核。这一个事实就是全部动机所在：理想 I 是一个对加法封闭、对乘法吸收（对每个 R 中的 r 都有 r·I ⊆ I）的子集，而它正是构造商环 R/I 所需的全部资料。想想 nZ ⊂ Z。它的本质特征不在于 nZ 是子群，而在于任何整数乘以 n 的任何倍数仍是 n 的倍数。正是这种吸收性使陪集的乘积有良好定义。

第二卷的视角重塑在于：不要再把理想看成一个静态子集，而要把 R/I 看成一个把 I 中元素强行置零后得到的新环。你想在 R 上施加的每一条关系——「令 x²+1 = 0」「把 2 与 0 等同」——都是对这些表达式生成的理想做商的动作。环论于是成了研究「哪些坍缩是可能的、坍缩后什么得以幸存」的学问。

理想上的运算

理想构成一种丰富到足以在其中计算的结构。给定 I 与 J，你可以作它们的和 I+J = {a+b : a∈I, b∈J}，即同时包含二者的最小理想；它们的交 I∩J；以及它们的积 IJ，即所有乘积 ab 生成的理想。这些并非随意——它们推广了整数的最大公因数、最小公倍数与乘法。在 Z 中，写 I = (m)、J = (n)，则 I+J = (gcd(m,n))、I∩J = (lcm(m,n))、IJ = (mn)。熟悉的恒等式 gcd·lcm = mn 化为理想恒等式 (I+J)(I∩J) ⊆ IJ，并恰在二者互素时取等。

Work inside R = Z. Take I = (12) and J = (18).

  I + J  = (gcd(12,18)) = (6)       # 12u + 18v ranges over all multiples of 6
  I ∩ J  = (lcm(12,18)) = (36)
  I · J  = (12·18) = (216)

Check the containment (I+J)(I∩J) ⊆ IJ:
  (6)(36) = (216) = IJ.    # here equality, since (I+J)(I∩J) = IJ in a PID

Coprime case: I = (4), J = (9).
  I + J = (gcd(4,9)) = (1) = R   # 4 and 9 are coprime
  I ∩ J = (36),  IJ = (36)       # so I ∩ J = IJ exactly when I + J = R

Z 中的理想运算重现了 gcd、lcm 与互素条件。

当 I+J = R 时我们称 I 与 J 互极大，这正是中国剩余定理现代表述的前提：若 I 与 J 互极大，则 R/(I∩J) ≅ R/I × R/J。关于互素模数下同余式的经典陈述，恰好就是 R = Z 时的这个同构。

读懂一个商环

需要内化的技能是：在 R/I 中计算时，在 R 里运算，并记住「I 等于零」。同构定理是你的记账工具：一个核为 I 的满射 R → S 给出 R/I ≅ S，而 R/I 的理想与 R 中包含 I 的理想一一对应。于是 R 中位于 I 之上的理想格，恰好就是商环的理想格。

把 R/I 辨认成已知的环：当 R = R 时 R[x]/(x²+1) ≅ C，因为令 x² = −1 使 x 表现得像 i。
察觉坍缩：在 Z[x]/(2, x) 中每个元素都约化为其常数项模 2，故商环是域 F₂——两条关系缺一不可。
留意你制造出的零因子：Z[x]/(x²−1) 中有 (x−1)(x+1) = 0 而两因子皆非零，故商环不是整环。