內射分解

在同調代數中，一個阿貝爾範疇 $𝒜$ 中的對象 $A$ 之內射分解定義為一正合序列

$0⟶A⟶I^0⟶\cdots ⟶I^n⟶I^{n+1}⟶\cdots$

或簡寫成 $0\to A\to I^{\bullet }$，使得其中每個 $I^n$ 皆為內射對象。固定對象 $A$，則任兩個內射分解至多差一個鏈複形的同倫等價。

若 $𝒜$ 中的每個對象都有內射分解，則稱 $𝒜$ 有充足的內射元，這類範疇上能以內射分解開展同調代數的研究。典型例子包括：

• 环 $R$ 上的 $R$-模構成之範疇 ${𝐌𝐨𝐝}_R$。
• 取值在有充足內射元的阿貝爾範疇的層，這時內射分解是層上同調的理論基石。

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