三类模.docVIP

在 HYPERLINK /wiki/%E4%BA%A4%E6%8F%9B%E4%BB%A3%E6%95%B8 \o 交换代数 交换代数中，一个 HYPERLINK /wiki/%E7%92%B0 \o 环 环 R 上的投射模是 HYPERLINK /wiki/%E8%87%AA%E7%94%B1%E6%A8%A1 \o 自由模 自由模的推广，它有多种等价的定义；就几何的观点，投射模之于自由模一如 HYPERLINK /wiki/%E5%90%91%E9%87%8F%E4%B8%9B \o 向量丛 向量丛之于平凡向量丛。在 HYPERLINK /wiki/%E7%AF%84%E7%96%87%E8%AB%96 \o 范畴论 范畴论的语言中，投射模可以推广为一个 HYPERLINK /wiki/%E9%98%BF%E8%B2%9D%E7%88%BE%E7%AF%84%E7%96%87 \o 阿贝尔范畴 阿贝尔范畴中的 HYPERLINK /wiki/%E6%8A%95%E5%B0%84%E5%AF%B9%E8%B1%A1 \o 投射对象 投射对象。 投射模首见于 HYPERLINK /wiki/%E6%98%82%E5%88%A9%C2%B7%E5%98%89%E5%BD%93 \o 昂利·嘉当 昂利·嘉当与 HYPERLINK /wiki/%E5%A1%9E%E7%BC%AA%E5%B0%94%C2%B7%E8%89%BE%E4%BC%A6%E4%BC%AF%E6%A0%BC \o 塞缪尔·艾伦伯格 塞缪尔·艾伦伯格的重要著作 Homological Algebra，由此定义的 HYPERLINK /wiki/%E6%8A%95%E5%B0%84%E5%88%86%E8%A7%A3 \o 投射分解 投射分解是同调代数的基本概念之一。 定义 此节给出投射模的两种等价定义。 自由模的直和项 投射模最直接的刻划是一个自由模的直和项；换言之，一个模 P 是投射模，当且仅当存在另一个模 Q 使得 是 HYPERLINK /wiki/%E8%87%AA%E7%94%B1%E6%A8%A1 \o 自由模 自由模。此时 P 是 F 的一个投影态射的项。 提升性质 较容易操作也较符合 HYPERLINK /wiki/%E7%AF%84%E7%96%87%E8%AB%96 \o 范畴论 范畴论思想的定义是利用提升性质。模 P 是投射模，当且仅当对任何模 HYPERLINK /wiki/%E6%BB%BF%E5%B0%84 \o 满射 满射 及模态射 ，存在模态射 使得 （请留意：在此不要求唯一性）。用 HYPERLINK /wiki/%E4%BA%A4%E6%8D%A2%E5%9B%BE \o 交换图 交换图表现则更明了： 此定义的优势在于它可以推广到 HYPERLINK /wiki/%E9%98%BF%E8%B2%9D%E7%88%BE%E7%AF%84%E7%96%87 \o 阿贝尔范畴 阿贝尔范畴，从而引至 HYPERLINK /wiki/%E6%8A%95%E5%B0%84%E5%AF%B9%E8%B1%A1 \o 投射对象 投射对象的概念，在此并不需要考虑自由对象。反转箭头则得到对偶概念 HYPERLINK /wiki/%E5%85%A7%E5%B0%84%E6%A8%A1 \o 内射模 内射模。 另一种在探讨 HYPERLINK /wiki/Ext%E5%87%BD%E5%AD%90 \o Ext函子 Ext函子时特别有用的表述如下：模 P 是投射模，当且仅当任何 HYPERLINK /wiki/%E6%AD%A3%E5%90%88%E5%BA%8F%E5%88%97 \o 正合序列 正合序列 都诱导出正合序列 换言之，Hom(P, ? ) 是 HYPERLINK /wiki/%E6%AD%A3%E5%90%88%E5%87%BD%E5%AD%90 \o 正合函子 正合函子；实则对任何模 M，函子 Hom(M, ? ) 总是左正和的，而投射性相当于右正合性。由此立刻得到投射模的同调刻划：P 是投射模当且仅当 向量丛与局部自由模 投射模理论的想法之一是 HYPERLINK /wiki/%E5%90%91%E9%87%8F%E4%B8%9B \o 向量丛 向量丛的类比，对于紧 HYPERLINK /wiki/%E8%B1%AA%E6%96%AF%E5%A4%9A%E5%A4%AB%E7%A9%BA%E9%96%93 \o 豪斯多夫空间 豪斯多夫空间上的实值 HYPERLINK /wiki/%E9%80%A3%E7%BA%8C%E5%87%BD%E6%95%B8 \o 连续函数 连续函数环，或紧 HYPERLINK /wiki/%E5%85%