Teorema que afirma que dos series de composición de un objeto de longitud finita (por ejemplo un grupo finito o un módulo de longitud finita) tienen multiconjuntos isomorfos de factores de composición simples, quizás en distinto orden; el multiconjunto de factores está por tanto bien definido.

Principio

Los refinamientos de filtraciones de longitud finita dan la misma colección de bloques simples salvo permutación e isomorfismo; los factores de composición son invariantes del objeto independientes de la serie elegida.

Demostración

Para un grupo finito con una serie de composición G > N > {e} cuyos cocientes son grupos simples, cualquier otra serie de composición se refina hasta una lista equivalente de cocientes simples; por ejemplo un grupo resoluble tendrá solo factores simples abelianos (cíclicos de orden primo), mostrando la restricción del teorema.

Aplicación incorrecta

Intentar aplicar Jordan–Hölder a objetos sin longitud finita (grupos o módulos infinitos sin serie de composición) o tratar la secuencia ordenada de factores como canónica en vez del multiconjunto de clases de isomorfía.

Consecuencia

Ofrece un multiconjunto canónico de factores simples que sirve como invariante discreto para clasificación y comparación; fundamenta enunciados de unicidad en teoría de estructura y reduce problemas al análisis de constituyentes simples.

Inversión

Invertir el enunciado muestra que compartir el mismo multiconjunto de factores de composición no determina la estructura de extensiones ni la clase de isomorfía completa del objeto; distintos objetos no isomorfos pueden compartir factores.

Límite

Requiere que el objeto tenga longitud finita (existencia de una serie de composición). No controla las clases de extensión, la disposición concreta de subobjetos, ni se aplica a objetos de longitud infinita o carentes de factores simples.

Tensión semántica

Tensión entre Jordan–Hölder y invariantes más finos (clases de extensión, estructura de módulo): Jordan–Hölder fija los bloques simples pero deja abierta la forma de ensamblarlos, por lo que complementa la clasificación de extensiones.

Síntesis

Jordan–Hölder formaliza que los objetos de longitud finita se construyen a partir de constituyentes simples cuyo multiconjunto es invariante: las series de composición pueden variar, pero los bloques simples subyacentes (con multiplicidad) constituyen la huella canónica del objeto.