Ir al contenido

Extensión de grupo

De Wikipedia, la enciclopedia libre

En álgebra abstracta, se denomina extensión del grupo por el grupo a cualquier otro grupo que haga exacta la sucesión corta

.

Esta condición es equivalente a que la imagen sea un subgrupo normal de , tal que el cociente sea isomorfo a . Nótese que aunque es el grupo en cierto modo contenido en la extensión, se dice que es una extensión de , por familiaridad con otros conceptos. En cambio algunos autores dirían «... es una extensión de por ...», por ejemplo Mac Lane y Birkhoff (1967, p. 409).

La noción de extensión de grupos se basa en la idea de la descomposición de un grupo en un subgrupo normal y en el cociente . En tal caso existen dos homomorfismos: uno inyectivo dado por la inclusión de conjuntos, y otro sobreyectivo dado por la proyección en el cociente, que hacen que la sucesión corta

sea exacta. La extensión de grupos es el proceso inverso, que partiendo de unos grupos conocidos y genera un nuevo grupo . Este último contiene una copia isomorfa a como subgrupo normal, mientras que hace las veces del grupo factor .

El problema de la extensión

[editar]

Un ejemplo de una extensión de grupos es el producto directo que, sin embargo, no es necesariamente la única extensión posible. La determinación de las posibles extensiones de dos grupos se conoce con el nombre de problema de la extensión. Junto con la clasificación de grupos finitos simples (ya resuelto), su solución permitiría clasificar de forma completa los grupos finitos, lo que se conoce como programa de Hölder.[1]

En general, una extensión de por el grupo induce un homomorfismo , donde denota el grupo de automorfismos exteriores: el cociente . No obstante, extensiones diferentes pueden dar lugar al mismo homomorfismo. El problema de la extensión es considerado de difícil solución; sin embargo se conocen soluciones cuando se cumple alguna condición adicional, como por ejemplo cuando la extensión es el producto semidirecto de los grupos y .

Ejemplo

[editar]

Sea el fibrado donde es un autohomeomorfismo de la superficie F, entonces desde la sequencia homotópica larga del fibrado tenemos el tramo:

Pero como los homomorfismos de grupo:

clasifican a estas extensiones y donde el generador de es asignado al auto-homeomorfismo , entonces tenemos que el grupo fundamental del fibrado E está dado por

es decir, estamos extendiendo el grupo fundamental de la superficie F por el grupo cíclico infinito .

Es conocido que tales grupos tiene una presentación de la forma

que corresponde a una extensión HNN del grupo fundamental de la superficie F.

Véase también

[editar]

Referencias

[editar]

Bibliografía

[editar]
  • Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3ª edición). Wiley. ISBN 978-81-265-3228-5. 
  • Hall, M. (1959). The theory of groups. Macmillan. 
  • Kurosch, A.G. (1955-1956). The theory of groups. 2 vols. Chelsea. 
  • Mac Lane, Saunders; Birkhoff, Garret (1967). Algebra (3ª edición). Chelsea. 

Enlaces externos

[editar]