一个有限群 
的两个合成列的商群，除了它们的顺序外，成对同构。换句话说，如果
 |
(1)
|
是一个合成列，并且
 |
(2)
|
是另一个合成列，那么 
，并且对于任何合成商群 
，都存在一个合成商群 
使得
 |
(3)
|
这个定理在 1869-1889 年被证明。
Jordan-Hölder 定理
参见
蝴蝶引理, 合成列, 有限群, 同构群使用 Wolfram|Alpha 探索
参考文献
Lomont, J. S. 有限群的应用。 纽约: Dover, p. 26, 1993.Scott, W. R. §2.5.8 in 群论。 纽约: Dover, p. 37, 1987.在 Wolfram|Alpha 中被引用
Jordan-Hölder 定理引用为
Weisstein, Eric W. "Jordan-Hölder 定理。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/Jordan-HoelderTheorem.html