查看“︁內射分解”︁的源代码

在[[同調代數]]中，一個[[阿貝爾範疇]] <math>\mathcal{A}</math> 中的對象 <math>A</math> 之'''內射分解'''定義為一[[正合序列]]
: <math>0 \longrightarrow A \longrightarrow I^0 \longrightarrow \cdots \longrightarrow I^n \longrightarrow I^{n+1} \longrightarrow \cdots </math>
或簡寫成 <math>0 \rightarrow A \rightarrow I^\bullet</math>，使得其中每個 <math>I^n</math> 皆為[[內射對象]]。固定對象 <math>A</math>，則任兩個內射分解至多差一個[[鏈複形|鏈複形的同倫等價]]。

若 <math>\mathcal{A}</math> 中的每個對象都有內射分解，則稱 <math>\mathcal{A}</math> '''有充足的內射元'''，這類範疇上能以內射分解開展同調代數的研究。典型例子包括：
* [[环 (代数)|环]] <math>R</math> 上的 <math>R</math>-[[模]]構成之範疇 <math>\mathbf{Mod}_R</math>。
* 取值在有充足內射元的阿貝爾範疇的[[層 (數學)|層]]，這時內射分解是[[層上同調]]的理論基石。

與此對偶的概念是[[射影分解]]。

{{math-stub}}

[[Category:交換代數|N]]
[[Category:同調代數|N]]