El teorema de Jordan-Hölder establece:
Si un grupo tiene una serie de composición , entonces su longitud y todos los factores están determinados de forma única, hasta permutaciones e isomorfismos [1] .
Esta es una versión clásica del teorema de Jordan - Hölder . Se refiere al caso en que la serie de composición es finita, es decir, incluye un número finito de subgrupos del grupo . El teorema de Jordan-Hölder sigue siendo válido en el caso de series de composición transfinita ascendente [2] .