第十四章 向量空间与模线性代数的公理化与推广引言从群与环到线性结构前两章我们分别构筑了群论与环论的公理体系。群以单一的合成法则捕捉了对称性的本质环则将加法与乘法熔铸为一种丰富的代数结构其中乘法对加法的分配律架起了两种运算之间的桥梁。然而在代数的版图上还横亘着一类更为细腻的结构它要求有一个交换群并允许来自某个环或域的元素作为“标量”作用其上标量乘法与群加法之间由分配律和结合律精细调控。这就是模的概念——当标量环是域时它回归为我们熟悉的向量空间当标量环是整数环时它蜕变为阿贝尔群当标量环是一元多项式环时它又化身带有线性算子的向量空间。模的公理化以无与伦比的统一性将表面上迥异的数学对象纳入同一个理论框架。向量空间的公理化历史可追溯至赫尔曼·格拉斯曼的《线性扩张论》1844年和朱塞佩·皮亚诺的《几何演算》1888年。他们首次从几何向量与坐标空间的运算中萃取出了加法与数乘的基本公理。20世纪初埃米·诺特在理想论的突破性工作中洞悉若将域替换为任意环完全相同的公理体系可以定义模。这一思想革命性地将线性代数的方法引入交换代数、代数数论、代数拓扑和表示论之中开启了现代代数的新纪元。本章将沿双轨展开先以域上的向量空间为起点严格给出其公理定义进而推导基的存在性与维数不变性——这些优美的性质深刻地依赖于域中非零元的可逆性。随后我们将视野扩展至一般环上的模展示向量空间的许多熟知定理在模论中何以失效基未必存在即使存在基的基数亦未必唯一并探讨使模重获良好性质的环类条件。全章的高峰是主理想整环上有限生成模的结构定理——一条统一了有限生成阿贝尔群分类、若尔当标准形与有理标准形的深刻定理。从同一条模公理出发既生发出优雅的线性代数又催生出深邃的交换代数公理统一性的旋律将贯穿始终。14.1 向量空间域上的线性结构14.1.1 域与交换群的重逢回忆第十三章域(F) 是一个非零交换含幺环其中每个非零元都有乘法逆元。一个 (F)-向量空间是在交换群上赋予来自域 (F) 的标量作用并满足自然的相容性条件。定义 14.1.1向量空间设 (F) 是一个域。一个 (F)-向量空间或线性空间是一个非空集合 (V)其元素称为向量连同一个二元运算 (: V \times V \to V)向量加法一个函数 (\cdot: F \times V \to V)标量乘法满足下列八条公理(V1)((V,)) 是一个交换群。其单位元记作 (\mathbf{0})每个向量 (v) 的加法逆元记作 (-v)。具体而言(结合律) (\forall u,v,w \in V,\ (uv)w u(vw))(交换律) (\forall u,v \in V,\ uv vu)(零元存在) (\exists \mathbf{0} \in V,\ \forall v \in V,\ v\mathbf{0}v)(逆元存在) (\forall v \in V,\ \exists -v \in V,\ v(-v)\mathbf{0}).(V2)标量乘法与域乘法的相容性伪结合律(\forall \alpha,\beta \in F,\ \forall v \in V,)[\alpha \cdot (\beta \cdot v) (\alpha\beta) \cdot v.](V3)标量乘法的单位元若 (1_F) 是域 (F) 的乘法单位元则 (\forall v \in V,)[1_F \cdot v v.](V4)标量对向量加法的分配律(\forall \alpha \in F,\ \forall v,w \in V,)[\alpha \cdot (v w) \alpha \cdot v \alpha \cdot w.](V5)向量对标量加法的分配律(\forall \alpha,\beta \in F,\ \forall v \in V,)[(\alpha \beta) \cdot v \alpha \cdot v \beta \cdot v.]这八条公理交换群四条标量作用四条完整地刻画了向量空间结构。它与群、环公理一样构成了现代代数无可撼动的基石。注记 14.1.2公理 (V3) 排除了平庸的退化情形假如缺失 (V3)则可能允许对所有 (v) 均有 (1_F \cdot v \mathbf{0}) 这样的退化行为从而导致整个空间退化为零空间这并非我们所期望的丰富结构。公理 (V2) 则建立了域乘法与标量乘法之间的“结合性”使得我们可以无歧义地书写 (\alpha\beta v)。14.1.2 向量空间的例子向量空间的例子极为广泛从最具体的坐标空间到高度抽象的函数空间无不体现其普适性。坐标空间(F^n {(x_1,\dots,x_n) \mid x_i \in F})按分量定义加法和标量乘法[(x_1,\dots,x_n) (y_1,\dots,y_n) (x_1y_1,\dots,x_ny_n),\quad\alpha\cdot(x_1,\dots,x_n) (\alpha x_1,\dots,\alpha x_n).]这是有限维向量空间的原型。多项式空间以 (F[x]) 记系数在 (F) 中的一元多项式全体按多项式加法和数乘构成无限维向量空间。进一步次数不超过 (n) 的多项式全体 (P_n(F)) 是一个 (n1) 维向量空间基为 ({1,x,\dots,x^n})。矩阵空间(M_{m\times n}(F))即所有 (m \times n) 矩阵的集合按矩阵加法和标量乘法构成 (mn) 维向量空间。函数空间设 (X) 为任意集合则全体函数 (f: X \to F) 构成的集合 (F^X)配备逐点加法和数乘[(fg)(x) f(x)g(x),\quad (\alpha f)(x) \alpha f(x),]是一个向量空间。当 (X) 无穷时该空间通常为无限维。序列空间取 (X \mathbb{N})(F^\mathbb{N}) 即全体序列空间。当 (F\mathbb{R}) 或 (\mathbb{C}) 时其中收敛序列空间、有界序列空间、趋于零的序列空间等都是重要的子空间通向泛函分析。域扩张若 (E/F) 是域扩张即 (F) 是 (E) 的子域则 (E) 自动成为 (F)-向量空间标量乘法即为 (E) 内部的乘法。例如 (\mathbb{C}) 是 (\mathbb{R})-向量空间维数为 2(\mathbb{R}) 是 (\mathbb{Q})-向量空间维数为连续统。线性映射空间从 (V) 到 (W) 的全体线性映射 (\mathcal{L}(V,W))在逐点加法和标量乘法下构成向量空间详见后文。这些例子既有有限维也有无限维既有代数构造也有分析对象充分展示了向量空间公理体系的广阔疆域。14.1.3 基本推论从公理出发无需引入坐标或基底即可导出向量空间中最基本的运算律。这些推论虽然简单却彰显了公理化方法的威力——一旦证明了这些性质它们就对一切向量空间普适地成立。定理 14.1.3向量空间基本运算法则设 (V) 是域 (F) 上的向量空间。对任意 (v \in V) 和 (\alpha \in F)下列性质成立(0_F \cdot v \mathbf{0})(\alpha \cdot \mathbf{0} \mathbf{0})((-\alpha) \cdot v -(\alpha \cdot v) \alpha \cdot (-v))若 (\alpha \cdot v \mathbf{0})则必有 (\alpha 0_F) 或 (v \mathbf{0})。证明(1) 由分配律 (V5)(0_F \cdot v 0_F \cdot v (0_F 0_F) \cdot v 0_F \cdot v)。两边加上 (-(0_F \cdot v)) 得到 (0_F \cdot v \mathbf{0})。(2) 由分配律 (V4)(\alpha \cdot \mathbf{0} \alpha \cdot \mathbf{0} \alpha \cdot (\mathbf{0} \mathbf{0}) \alpha \cdot \mathbf{0})消去即得 (\alpha \cdot \mathbf{0} \mathbf{0})。(3) 利用 (1) 与分配律((-\alpha) \cdot v \alpha \cdot v (-\alpha\alpha) \cdot v 0_F \cdot v \mathbf{0})故 ((-\alpha) \cdot v -(\alpha \cdot v))。类似地(\alpha \cdot (-v) \alpha \cdot v \alpha \cdot (-vv) \alpha \cdot \mathbf{0} \mathbf{0})故 (\alpha \cdot (-v) -(\alpha \cdot v))。(4) 若 (\alpha \neq 0_F)则因 (F) 是域存在乘法逆元 (\alpha^{-1})。于是[v 1_F \cdot v (\alpha^{-1}\alpha) \cdot v \alpha^{-1} \cdot (\alpha \cdot v) \alpha^{-1} \cdot \mathbf{0} \mathbf{0}.]故结论成立。∎性质 (4) 是向量空间与一般模的决定性分水岭。在域中任何非零标量皆有逆这一事实直接保证了“标量乘向量为零蕴含因子为零”的结论。正是这一性质使得向量空间中的线性无关理论得以顺利展开也预示着一般模中诸多复杂性的源头。14.2 线性组合、线性无关与基14.2.1 线性生成与线性无关线性组合是向量空间中构造新向量的基本途径而线性无关与张成则是刻画向量空间结构的一对核心概念。定义 14.2.1线性组合、张成与线性无关设 (V) 是 (F)-向量空间(S \subseteq V) 是一个子集不必有限。线性组合形如 (\sum_{i1}^n \alpha_i v_i) 的表达式其中 (n) 为任意非负整数(\alpha_i \in F)(v_i \in S)。注意虽然 (S) 可能无限但每个线性组合仅涉及有限个向量——这是纯粹代数定义的本质要求不涉及任何拓扑收敛概念。张成(S) 的所有有限线性组合构成的集合称为 (S) 的张成记为 (\operatorname{span}(S))。它是 (V) 中包含 (S) 的最小子空间子空间即对标量乘法和加法封闭的非空子集。线性无关称 (S) 是线性无关的若对任意有限个互异向量 (v_1,\dots,v_n \in S) 及标量 (\alpha_1,\dots,\alpha_n \in F)有[\sum_{i1}^n \alpha_i v_i \mathbf{0} \implies \alpha_1 \dots \alpha_n 0.]若 (S) 不是线性无关的则称其为线性相关。定理 14.2.2线性相关引理若 (S) 线性相关则存在某个向量 (v \in S) 可表示为 (S \setminus {v}) 中有限个向量的线性组合。证明由线性相关定义存在有限个互异向量 (v_1,\dots,v_n \in S) 及不全为零的标量 (\alpha_1,\dots,\alpha_n) 使得 (\sum_{i1}^n \alpha_i v_i \mathbf{0})。设 (\alpha_k \neq 0)则利用域的可逆性[v_k -\alpha_k^{-1} \sum_{i \neq k} \alpha_i v_i,]右端显然是 (S \setminus {v_k}) 中向量的线性组合。∎该引理揭示在线性相关集中必有一个向量“冗余”可被其余向量线性表出。14.2.2 基的存在性定义 14.2.3基向量空间 (V) 的子集 (B) 称为 (V) 的一组基若 (B) 同时满足(B) 是线性无关的(\operatorname{span}(B) V)即 (B) 生成 (V)。基是向量空间的“骨骼”每个向量可唯一地表示为基向量的有限线性组合。唯一性由线性无关保证若 (\sum \alpha_b b \sum \beta_b b)则 (\sum (\alpha_b-\beta_b)b \mathbf{0}) 推出所有系数差为零。定理 14.2.4基存在定理任何非零向量空间都拥有基。更一般地设 (V) 是 (F)-向量空间(S \subseteq V) 是任一线性无关子集则存在 (V) 的基 (B) 使得 (S \subseteq B)。证明这是集合论中佐恩引理的经典应用。考虑集合[\mathcal{P} {, T \subseteq V \mid S \subseteq T \text{ 且 } T \text{ 线性无关} ,}.](\mathcal{P}) 对包含关系构成偏序集。因 (S \in \mathcal{P})故 (\mathcal{P}) 非空。设 (\mathcal{C} \subseteq \mathcal{P}) 是一条链全序子集考虑并集 (U \bigcup_{T \in \mathcal{C}} T)。我们断言 (U \in \mathcal{P})显然 (S \subseteq U)又任取有限个向量 (u_1,\dots,u_k \in U)由于 (\mathcal{C}) 是全序的存在某个 (T_0 \in \mathcal{C}) 包含所有这些向量而 (T_0) 是线性无关的故这些向量的任何线性组合系数为零仅当所有系数为零。因此 (U) 线性无关从而 (U \in \mathcal{P})且 (U) 是 (\mathcal{C}) 的一个上界。由佐恩引理(\mathcal{P}) 有极大元 (B)。由构造(B \supseteq S) 且线性无关。现证 (\operatorname{span}(B) V)。若不然则存在 (v \in V \setminus \operatorname{span}(B))。考虑 (B \cup {v})断言它仍线性无关。设[\alpha v \sum_{b \in B} \beta_b b \mathbf{0}.]若 (\alpha \neq 0)则可解出 (v -\alpha^{-1} \sum \beta_b b \in \operatorname{span}(B))矛盾。故必须 (\alpha 0)进而 (\sum \beta_b b \mathbf{0})由 (B) 线性无关推得所有 (\beta_b 0)。因此 (B \cup {v}) 线性无关与 (B) 的极大性矛盾。故必有 (\operatorname{span}(B) V)即 (B) 为包含 (S) 的基。∎注记 14.2.5基存在定理的证明调用了佐恩引理而佐恩引理等价于选择公理。事实上在策梅洛-弗兰克尔集合论ZF中“每个向量空间都有基”这一命题等价于选择公理。对于有限维向量空间则可直接通过数学归纳法构造基无需借助任何超出 ZF 的集合论公理。因此基的存在性问题实际上标定了有限维与无限维之间的深刻鸿沟。14.2.3 维数基的基数不变性基的存在性既已确立自然引出一个根本问题同一空间的两组基是否必有相同的基数若答案是肯定的则可将该基数定义为空间的维数作为结构分类的不变量。定义 14.2.6维数若向量空间 (V) 的任意两组基皆有相同基数则定义 (V) 的维数(\dim_F V) 为其任意一组基的基数。定理 14.2.7维数不变性设 (V) 是 (F)-向量空间若 (B_1) 和 (B_2) 都是 (V) 的基则 (|B_1| |B_2|)。证明分两种情形。情形一(V) 有一组有限基。设 (B_1 {v_1,\dots,v_n}) 是基。我们证明任何线性无关集的大小不超过 (n)从而另一组基 (B_2) 的大小也不会超过 (n)由对称性得两者相等。这就是著名的替换引理Steinitz替换定理。替换引理设 ({v_1,\dots,v_n}) 生成 (V)若 ({w_1,\dots,w_m}) 线性无关则 (m \le n)且可重新排列 (v_i)使得用 (w_1,\dots,w_m) 替换其中 (m) 个后仍生成 (V)。对 (m) 归纳。(m0) 时显然。假设引理对 (m-1) 成立。考虑线性无关集 ({w_1,\dots,w_m})则其子集 ({w_1,\dots,w_{m-1}}) 线性无关由归纳假设(m-1 \le n)且必要时重排({w_1,\dots,w_{m-1},v_m,\dots,v_n}) 生成 (V)。于是 (w_m) 可表为它们的线性组合[w_m \sum_{i1}^{m-1} \alpha_i w_i \sum_{im}^n \beta_i v_i.]由于 ({w_1,\dots,w_m}) 线性无关至少存在某个 (\beta_k \neq 0)否则 (w_m) 与 (w_1,\dots,w_{m-1}) 线性相关。因此 (m \le n)若 (mn) 则第二和式为空导致系数全为零。进一步可解出 (v_k) 用 (w_m) 和其余向量表示从而完成替换。归纳完成。应用替换引理因 (B_1) 生成 (V) 且 (B_2) 线性无关得 (|B_2| \le |B_1|)。对称地(|B_1| \le |B_2|)。故 (|B_1| |B_2|)。情形二两组基均为无限集。设 (B, C) 是无限基。对每个 (c \in C)因 (B) 生成 (V)(c) 可表为 (B) 中有有限个向量的线性组合记这有限子集为 (B_c \subseteq B)。由于每个 (B_c) 有限且 (C) 的每个元素均被覆盖必有 (B \bigcup_{c \in C} B_c)若存在 (b \in B) 不在任何 (B_c) 中则 (b) 无法被 (C) 张成(C) 的每个元素只需有限个 (B) 中元素即可表出与 (C) 是基矛盾。于是[|B| \left|\bigcup_{c \in C} B_c\right| \le |C| \cdot \aleph_0 \max(|C|,\aleph_0).]由于 (B) 无限必有 (|B| \le |C|)。对称论证得 (|C| \le |B|)故 (|B| |C|)。∎维数不变性定理赋予了“维数”概念严格的合法性。两个 (F)-向量空间同构的充分必要条件是它们有相同的维数。在同构意义下域 (F) 上的向量空间完全由其维数分类。这一定理是线性代数中几乎所有维数论断的终极依据。14.3 线性映射、核与像14.3.1 线性映射公理向量空间之间的态射是保持线性结构的映射其定义自然而直接地取自公理。定义 14.3.1线性映射设 (V,W) 为域 (F) 上的向量空间。映射 (T: V \to W) 称为线性映射或线性变换当 (VW) 时若满足加法保持(\forall u,v \in V,\ T(uv) T(u) T(v))标量保持(\forall \alpha \in F,\ v \in V,\ T(\alpha v) \alpha T(v))。这等价于 (T) 保持所有有限线性组合[T!\left(\sum_{i1}^n \alpha_i v_i\right) \sum_{i1}^n \alpha_i T(v_i).]所有从 (V) 到 (W) 的线性映射构成的集合记作 (\mathcal{L}(V,W))或 (\operatorname{Hom}_F(V,W))。对于 (S,T \in \mathcal{L}(V,W)) 和 (\alpha \in F)定义[(ST)(v) S(v) T(v),\quad (\alpha S)(v) \alpha S(v),]则 (\mathcal{L}(V,W)) 本身也成为 (F)-向量空间。当 (VW) 时记 (\mathcal{L}(V) \mathcal{L}(V,V))不仅具有向量空间结构还以映射复合作为乘法构成一个含幺环其幺元为恒等映射 (I_V)。这个环通常非交换(\dim V 1) 时。14.3.2 核与像同态基本定理与群和环的情况完全平行线性映射的核与像提供了对映射结构的初步把握。设 (T \in \mathcal{L}(V,W))。定义[\ker T {, v \in V \mid T(v) \mathbf{0}_W ,},\qquad\operatorname{im} T {, T(v) \mid v \in V ,}.]容易验证(\ker T) 是 (V) 的子空间(\operatorname{im} T) 是 (W) 的子空间。定理 14.3.2线性映射的第一同构定理设 (T: V \to W) 为线性映射。则商空间 (V/\ker T)商空间构造见 14.4 节与 (\operatorname{im} T) 同构。同构映射由[\widetilde{T}(v \ker T) T(v)]给出。证明首先验证 (\widetilde{T}) 良定义若 (v \ker T v’ \ker T)则 (v - v’ \in \ker T)故 (T(v) - T(v’) T(v-v’) \mathbf{0})即 (T(v)T(v’))。线性性由 (T) 的线性性继承。单射性若 (\widetilde{T}(v\ker T) \mathbf{0})则 (T(v)\mathbf{0})故 (v \in \ker T)即 (v\ker T \ker T) 为零向量。满射性显然。∎推论 14.3.3有限维维数公式若 (V) 是有限维向量空间(T \in \mathcal{L}(V,W))则[\dim V \dim \ker T \dim \operatorname{im} T.]证明取 (\ker T) 的一组基 ({v_1,\dots,v_k})将其扩充为 (V) 的基 ({v_1,\dots,v_k,u_1,\dots,u_m})。可以证明 ({T(u_1),\dots,T(u_m)}) 构成 (\operatorname{im} T) 的一组基。由此 (\dim \ker T k)(\dim \operatorname{im} T m)而 (\dim V km)。∎此公式将映射的“信息损失”核的维数与“有效像空间”像的维数定量关联是线性代数中无数计数论证的源头。14.3.3 矩阵表示基的选取为线性映射提供了有限维情形下的具体表示——矩阵。设 (\mathcal{B} {v_1,\dots,v_n}) 是 (V) 的基(\mathcal{C} {w_1,\dots,w_m}) 是 (W) 的基。对每个 (j1,\dots,n)存在唯一一组标量 (a_{1j}, a_{2j}, \dots, a_{mj} \in F) 使得[T(v_j) \sum_{i1}^m a_{ij} w_i.]将系数排列成 (m \times n) 矩阵 ((a_{ij}))称为 (T) 在基 (\mathcal{B},\mathcal{C}) 下的矩阵表示。映射的复合对应于矩阵的乘法恒等映射对应于单位矩阵可逆映射对应于可逆矩阵。基变换相当于矩阵的共轭作用若 (P) 是从旧基到新基的过渡矩阵则线性变换在新基下的矩阵为 (P^{-1}AP)。这一整套理论构成了线性代数教材的核心内容但其逻辑基础完全扎根于向量空间公理体系和基的存在唯一性。此处无需赘述细节但须强调矩阵只是线性映射的一种表示公理结构本身才是本质。14.4 商空间、直和与对偶14.4.1 商空间设 (U \subseteq V) 是子空间。考虑加法商群 (V/U {vU \mid v \in V})在其上定义标量乘法[\alpha (vU) : \alpha v U, \quad \alpha \in F,\ v \in V.]需验证良定义若 (vU v’U)则 (v-v’ \in U)由于 (U) 是子空间(\alpha(v-v’) \in U)从而 (\alpha v U \alpha v’ U)。容易逐条核对满足向量空间八条公理。如此得到的向量空间 (V/U) 称为商空间。自然投影 (\pi: V \to V/U,\ \pi(v) vU) 是线性满射且 (\ker \pi U)。商空间具有如下泛性质对任意线性映射 (T: V \to W)若 (U \subseteq \ker T)则存在唯一的线性映射 (\widetilde{T}: V/U \to W) 使得 (T \widetilde{T} \circ \pi)。14.4.2 直和与补空间定义 14.4.1内直和设 (U, W) 是 (V) 的子空间。若 (V U W)即每个向量可表为 (uw)且 (U \cap W {\mathbf{0}})则称 (V) 是 (U) 与 (W) 的**内直和**记作 (V U \oplus W)。在此情形下每个 (v \in V) 有唯一分解 (v u w)其中 (u \in U, w \in W)。若 (V) 有限维则有维数公式[\dim(U \oplus W) \dim U \dim W.]定理 14.4.2补空间存在定理设 (U \subseteq V) 是子空间则存在子空间 (W \subseteq V) 使得 (V U \oplus W)。(W) 称为 (U) 的补空间。证明取 (U) 的一组基 (B_U)由基存在定理可将其扩充为 (V) 的基 (B B_U \cup B’)。令 (W \operatorname{span}(B’))则易于验证 (V U \oplus W)。∎此定理的证明依赖选择公理通过基存在定理。在无限维空间补空间并不具有构造性其存在仅仅由逻辑保证。直和概念可自然推广到任意多个子空间以及外直和给定一族向量空间 ({V_i}{i \in I})定义其外直和为[\bigoplus{i \in I} V_i \left{ (v_i)_{i\in I} ;\middle|; v_i \in V_i, \text{仅有有限个 } v_i \neq \mathbf{0} \right},]逐分量运算。外直和是构造新向量空间的基本手段。14.4.3 对偶空间定义 14.4.3对偶空间向量空间 (V) 上的全体线性泛函即从 (V) 到基域 (F) 的线性映射构成向量空间[V^* : \mathcal{L}(V, F),]称为 (V) 的对偶空间或代数对偶。若 (V) 是有限维取基 (\mathcal{B} {v_1,\dots,v_n})可定义对偶基({v_1*,\dots,v_n} \subseteq V^) 由 (v_i^(v_j) \delta_{ij}) 确定。对偶基构成了 (V^) 的基因此 (\dim V^* \dim V)。存在一个自然线性映射 (\Phi: V \to V^{**})双重对偶定义为[\Phi(v)(f) f(v), \quad \forall f \in V^*.]当 (V) 有限维时(\Phi) 是同构但在无限维情形(\Phi) 可能是单射而非满射这成为泛函分析中对偶理论的一个重要起点。对偶空间不仅在线性代数中扮演核心角色转置映射、双线性型等更是微分几何切空间与余切空间、泛函分析巴拿赫空间的对偶乃至物理学狄拉克记号中的 bra 与 ket的通用语言。14.5 模环上的向量空间当我们把向量空间定义中的域 (F) 替换为任意含幺环 (R)完全保留原先的公理框架便得到了更为广泛的代数结构——模。这一推广看似微小却使理论的丰富性和复杂性急剧膨胀其应用范围横跨整个代数学科。14.5.1 左模与右模的定义定义 14.5.1左 (R)-模设 (R) 为含幺环幺元记作 (1_R)。一个左 (R)-模是一个交换群 ((M,))配备标量乘法 (R \times M \to M)记为 (r \cdot m) 或简写 (rm)满足与向量空间公理完全类似的四条公理(M1) (r(sm) (rs)m) 对所有 (r,s \in R, m \in M)(M2) (1_R m m) 对所有 (m \in M)(M3) (r(mn) rm rn) 对所有 (r \in R, m,n \in M)(M4) ((rs)m rm sm) 对所有 (r,s \in R, m \in M)。若将标量写作右侧即 (m \cdot r)并相应将结合律调整为 ((m \cdot r_1) \cdot r_2 m \cdot (r_1 r_2))则得到右 (R)-模。当 (R) 是交换环时左模与右模可通过定义 (rm mr) 互相转换二者没有本质区别。对于非交换环左右之分必须严格区分。模的例子比向量空间更为斑驳陆离域 (F) 上的向量空间就是 (F)-模。阿贝尔群 (A) 恰为 (\mathbb{Z})-模对正整数 (n)定义 (n \cdot a a a \dots a)(n) 次(0 \cdot a 0)((-n) \cdot a -(n \cdot a))。群公理恰好保证模公理的成立。环 (R) 本身是左 (R)-模标量乘法即环的乘法。(R) 的左理想就是 (R) 的子模。商环 (R/I) 也是左 (R)-模标量乘法定义为 (r \cdot (xI) rx I)。多项式环 (R[x]) 是 (R)-模。设 (G) 是有限群(F) 是域群代数 (F[G]) 上的模等同于群表示。14.5.2 子模、商模与模同态子模、商模、模同态的定义与向量空间完全平行子模是对加法和标量乘法封闭的非空子集商模 (M/N) 是加法商群配上良定义的标量乘法模同态是保持加法和标量乘法的映射。核与像的理论、同态基本定理完全平移过来若 (\varphi: M \to N) 是模同态则 (\ker \varphi) 是 (M) 的子模(\operatorname{im} \varphi) 是 (N) 的子模第一同构定理(M / \ker \varphi \cong \operatorname{im} \varphi)第二同构定理((AB)/B \cong A/(A \cap B))第三同构定理((M/K)/(N/K) \cong M/N) 当 (K \subseteq N \subseteq M)。这些定理的证明几乎可以逐行复制群论或向量空间情形的证明仅仅需要额外验证标量乘法的相容性。这种惊人的一致性正是泛代数的精髓——公理体系一旦确立结论便自动适用于所有满足公理的模型。14.5.3 自由模与基的失效将向量空间中线性无关和基的定义原封不动地搬到模上我们得到定义 14.5.2设 (M) 是 (R)-模子集 (B \subseteq M) 称为线性无关若对任意有限个不同元素 (b_1,\dots,b_n \in B) 及 (r_i \in R)有[\sum_{i1}^n r_i b_i 0 \implies r_1 \dots r_n 0.]若 (B) 线性无关且生成 (M)则称 (B) 是 (M) 的基。拥有基的模称为自由模。然而模与向量空间的第一个重大分歧出现了并非每个模都有基。反例 14.5.3考虑剩余类环 (\mathbb{Z}/n\mathbb{Z})(n \ge 2)作为 (\mathbb{Z})-模。对任意元素 (\bar{x} \in \mathbb{Z}/n\mathbb{Z})有 (n \cdot \bar{x} \overline{nx} \bar{0})但 (n \neq 0) 在 (\mathbb{Z}) 中故单点集 ({\bar{x}}) 已线性相关。任何线性无关子集只能为空集显然无法生成整个模。因此 (\mathbb{Z}/n\mathbb{Z}) 不是自由 (\mathbb{Z})-模。更甚者即便模具有基基的基数也未必是唯一的。这引出了环的一个重要性质定义 14.5.4不变基数性质IBN环 (R) 称为具有不变基数性质Invariant Basis NumberIBN如果对任意自由 (R)-模 (R^{\oplus m} \cong R^{\oplus n}) 蕴含 (mn)。所有非零交换环都具有 IBN若 (R) 是交换环且 (R^{\oplus m} \cong R^{\oplus n})任取 (R) 的一个极大理想 (\mathfrak{m})张量积 (-\otimes_R R/\mathfrak{m}) 将给出域 (R/\mathfrak{m}) 上向量空间的同构 ((R/\mathfrak{m})^m \cong (R/\mathfrak{m})^n)由向量空间维数的不变性即得 (mn)。然而确实存在非交换环不具备 IBN。例如取 (R) 为无限维向量空间的自同态环 (\operatorname{End}_F(V))其中 (\dim_F V \infty)可以证明 (R \cong R \oplus R) 作为左 (R)-模。因此在一般环上研究自由模时基的基数唯一性并非免费赠品必须专门验证。14.6 主理想整环上有限生成模的结构定理尽管一般环上的模丧失了向量空间的诸多美好性质但在特定优良环类上模的结构仍可获得极为精细的刻画。其中最具里程碑意义的成就当属主理想整环PID上有限生成模的结构定理。它以单一框架统一了有限阿贝尔群分类、若尔当标准形与有理标准形等经典结果堪称公理化代数的巅峰之作。14.6.1 诺特性与升链条件结构定理的基石之一是诺特环与诺特模的概念它保证了子模的“有限生成性”能够传递。定义 14.6.1诺特模(R)-模 (M) 称为诺特模如果它满足子模升链条件ACC对任意递增的子模链[M_1 \subseteq M_2 \subseteq M_3 \subseteq \cdots,]必存在 (N) 使得对所有 (n \ge N) 有 (M_n M_N)。定理 14.6.2对于模 (M)下列叙述等价(M) 是诺特模(M) 的每个子模都是有限生成的(M) 的非空子模族在包含关系下总有极大元。若环 (R) 作为左 (R)-模本身是诺特的则称 (R) 为左诺特环。所有主理想整环都是诺特环因为每个理想由单个元素生成。域显然也是诺特环。希尔伯特基定理进一步断言若 (R) 是诺特环则多项式环 (R[x]) 也是诺特环。定理 14.6.3设 (R) 是诺特环(M) 是有限生成 (R)-模则 (M) 的每个子模也是有限生成的。特别地PID 上有限生成模的子模必有限生成。这一性质对结构定理的证明至关重要它保证了从自由模到有限生成模的满同态的核仍是有限生成的从而使矩阵表示方法得以运作。14.6.2 扭转模与自由部分设 (R) 是整环无零因子的交换环。模 (M) 中的元素 (x) 称为扭转元如果存在非零 (r \in R) 使得 (rx 0)。记 (\mathrm{Tor}(M)) 为全体扭转元的集合它是 (M) 的子模称为扭转子模。若 (\mathrm{Tor}(M) M)称 (M) 为扭转模若 (\mathrm{Tor}(M) 0)称 (M) 为无扭模。定理 14.6.4PID 上无扭模的自由性设 (R) 是 PID(M) 是有限生成无扭 (R)-模则 (M) 是自由的存在基。证明梗概设 (M) 由 ({x_1,\dots,x_n}) 生成从中可取出极大线性无关子集例如 ({x_1,\dots,x_k}) 极大线性无关。则对其余生成元 (x_j) ((jk))存在非零 (r_j \in R) 及标量 (a_{ji})使 (r_j x_j \sum_{i1}^k a_{ji} x_i)。令 (d) 为所有这种 (r_j) 的乘积或最小公倍可证 ({x_1,\dots,x_k}) 经过适当调整构成基。证明依赖于 PID 中贝祖等式的运用以及无扭条件保证的消去律。∎该定理的直接推论是任何有限生成 (R)-模 (M)(R) PID都有直和分解[M \cong \mathrm{Tor}(M) \oplus F,]其中 (F) 是有限秩自由模(\cong R^r)。非负整数 (r) 由 (M) 唯一确定称为 (M) 的秩衡量其自由部分的大小。扭转部分 (\mathrm{Tor}(M)) 是有限生成的扭转模接下来将对其进一步分解。14.6.3 循环模与准素分解如果一个模可由单个元素生成则称之为循环模。任何循环 (R)-模同构于 (R/I)其中 (I) 是理想。在 PID 中(I (a)) 是主理想循环模即 (R/(a))。若 (a0)则 (R/(0) \cong R) 是秩 1 自由模若 (a \neq 0)则 (R/(a)) 是扭转模。定理 14.6.5中国剩余定理与准素分解设 (R) 是 PID(a \in R) 非零非单位且 (a p_1^{e_1} p_2^{e_2} \cdots p_k^{e_k}) 是互不相伴的素元幂分解。则存在环同构同时也是 (R)-模同构[R/(a) \cong R/(p_1^{e_1}) \oplus R/(p_2^{e_2}) \oplus \cdots \oplus R/(p_k^{e_k}).]这是代数中中国剩余定理的直接推论由于素元幂对应的理想两两互素(R/(a)) 同构于诸 (R/(p_i^{e_i})) 的直积而有限直积与直和一致。在模论中这给出了循环扭转模的准素分解。一个有限生成扭转模总可表为有限个循环子模的和结合准素分解即知它可分解为形如 (R/(p^e)) 的准素循环模的直和。这些 (p^e) 称为模的初等因子。14.6.4 不变因子形式与结构定理的陈述将自由部分与扭转部分的分解相结合并进一步将准素分解重组便得到以下完整分类定理 14.6.6PID 上有限生成模的结构定理设 (M) 是主理想整环 (R) 上的有限生成模。则存在唯一的非负整数 (r)秩及一组非零非单位的元素 (d_1, d_2, \dots, d_s \in R)满足整除关系[d_1 \mid d_2 \mid \cdots \mid d_s,]使得[M \cong R^r \oplus R/(d_1) \oplus R/(d_2) \oplus \cdots \oplus R/(d_s).]元素 (d_i) 称为不变因子在相伴意义下唯一确定。等价地模 (M) 也可分解为初等因子形式[M \cong R^r \oplus \bigoplus_{j1}^t R/(p_j^{e_j}),]其中 (p_j) 是素元不必互异且此分解在相伴和排列意义下唯一。证明思路存在性概要选取 (M) 的一组生成元 (x_1,\dots,x_n)得满模同态 (\varphi: R^n \to M)令 (K \ker\varphi)。由于 (R) 诺特(K) 有限生成设由 (y_1,\dots,y_m) 生成。将 (y_j) 用 (R^n) 的标准基 (e_1,\dots,e_n) 表出(y_j \sum_{i1}^n a_{ji} e_i)得关系矩阵 (A (a_{ji}) \in M_{m \times n}®)。应用 PID 上矩阵的史密斯正规形定理存在可逆矩阵 (P \in \mathrm{GL}_m®) 和 (Q \in \mathrm{GL}_n®)使得[P A Q \operatorname{diag}(d_1, d_2, \dots, d_k, 0, \dots, 0),]且 (d_1 \mid d_2 \mid \cdots \mid d_k \neq 0)。(P,Q) 的逆给出了 (R^m) 和 (R^n) 的基变换。这些基变换将满同态 (\varphi) 的表示对角化于是[M \cong R^n / \operatorname{im} A \cong R/(d_1) \oplus \cdots \oplus R/(d_k) \oplus R^{n-k}.]丢弃所有 (d_i 1)单位的平凡直和项即得不变因子分解。秩 (r n-k)。唯一性可通过局部化、拟合理想或外幂等工具证明此处从略。∎14.6.5 应用一有限生成阿贝尔群取 (R \mathbb{Z})有限生成 (\mathbb{Z})-模即有限生成阿贝尔群。结构定理此时成为任何有限生成阿贝尔群 (G) 同构于[G \cong \mathbb{Z}^r \oplus \mathbb{Z}/d_1\mathbb{Z} \oplus \cdots \oplus \mathbb{Z}/d_s\mathbb{Z},]其中 (r \ge 0)(d_i 1) 且 (d_1 \mid d_2 \mid \cdots \mid d_s)。这就是有限生成阿贝尔群的基本定理。当 (r0) 时群为有限群当 (s0) 时群为自由阿贝尔群 (\mathbb{Z}^r)。经典的“有限阿贝尔群的初等因子分解”将群分解为素数幂阶循环群的直和则对应于初等因子形式。14.6.6 应用二线性变换的有理标准形与若尔当标准形这是结构定理在经典线性代数中最深远的一个推论它将标准形理论连根拔起移植到模论的沃土中。设 (V) 是域 (F) 上的 (n) 维向量空间(T: V \to V) 是线性变换。考虑多项式环 (R F[x])。赋予 (V) 一个 (F[x])-模结构对于多项式 (f(x) \sum a_i x^i \in F[x]) 和向量 (v \in V)定义[f(x) \cdot v : f(T)(v) \sum a_i T^i(v).]容易验证这满足左模公理。由于 (V) 作为 (F)-向量空间是有限维的且 (\dim_F F[x] \infty)(V) 不可能是自由 (F[x])-模否则秩为无限。事实上由凯莱-哈密顿定理特征多项式 (\chi_T(x)) 满足 (\chi_T(T)0)故 (V) 是一个扭转模。应用 PID 结构定理[V \cong F[x]/(a_1(x)) \oplus F[x]/(a_2(x)) \oplus \cdots \oplus F[x]/(a_k(x)),]其中 (a_i(x) \in F[x]) 是首一多项式且 (a_1 \mid a_2 \mid \cdots \mid a_k)。最后的不变因子 (a_k(x)) 恰是 (T) 的极小多项式而乘积 (a_1 \cdots a_k) 等于 (T) 的特征多项式。每一个直和项 (F[x]/(a_i(x))) 作为一个 (F[x])-模受到 (x) 的乘法作用相当于一个线性变换即“乘 (x) 映射”。在适当选取的基下该作用的矩阵恰为多项式 (a_i(x)) 的伴侣矩阵。将所有块对角排列即得 (T) 的有理标准形。若域 (F) 代数封闭或特征多项式在 (F) 上分裂为一次因子之积则进一步将每个 (a_i(x)) 分解为素因子幂之积 ((x-\lambda)^e)应用初等因子分解每个准素循环模 (F[x]/((x-\lambda)^e)) 对应的线性变换矩阵恰为若尔当块。重新组合后即得到若尔当标准形。于是若尔当标准形的存在性与唯一性原来只是 PID 上模结构定理的一个特例。这一洞见极深刻地揭示了线性代数与模论的内在统一堪称公理化代数最令人叹为观止的成果之一。14.7 投射模、内射模与平坦模简介模论的世界浩瀚无垠除了自由模与 PID 上结构定理同调代数的发展催生了更多精细的模类它们在不同的问题语境中各擅胜场。投射模模 (P) 称为投射模如果对任意满同态 (f: M \to N \to 0) 及任意同态 (g: P \to N)存在提升 (\tilde{g}: P \to M) 使得 (f \circ \tilde{g} g)。自由模总是投射模但投射模未必自由。投射模恰为自由模的直和项。内射模是投射模的对偶概念。模 (I) 称为内射模如果对任意单同态 (f: M \to N) 及同态 (g: M \to I)存在延拓 (\tilde{g}: N \to I) 使得 (\tilde{g} \circ f g)。典型例子(\mathbb{Q}) 是 (\mathbb{Z})-内射模。平坦模模 (M) 称为平坦模如果张量积函子 (-\otimes_R M) 保持单同态。在交换环上平坦模概括了“局部自由”的良好行为在代数几何中对应向量丛的模截面。这些模类的引入极大丰富了我们处理正合列、导出函子与同调不变量时的工具箱。例如任何一个模都具有投射分解或内射分解其同调或上同调群——即 (\mathrm{Tor}) 与 (\mathrm{Ext})——成为刻画模与环性质的有力武器。公理化的模论由此与代数拓扑单纯同调、代数几何层上同调和表示论群上同调深度融合。14.8 结语公理的化身与代数的统一向量空间与模的公理化堪称现代代数学最光彩照人的篇章之一。它完美地展示了如何从寥寥数条简洁的运算律出发构建出一座跨越不同数学疆域的统一理论大厦。当标量构成域时我们得到了优雅通透的线性代数——基恒存在维数是不变的不变量线性映射化作矩阵的算术。这些性质使得线性代数成为科学计算的通用语言、工程技术的数学引擎。当标量放宽为一般环时我们失去了基的普遍性却收获了无与伦比的广阔疆土整数环上的模就是阿贝尔群多项式环上的模引出线性变换的标准形分类群代数上的模则是群表示论的主场。从抽象的模公理出发我们在代数数论中遇见戴德金环上的模在代数几何中遭遇凝聚层在代数拓扑中处理链复形。而主理想整环上有限生成模的结构定理则堪称这一公理体系的华彩乐章。它综合了群论、环论、模论中商结构与同态基本定理的全部工具最终用不变因子的整除链——或初等因子的素幂分解——清晰地勾勒出所有可能的结构。这一结果的影响力横跨数论理想类群、单位定理、代数几何除子、线丛、微分方程常系数线性系统求解乃至量子物理角动量算符的表示分类。在下一章——泛代数与等式逻辑中我们将再次升维。我们不再囿于某一种特定的代数结构而是将“代数结构”本身作为公理化研究的对象。我们将看到群、环、模的共性可以在 Birkhoff 的簇定理中获得终极解释由等式定义的类恰好是对子代数、同态像和直积封闭的类。公理化方法至此走向自我指涉成为数学基础的元理论。从具体实例的运算中抽出公理再以公理为唯一依据推演出普适定理最终让定理回归到最具体的数学对象中去验证与深化——这正是公理体系螺旋上升的认知之道也是代数学的灵魂所在。