3.3. 投射模
若有限生成 -模 有子集 使得
(1) | (作为左 -模), |
(2) | , |
则称 是 -自由模. 集合 称为 的自由 -基.
易得若 是 的自由基而 是任意 -模, 则任意映射 确定了唯一 -同态 . 只需令 即可, 唯一性由直和表示的唯一性得到.
若 是自由的, 且有 -同态的图表其中 是正合的, 即 , 则存在同态 满足 . 对任意 , . 故存在 , 使得 . 令 为 . 则 , 满足 .
对左 -模的正合列若存在 -同态使得 ( 上的恒等映射), 则称这个正合列分裂. 若正合列 分裂, 分裂同态 , 则
(1) |
|
(2) |
|
(3) |
故 .
(1) 是因为 是单射.
(2)
(3)
对有限生成 -模 , 如果只要就存在 -同态 使得 , 则称 为 -投射模. 显然自由 -模是投射模.
定理 3.3.1. 设 是有限生成 -模. 以下命题等价.
(1) | 是投射模. |
(2) | 任意正合列 都分裂. |
(3) | 是某个自由 -模的直和项. |
证明. . 若 是投射模, 则有以下交换图故 .
. 取 的生成元集 , 定义自由模 . 令 . 由于 分裂, 故 .
. 设 是自由模 的直和项, . 有以下交换图则 . 令 . 则 .
我们主要在以下情况中使用定理 3.3.1: 设 是环且 是 的左理想. 若 是 的直和项, 即 , 则 是 -投射模.
有限环上的投射模会在第 13 中刻画.