群的情形.设 formula_8 为群，formula_8 的合成列是对应于一族子群满足 formula_11，使其子商 formula_12 皆为非平凡的单群；易言之，formula_13 是 formula_14 的极大正规子群。这些子商也称作合成因子。对于有限群，恆存在合成列。
模的情形.固定环 formula_15 及 formula_15-模 formula_4。formula_4 的合成列是一族子模其中每个子商 formula_20 皆为非