lgebra Moderna II

Unidad 1 Evidencia de Aprendizaje

PRODUCTOS DIRECTOS Y GRUPOS ABELIANOS

7 de febrero de 2016
Autor: Laura Pontn

lgebra Moderna II
Unidad 1 Evidencia de Aprendizaje

1) Sean , grupos cclicos de orden 2 y 3 respectivamente. Encontrar los rdenes de todos los
elementos de .
Sea = { , 1 } y = { , 1 , 2 } tal que , son los elementos identidad correspondientes a cada grupo.

Entonces por el producto cartesiano sea:

= {( , ), ( , 1 ), ( , 2 ), (1 , ), (1 , 1 ), (1 , 2 )}

De tal manera que siendo estos los elementos de tal que ( , ) es la identidad.

Ahora si consideramos que la operacin binaria entre sus elementos sea

(, )(, ) = (, )
y a sabiendas de que al ser cclicos los grupos:
1 1 =
1 2 =

( , 1 )(1 , 2 ) = (1 , )

lgebra Moderna II | 07/02/2016

Elaborando una tabla de operacin entre los elementos se obtiene:

( , )

( , )

( , )

( , )

( , )

( , )

( , )

( , )

( , 1 )

( , 2 )

(1 , )

(1 , 1 )

(1 , 2 )

( , )

( , 1 )

( , 2 )

( , )

(1 , 1 )

(1 , 2 )

(1 , )

( , )

( , 2 )

( , )

( , 1 )

(1 , 2 )

(1 , )

(1 , 1 )

( , )

(1 , )

(1 , 1 )

(1 , 2 )

( , )

( , 1 )

( , 2 )

( , )

(1 , 1 )

(1 , 2 )

(1 , )

( , 1 )

( , 2 )

( , )

( , )

(1 , 2 )

(1 , )

(1 , 1 )

( , 2 )

( , )

( , 1 )

Es evidente entonces que: ( , ) es la identidad de ,

Por lo que tal conjunto es cerrado bajo la operacin binaria (, )(, ) = (, ) y adems es cerrado bajo
inversos, debido a que ( , 1 ) es inverso de ( , 2 ) y como ( , 1 )( , 2 ) = ( , ),
Entonces tiene estructura de grupo.

Como el orden de un elemento de un grupo cclico es el menor entero para el cual el elemento () =
con la identidad del grupo, ( , ) es de orden 1, ( , 1 ) es de orden 3, dado que:

( , 1 )( , 1 ) = ( , 1 ) = ( , 2 ),
2

( , 1 ) ( , 1 ) = ( , 1 ) = ( , 2 )( , 1 ) = ( , )

Por lo que se sigue que para los dems elementos:

( , 2 ) es de orden 3.
(1 , ) es de orden 2.
(1 , 1 ) es de orden 6.
(1 , 2 ) es de orden 6.

2) Sean , grupos cclicos de orden 2. Probar que es isomorfo al grupo de Klein, es decir,
a .
Sea = { , 1 }, = { , 1 } y 2 = {0,1} | 2 2 = {(0,0), (0,1), (1,0), (1,1)} as entonces =
{( , ), ( , 1 ), (1 , ), (1 , 1 )}.

(, )

(, )

(, )

(, )

(, )

(0,0)

(0,1)

(1,0)

(1,1)

(, )

(0,1)

(0,0)

(1,1)

(1,0)

(, )

(1,0)

(1,1)

(0,0)

(0,1)

(, )

(1,1)

(1,0)

(0,1)

(0,0)

lgebra Moderna II | 07/02/2016

Generamos la tabla de operacin entre los elementos de cada grupo, tal que:

( , )

( , )

( , )

( , )

( , )

( , )

( , 1 )

(1 , )

(1 , 1 )

( , )

( , 1 )

( , )

(1 , 1 )

(1 , )

( , )

(1 , )

(1 , 1 )

( , )

( , 1 )

( , )

(1 , 1 )

(1 , )

( , 1 )

( , )

Es evidente que en el caso de ambos grupos, los elementos son muy parecidos, y al operar dos elementos su
resultado tambin es coincidente para ambos.
Tal que si tenemos una funcin:
:
De manera que corresponda el primer elemento del conjunto de entrada con el primero del conjunto de salida.

((0,1)) = ( , 1 )
y as sucesivamente para con cada elemento.

