从复形的短正合列到同调中的长正合列
设 0 → A_• → B_• → C_• → 0 是链复形的短正合列——逐度正合。则同调并非简单地各自分裂；相反，蛇形引理逐度施用，把各同调编织成一条长正合列。我们在第 2 篇亲手造出的同一个连接同态 δ，正是把你从 C 的第 n 度落到 A 的第 n−1 度的那一步。
Short exact sequence of complexes: 0 -> A. -> B. -> C. -> 0
Long exact sequence in homology (runs forever both ways):
... -> H_n(A) -> H_n(B) -> H_n(C) --d--> H_{n-1}(A) -> H_{n-1}(B) -> ...
Where d (the connecting map) is the snake's bite applied in each degree.
Derived-functor version (the LES of Ext):
for a short exact sequence 0 -> A -> B -> C -> 0 of modules,
0 -> Hom(C,N) -> Hom(B,N) -> Hom(A,N)
--d--> Ext^1(C,N) -> Ext^1(B,N) -> Ext^1(A,N)
--d--> Ext^2(C,N) -> ...
The connecting map d repairs exactly the surjectivity that Hom(-,N) lost.
Tor has the dual LES, with Tor_n decreasing in degree.使用长正合列
LES 化为算术。取 0 → ℤ →(×2) ℤ → ℤ/2 → 0，施 – ⊗ ℤ/2 得 Tor 长正合列。因 ℤ 是平坦的，其全部高阶 Tor 消失，这迫使连接映射并干净地钉死 Tor_1(ℤ/2, ℤ/2)。
0 -> Z --x2--> Z -> Z/2 -> 0, apply -(x)Z/2. Tor LES:
Tor_1(Z,Z/2) -> Tor_1(Z/2,Z/2) --d--> Z(x)Z/2 --x2--> Z(x)Z/2 -> Z/2(x)Z/2 -> 0
|| || || ||
0 (Z flat) Z/2 --0--> Z/2 Z/2
The map 'x2' on Z(x)Z/2 = Z/2 is multiplication by 2 = 0.
Exactness then gives:
Tor_0(Z/2,Z/2) = Z/2 (x) Z/2 = Z/2,
and Tor_1(Z/2,Z/2) = ker(x2 = 0 map) = Z/2.
Matches gcd(2,2)=2 from guide 4. Z/2 is NOT flat: it has torsion,
and Tor_1 is exactly the witness.理论的家园，以及接下来是什么
本轨中的一切——核、余核、正合列、蛇——只需要一个让这些概念有意义的场所。那个场所就是阿贝尔范畴：一个带零对象、具备全部核与余核、且每个单态是核、每个满态是余核的范畴。环上的模构成其一；层亦然，而正是这种一般性使蛇形引理的同一份证明同时服务于拓扑、几何与数论。
由此通向两扇门。特殊化：群上不动点函子的导出函子给出群上同调，伽罗瓦群上的则给出伽罗瓦上同调与希尔伯特定理 90。一般化：当一个双复形抗拒直接计算时，谱序列把它的同调组织成逐次逼近——这是继长正合列之后的下一件正经工具，也是本轨自然的续篇。