第 48 章 主理想整环上的模¶
前置：向量空间 (Ch04) · 多项式代数 (Ch00) · 有理标准形 (Ch13B)
本章脉络：从向量空间到模 (Modules) \(\to\) 环 \(R\) 上的模定义 \(\to\) 子模、商模与同态 \(\to\) 自由模 (Free Modules) 与秩 \(\to\) 主理想整环 (PID) 基础 \(\to\) PID 上的有限生成模结构定理 \(\to\) 自由部分与扭部分 (Torsion) 的分解 \(\to\) 统一视角：Jordan 标准形与有理标准形的代数本质 \(\to\) 应用：有限生成阿贝尔群的分类
延伸：PID 上的模理论是线性代数的“大一统”框架；它证明了方阵的所有标准形理论本质上都是单变量多项式环 \(F[x]\) 这一特定 PID 上的模结构分解，是现代抽象代数的巅峰成果之一
当我们把向量空间中“标量来自一个域”的限制放宽为“标量来自一个环”时，便得到了模（Module）的概念。在主理想整环（PID，如 \(\mathbb{Z}\) 或 \(F[x]\)）上，模的结构具有惊人的对称性和规律性。本章将证明：方阵的 Jordan 形和有理标准形，本质上都是同一个深刻代数定理在不同背景下的投影。
48.1 模的定义与基础¶
定义 48.1 (模)
设 \(R\) 是一个含单位元的交换环。\(R\)-模 \(M\) 是一个配备了加法和 \(R\)-标量乘法的集合，满足类似于向量空间的 8 条公理。 - 若 \(R\) 是一个域，则 \(R\)-模就是向量空间。 - 若 \(R = \mathbb{Z}\)，则 \(R\)-模就是阿贝尔群。
定义 48.2 (有限生成与自由模)
- 有限生成：若 \(M\) 可由有限个元素张成。
- 自由模：若 \(M\) 拥有一组基（线性无关且张成）。并非所有模都有基。
48.2 PID 上的结构定理¶
定理 48.1 (有限生成 PID 模结构定理)
设 \(R\) 是主理想整环，\(M\) 是有限生成 \(R\)-模。则 \(M\) 可以唯一地分解为： $\(M \cong R^r \oplus R/(d_1) \oplus R/(d_2) \oplus \cdots \oplus R/(d_k)\)$ 其中： - \(R^r\) 是自由部分，\(r\) 称为秩。 - \(R/(d_i)\) 是扭部分（Torsion part），满足 \(d_1 \mid d_2 \mid \cdots \mid d_k\)。 这些 \(d_i\) 称为 \(M\) 的不变因子。
48.3 统一标准形视角¶
算子作为模作用
给定 \(n\) 阶方阵 \(A\)。我们可以将 \(\mathbb{C}^n\) 视为 \(\mathbb{C}[\lambda]\)-模，其作用定义为：\(p(\lambda) \cdot \mathbf{v} = p(A)\mathbf{v}\)。 - 有理标准形对应于上述的不变因子分解。 - Jordan 标准形对应于将每个 \(d_i\) 进一步分解为一次项幂的初等因子分解。
练习题¶
1. [基础] 证明任何阿贝尔群都可以视为 \(\mathbb{Z}\)-模。
参考答案
证明： 1. 设 \((G, +)\) 为阿贝尔群。 2. 定义标量乘法 \(n \cdot a\)： - 若 \(n > 0\)，\(n \cdot a = a + a + \cdots + a\)（\(n\) 次）。 - 若 \(n = 0\)，\(0 \cdot a = 0_G\)。 - 若 \(n < 0\)，\(n \cdot a = -(|n| \cdot a)\)。 3. 容易验证这种定义满足分配律、结合律等所有模公理。 结论：阿贝尔群论本质上就是整数环上的模理论。
2. [自由模] 举出一个不是自由模的 \(\mathbb{Z}\)-模例子。
参考答案
典型例子：有限循环群 \(\mathbb{Z}_n\)（如 \(\mathbb{Z}/2\mathbb{Z}\)）。 分析： 1. 在 \(\mathbb{Z}/2\mathbb{Z}\) 中，对于任何元素 \(a\)，都有 \(2 \cdot a = 0\)。 2. 按照线性相关的定义，标量 \(2 \neq 0\) 但 \(2 \cdot a = 0\)，说明任何单个元素都是线性相关的。 3. 自由模要求基向量必须线性无关。 结论：含有非零扭元素（满足 \(r \cdot m = 0\) 且 \(r \neq 0\)）的模不可能是自由模。
3. [不变因子] 若 \(M \cong \mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/6\mathbb{Z}\)，其秩和不变因子是什么？
参考答案
分析： 1. 自由部分：项 \(\mathbb{Z}\) 出现了一次，故秩 \(r = 1\)。 2. 扭部分：由 \(\mathbb{Z}/2\mathbb{Z}\) 和 \(\mathbb{Z}/6\mathbb{Z}\) 构成。 3. 检查整除链：\(2 \mid 6\)，符合结构定理的标准形式。 结论：秩为 1，不变因子序列为 \((2, 6)\)。
4. [Smith形] 模理论中的不变因子与 λ-矩阵的 Smith 形有何联系？
参考答案
本质统一性： 1. 设 \(A\) 是方阵，将其特征矩阵 \(\lambda I - A\) 化为 Smith 标准形。 2. 对角线上的非平凡多项式 \(d_1(\lambda), \ldots, d_k(\lambda)\)。 3. 整个向量空间作为 \(\mathbb{C}[\lambda]\)-模，其结构恰好是 \(\bigoplus \mathbb{C}[\lambda]/(d_i(\lambda))\)。 结论：Smith 标准形的代数意义就是揭示了线性算子作用下空间的模分解结构。
5. [PID] 为什么 \(F[x, y]\) 上的模理论比 \(F[x]\) 复杂得多？
参考答案
代数背景： 1. \(F[x]\) 是主理想整环（PID），其每一个理想都由一个元素生成，这保证了结构定理的简洁性。 2. \(F[x, y]\) 不是 PID。例如理想 \((x, y)\) 无法由单个多项式生成。 3. 缺乏 PID 性质意味着模无法被分解为简单的循环模直和。 结论：维数超过 1 的多项式环上的表示论是代数几何的研究范畴，远超线性代数。
6. [特征值] 若 \(M\) 是纯扭模，说明其在 \(\mathbb{C}[\lambda]\) 背景下的物理意义。
参考答案
解释： 1. 纯扭模意味着没有自由部分（\(r=0\)）。 2. 在矩阵论中，这代表向量空间的维数是有限的。 3. 每一个向量都被某个多项式“湮灭”（即 \(p(A)v = 0\)）。 结论：有限维向量空间上的每一个线性算子都使其对应的模成为纯扭模。
7. [初等因子] 将 \(\mathbb{Z}/12\mathbb{Z}\) 分解为初等因子的形式。
参考答案
步骤： 1. 对模数进行素幂分解：\(12 = 2^2 \cdot 3^1 = 4 \cdot 3\)。 2. 利用中国剩余定理（或初等因子分解定理）： 结论：\(\mathbb{Z}/12\mathbb{Z} \cong \mathbb{Z}/4\mathbb{Z} \oplus \mathbb{Z}/3\mathbb{Z}\)。初等因子为 \(4\) 和 \(3\)。
8. [秩] 证明：对于有限维向量空间，\(r = \dim V\) 且扭部分为 0。
参考答案
证明： 1. 向量空间是域 \(F\) 上的模。 2. 域 \(F\) 的唯一理想是 \(\{0\}\) 和 \(F\)。 3. 任何 \(F/(d_i)\) 其中 \(d_i \neq 0\) 都会退化为 0 空间（因为域中非零元皆可逆）。 4. 故扭部分必然为 0。 5. 整个模就是 \(F^r\)，其中 \(r\) 显然等于空间的维数。
9. [循环模] 什么是循环模？它对应于矩阵的什么结构？
参考答案
定义：由单个元素生成的模，形式为 \(R/(d)\)。 矩阵对应：对应于伴随矩阵块。即整个空间可以由某个向量 \(\mathbf{v}\) 通过算子 \(A\) 的反复作用 \(A^k \mathbf{v}\) 张成。
10. [应用] 为什么这一理论被称为线性代数的“大一统”？
参考答案
哲学思考： 1. 它将看似孤立的整数性质（素数分解）与多项式性质（不可约分解）统一在 PID 框架下。 2. 它证明了所有的矩阵相似理论（Jordan, 有理, Smith）都只是同一个模分解定理在不同标量环下的应用。 3. 它为从线性系统走向更广阔的代数结构（如李代数、环论）提供了统一的逻辑起点。
本章小结¶
PID 上的模理论实现了线性代数逻辑的“大闭环”：
- 高度的统一性：证明了整数的分解与多项式的分解在代数本质上是恒等的，确立了跨学科的通用结构模型。
- 标准形的根源：Jordan 和有理标准形不再是孤立的技巧，而是 PID 模分解定理在特定环作用下的必然结果。
- 结构的解析：通过自由项与扭项的划分，模理论清晰地界定了线性系统中“无限自由度”与“受限循环结构”的界限。