Mamd1 U3 A1 Lapb
Mamd1 U3 A1 Lapb
Mamd1 U3 A1 Lapb
Unidad 3 Actividad 1
TEOREMAS PRINCIPALES
30 de noviembre de 2015
Autor: Laura Pontn
lgebra Moderna I
Unidad 3 Actividad 1
Cuntos homomorfismos hay de en ?; de sobre ?
En trminos simples un Homomorfismo G en H es cualquier homomorfismo de G a H pero no todos los H
necesitan estar incluidos, luego entonces la imagen puede ser un subgrupo.
mientras que un homomorfismo de G sobre H debe incluir a H como la imagen.
Tenemos de manera general que un homomorfismo : esta completamente determinado por
([1] ) = [] con = 0,1, 1
Para que se encuentre bien definida, [] = [] debera garantizar [] = [] La condicin se reduce a |( ) |( ) lo que equivale a, |
Ser sobreyectiva si ([]) = [1] para algn i porque podemos a continuacin obtener ([]) = []para cada
x
Entonces como = 1 y por lo que cualquier homomorfismo ser determinados por (1)
As que para en 8 podemos tener cualquier (1) por lo que existen 8 homomorfismos
A saber,
(1) = [0] (homomorfismo trivial)
(1) = [1] (homomorfismo natural) tal que []
(1) = [2] Tal que [2] () 4 y se obtienen los elementos [0], [2], [4], [6]
(1) = [3]
Tal que 1 [3], 2 [6], 3 [1], 4 [4], 5 [7], 6 [2], 7 [5] 8 [0]
para que pueda ser sobreyectivo
(1) = [4]:() 2
(1) = [5]:() 8
(1) = [6]:() 4
(1) = [7]:() 8
As que por otro lado existen 4 homomorfismos sobre y 4 que representan a los subgrupos propios, son
homomorfismos de Z en 8 los cuales son isomorfismos para = 1,3,5,7 pero no para = 0,2,4,6