7.1 模的概念#

本章導言#

到目前為止，我們研究過「體上的向量空間」與「環上的商環」。模（module）是兩者的自然統一：環上的向量空間。這個概念看似只是推廣，實則是現代代數的通用載體——同調代數（第 9 章）、表示論（7.2）、代數幾何全部以模為基本語言。歷史上，模的思想潛伏於十九世紀的數論（Kummer 的理想、Dedekind 的模），由 Emmy Noether 在 1920 年代公理化，成為「代數 = 環上模的研究」這一現代範式的基石。Noether 1927 年的論文《抽象代數中的理想理論》確立了今日的語言。

歷史前因：從矩陣與數論到 NOTHER 的公理化#

驅動關係：Frobenius 為了把交換群結構定理（7.2 節表示論的前奏）推廣，需要「群上的模」；Noether 為了把 Dedekind 的理想論從代數數域推廣到一般環，需要「環上的結構」抽象化。表示論與模論是同一問題的兩面——這正是本章的主題。

定義#

定義 7.1.1：設 \(R\) 為環（有單位元 \(1\) ）。一個左 \(R\) -模是交換群 \((M, +)\) 配映射 \(R \times M \to M\) ， \((r, m) \mapsto rm\) ，滿足：

兩個極端情形揭示本質：

• \(R = \mathbb{Z}\) ： \(\mathbb{Z}\) -模 \(=\) 交換群（ \(n \cdot m\) 就是 \(m\) 加 \(n\) 次，公理自動成立）。整數論的「群的結構定理」由此變成模論。
• \(R = k\) 為體： \(k\) -模 \(=\) ** \(k\) 上的向量空間**。體的元素可除，使向量空間理論特別美好。
• \(R = k[x]\) ： \(k[x]\) -模 \(=\) 向量空間 \(V\) 配一個線性算子 \(T\) （ \(x\) 作用為 \(T\) ，多項式 \(f(x)\) 作用為 \(f(T)\) ）。線性代數的核心對象「矩陣」在模論中只是一個 \(k[x]\) -模。

第三條尤其驚人：Jordan 標準形（線性代數最難的定理）在模論中是交換環上有限生成模結構定理的直接推論。這是抽象化的典型紅利：一個定理覆蓋許多世界。

子模、商模、同態#

與群、環、體平行的機器照搬：

• 子模 \(N \subseteq M\) ：對加法封閉、對 \(R\) 作用封閉。
• 商模 \(M/N\) ： \((r, m + N) \mapsto rm + N\) 良定義（因 \(N\) 對作用封閉）。
• 同態 \(f: M \to N\) ：加法同態且 \(f(rm) = rf(m)\) 。
• 同態基本定理（第一同構定理）： \(\ker f \subseteq M\) ， \(M/\ker f \cong \mathrm{im}\, f\) 。與 3.2 節商群、4.2 節商環的三連畫一致——「理想/正規子群/子模 + 商 + 同構定理」是代數的通用語法。

自由模與基#

定義 7.1.2： \(R\) -模 \(M\) 是自由的（free），若 \(M \cong R^{\oplus n} = \underbrace{R \oplus \cdots \oplus R}_n\) ； \(\{e_1, \dots, e_n\}\) 為基。

與向量空間的關鍵差異：模的基未必存在（扭模），存在時大小也未必唯一可除（ \(R\) 非交換時甚至基大小可以不同）。例如 \(\mathbb{Z}/2\) 作為 \(\mathbb{Z}\) -模，無基（ \(2 \cdot \bar 1 = 0\) ，任何非零元素都可被非零係數消滅，違反自由性）。這種「壞」元素叫扭元素（torsion）：

NOTHER 環與鏈條件#

模論的深水區是「什麼樣的環上的模表現良好」。Noether 的答案是升鏈條件（ascending chain condition）：

定義 7.1.3：環 \(R\) 稱為 Noether 環，若 \(R\) 中理想的升鏈

必在某處穩定： \(I_N = I_{N+1} = \cdots\) 。

定理 7.1.4（Hilbert 基定理，1888；Noether 給出現代證明）：若 \(R\) 是 Noether 環，則 \(R[x]\) 也是。

等價刻畫： \(R\) Noether \(\iff\) 每個理想有限生成 \(\iff\) 每個有限生成 \(R\) -模的子模仍有限生成。

