定義
A を環、
0 → N → M → L → 0 を A-加群の完全列とする。
N → M の像が M の直和因子となるとき、この完全列は分解(split)
するという。

命題
A を環、
0 → N → M → L → 0 を A-加群の完全列とする。
これが分解するためには、f: M → L のとき、
A-加群の射 s: L → M で fs = 1 となるものがあることが
必要十分である。

証明
各自に任せる。