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).[1]

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ónEditar

Se dice que dos series

 , y
 

son equivalentes si   y existe una permutación   del conjunto de   elementos tal que

 .[2]

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).[3]

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  .[4]​ Ello significa que no siempre hay una única forma de combinar grupos factores, proceso que se denomina extensión de grupos.

Véase tambiénEditar

ReferenciasEditar

BibliografíaEditar

  • Bujalance, Emilio; Etayo, José J.; Gamboa, José M. (2002). Teoría elemental de grupos (3ª edición). UNED. 
  • Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3ª edición). Wiley. ISBN 978-81-265-3228-5. 
  • Rotman, Joseph J. (2012). An Introduction to the Theory of Groups. Springer. 

Enlaces externosEditar