Serie de composición
En matemáticas, y en particular en álgebra abstracta, se denomina serie de composición de un grupo a una sucesión finita
en la que cada grupo es un subgrupo normal de , y cada grupo cociente es simple. A estos grupos cociente se les denomina factores de la serie. Conviene señalar que no es preciso que cada grupo sea normal en , sino solo en el siguiente grupo de la serie (la normalidad no es una propiedad transitiva).Plantilla:Sfn
La serie de composición de un grupo no se puede refinar, en el sentido de que no se puede intercalar un grupo entre dos elementos consecutivos de la serie. Un grupo puede no admitir ninguna serie de composición, por ejemplo cuando es infinito y abeliano. Sin embargo, si un grupo admite una serie de composición, entonces sus factores son únicos, salvo por el orden o por isomorfismo de grupos.
Unicidad de la serie de composición
Se dice que dos series
- , y
son equivalentes si y existe una permutación del conjunto de elementos tal que
Es decir, dos series son equivalentes si sus grupos factores son isomorfos uno a uno, independientemente del orden.
El teorema de Jordan-Hölder establece que si dos series y son series de composición de un mismo grupo , entonces ambas series son equivalentes. En consecuencia, se puede decir que la serie de composición de un grupo es única (salvo equivalencia).Plantilla:Sfn
La serie de composición de un grupo refleja parte de su estructura interna. Sin embargo, no refleja su tipo de isomorfismo, ya que dos grupos no isomorfos entre sí pueden tener series de composición equivalentes. Un ejemplo lo forman el grupo de los cuaterniones y el grupo diedral . Estos dos grupos no son isomorfos, aunque tienen el mismo orden; sin embargo sus factores son en ambos casos tres copias del grupo cíclico .Plantilla:Sfn Ello significa que no siempre hay una única forma de combinar grupos factores, proceso que se denomina extensión de grupos.