重訪理想與商環

從核到理想的運算法則

在第一卷中你證明了：交換環 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 而兩因子皆非零，故商環不是整環。