定義
A を環、M を A-加群とする。
M の部分加群の列
M = M_0 ⊃ M_1 ⊃ M_2 ... ⊃ M_n = 0
があり、各 i に対して M_i/M_(i+1) が単純とする。
このとき、列 (M_i) を M の組成列と呼ぶ。
n をこの組成列の長さという。