数学公理体系大全:第十四章 向量空间与模：线性代数的公理化与推广

第十四章 向量空间与模：线性代数的公理化与推广

引言：从群与环到线性结构

前两章我们分别构筑了群论与环论的公理体系。群以单一的合成法则捕捉了对称性的本质，环则将加法与乘法熔铸为一种丰富的代数结构，其中乘法对加法的分配律架起了两种运算之间的桥梁。然而，在代数的版图上，还横亘着一类更为细腻的结构：它要求有一个交换群，并允许来自某个环（或域）的元素作为"标量"作用其上，标量乘法与群加法之间由分配律和结合律精细调控。这就是模 的概念------当标量环是域时，它回归为我们熟悉的向量空间；当标量环是整数环时，它蜕变为阿贝尔群；当标量环是一元多项式环时，它又化身带有线性算子的向量空间。模的公理化，以无与伦比的统一性，将表面上迥异的数学对象纳入同一个理论框架。

向量空间的公理化历史可追溯至赫尔曼·格拉斯曼的《线性扩张论》（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,\ (u+v)+w = u+(v+w))；
• (交换律) (\forall u,v \in V,\ u+v = v+u)；
• (零元存在) (\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 向量空间的例子

向量空间的例子极为广泛，从最具体的坐标空间到高度抽象的函数空间，无不体现其普适性。

1. 坐标空间 ：(F^n = {(x_1,\dots,x_n) \mid x_i \in F})，按分量定义加法和标量乘法：

   (x_1,\\dots,x_n) + (y_1,\\dots,y_n) = (x_1+y_1,\\dots,x_n+y_n),\\quad \\alpha\\cdot(x_1,\\dots,x_n) = (\\alpha x_1,\\dots,\\alpha x_n).

   这是有限维向量空间的原型。

2. 多项式空间：以 (Fx) 记系数在 (F) 中的一元多项式全体，按多项式加法和数乘构成无限维向量空间。进一步，次数不超过 (n) 的多项式全体 (P_n(F)) 是一个 (n+1) 维向量空间，基为 ({1,x,\dots,x^n})。

3. 矩阵空间：(M_{m\times n}(F))，即所有 (m \times n) 矩阵的集合，按矩阵加法和标量乘法构成 (mn) 维向量空间。

4. 函数空间 ：设 (X) 为任意集合，则全体函数 (f: X \to F) 构成的集合 (F^X)，配备逐点加法和数乘：

   (f+g)(x) = f(x)+g(x),\\quad (\\alpha f)(x) = \\alpha f(x),

   是一个向量空间。当 (X) 无穷时，该空间通常为无限维。

5. 序列空间：取 (X = \mathbb{N})，(F^\mathbb{N}) 即全体序列空间。当 (F=\mathbb{R}) 或 (\mathbb{C}) 时，其中收敛序列空间、有界序列空间、趋于零的序列空间等都是重要的子空间，通向泛函分析。

6. 域扩张：若 (E/F) 是域扩张，即 (F) 是 (E) 的子域，则 (E) 自动成为 (F)-向量空间，标量乘法即为 (E) 内部的乘法。例如 (\mathbb{C}) 是 (\mathbb{R})-向量空间，维数为 2；(\mathbb{R}) 是 (\mathbb{Q})-向量空间，维数为连续统。

7. 线性映射空间：从 (V) 到 (W) 的全体线性映射 (\mathcal{L}(V,W))，在逐点加法和标量乘法下构成向量空间，详见后文。

这些例子既有有限维也有无限维，既有代数构造也有分析对象，充分展示了向量空间公理体系的广阔疆域。

14.1.3 基本推论

从公理出发，无需引入坐标或基底，即可导出向量空间中最基本的运算律。这些推论虽然简单，却彰显了公理化方法的威力------一旦证明了这些性质，它们就对一切向量空间普适地成立。

定理 14.1.3（向量空间基本运算法则） 设 (V) 是域 (F) 上的向量空间。对任意 (v \in V) 和 (\alpha \in F)，下列性质成立：

1. (0_F \cdot v = \mathbf{0})；
2. (\alpha \cdot \mathbf{0} = \mathbf{0})；
3. ((-\alpha) \cdot v = -(\alpha \cdot v) = \alpha \cdot (-v))；
4. 若 (\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 (-v+v) = \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_{i=1}^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_{i=1}\^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_{i=1}^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) 归纳。(m=0) 时显然。假设引理对 (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_{i=1}\^{m-1} \\alpha_i w_i + \\sum_{i=m}\^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)（若 (m>n) 则第二和式为空，导致系数全为零）。进一步，可解出 (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) 称为线性映射（或线性变换，当 (V=W) 时），若满足：

1. （加法保持）(\forall u,v \in V,\ T(u+v) = T(u) + T(v))；
2. （标量保持）(\forall \alpha \in F,\ v \in V,\ T(\alpha v) = \alpha T(v))。

这等价于 (T) 保持所有有限线性组合：

T!\\left(\\sum_{i=1}\^n \\alpha_i v_i\\right) = \\sum_{i=1}\^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)，定义