Hilbert 基定理當年是為了回答不變量理論的具體問題（Gordan 的「這不是數學，是神學」的著名抱怨即源於 Hilbert 1888 的非構造性證明）；Noether 把它變成一條公理。「有限生成」這個直覺，被公理化為鏈條件——這是 Noether 對二十世紀代數最深遠的貢獻：她證明了抽象條件能夠承載具體計算。

模論視角的進一步例子： \(\mathbb{Z}\) 上的有限生成模#

交換群的結構定理值得在模語言下重述一次，因為它是 7.1 節「一個定理覆蓋多個世界」的最佳展示：

定理 7.1.5（有限生成交換群的結構定理）：任何有限生成 \(\mathbb{Z}\) -模 \(M\) 同構於

\(\mathbb{Z}^r\) 是自由部分（秩）， \(\mathbb{Z}/d_i\) 是扭部分（不變因子）。 \(k\) 與 \(d_i\) 唯一。

三個身分，一個定理：

1. 交換群的分類（2.3 節循環群的推廣）：有限交換群 \(\cong \mathbb{Z}/d_1 \oplus \cdots \oplus \mathbb{Z}/d_k\) ，階的質因數分解直接讀出群的全部可能形態。Sylow 定理（3.3）給出「有多少」，本定理給出「是什麼」。
2. 矩陣的 Smith 標準形：整係數矩陣的初等變換（行列變換）可把它化為對角型 \((d_1, \dots, d_k)\) ——不變因子正是對角元。這是計算機代數系統實際執行的演算法。
3. 線性代數的 Jordan 形：把 \(R\) 換成 \(k[x]\) （7.1 節例題的翻譯），同一證明給出 Jordan 標準形。

證明思想（不是技巧的堆積，而是結構的擠壓）：先取 \(M\) 的表現 \(\mathbb{Z}^m \xrightarrow{A} \mathbb{Z}^n \to M \to 0\) ，再用輾轉相除把 \(A\) 化為 Smith 標準形，商即現身。「用關係矩陣的標準形讀出商的結構」是同調代數（9.3）第一次預演：鏈複形 + 標準形 = 同調計算。

具體例題#

例題 7.1.1：把線性代數的「線性算子的不變子空間分解」翻譯成 \(k[x]\) -模語言。

解：設 \(V\) 是 \(k\) 上有限維向量空間， \(T: V \to V\) 線性。定義 \(k[x]\) 作用：

驗證公理： \((fg)(T) = f(T)g(T)\) （因 \(T\) 與自身交換），分配律顯然， \(1 \cdot v = v\) 。故 \(V\) 成為 \(k[x]\) -模。

翻譯詞典：

最後一條在模語言中幾乎顯然：Cayley–Hamilton 變成「有限生成扭模被自己的秩多項式殲滅」的結構事實。Jordan 標準形 = 有限生成 \(k[x]\) -模的結構定理（把模拆成 \(k[x]/(p^e)\) 之直和， \(p\) 不可約）。 \(\blacksquare\)

與其他領域的關聯#

• 往 7.2：群的表示就是「群代數 \(k[G]\) 上的模」——表示論即模論的一章。Frobenius 1896 年的工作正是從這裡起飛。
• 往 4.2：模的子模與商模是理想與商環概念的「右移」：環作用在自己身上得正則模，理想恰是正則模的子模。
• 往 9.1、9.3：正合序列與同調群都是模的序列；沒有模論，同調代數無從談起。
• 往 10.2：物理中的態空間是群表示的模；Noether 本人的定理（對稱性 \(\leftrightarrow\) 守恆律，10.2 節）與她的代數定理分別影響了物理與數學兩岸。
• 代數幾何：仿射簇上的座標環的模 = 幾何對象上的「叢」——模是代數與幾何的接口。

結語#

模論的歷史是一場「載體的普遍化」：向量空間只能是體上的，模允許任何環作係數——於是整數（數論）、多項式（線性代數）、群代數（表示論）全部被收編。Emmy Noether 在 1933 年被納粹驅逐出 Göttingen，流亡美國，1935 年病逝；她留下的範式「研究對象的結構，通過研究作用於其上的環」成為二十世紀數學的作業系統。下一節，我們進入這個範式最早、最成功的應用：把群本身變成矩陣。