讀懂一條短正合列
一列模與映射在某處正合，是指那裡像 = 核。一條短正合列 0 → A → B → C → 0 同時打包三句話：A → B 單（故 A 是 B 的子模）、B → C 滿、且 C ≅ B/A。把它讀作「B 由子模 A 與商 C 裝配而成」。關於 B 的幾乎一切結構問題都化為：B 如何由其零件 A 與零件 C 拼成？
Two short exact sequences with the SAME ends but different middles.
(1) 0 -> Z/2Z -> Z/4Z -> Z/2Z -> 0
inclusion {0,2} ↪ Z/4Z, then Z/4Z ↠ Z/4Z over {0,2} = Z/2Z.
Middle is Z/4Z: a single cyclic group, NOT a direct sum.
(2) 0 -> Z/2Z -> Z/2Z (+) Z/2Z -> Z/2Z -> 0
include into first factor, project to second.
Middle is the Klein four-group (Z/2Z)^2.
Same A = C = Z/2Z on the ends, but Z/4Z is NOT isomorphic to (Z/2Z)^2
(one has an element of order 4, the other does not). So knowing A and C
does NOT determine B. The difference is whether the sequence SPLITS:
(2) splits, (1) does not. That single bit is the extension problem.何時分裂？
當 B ≅ A ⊕ C 且相容時，短正合列分裂——等價地，滿射 B → C 有截面（右逆），或單射 A → B 有縮回（左逆）。分裂引理說這些條件互相等價。分裂正是上面例 (1) 與 (2) 的區別。一個乾淨的充分條件：若 C 投射，則每條以 C 結尾的短正合列都分裂——這其實是投射的一種定義。對偶地，若 A 內射，則每條以 A 開頭的列都分裂。
諾特與阿廷：馴服無窮
若一個模滿足升鏈條件（每條遞增子模鏈都穩定），等價地每個子模都有限生成，則稱它諾特。若滿足降鏈條件，則稱它阿廷。關鍵引理：在短正合列 0 → A → B → C → 0 中，B 諾特（或阿廷）當且僅當 A 與 C 皆然。故這兩個性質對子模、商、擴張封閉——正是你所要的閉合性。
一個模同時諾特且阿廷，當且僅當它有合成列：鏈 0 = M₀ ⊂ M₁ ⊂ ⋯ ⊂ Mₙ = M，每個商 Mᵢ/Mᵢ₋₁ 皆單。Jordan-Hölder 定理於是保證長度 n 與單商的多重集是 M 的不變量，與所選列無關——正是整數素因子分解的模類比。注意 Z 諾特但非阿廷（鏈 Z ⊋ 2Z ⊋ 4Z ⊋ ⋯ 永不停止），故它無合成列，與其無窮大小相稱。