正合列是一个链复形，其中每个链映射的像都是下一个链映射的核，即每个链映射的像都是下一个链映射的子对象。这意味着每个链复形的核和像都是相等的，从而使得该链复形的同调群为零。正合列在代数拓扑学、代数几何学和代数学中都有广泛的应用。