在抽象代数中。合成列是借着将代数对象（如群、模等等）拆解为简单的成份，以萃取不变量的方式之一。以模为例，一般环上的模未必能表成单模的直和。但是我们可退而求其次，考虑一组过泸 formula_1，使每个子商formula_2 皆为单模；这些单模称为合成因子，formula_3 称为合成长度，都是 formula_4 的不变量。亦可考虑 formula_4 的子模范畴 formula_6，此时 formula_7 可唯一表为合成因子之和；在此意义下，K-群提供了模的半单化。合成列未必存在，即使存在也未必唯