在同调代数中，一个阿贝尔范畴 formula_1 中的对象 formula_2 之内射分解定义为一正合序列或简写成 formula_4，使得其中每个 formula_5 皆为内射对象。固定对象 formula_2，则任两个内射分解至多差一个链复形的同伦等价。若 formula_1 中的每个对象都有内射分解，则称 formula_1 有充足的内射元，这类范畴上能以内射分解开展同调代数的研究。典型例子包括：与此对偶的概念是射影分解。