formula_36 为其导函子。根据导函子的一般理论，可知：在上述定义中，若固定一个域 formula_41，并以 formula_42 代替 formula_10，得到的上同调群依然同构。
标准分解.导出函子的定义来自内射分解，不便于具体计算。然而注意到 formula_44，其中 formula_45 被赋予平凡的 formula_1 作用：formula_47，故群上同调可以用Ext函子表达为另一方面，formula_1-模范畴中也有充足的射影对象，若取一 formu