Extensin de grupo

En el lgebra abstracta extender un grupo A con otro B 2 Referencias

es construir otro grupo E que hace que la sucesin corta
A.G. Kurosch. The theory of groups. Chelsea, 2 vols.
1955-1956.
0AEB0 M.Hall. The theory of groups. Macmillan. 1959.

sea exacta.
Ejemplo de una tal extensin es la suma directa A B .
Es sabido que los homomorsmos (de grupo) B Out A
los clasican. Aqu la construccin Out A es el conjunto
de automorsmos exteriores, denido como el cociente

Out A = AutA/InnA

1 Ejemplo
Considere el brado F Ef S 1 donde f : F F
es un auto-homeomorsmo de la supercie F, entonces
desde la sequencia homotpica larga del brado tene-
mos el tramo:

1 1 F 1 Ef Z 1

Pero como sabemos que los homomorsmos de grupo:

Z out1 F = mod(F )

clasican a estas extensiones y donde el generador de Z

es asignado al auto-homeomorsmo f , entonces tenemos
que el grupo fundamental del brado E est dado por

1 Ef = 1 F f Z

es decir, estamos extendiendo el grupo fundamental de la

supercie F por el subgrupo cclico innito Z .
Es conocido que tales grupos tiene una presentacin de la
forma 1 (Ef ) = gs , t | R(gs ) = 1, t1 gs t = f (gs )
que corresponde a una HNN extensin del grupo funda-
mental de la supercie F.

1
2 3 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

3 Origen del texto y las imgenes, colaboradores y licencias

3.1 Texto
Extensin de grupo Fuente: https://es.wikipedia.org/wiki/Extensi%C3%B3n_de_grupo?oldid=64820500 Colaboradores: Sabbut,
Tano4595, Schummy, Digigalos, Lobillo, Juan Marquez, AlleborgoBot, Luckas-bot, ZroBot y Legobot

3.2 Imgenes

3.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0