Homomorfismos

Jeanneth Galeano Pealoza

Universidad Nacional de Colombia

Segundo semestre de 2017
Sean (G , ) y (G 0 , ) dos grupos y f : G G 0 una aplicacin.
Diremos que f es un homomorfismo de grupo si

f (a b ) = f (a ) f (b )

para todo a , b G.
? Un homomorfismo biyectivo se llama isomorfismo.
? Si G = G 0 , entonces un homomorfismo f : G G se dice
automorfismo.
Ejemplo 1

: G G 0
g 7 (g ) = e 0 homomorfismo trivial
Ejemplo 2
G = {z C | z 4 = 1} = 4 .
G 0 = {simetras del rectngulo} = {0 , 1 , 0 , 1 }
existe : G G 0 homomorfismo?
Ejemplo 2
G = {z C | z 4 = 1} = 4 .
G 0 = {simetras del rectngulo} = {0 , 1 , 0 , 1 }
existe : G G 0 homomorfismo?

es posible definir

: G G 0
x 7 0 x G
homomorfismo trivial
OJO! (no es 1 1).

estos dos grupos NO tienen la misma tabla NO son isomorfos.

Ejemplo 3

: 4 Z4
i 7 1 generadores
2
i 7 2
i 3 7 3
i 4 7 0

4 Z4 .
Ejemplo 4

: G 0 V 4 grupo de Klein
0 7 e
1 7 a
x 7 b
y 7 ab

G0 V .
Ejemplo 5
G = {f : R R}
Sea c R

c : (G , +) (R, +)
f 7 f (c )

se llama homomorfismo evaluacin.

c (f + g ) = (f + g )(c )
= f (c ) + g (c )
= c (f ) + c (g ).
Ejemplo 6

: Rn Rm
v 7 (v ) = Av

donde A Mmn .

(v + w ) = A (v + w ) = Av + Aw
= (v ) + (w ).
Ejemplo 7
GLn (R) el grupo multiplicativo de matrices invertibles m n.

: GLn (R) (R , )
A 7 ?
Ejemplo 8
Sea r Z.

r : Z Z
n 7 r (n) = rn

Es r homomorfismo?

0 : Z Z
n 7 0 el homomorfismo trivial
Ejemplo 9
G = G1 G2 Gj Gn

j : G Gj proyeccin
j (g1 , . . . , gj , . . . , gn ) = gj
Ejemplo 9
G = G1 G2 Gj Gn

j : G Gj proyeccin
j (g1 , . . . , gj , . . . , gn ) = gj

Ejemplo 10
F = ({f : [0, 1] R integrable}, +)

: F (R, +)
Z 1
f 7 (f ) = f (x )dx
0
Ya sabemos que S3 y Z6 no son isomorfos, pero es posible
encontrar un homomorfismo entre ellos?
Ya sabemos que S3 y Z6 no son isomorfos, pero es posible
encontrar un homomorfismo entre ellos?

f : S3 Z6 sirve?
1 7 1
1 7 3

f (2 ) = f (1 1 ) = f (1 ) + f (1 ) = 1 + 1 = 2
f (0 ) = f (1 2 ) = f (1 ) + f (2 ) = 1 + 2 = 3
& = f (1 1 ) = f (1 ) + f (2 ) = 3 + 3 = 0 ()

R / NO!
escojamos otra f

f : S3 Z6
0 7 0
1 7 2
1 7 3

f (2 ) = f (1 1 ) = [f (1 )]1 = 21 = 4
f (2 ) = f (1 1 ) = f (1 ) + f (1 ) = 3 + 2 = 5
& = f (2 1 ) = f (2 ) + f (1 ) = 4 + 3 = 1 ()

Tampoco sirve!
 Kernel e imagen

Sean G y G 0 grupos y : G G 0 un homomorfismo, definimos

el kernel y la imagen de respectivamente, como

ker = {g G | (g ) = e 0 },

Im = {y G 0 | y = (g ) algn g G }.
 Propiedades
1. (e ) = e 0 .
2. (a 1 ) = [(a )]1 .
3. Si H G entonces (H ) G 0 .
4. Si K 0 G 0 entonces 1 [K 0 ] G.
5. ker G.
6. ker E G
Ver que g 1 (ker )g ker para todo g G.
7. Im G 0
8. Im es normal en G 0 ?
 Propiedades
1. (e ) = e 0 .
2. (a 1 ) = [(a )]1 .
3. Si H G entonces (H ) G 0 .
4. Si K 0 G 0 entonces 1 [K 0 ] G.
5. ker G.
6. ker E G
Ver que g 1 (ker )g ker para todo g G.
7. Im G 0
8. Im es normal en G 0 ?
Hay que verificar que

g 1 ((G ))g (G ) g G0.

 Propiedades
1. (e ) = e 0 .
2. (a 1 ) = [(a )]1 .
3. Si H G entonces (H ) G 0 .
4. Si K 0 G 0 entonces 1 [K 0 ] G.
5. ker G.
6. ker E G
Ver que g 1 (ker )g ker para todo g G.
7. Im G 0
8. Im es normal en G 0 ?
Hay que verificar que

g 1 ((G ))g (G ) g G0.

Sea x g 1 ((G ))g, ie x tiene la forma x = g 1 (a )g con a G.

es posible escribir x = ( )?
Ejemplo.
Sea

: S3 S3
0 7 0
1 7 0
2 7 0
1 7 1
2 7 1
3 7 1

Es un homomorfismo?
ker =
Im =
Im E S3 ?
 Tarea

Construya todos los automorfismos de V = 4 grupo de Klein.

Como ker E G, es posible definir G / ker .
En el ejemplo anterior ker = {0 , 1 , 2 } Cuntas clases
laterales hay?
Como ker E G, es posible definir G / ker .
En el ejemplo anterior ker = {0 , 1 , 2 } Cuntas clases
laterales hay?

[0 ] = [1 ] = [2 ]
[1 ] = [2 ] = [3 ]

S3 / ker 0 S3 = G 0
S3 / ker ?

En qu casos G / ker G 0 ?
Sea (G , ) un grupo y N E G podemos definir un homomorfismo:

: G G /N Homomorfismo cannico
g 7 (g ) = Ng

es homomorfismo?

(g g 0 ) = Ng g 0 = Ng Ng 0
= (g ) (g 0 ).

es sobre
Sea x G /N, i.e., x = Nx algn x G, i.e., x = (x ).
ker = {g G | (g ) = N }
= {g G | Ng = N } = N.
9. Un homomorfismo : G G 0 es 1 1 sii ker = {e }.