在数学中，正合串行、正合列或译作恰当串行于同调代数中居于核心地位，其中特别重要的一类是短正合串行。

一个由某类适宜的范畴（例如阿贝尔群、矢量空间或模，详如后述）中的对象与态射构成的串行

被称作在处正合，若且唯若

一般而言，该范畴中的串行

被称作是正合的，若且唯若它在、、处正合。类似定义可以推广至没有端点的无穷串行。

为了探讨串行的正合性，范畴中必须能构造一个态射的像与核 ，并确保这两种构造具备在阿贝尔群、矢量空间或模的情形一样的范畴论性质。处理这类问题的框架是阿贝尔范畴，以下考虑的范畴如未说明皆为阿贝尔范畴。

An exact sequence is a concept in mathematics, especially in ring and module theory, homological algebra, as well as in differential geometry and group theory. An exact sequence is a sequence, either finite or infinite, of objects and morphisms between them such that the image of one morphism equals the kernel of the next.