定義
C をアーベル圏（代数的整数論019の533）とする。
0 → N → M → L → 0 を C における完全列（代数的整数論019の651）とする。
N → M が M の直和因子（>>309）であるとき、 この完全列は分解(split) すると言う。