a_23。
将正合序列拆解为短正合序列.正合序列可以透过核Ker与上核Coker的构造拆解为短正合序列，构造方式如下：考虑一正合序列设其中formula_26，这就给出了一个短正合序列一般而言，设formula_28为链复形，我们同样定义formula_29；此时链复形的正合性等价于所有短链formula_30的正合性。
推广.给定一个短正合序列有时也称formula_13为formula_15经由formula_14的扩张。详阅条目Ext函