Universidad Catolica del MauleFacultad de Ciencias BasicasDepartamento de Matematica Ingeniera Civil Informatica

Asignatura: Algebra AbstractaJorge Gonzalez-Lorca Invierno, Mayo 2015

Ejercicios 1. Grupos y Homomorfismo

1. Resolver en el grupo (Z35,35) las siguientes ecuaciones

a) 8 X = 74 b) 121 X = 23 92 c) 9 X1 4 = (13 X2 6)1 d) 21 X = 28

donde = 35 y Z35 = {m Z35 |m 6= 0,mcd(m, 35) = 1}.

2. Considere el conjunto G ={(

1 x xx 1 x

) x R, x 6= 12}a) Demuestre que G es un grupo con la multiplicacion de matrices. Es un grupo conmutativo?

b) Por otra parte se define el conjunto H = {x R | x 6= 12} y la operacion binariax y = x+ y 2xy

Demuestre que (H, ) es un grupo conmutativoc) Se define la funcion

f : H G tal que x 7(

1 x xx 1 x

)Demuestre que f es un isomorfismo de grupos (es decir: f es homomorfismo de grupos ybiyectiva).

3. Sea G = {(a, b) R2 | a 6= 0}. Se define la operacion binaria : GG G por(a, b) (c, d) = (ac, ad+ b)

a) Demuestre que (G, ) es un grupo. Determine el elemento neutro de G y el inverso del elemento(a, b) de G. Es G conmutativo ?

b) Sean = (2, 1), = (8, 4), = (3, 7). Determine X3 sabiendo que 1 X = 2 1.(donde 1 indica el elemento inverso, en el grupo G, de G y 2 = ).

c) Demuestre que K ={(

a b0 1

) a 6= 0} es un subgrupo de GL2(R).d) Compruebe que la funcion

f : G K tal que (a, b) 7(a b0 1

)es un isomorfismo de grupos (es decir, f es homomorfismo de grupos y biyectiva)

Jorge Gonzalez-Lorca / Invierno, Mayo 2015.

1

24. Sea S4 el grupo de permutaciones de 4 elementos.

a) Sean , S4 definidos por

=

(1 2 3 43 4 2 1

)y =

(1 2 3 44 1 2 3

)Determine el orden de los elementos , , 2, y 1 con = (234)(241)(234)1.

b) Resolver la ecuacion en el grupo simetrico S4

3X1 = (12)1,

donde = (13)(234), = (1243)(123)2, = (412)1(13)

c) Determine todos los S4 tal que 2 = (12)(34)5. a) Demuestre que (Z24,+24) es un grupo cclico generado por 5. Cuales son los otros generadores

de Z24?

b) Sea G = GL2(R) el grupo de matrices 2 2 invertibles con coeficientes en R (con el productousual de matrices). Sea f : Z24 G un homomorfismo de grupos tal que f(5) =

(0 11 0

)Encuentre f(10), f(5), f(1), el producto f(4) f(3)

Jorge Gonzalez-Lorca / Invierno, Mayo 2015