Esta funcin cumple con ser un homomorfismo tal que:

((0,1)(1,1)) = ((1,0)) = (1 , )
((0,1))((1,1)) = ( , 1 )(1 , 1 ) = (1 , )

lgebra Moderna II | 07/02/2016

Y al ser una biyeccin es un isomorfismo entre los dos grupos 2 2

3) Sean un grupo abeliano. Probar que : dada por () = | es un

homomorfismo y que si es un grupo finito de orden impar, es un isomorfismo.
Sea 1 , 2 , (1 2 ) = (1 2 )2
y luego se sigue que si
1 2 = 3 , (1 2 )2 = (3 )2 .
Ahora, sea que
(1 )(2 ) = (1 )2 (2 )2 = (1 1 )(2 2 )

Siendo que por asociatividad (1 1 )(2 2 ) = 1 (1 2 )2 = 1 3 2

Y siendo que es abeliano 1 3 2 = 1 2 3 = 3 3 = (3 )2

(1 2 ) = (1 )(2 )

es un homomorfismo.

Siendo de orden impar, sus elementos son de orden impar, sea porque si tomamos el subgrupo
generado por este elemento = {, , 2 , , 1 } es de orden por Lagrange, tiene que dividir a
2 1 = ||.

Siendo que si 2 1 = 21 = = ( ) = () = , se tiene que 21 = |

es la identidad en .
Cuando = 1 21 = , 2 1 = , 2 1 = , 2 = y () = 2 = | se aplica
en todo el codominio y adems es uno a uno.

es biyectiva y un isomorfismo

4) Es isomorfo a ? Por qu?

Sea 2 = {0,1}, 4 = {0,1,2,3}, 8 = {0,1,2,3,4,5,6,7} y 2 4 =
{(0,0), (0,1), (0,2), (0,3), (1,0), (1,1), (1,2), (1,3)}

(, )

(, )

(, )

(, )

(, )

(, )

(, )

(, )

(, )

(0,0)

(0,1)

(0,2)

(0,3)

(1,0)

(1,1)

(1,2)

(1,3)

(, )

(0,1)

(0,2)

(0,3)

(0,0)

(1,1)

(1,2)

(1,3)

(1,0)

(, )

(0,2)

(0,3)

(0,0)

(0,1)

(1,2)

(1,3)

(1,0)

(1,1)

(, )

(0,3)

(0,0)

(0,1)

(0,2)

(1,3)

(1,0)

(1,1)

(1,2)

(, )

(1,0)

(1,1)

(1,2)

(1,3)

(0,0)

(0,1)

(0,2)

(0,3)

(, )

(1,1)

(1,2)

(1,3)

(1,0)

(0,1)

(0,2)

(0,3)

(0,0)

(, )

(1,2)

(1,3)

(1,0)

(1,1)

(0,2)

(0,3)

(0,0)

(0,1)

(, )

(1,3)

(1,0)

(1,1)

(1,2)

(0,3)

(0,0)

(0,1)

(0,2)

lgebra Moderna II | 07/02/2016

Entonces la tabla de operaciones para 2 4 , por la operacin binaria de la forma (, )(, ) = (, ):

Para 8 :
0

Es evidente que las tablas de ambas estructuras algebraicas son distintas, y en 8 al menos un elemento de orden
8, sea el caso del 1, mientras que 2 4 el mximo orden de un elemento es 4. , los grupos no son isomorfos.
5) Sea un grupo abeliano. Sea un subconjunto de que contiene el elemento identidad y
los elementos de de orden 2. Muestre que es un subgrupo de .

Los elementos de orden 2 de son { | 2 = }. | cada elemento de estos es su propio inverso siendo que
1 = = 2 = .
Como y como cada elemento de orden 2 es su propio inverso, 1 . el neutro y
es cerrado bajo inversos.
Siendo 1 , 2 y sea 1 2 = 3 . y como 1 = 11 y 2 = 21 , 11 21 = (2 1 )1 , y por ser
abeliano, (2 1 )1 = (1 2 )1 = 31 .

lgebra Moderna II | 07/02/2016

Y como, 1 2 = 21 11 = 11 21 = 3 3 = 31 | este elemento es de orden 2 y es elemento de

, | es cerrado bajo la operacin binaria en .

Se cumplen las tres propiedades de grupo:

lgebra Moderna II | 07/02/2016