Professional Documents
Culture Documents
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.
De tal manera que siendo estos los elementos de tal que ( , ) es la identidad.
( , 1 )(1 , 2 ) = (1 , )
( , )
( , )
( , )
( , )
( , )
( , )
( , )
( , )
( , 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 )
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 ) = ( , )
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)
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.
((0,1)(1,1)) = ((1,0)) = (1 , )
((0,1))((1,1)) = ( , 1 )(1 , 1 ) = (1 , )
(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 = ||.
es biyectiva y un isomorfismo
(, )
(, )
(, )
(, )
(, )
(, )
(, )
(, )
(, )
(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)
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 .