LIZETH VARGAS VERA

DEMOSTRACIONES

AL10503732
Algebra Moderna II

UNIDAD

Unidad 1. Productos directos y grupos

abelianos Actividad 2. Demostraciones
Los productos directos nos permiten de alguna forma reescribir
los grupos en trminos de otros ms sencillos y a la vez generar
nuevos grupos que heredan algunas caractersticas de sus grupos
base.

Objetivo
En esta actividad trabajaremos las caractersticas bsicas de
producto directo y su relacin con los grupos abelianos finitos.

Instrucciones
Revisa los materiales de apoyo dados y realiza las siguientes
demostraciones.
Esta es una actividad en la que se intenta revisar el manejo de
los conceptos mencionados en los contenidos de la unidad por lo
que se pide que si existe alguna duda en los trminos, conceptos o
procedimientos, lo hagas saber mediante el foro para que entre
todos podamos ir completndola. Se intenta que sea una actividad
colaborativa.
Definicin 1 Si H y K son grupos, el producto directo [externo] de
H y K denotado como H K, es el conjunto de todos los pares
ordenados (h,k) tales que h H y k K con la operacin binaria
(h,k)(h0,k0) = (hh0,kk0).

1) Revise la propiedad de que GH = H G Demuestre que

efectivamente la aplicacin = G H H G es un
isomorfismo, tenga cuidado en los detalles, en especfico en la
definicin del morfismo.

Si tenemos en consideracin que

definida de la forma:

=G H H G

es

( ( g , h ) )=(h , g)

As tenemos que para que

sea un isomorfismo debe presentar

y cumplir que sea un homomorfismo biyectivo.

Entonces tenemos que el homomorfismo

( g1 , h1 ) ,(g 2 ,h 2) G H
( ( g1 , h1 )( g 2 , h2 ) ) = ( ( g1 g2 , h1 h2 ) ) =( h1 , h2 , g1 g 2 )=( h1 , g1 )( h2 , g 2 )= ( g 1 , h1 ) ( g2 , h2 )
cumple

Tenemos que para la linealidad:

( ( g 1 , h1 ) + ( g 2 , h2 ) ) = ( ( g 1+ g 2 , h1 +h2 ) )
( h1 +h2 , g 1+ g 2 )
( h1 , g 1) +(h 2 , g2)
( ( g1 , h1 ) ) + ( ( g2 , h2 ) ) se cumple
Ahora tenemos para la inyectividad

( ( g 1 , h1 ) ) = ( ( g 2 , h2 ) )

Teniendo que:

( h1 , g1 ) =(h 2 , g2)

Cuando existen dos pares ordenados son exactamente iguales si

sus

coordenadas

correspondientes

son

iguales

h1=h2

g1=g2
Lo que implica:

( g1 , h1 )=(g 2 , h2 )
Dado

un

elemento

observamos que

arbitrario

(h , g) H G

( h , g )= ( ( g , h ) )

Se considera un homomorfismo biyectivo por la condicin:

( ( g 1 , h1 ) ) = ( ( g 2 , h2 ) ) ( h1 , g1 )=( h2 , g2 ) ( g 1 , h1 ) =(g2 , h2)

es un homorfismo

entonces

2) Demuestre que H {1} y {1}K son subgrupos normales de H

K que estos subgrupos generan H K, que su interseccin es
{(1,1)} y que los elementos (h,1) y (1,k) conmutan.
Primero definimos:

H =H { 1 }={ ( h , 1 )h H }

K ={ 1 } K= {( 1, k ) k K }
Utilizamos el primer teorema del isomorfismo para demostrar que

H y

K son subgrupos normales de

Notamos que

es un subgrupo de

H K .

H K

que contiene a

(1,1) , que es definida como la identidad de H K , la cual se

cierra bajo la multiplicacin:

( h , 1 )( h , 1 )=(hh ,1) H
Tambin tenemos que contiene la inversa de cualquiera de sus
elementos:

( h , 1 )1 =( h1 ,1 )
Por lo consiguiente demostraremos que
Si

(x , 1) H (de modo que x H

H (H K )
) y

(h , k ) H K

entonces

( h , k ) ( x , 1 )( h , k )1=( h , k ) ( x , 1 ) ( h1 ,k 1) =( hx h1 ,1 ) H
A continuacin debemos mostrar que
para

H H

:H H

( h ) =(h , 1)

Finalmente, tenemos como consecuencia al grupo

normal en

HK

si tenemos que:

(H {1 })( H K )=( H K )( H {1})

Si consideramos un elemento izquierdo:

(h1 , 1) (h2 , k 2)=(h 1 h2 ,1 k 2)=(h 1 h2 , k 2)

Y tomando el siguiente elemento de la derecha:

H {1 }

ser

(h1 , k 2)(h 2 , 1)=(h 1 h2 , k 2 1)=(h 1 h2 , k 2)

Obtenemos el mismo elemento que el de la izquierda.
Anlogamente demostramos que todo elemento de la derecha est
en la izquierda.
Estableciendo que:

(H {1 })( H K )=( H K )( H {1})

H {1 }

es

subgrupo

normal

de

analogamente se demuestra para

H K

{1 } K

por

lo

que

es un subgrupo

HK

normal de

Evidentemente tenemos que

(1,1)

es la interseccin

Para comprar si estos conmutan consideramos:

(h , 1)(1, k )=(h 1, 1 k )=(h , k )

(1, k )(h , 1)=(1 h , k 1)=( h , k )

(h , 1) (1, k )=(1, k )(h , 1)

comprobamos que conmutan

3) Sea : G G G tal que G es un grupo. Demuestre que es un

homomorfismo si y slo si G es abeliano
Definimos

un

Si

como

la

multiplicacin

( ( a , b ) ) =ab

expresada:
Para que

homomorfismo

sea un homomorfismo consideramos:

a , b G

(a , 1)

(1, b)

conmutan en

para

( a , 1 )( 1, b ) =( a , b )=(1, b)(a , 1)
Por lo que deducimos que
Ahora

: ( a , b ) ab

si es un homomorfismo

G G

ab= ((a , b) )
ab= ((b , 1)(1, a) )
ab= ((b , 1) ) (( 1,a) )
ab=ba
G es abeliano

4) Sean G y H grupos abelianos finitos. Si G G = H H G =

H?
Recordando y utilizando el teorema fundamental de los grupos
abelianos finitamente generados. Todo grupo abeliano

finitamente generado
los

grupos

es isomorfo al producto directo de

cclicos

de

la

forma

Z ( p ) Z ( p ) Z ( p ) Z Z Z
r1

r2

rn

En los cuales los

pi

son primos, no necesariamente distintos y

considerando que las

ri

son enteros positivos; por lo que

consideramos que su producto directo es nico exceptuando los

posibles arreglos de los factores.
As los grupos que aparecen en la descomposicin de

H H

G G

y de

son nicos excepto por orden de los factores.

Considerando que

G G y

H H son isomorfos, los factores

en sus descomposiciones tienen que ser los mismos.

Teniendo que por las descomposiciones de

G G

pueden estar escritos en el orden de factores anteriores de

,

H H
G,H

H tienen los mismos factores en su expresin de la

descomposicin, del teorema fundamental de los grupos abelianos

finitamente generados.

G y

H son isomorfos