导出函子：Ext 与 Tor 的计算

为何需要导出函子

把 Hom(–, N) 施于短正合列 0 → A → B → C → 0，只得到 0 → Hom(C,N) → Hom(B,N) → Hom(A,N)，右端未必满：Hom(–, N) 是左正合但非右正合。张量张量积 – ⊗ N 右正合但非左正合。两者各丢失信息，而导出函子恰是记录所失之物的机器。

取模 M，构造投射分解 P_• → M，丢掉 M，保留复形 P_•。
对每一项施函子 F（如 Hom(–, N) 或 – ⊗ N），得到新复形 F(P_•)。
取同调（或上同调）。第 n 个同调群即第 n 个左导出函子；对 Hom 得 Ext^n，对 ⊗ 得 Tor_n。

计算 ℤ/6 的 Tor 与 Ext

我们已有 M = ℤ/6 的分解 P_•: 0 → ℤ →(×6) ℤ → 0。设 N = ℤ/4。把 – ⊗ ℤ/4 施于 P_• 再取同调得 Tor；映射 ×6 在 ℤ/4 上变成 ×6，即模 4 的 ×2。

Resolve M = Z/6:        0 -> Z --x6--> Z -> 0
Tensor with N = Z/4 (Z (x) Z/4 = Z/4), map x6 becomes x6 = x2 on Z/4:

   complex:   0 -> Z/4 --x2--> Z/4 -> 0     (degrees 1, 0)

  Tor_1(Z/6, Z/4) = ker(x2 on Z/4) = {0,2} = Z/2
  Tor_0(Z/6, Z/4) = coker(x2)      = (Z/4)/(2Z/4) = Z/2   (= Z/6 (x) Z/4)
  Tor_n = 0 for n >= 2     (resolution has length 1)

Check: gcd(6,4)=2, and Tor_1(Z/m, Z/n) = Z/gcd(m,n), here Z/2.  Good.
Tor_1 detects COMMON TORSION -- it is the obstruction to flatness.

Now Hom(-, Z/4) applied to 0 -> Z --x6--> Z -> 0 (Hom(Z,Z/4)=Z/4),
x6 dualizes to x6 = x2 on Z/4 (Hom is contravariant, same map here):

   cocomplex: 0 -> Z/4 --x2--> Z/4 -> 0     (degrees 0, 1)

  Ext^0(Z/6, Z/4) = ker(x2) = Z/2   (= Hom(Z/6, Z/4))
  Ext^1(Z/6, Z/4) = coker(x2)= Z/2
  Ext^n = 0 for n >= 2.

Tor_1(ℤ/m, ℤ/n) = ℤ/gcd(m,n) 且 Ext^1(ℤ/m, ℤ/n) = ℤ/gcd(m,n)。同一分解，两个函子，两个不变量。

每个不变量的含义

Tor 度量平坦性的失败：N 平坦当且仅当 Tor_1(–, N) 恒为零，而在 PID 上平坦 = 无挠。我们的 Tor_1(ℤ/6, ℤ/4) = ℤ/2 正是在素数 2 处的公共挠。Ext^1(C, A) 还有第二重身份：它把扩张 0 → A → E → C → 0 按等价分类，以可裂者为零元。Ext^1(ℤ/6, ℤ/4) = ℤ/2 意味着恰有两个扩张类——可裂的 ℤ/4 ⊕ ℤ/6 与一个非裂的伙伴。