(S+T)(v) = S(v) + T(v),\\quad (\\alpha S)(v) = \\alpha S(v),

则 (\mathcal{L}(V,W)) 本身也成为 (F)-向量空间。当 (V=W) 时，记 (\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 = k+m)。∎

此公式将映射的"信息损失"（核的维数）与"有效像空间"（像的维数）定量关联，是线性代数中无数计数论证的源头。

14.3.3 矩阵表示

基的选取为线性映射提供了有限维情形下的具体表示------矩阵。

设 (\mathcal{B} = {v_1,\dots,v_n}) 是 (V) 的基，(\mathcal{C} = {w_1,\dots,w_m}) 是 (W) 的基。对每个 (j=1,\dots,n)，存在唯一一组标量 (a_{1j}, a_{2j}, \dots, a_{mj} \in F) 使得

T(v_j) = \\sum_{i=1}\^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 = {v+U \mid v \in V})，在其上定义标量乘法：

\\alpha (v+U) := \\alpha v + U, \\quad \\alpha \\in F,\\ v \\in V.

需验证良定义：若 (v+U = 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) = v+U) 是线性满射，且 (\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)（即每个向量可表为 (u+w)）且 (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(m+n) = rm + rn) 对所有 (r \in R, m,n \in M)；
• (M4) ((r+s)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 (x+I) = rx + I)。
• 多项式环 (Rx) 是 (R)-模。
• 设 (G) 是有限群，(F) 是域，群代数 (FG) 上的模等同于群表示。

14.5.2 子模、商模与模同态

子模、商模、模同态的定义与向量空间完全平行：子模是对加法和标量乘法封闭的非空子集；商模 (M/N) 是加法商群配上良定义的标量乘法；模同态是保持加法和标量乘法的映射。

核与像的理论、同态基本定理完全平移过来：

• 若 (\varphi: M \to N) 是模同态，则 (\ker \varphi) 是 (M) 的子模，(\operatorname{im} \varphi) 是 (N) 的子模；
• 第一同构定理：(M / \ker \varphi \cong \operatorname{im} \varphi)；
• 第二同构定理：((A+B)/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_{i=1}\^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 Number，IBN），如果对任意自由 (R)-模 (R^{\oplus m} \cong R^{\oplus n}) 蕴含 (m=n)。

所有非零交换环都具有 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)，由向量空间维数的不变性即得 (m=n)。

然而，确实存在非交换环不具备 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)，下列叙述等价：

1. (M) 是诺特模；
2. (M) 的每个子模都是有限生成的；
3. (M) 的非空子模族在包含关系下总有极大元。

若环 (R) 作为左 (R)-模本身是诺特的，则称 (R) 为左诺特环。所有主理想整环都是诺特环（因为每个理想由单个元素生成）。域显然也是诺特环。希尔伯特基定理进一步断言：若 (R) 是诺特环，则多项式环 (Rx) 也是诺特环。

