lgebra Moderna I

Unidad 2 Actividad 1

GRUPOS DE PERMUTACIONES Y GRUPOS COCIENTE

9 de noviembre de 2015
Autor: Laura Pontn

lgebra Moderna I
Unidad 2 Actividad 1
Sea : un isomorfismo entre un grupo y un grupo . Mustrese que la transformacin
: definida para = por = donde es una funcin bien definida y es
un isomorfismo entre

Paso 1. Definir la funcin que da el isomorfismo de G con G'. Esto significa describir de alguna
manera, cul sera en G'
Sea : un isomorfismo entre un grupo y un grupo , defnase la transformacin 1 :
definida para 1 = por =

Enel paso 1, por qu la funcin est bien definida?, pues la eleccin depende de la pr
eimagen, y recuerde que una preimagen puede contener ms de un elemento.
a qu se refiere?
Al definir la funcin como una aplicacin identidad, es decir, que G sea isomorfo a G' a
travs del isomorfismo identidad, digamos f:G--->G' tal que para cada elemento de G f
devuelve uno y solo un elemento de G'. As si g es elemento de G f(g)=g' con g' un
elemento de G'. Es algo similar a la funcin y = x en los reales, donde a cada valor de x le
corresponde uno y solo un y.
ahora f es evidentemente biyectiva, de hecho un isomorfismo entre los dos grupos. Por
tanto su inversa f^-1 es tambin una aplicacin biyectiva

lgebra Moderna I | 09/11/2015

claro que siendo Phi un isomorfismo, este es biyectivo, entonces podra reducirse el
problema a demostrar si la inversa de una biyeccin es biyeccin tambin

Por el teorema que dice " Si es una funcin biyectiva, entonces su funcin inversa existe
y tambin es biyectiva" Luego, un isomorfismo es una biyeccin por definicin. El
problema dice que Phi es un isomorfismo, entonces es una biyeccin
por tanto Phi^-1, su inversa, es tambin una biyeccin
Una correspondencia f es funcin (o la funcin f est bien definida) si:
1. Todo elemento del original tiene imagen.
2. La imagen de cada elemento es nica.

en pocas palabras, una biyeccin es una funcin bien definida por sus caractersticas;
sobre todo porque es uno a uno y ya a estas alturas decir funcin biyectiva pues ya de
cajn se implican todas esas cosas
Paso 2 Mostrar que es uno a uno
Si ( 1 ) = () para , = ( 1 ( )) = ( 1 ()) = 1 es uno a uno
Paso 3 Mostrar que es sobre G
Donde x G (()) = 1 correlaciona G' sobre G
Paso 4 Mostrar que () = ()() , . Esto es cuestin de clculos Se calculan
ambos lados de la ecuacin y se ve si son iguales
, como es sobre, x, y G |
= (),
= ()
luego
1 ( ) = 1 (()())
1 ( ) = 1 ((, ))
1 ( ) =
1 ( ) = 1 ( ) 1 ( )

Bibliografa

lgebra Moderna I | 09/11/2015

Fraleigh.J. (1988) lgebra Abstracta. Primer Curso. Departament of Mathematics University of Rhode Island.
Versin en espaol de Manuel Lpez Mateos. Universidad Nacional Autnoma de Mxico.Addison-Wesley
Iberoamericana p.68-69