Ext函子的构造（内射分解法）与性质

一、Ext函子的定义与基本性质

在同调代数中，Ext函子是研究模之间的同调性质的核心工具。给定环R的模A和B，Ext^i(A,B)定义为长同调序列为$0 \rightarrow \text{Hom}_R(A,B) \rightarrow \text{Hom}_R(A,B) \rightarrow \cdots$的i次外延群。其本质在于通过构造精确序列来刻画模之间的同调关系。

二、内射分解法的构造原理

内射分解法是构造Ext函子的典型方法，其核心思想是利用内射模的性质构建精确序列。具体步骤如下：

内射分解的构造
对于任意模A，存在内射分解$0 \rightarrow A \rightarrow I_0 \rightarrow I_1 \rightarrow \cdots$，其中$I_n$为内射模。通过将模A嵌入到内射序列中，可构建精确序列。
精确序列的建立
构造精确序列$0 \rightarrow \text{Hom}_R(-,B) \rightarrow \text{Hom}_R(-,B) \rightarrow \cdots$，其中每个映射通过内射分解实现。该序列的i次外延群即为Ext^i(A,B)。
同调性质的体现
内射分解法确保了Ext函子的同调性质，例如在局部环上，Ext^i(A,B)的值可由A的局部化性质直接计算，从而简化了计算过程。

三、内射分解法的详细步骤

内射模的选取
选择内射模$I_n$，通过序列$0 \rightarrow A \rightarrow I_0 \rightarrow I_1 \rightarrow \cdots$，确保每个映射均为内射。
精确序列的构建
基于内射分解，构造精确序列$0 \rightarrow \text{Hom}_R(-,B) \rightarrow \text{Hom}_R(-,B) \rightarrow \cdots$，其中每个映射通过内射分解的自然映射实现。
外延群的计算
通过精确序列的极限，计算Ext^i(A,B)的值。例如，在局部环R上，Ext^i(A,B)的值可由A的局部化性质直接得出。

四、Ext函子的性质

对称性
Ext^i(A,B)与Ext^{n-i}(B,A)存在对称关系，即$Ext^i(A,B) \cong Ext^{n-i}(B,A)$，其中n为序列长度。
零化条件
当模A在环R中为平直模时，Ext^i(A,B)=0，这反映了平直模在同调代数中的重要性质。
环论中的应用
在环论中，Ext^i(A,B)的值可由A的局部化性质计算，例如在整数环R上，Ext^i(A,B)的值可直接通过A的局部化得到。
精确序列的性质
内射分解法确保了精确序列的精确性，使得Ext函子的计算更加高效，尤其在处理复杂模时，能够显著简化计算过程。

五、结论

内射分解法为构造Ext函子提供了有效的途径，通过精确序列的建立，能够系统地刻画模之间的同调关系。其核心思想在于利用内射模的性质，构建精确序列以计算外延群。同时，Ext函子的性质在环论中具有重要应用，为研究模的同调性质提供了理论支撑。未来研究可进一步探索内射分解法在更复杂环结构中的应用，以及其在模论中的更深入分析。