内射模与投射模
投射模和内射模是模论中的对偶概念，可以通过以下直观方式理解：
投射模（Projective Module）
核心思想：能够被“投影”的自由模块件。 - 直观类比：想象自由模是“标准乐高积木”，投射模则是这些积木的直和项（如拆分后的模块）。即使原积木被拼接成更复杂的结构，投射部分仍保持独立性。 - 关键性质： - 任何满同态到投射模都分裂（存在右逆）。 - 等价于：自由模的直和项。 - 例子： - 自由模（如ℤ²是投射ℤ-模）。 - ℤ/2ℤ不是投射ℤ-模，因为无法从ℤ中拆出。
内射模（Injective Module）
核心思想：具有“吸收”任何映射的能力。 - 直观类比：类似柔软的海绵，任何嵌入子模的映射都能被完整“吸收”到内射模中。 - 关键性质： - 任何单同态从内射模出发都分裂（存在左逆）。 - 等价于：通过Baer准则（对理想的嵌入均可延拓）。 - 例子： - ℚ/ℤ是内射ℤ-模（可除性保证任何部分映射可延拓）。 - ℤ本身不是内射ℤ-模（无法延拓某些嵌入，如2ℤ↪ℤ）。
对偶性对比
| 性质 | 投射模 | 内射模 |
|---|---|---|
| 正合性 | Hom(P, -) 保持满射 | Hom(-, I) 保持单射 |
| 存在性 | 自由模存在足够投射模 | 诺特环上内射模分解存在 |
| 典型例子（ℤ-模） | 自由模（如ℤ²） | 可除模（如ℚ/ℤ） |
| 直观操作 | 生成方向（输出保持结构） | 容纳方向（输入保持结构） |
总结
- 投射模像“标准化的生成工具”，能自由分解并覆盖其他模。
- 内射模像“万能的容器”，能接收任何来自子模的信息并完整保存。
通过对比自由模的可分解性与可除模的包容性，可以更直观把握这两类模的几何与代数意义。
本页面最近更新：，更新历史
发现错误？想一起完善？ 在 GitHub 上编辑此页！
本页面贡献者：OI-wiki
本页面的全部内容在 协议之条款下提供，附加条款亦可能应用