在数学中,正合序列、正合列或译作恰当序列于同调代数中居于核心地位,其中特别重要的一类是短正合序列。
序列
0——> A' ——> A 正合的充要条件是 A' ——> A 是单射。序列
A‘ ——> A'' ——> 0 正合的充要条件是 A ——> A'' 是满射。对任何态射 f:A ——> B 以下序列都是正合的
0——>Ker f ——> A ——> B ——> Coker f ——> 0 注意:在群的范畴中,必须要求 f 在 b 中的像是正规子群才能考虑 Coker(f),故上述正合性对一般范畴不成立。