3.3. 投射模

若有限生成 -模 有子集 使得

(1)

(作为左 -模),

(2)

,

则称 -自由模. 集合 称为 的自由 -基.

易得若 的自由基而 是任意 -模, 则任意映射 确定了唯一 -同态 . 只需令 即可, 唯一性由直和表示的唯一性得到.

是自由的, 且有 -同态的图表其中 正合的, 即 , 则存在同态 满足 . 对任意 , . 故存在 , 使得 . 令 . 则 , 满足 .

对左 -模的正合列若存在 -同态使得 ( 上的恒等映射), 则称这个正合列分裂. 若正合列 分裂, 分裂同态 , 则

(1)

(2)

(3)

.

(1) 是因为 是单射.

(2)

(3)

对有限生成 -模 , 如果只要就存在 -同态 使得 , 则称 -投射模. 显然自由 -模是投射模.

定理 3.3.1. 是有限生成 -模. 以下命题等价.

(1)

是投射模.

(2)

任意正合列 都分裂.

(3)

是某个自由 -模的直和项.

证明. . 若 是投射模, 则有以下交换图.

. 取 的生成元集 , 定义自由模 . 令 . 由于 分裂, 故 .

. 设 是自由模 的直和项, . 有以下交换图. 令 . 则 .

我们主要在以下情况中使用定理 3.3.1: 设 是环且 的左理想. 若 的直和项, 即 , 则 -投射模.

有限环上的投射模会在第 13 中刻画.