9.1 正合序列#

本章導言#

前八章反覆出現同一個句式：「核、像、商、同構」。正合序列把這個句式公理化，成為一種記錄「代數對象如何拼裝」的通用格式。它誕生於 1940 年代代數拓撲的危機：計算拓撲空間的不變量時，資訊總是「部分地」到手——不夠算出全貌，但足以約束。正合序列正是「部分資訊的會計帳本」。本節定義正合性、短正合序列、分裂，並用幾個經典例子展示它的計算力。它是 9.3 節同調群與 9.2 節範疇論之間的橋樑。

歷史前因#

正合序列的概念成形於 1940–45 年間，關鍵人物與背景：

人物	年代	貢獻
Hurewicz	1935–36	同倫群；長正合序列的雛形
Eilenberg & Steenrod	1945	公理化同調論，「正合序列公理」制度化
Cartan & Eilenberg	1956	《Homological Algebra》：同調代數獨立成科
Grothendieck	1957	Tohoku 論文：正合序列成為範疇論的內建語言

驅動關係：代數拓撲學家在 1930 年代積累了大量「從一個不變量算另一個」的技巧（如從 \(\pi_n\) 算 \(\pi_{n-1}\) ），但每個證明都自帶雜技。Eilenberg–Steenrod 的洞見是：把「這些技巧的共同格式」抽成公理，正合序列公理是其中之一。這是「結構主義」方法論的勝利：不研究個案，研究格式。

定義#

定義 9.1.1：一列模（或群、環、……）與同態

\[ \cdots \longrightarrow A_{i+1} \xrightarrow{f_{i+1}} A_i \xrightarrow{f_i} A_{i-1} \longrightarrow \cdots \]

稱為在 \(A_i\) 處正合，若

\[ \mathrm{im}\, f_{i+1} = \ker f_i. \]

整列正合，則稱正合序列。直覺：每個「進來的」恰好死在「出去的」門口——無多餘、無缺失。

三個基本短句：

\(0 \to A \xrightarrow{f} B\) 正合 \(\iff\) \(f\) 單射（ \(\ker f = 0\) ）。
\(B \xrightarrow{g} C \to 0\) 正合 \(\iff\) \(g\) 滿射。
\(0 \to A \xrightarrow{f} B \xrightarrow{g} C \to 0\) 正合（短正合序列） \(\iff\) \(f\) 單、 \(g\) 滿、 \(\mathrm{im} f = \ker g\) ，即 \(A\) 嵌入 \(B\) 作為子對象， \(B/A \cong C\) 。

短正合序列是「擴張」的記錄： \(C\) 與 \(A\) 如何拼成 \(B\) 。它把 3.2 節的商群、4.2 節的商環、7.1 節的商模全部統一成一種句法。

分裂#

定義 9.1.2：短正合序列 \(0 \to A \xrightarrow{f} B \xrightarrow{g} C \to 0\) 分裂，若存在同態 \(s: C \to B\) 使 \(g \circ s = \mathrm{id}_C\) （或等價地 \(B \cong A \oplus C\) ）。

定理 9.1.3：若 \(C\) 是自由模（或投射模），則任何以 \(C\) 為第三項的短正合序列分裂。

證明思想： \(C\) 自由即有基 \(\{e_i\}\) ，把每個 \(e_i\) 任選一個原像 \(s(e_i) \in B\) （ \(g\) 滿射保證存在），線性擴張得截面 \(s\) 。故 \(B = \mathrm{im}\,f \oplus s(C) \cong A \oplus C\) 。 \(\blacksquare\)

分裂與否的差異是同調代數的起點：不分裂的擴張正是「新事物」的來源—— \(B\) 不只是 \(A\) 與 \(C\) 的拼盤，還攜帶扭曲信息。度量這種扭曲的函子叫 Ext（9.3 節預告）。

具體例題#

例題 9.1.1：對每個 \(n \ge 2\) ，證明序列

\[ 0 \longrightarrow \mathbb{Z} \xrightarrow{\times n} \mathbb{Z} \xrightarrow{\mathrm{pr}} \mathbb{Z}/n \longrightarrow 0 \]

正合，其中 \(\times n\) 是乘 \(n\) 、 \(\mathrm{pr}\) 是模 \(n\) 投影；並證明它不分裂，解釋這件事的意義。

解：

正合性：

\(0 \to \mathbb{Z}\) 在 \(\mathbb{Z}\) （第一項）處： \(\ker(\times n) = 0\) ，乘 \(n\) 單。✓
中間 \(\mathbb{Z}\) 處： \(\mathrm{im}(\times n) = n\mathbb{Z}\) ， \(\ker(\mathrm{pr}) = n\mathbb{Z}\) ，相等。✓
\(\mathbb{Z}/n \to 0\) 處： \(\mathrm{pr}\) 滿。✓

故短正合。它說： \(\mathbb{Z}/n \cong \mathbb{Z}/n\mathbb{Z}\) ——同構定理的序列式重述。

不分裂：若分裂，存在 \(s: \mathbb{Z}/n \to \mathbb{Z}\) 使 \(\mathrm{pr} \circ s = \mathrm{id}\) 。設 \(s(\bar 1) = m \in \mathbb{Z}\) 。則 \(\bar 1\) 的 \(n\) 倍為零：