定理 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.4（PID 上无扭模的自由性） 设 (R) 是 PID，(M) 是有限生成无扭 (R)-模，则 (M) 是自由的（存在基）。

证明梗概：设 (M) 由 ({x_1,\dots,x_n}) 生成，从中可取出极大线性无关子集（例如 ({x_1,\dots,x_k}) 极大线性无关）。则对其余生成元 (x_j) ((j>k))，存在非零 (r_j \in R) 及标量 (a_{ji})，使 (r_j x_j = \sum_{i=1}^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))。若 (a=0)，则 (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.6（PID 上有限生成模的结构定理） 设 (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_{j=1}\^t R/(p_j\^{e_j}),

其中 (p_j) 是素元（不必互异），且此分解在相伴和排列意义下唯一。

证明思路（存在性概要） ：

1. 选取 (M) 的一组生成元 (x_1,\dots,x_n)，得满模同态 (\varphi: R^n \to M)，令 (K = \ker\varphi)。由于 (R) 诺特，(K) 有限生成，设由 (y_1,\dots,y_m) 生成。
2. 将 (y_j) 用 (R^n) 的标准基 (e_1,\dots,e_n) 表出：(y_j = \sum_{i=1}^n a_{ji} e_i)，得关系矩阵 (A = (a_{ji}) \in M_{m \times n}®)。
3. 应用 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) 的基变换。
4. 这些基变换将满同态 (\varphi) 的表示对角化，于是

   M \\cong R\^n / \\operatorname{im} A \\cong R/(d_1) \\oplus \\cdots \\oplus R/(d_k) \\oplus R\^{n-k}.

5. 丢弃所有 (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)。

这就是有限生成阿贝尔群的基本定理。当 (r=0) 时群为有限群，当 (s=0) 时群为自由阿贝尔群 (\mathbb{Z}^r)。经典的"有限阿贝尔群的初等因子分解"（将群分解为素数幂阶循环群的直和）则对应于初等因子形式。

14.6.6 应用二：线性变换的有理标准形与若尔当标准形

这是结构定理在经典线性代数中最深远的一个推论，它将标准形理论连根拔起，移植到模论的沃土中。

设 (V) 是域 (F) 上的 (n) 维向量空间，(T: V \to V) 是线性变换。考虑多项式环 (R = Fx)。赋予 (V) 一个 (Fx)-模结构：对于多项式 (f(x) = \sum a_i x^i \in Fx) 和向量 (v \in V)，定义

f(x) \\cdot v := f(T)(v) = \\sum a_i T\^i(v).

容易验证这满足左模公理。由于 (V) 作为 (F)-向量空间是有限维的，且 (\dim_F Fx = \infty)，(V) 不可能是自由 (Fx)-模（否则秩为无限）。事实上，由凯莱-哈密顿定理，特征多项式 (\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 Fx) 是首一多项式，且 (a_1 \mid a_2 \mid \cdots \mid a_k)。最后的不变因子 (a_k(x)) 恰是 (T) 的极小多项式，而乘积 (a_1 \cdots a_k) 等于 (T) 的特征多项式。

每一个直和项 (Fx/(a_i(x))) 作为一个 (Fx)-模，受到 (x) 的乘法作用相当于一个线性变换，即"乘 (x) 映射"。在适当选取的基下，该作用的矩阵恰为多项式 (a_i(x)) 的伴侣矩阵 。将所有块对角排列，即得 (T) 的有理标准形。

若域 (F) 代数封闭（或特征多项式在 (F) 上分裂为一次因子之积），则进一步将每个 (a_i(x)) 分解为素因子幂之积 ((x-\lambda)^e)，应用初等因子分解，每个准素循环模 (Fx/((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 的簇定理中获得终极解释：由等式定义的类恰好是对子代数、同态像和直积封闭的类。公理化方法至此走向自我指涉，成为数学基础的元理论。

从具体实例的运算中抽出公理，再以公理为唯一依据推演出普适定理，最终让定理回归到最具体的数学对象中去验证与深化------这正是公理体系螺旋上升的认知之道，也是代数学的灵魂所在。