数学上，同调代数领域中的一个链复形formula_1是一个交换群或者模的序列"A", "A", "A"... 通过一系列同态"d" : "A"→"A"相连，使得每两个连接的映射的复合为零："d" o "d" = 0对于所有"n"。它们常常写作如下形式：定义链复形的同调群为 formula_3。当所有同调群为零时，此链复形为正合的。链复形概念的一个变种是"上链复形"。一个上链复形formula_4是一个交换群或者模的序列"A", "A", "A"...由一系列同态"d" : "A"→"A"相连，使得任