lgebra Moderna II

Unidad 1 Actividad 2

PRODUCTOS DIRECTOS Y GRUPOS ABELIANOS DEMOSTRACIONES

26 de enero de 2016
Autor: Laura Pontn

lgebra Moderna II
Unidad 1 Actividad 2

Definicin 1: Si , son grupos, el producto directo (externo) de y denotado por es el conjunto de

todos los pares ordenados (, ) tales que y con la operacin binaria (, )( , ) =
( , ).
1. En la pgina 4 de los contenidos se menciona que Demuestre que
efectivamente la aplicacin : es un isomorfismo. tenga cuidado en los
detalles, en especfico en la definicin de morfismo
Sea y , ((, )) = (, ).
SI es un homomorfismo tanto para como para
(, )()

((, )( , )) =

((, )( , )) = (( , )) = ( , )
(, )( ) = (, )( , ) = ( , )

es un homomorfismo.
Tal que para que sea isomorfismo, debe ser biyectiva, ( , ) un ( , )
| (( , )) = ( , )
Ya que en slo conmutan los pares ordenados ( , ), | para cada elemento del dominio de uno y
slo un elemento en el codominio.

lgebra Moderna II | 26/01/2016

es una biyeccin es un isomorfismo

2. Demuestre que {} y {} son subgrupos normales de , que estos grupos

generan , que su interseccin es {(, )} y que los elementos (, ), (, )
conmutan.
Sea (, ) y (, 1) {1}, (1, ) {1} por definicin, un subgrupo de se dice
que es si y 1 .
| sea (, ) y (, 1) {1} (, )(, 1)(1 , 1 ) = (, )(1 , 1 ) = (, 1)
{1}

{1}
Entonces tambin para
(, ) y (1, ) {1} (, )(1, )(1 , 1 ) = (, )(1 , 1 ) = (1, ) {1}

{1}
De tal manera que,
estos subgrupos generan | y (, 1)(1, ) = (, )
Siendo que si:
{1} y {1} pero ningn es elemento de y ningn es elemento de , (, 1) y (1, )
pero como en ambos existe la identidad {1}, (1,1) y (1,1) siendo el nico elemento en ambos
conjuntos y su interseccin.

lgebra Moderna II | 26/01/2016

Finalmente se tiene que (, 1)(1, ) = (1,1) = (, ) y (1, )(, 1) = (1, 1) = (, ) los

elementos (, 1), (1, ) conmutan.

3. Sea : tal que es un grupo. Demuestre que es un homomorfismo es

abeliano.
Por un lado si suponemos que es un homomorfismo, supongamos que tenemos que , ((, )) =
. Sea , , , ,

((, )( , )) = (( , )) =
((, ))(( , )) = ()( ) =

por lo que si
((, )( , )) = ((, ))(( , ))
y para que suceda que sea un homomorfismo, =
pero esto es es abeliano
ya que se tendra que
= ( ) = ( ) = ,

si es un homomorfismo, es abeliano

Ahora por otro lado si suponemos que es abeliano, tanto para , = .

De aqui se sigue que si:
: | ((, )) = y , , , , ((, )( , )) = (( , )) =
((, ))(( , )) = ()( ) =
Ahora como por hiptesis es abeliano, = ( ) = ( ) = ,
Eso querr decir que

lgebra Moderna II | 26/01/2016

((, )( , )) = ((, ))(( , ))

es un homomorfismo

4. Sean y grupos abelianos finitos. Si ?

Considerando la aplicacin del ejercicio anterior : como es un homomorfismo es abeliano.
Como ((, )) = , y , as,
homomorfismo es biyectivo es un isomorfismo.

, | ((, )) = el

lgebra Moderna II | 26/01/2016

Sea al considerar grupo abeliano finito y la aplicacin dada , |

por transitividad y