1.6. 投射模与正合列
在这一讲中, 我们同样默认 是任意环, 且所有模都是左 -模.
1.6.1正合列
我们引入研究模 (以及将来的同调代数) 中最重要的工具之一: 正合列.
定义 1.6.1.1 (链复形、正合列). 设 为一列模, 且它们之间有一系列 -线性映射 . 用图表表示可能更加直观:
如果任意两个相邻映射复合为 0 (即对于任意 都有 ), 那么我们称这一列为链复形 (chain complex).
特别地, 如果 , 则我们说该列在 处正合 (exact at ). 如果该列在每处都正和, 我们将这一列叫做正合列 (exact sequence) .
正合列是数学中极其重要的工具: 它不仅在代数中有广泛的应用, 在微分几何甚至分析中都有其应用.
例 1.6.1.2. 下面给出一个分析 (微分几何) 中正合列的例子. 令 为所有从 到 的光滑函数的集合, 其中 , 是欧氏空间中的开集. 不难看出这些集合都是 -模 (即 -向量空间) .
那么我们有如下的正合列: 其中 是梯度算符, 是旋度算符, 是散度算符.
证明可以在向量分析或多元微积分的课本中找到.
下一引理带我们认识模论和同调代数中一种重要的证明方法: 追图法 (diagram chasing).
引理 1.6.1.3 (四引理, four lemma). 设下面的 -模的交换图中两行都正合: 那么:
1. | 若 都是满映射且 是单映射, 那么 也是满映射; |
2. | 若 是满映射且 是单映射, 那么 也是单映射. |
证明. 我们用追图法证明 1. 设 , 因为 是满映射, 那么必有 使得 .
由上图的交换性, 又可知 . 所以 (因为 是单映射), 换言之 , 或曰 , 所以有 使得 .
再次由上图交换性可知, , 即 , . 换言之, 存在 使得 .
又因为 是满映射, 可知有 使得 . 因此, 再由上图交换性可知, , 亦即 . 可知必定存在一元素 使得 , 是满映射.
推论 1.6.1.4 (五引理, five lemma). 设下面的 -模的交换图中两行都正合: 那么若 是同构, 是满映射, 是单映射, 则 是同构.
接下来我们将重点放在更具体、更简单的一些正合列上.
定义 1.6.1.5 (短正合列). 如果一个正合列只在 三处不为零 (即除此之外之处都有 ) , 则称该正合列为短正合列 (short exact sequence) . 在图示中, 我们一般省略除第一个非零项前的项和最后一个非零项后的项以外的所有项:
还可以更简短地表示为:
例 1.6.1.6. 设 为任意模, 为 -线性映射. 我们有如下两个十分基本且重要的正合列:
且由 1.5.2.1 可知, 每个短正合列都可写为前者的形式, 至多相差一个同构.
短正合列是研究模极其重要的工具. 首先我们做出下面的观察:
命题 1.6.1.7. 若是一短正合列, 则 必定是单映射, 必定是满映射.
下面的引理刻画了一类很重要的正合列. 它们一般被认为是结构最简单, 也最基本的正合列:
引理 1.6.1.8 (分裂引理, splitting lemma). 设为一短正合列. 那么下列条件等价:
1. | (左分裂) 存在一线性映射 使得 (换言之, 左可逆) ; |
2. | (右分裂) 存在一线性映射 使得 (换言之, 右可逆) ; |
3. | (直和) . 更具体地, 存在一个同构 使得交换. |
满足上面任意等价条件的正合列, 称为分裂正合列 (split exact sequence) .
证明. 我们先证明条件 3 能推出条件 1 和 2, 再分别证明条件 1 和条件 2 能推出条件 3, 原题即得证.
• | (3 1) 和 (3 ). 取 , 其中 是典范投影映射. 因为 , 且由上图交换性可知 , 即 . 那么 . 同理, 取 , 即有 , 其中 是典范包含映射. |
• | (1 3). 定义 为 . 这显然是线性的, 且使上面的交换图交换. 接下来, 我们证明 是双射. 先证明 是单射: 当且仅当 , . 换言之, . 由于 , 也可写作 . 若 , 那么根据定义有 使得 , 且 . 换言之, . 但注意到 , 所以必然 . 又因为 且 是 -线性的, 所以必然有 . 换言之, . 最后, 我们证明 是满射. 由 1.6.1.7 知 是满映射, 所以必有 使得 . 又因为 , 所以对于任何 , 都有 使得 . 注意到 . 因而对于任意 , 都有 使得其中 是一使得 的元素. 换言之, 是满射. |
• | (2 3). 证明类似, 留作练习. |
1.6.2投射模
投射模是一类特殊的模, 在我们接下来的讨论中十分重要.
定义 1.6.2.1 (投射模). 设 是一个模. 如果存在一个模 使得 是自由模, 则称 是 投射模 (projective module).
显然, 所有自由模都是投射模, 但反之不然.
例 1.6.2.2 (不是自由模的投射模). 设 都是环, 并令 , . 不难看出, 和 都是左 -理想, 因此也可以看作 模. 更进一步, 我们还不难看出 , 因此 都是投射模 (因为环看作自己本身上的模时显然是自由模) .
定义 1.6.2.3 (提升性质). 令 为模, 是 -线性映射. 如果对所有 -线性映射 都存在一 -线性映射 满足 , 则我们称 对 满足提升性质 (lifting property).
这一性质也可以用下面的交换图表示: 注意提升性质不是万有性质, 这里 不一定唯一.
定理 1.6.2.4. 下列条件等价:
1. | 是投射模; |
2. | 对所有满映射都满足提升性质; |
3. | 对任何模 , 短正合列都分裂. |
证明. 我们分别证明条件 1 可推出条件 2、条件 2 可推出条件 3、条件 3 可推出条件 1, 便可证明三个条件全部等价.
• | . 我们先证明自由模对任意满映射都满足提升性质. 设 是自由模, 并取其一组基 . 因为 是满映射, 所以对任意 , 都能够选定一个 使得 . 定义 使得 . 因为 是一组基, 显然是线性映射 (因为线性映射被在基上的作用唯一确定) , 并且显然 . 那么, 一般地, 若 是投射模, 则必有另一模 使得 是自由模. 那么 对 满足提升性质. 同时, 注意到任何 都可以延伸成一个 到 的线性映射: 记该映射为 , 则 . 由提升性质, 可知有一映射 使得 . 记典范包含映射为 , 则显然 是 的提升. |
• | . 令 为一满映射, 那么若 对所有满映射满足提升条件, 则其对 也必然满足提升条件. 由提升条件知有映射 使得 , 进而由 1.6.1.8 可知任意正合列 都分裂. |
• | . 令 为由 生成的自由模, 即 . 易见有一满映射 , . 由 1.5.2.1 可知 , 则有正合列: 由题设, 该正合列分裂, 则 , 由定义知 投射. |
推论 1.6.2.5. 向量空间的正合列都分裂.
推论 1.6.2.6 (零空间维数和秩的关系, rank-nullity theorem). 若 都是有限维的 -向量空间, 是一线性映射, 则 .
证明. 易知下列正合:
推论 1.6.2.7. 令 为有限维 -向量空间, 且 . 若 , 则从 到 没有满映射; 若 , 则从 到 没有单映射.
推论 1.6.2.8. 设 为一有限维 -向量空间, 为其子空间. 那么 .