0，得到的上同调群依然同构。
标准分解.导出函子的定义来自内射分解，不便于具体计算。然而注意到 formula_44，其中 formula_45 被赋予平凡的 formula_1 作用：formula_47，故群上同调可以用Ext函子表达为另一方面，formula_1-模范畴中也有充足的射影对象，若取一 formula_45 的射影分解 formula_51，则有自然的同构 formula_52。最自然的分解是标准分解而 formula_56 由 formula_57 给出。