:::谱序列.今设 formula_42 为含单位元的环，并固定一环同态 formula_43。则由双函子的自然同构导出格罗滕迪克谱序列：对每个 formula_10-模 formula_46 及 formula_4-模 formula_48，有谱序列这个关系称为换底。
Ext函子与扩张.Ext 函子得名于它与群扩张的联系。抽象地说，给定两个对象 formula_50，在扩张的等价类与 formula_52 之间有一一对应，下将详述。对任两个扩张可以构造其 Ba