formula_3 的右正合性的尺度。
构造与初步性质.
右导出函子.今假设 formula_4 中有充足的内射元。设 formula_13，根据假设，存在内射分解：取函子 formula_3，得到上链复形：定义 formula_17 为其第 formula_18 个上同调群，特别是有 formula_19。注意到两点：
左导出函子.左导出函子的建构与右导出函子对偶。设 formula_25 为右正合加法函子，并假设 form