\[ 0 = s(n \cdot \bar 1) = n \cdot s(\bar 1) = nm \Rightarrow m = 0. \]

但 \(s(\bar 1) = 0\) 推出 \(\mathrm{pr}(s(\bar 1)) = 0 \ne \bar 1\) ，矛盾。故不分裂。 \(\blacksquare\)

意義： \(0 \to \mathbb{Z} \xrightarrow{2} \mathbb{Z} \to \mathbb{Z}/2 \to 0\) 說 \(\mathbb{Z}/2\) 是 \(\mathbb{Z}\) 的商但不是 \(\mathbb{Z}\) 的直和項——無限循環群與二階循環群的關係是「扭曲包含」而非「拼裝」。若序列都分裂，同調代數就沒事可做了；Ext、Tor 等函子正是「不分裂度」的測量儀（9.3）。

例題 9.1.2（蛇引理的滋味）：設有交換圖（兩行短正合序列，左右豎直同態）：

\[ \begin{array}{ccccccccc} 0 &\to& A &\to& B &\to& C &\to& 0 \\ && \downarrow \alpha && \downarrow \beta && \downarrow \gamma && \\ 0 &\to& A' &\to& B' &\to& C' &\to& 0 \end{array} \]

蛇引理斷言存在連接同態 \(\delta: \ker\gamma \to \mathrm{coker}\,\alpha\) 使長序列

\[ 0 \to \ker\alpha \to \ker\beta \to \ker\gamma \xrightarrow{\delta} \mathrm{coker}\,\alpha \to \mathrm{coker}\,\beta \to \mathrm{coker}\,\gamma \to 0 \]

正合。取具體實例驗證 \(\delta\) 的構造。

解：取上行的 \(0 \to \mathbb{Z} \xrightarrow{\times 2} \mathbb{Z} \to \mathbb{Z}/2 \to 0\) ，下行同構複製， \(\alpha = \times 4\) （即 \(\mathbb{Z} \xrightarrow{\times 4} \mathbb{Z}\) ）、 \(\beta = \times 4\) 、 \(\gamma = \mathrm{id}\) （誘導 \(\mathbb{Z}/2 \to \mathbb{Z}/2\) ）。構造 \(\delta\) ：取 \(\bar x \in \ker\gamma = \mathbb{Z}/2\) ，提出原像 \(b \in \mathbb{Z}\) （中間項）， \(\beta(b) = 4b\) ，其投影為 \(0\) ，故 \(4b\) 屬於上行中項的核 \(= 2\mathbb{Z}\) ，寫 \(4b = 2c\) ，定 \(\delta(\bar x) = \bar c \in \mathrm{coker}(\times 4) = \mathbb{Z}/4\) 。可驗證良定義且為同態。例如 \(\bar x = \bar 1\) ：取 \(b = 1\) ， \(\delta(\bar 1) = \bar 2 \in \mathbb{Z}/4\) ——** \(\mathbb{Z}/2\) 的元素被「抬升」為 \(\mathbb{Z}/4\) 的二階元**。這個 \(\delta\) 正是「 \(\mathbb{Z}/4\) 比 \(\mathbb{Z}/2 \oplus \mathbb{Z}/2\) 多出的那點結構」的偵測器。 \(\blacksquare\)

蛇引理是同調代數的開機儀式：局部資訊（核、餘核）沿著正合序列自動串成長鏈。

長正合序列：資訊的接力#

最著名的應用是拓撲的同倫長正合序列（纖維化 \(F \to E \to B\) ）：

\[ \cdots \to \pi_n(F) \to \pi_n(E) \to \pi_n(B) \xrightarrow{\partial} \pi_{n-1}(F) \to \cdots \]

以及同調的長正合序列。它們的共同結構：相鄰不變量之間架橋，橋的另一端（ \(\partial\) ）往往是理解的關鍵。計算範式：知道五個，解出第六個。這種「代數會計」將在 9.3 節成為日常。

與其他領域的關聯#

往 3.2、4.2、7.1：正合序列是商群/商環/商模構造的統一句法；「正規子群—商群—同構定理」三件套被壓縮成 \(0 \to A \to B \to C \to 0\) 。
往 9.2：正合性是範疇語言可表達的性質（核、餘核、像都用泛性質定義）；Abel 範疇是「正合序列可談」的範疇類。
往 9.3：鏈複形是「複合為零的序列」，同調是「正合性的偏差測量」——正合 \(\iff\) 同調為零。
往 10.2：物理中的短正合序列出現在約化理論（量子態空間的分層）與主叢的規範理論中。
往 8.2：Lie 代數的擴張分類（如何把兩個代數拼成大代數）就是用 Ext 語言處理的。

結語#

正合序列的哲學：完美是稀缺的，偏差是信息。序列不處處正合，偏差（同調群）正是要研究的對象；序列正合處，資訊自動流動。Eilenberg 與 Steenrod 把這種「流動規則」公理化之後，代數獲得了一種新的自信：可以對「拼裝方式」本身做運算。下一節，我們上推到最高的抽象層：範疇與函子——把「對象與映射」本身當作新的對象與映射。