Aula 7

Homomorfismo de Grupos
Definio 7.1. Sejam G1 e G2 grupos. Uma funo : G1 G2 chamada de um homomorfismo

(de grupos) se

para todo a, b G1 .

(ab) = (a)(b)

Exemplo 7.1. Sejam n, m Z+ , j vimos que os espaos vetoriais Rn e Rm so grupos abelianos com

a operao a soma. Seja T : Rn Rm uma transformao linear. Ento T um homomorfismo de

grupo, pois

T(v + w) = T(v) + T(w)

para todo v, w Rn .

Exemplo 7.2. Define : Z Zn por

(a) = a mod n = [a]n
Ou seja, (a) o resto da diviso de a por n. Ento um homomorfismo, pois
(a + b) = [a + b]n = [a]n +n [b]n = (a) +n (b)
pois definimos (a) +n (b) por [a + b]n . Este homomorfismo chama-se reduo mod n.
Exemplo 7.3. Se G1 e G2 so grupos quaisquer, h sempre um homomorfismo : G1 G2 dado
por

(a) = e2

para todo a G1 ,

onde e2 o elemento neutro de G2 . Este um homomorfismo, pois

(ab) = e = e e = (a)(b)

para todo a, b G1 .

Este homomorfismo chamada o homomorfismo trivial.

28

Exemplo 7.4. Seja G um grupo e considere a aplicao identidade id : G G. Este um homomorfismo, pois

id(ab) = ab = id(a) id(b)

para todo a, b G.

Este homomorfismo chamada o homomorfismo identidade

Exemplo 7.5. Define : GL(n, R) R por (A) = det(A). Este um homomorfismo: se A, B
GL(n, R), ento

(AB) = det(AB) = det(A) det(B) = (A)(B).

Definio 7.2. Seja : G1 G2 um homomorfismo.

Se injetora, dizemos que ela um monomorfismo.
Se sobrejetora, dizemos que ela um epimorfismo.
Se bijetora, dizemos que ela um isomorfismo.
Um isomorfismo de um grupo para ele mesmo chamado um automorfismo.

Definio 7.3. 2 grupos G1 e G2 so isomorfos, denotamos por

G1  G2 ,
se existe um isomorfismo : G1 G2 .
Exemplo 7.6. Considere os grupos (R, +) e (R+ , ). Define a funo : R R+ por
(a) = ea
um homomorfismo, pois (a + b) = ea+b = ea eb = (a)(b).
injetora, pois (a) = (b) a = b.
sobrejetora, pois dado qualquer numero real positivo c, pode define a = log c. Ento
(a) = ea = elog c = c.
Portanto um isomorfismo, e R  R+ .

29

Teorema 7.1. Seja G um grupo cclico.

1. Se G infinito, ento G  Z.
2. Se G finito com |G| = n, ento G  Zn .
Como qualquer grupo de ordem primo cclico, temos os seguinte:
Teorema 7.2. Seja p um nmero primo. Se G um grupo de ordem p, ento G  Zp .

7.1 Propriedades Bsicas de Homomorfismos

Proposio 7.3. Sejam : G1 G2 um homomorfismo.
(a) Se e1 e e2 so os elementos neutros de G1 e G2 respectivamente, ento
(e1 ) = e2
(b) Para todo a G1 ,
(c) Mais geral, se a G1 , ento

(a1 ) = (a)1

(an ) = (a)n

para todo n Z.

Demonstrao.
(a) Para qualquer a G1 , temos que
(a)(e1 ) = (ae1 ) = (a) = (a)e2
Portanto pela lei da cancelamento temos que (e1 ) = e2 .
(b) Se a G1 , temos que

(a)(a1 ) = (aa1 ) = (e1 ) = e2

Portanto (a1 ) = (a)1 .

(c) Para n = 0, o resultado vale pelo (a).
Suponha que n Z+ . Provamos por induo. O resultado valido para n = 1, pois
(a1 ) = (a) = (a)1
30

Suponhamos que o resultado valido para n 1. Ento

(an ) = (aan1 ) = (a)(an1 ) = (a)(a)n1 = (a)n
pelo hiptese de induo.
Agora para n < 0, temos


(an ) = (a1 )n = (a1 )n = (a)n
logo o resultado valido para todo n Z.

Proposio 7.4. Sejam G1 e G2 grupos e seja : G1 G2 um homomorfismo. Se a G1 tem ordem finito,

ento ord((a)) divide ord(a).

Demonstrao. Seja n = ord(a). Ento an = e1 , logo

(a)n = (an ) = (e1 ) = e2 .


Portanto (a)n = e2 , logo temos que ord (a) divide ord(a).

Proposio 7.5. Sejam G1 , G2 e G3 grupos e seja : G1 G2 e : G2 G3 homomorfismos.

(a) A composio um homomorfismo
(b) Se e so ambos isomorfismos, ento um isomorfismo.
(c) Se um isomorfismo, ento 1 um isomorfismo.
Demonstrao.
(a) Seja a, b G1 . Ento






 

(ab) = (ab) = (a)(b) = (a) (b) ,

pois e so ambos homomorfismos.

(b) Se e so isomorfismos, ento um homomorfismo pelo (a), e ela uma bijeo pois
ambos e tamb so. Portanto um isomorfismo.
31

(c) Suponha que x, y G2 . Ento x = (a) e y = (b) para alguns a, b G1 . Portanto





1 (xy) = 1 (a)(b) = 1 (ab) = ab = 1 (x)1 (y).

Portanto 1 tambm um isomorfismo.



Proposio 7.6. Se : G1 G2 um isomorfismo, ento ord((a)) = ord(a).

Demonstrao. Suponha que a G1 tem ordem finita. Ento da Proposio 7.4 que

ord((a))  ord(a).

(1)

Mas como 1 tambm u homomorfismo, temos que


 
1
ord(a) = ord ((a))  ord((a)).

(2)

De (1) e (2) temos que ord((a)) = ord(a).

Observe a Proposio 7.4 tambm implica que a tem ordem finita se e somente se (a) tambm tem
ordem finita. Logo seguir que se a tem ordem infinta se e somente se (a) tambm tem. Portanto a
demonstrao.


7.2 A imagem e ncleo de um homomorfismo

Definio 7.4. Sejam (G1 , ) e (G2 , ) grupos e f : G1 G1 um homomorfismo. A imagem de f o
subconjunto

Im( f ) := { f (a) : a G}
de G2 .

Exemplo 7.7. Seja f : R R , a expoencial. Ento

Im( f ) = R+ = {x R, x > 0}
Lema 7.7. Im( f ) um subgrupo de (G2 , ).
Demonstrao. Usando o critrio de subgrupo:
32

 Se x = f (a), y = f (b) Im( f ) ento

x y = f (a) f (b) = f (a b) pois f um homomorfismo.
Portanto Im( f ) fechado em relao ao .
Se eG1 e eG2 so os elementos neutros de G1 , G2 respectivamente, ento f (eG1 ) = eg2 pois f
um homomorfismo. Portanto eG2 Im( f ).

Se x = f (a) Im( f ) ento

x1 = f (a)1 = f (a1 )

Portanto x1 Im( f )
Portanto Im( f ) um grupo.

Lema 7.8. Seja f : G1 G2 um homomorfismo injetora. Ento f define uma isomorfismo de G em Im( f ).
Demonstrao.

Definio 7.5. Sejam (G1 , ) e (G2 , ) grupos e f : G1 G1 um homomorfismo. Ento o ncleo de

f o subconjunto

Nuc( f ) := {x G1 | f (x) = eG2 }

de G1 , onde eG2 o elemento neutro do grupo G2 .

Exemplo 7.8. Seja f : (Z, +) (Z3 , +) o homomorfismo f (n) = n mod 3. Ento Nuc( f ) o conjunto
de inteiros congruente a 9 modulo 3, ou seja Nuc( f ) = 3Z.

Lema 7.9. Seja f : G1 G2 um homomorfismo. Ento Nuc( f ) um subgrupo de G1 .

Demonstrao. Usando o critrio de subgrupo:
Se x, y Nuc( f ). Ento

f (x y) = f (x) f (y) = eG2 eG2 = eG2

Portanto x y Nuc( f ), ou seja Nuc( f ) fechado com respeito a

Claro que eG1 Nuc( f ), pois f (eG1 ) = eG2
33

 Se x Nuc( f ), ento

f (x1 ) = f (x)1 = e1
G2 = eG2

Portanto x1 Nuc( f )
Portanto Nuc( f ) um grupo.

Exemplo 7.9.
(a) A funo sgn : Sn {1, 1} definido por

1, se par
sgn() =

1, se mpar

um homomorfismo com ncleo

Nuc( f ) = { Sn : sgn() = 1} = An ,
o grupo alternado de grau n.
(b) A funo determinante det : GL(n, R) R um homomorfismo com ncleo
Nuc(det) = {A GL(n, R) : det(A) = 1} = SL(n, R).
Teorema 7.10. Um homomorfismo f : G1 G2 injetora se, e somente se Nuc( f ) = {eG1 }.
Demonstrao. Suponha que f injetora, ento claro que Nuc( f ) = {e1 }.
Suponha que Nuc( f ) = {eG1 }) e a, b G1 com f (a) = f (b). Ento

eG2 = f (a) f (b)1 = f (a) f (b1 ) = f (ab1 ),

logo ab1 Nuc( f ). Portanto ab1 = eG1 Ou seja a = b. Logo f injetora.

7.3 Exerccios
1. Verifique quais das aplicaes abaixo so homomorfismo de grupos. Para aquelas que so
homomorfismo determine seu ncleo.
(a) f : (R+ , ) (R, +) dada por f (x) = log x
(b) f : (R , ) (R , ) dada por f (x) = x2

34

(c) f : (R , ) (R , ) dada por f (x) = 2x

1 1
(d) f : M(2, Z) M(2, Z) dada por f (A) =
0 0

2. Seja H = {2a 3b , |a, b Z} um subgrupo de R+ . Mostre que H Z Z.

3. Sejam G e G grupos, f : G G um homomorfismo e H < G . Mostre que
f 1 (H) = {x G; f (x) H} um subgrupo de G.

4. Seja G um grupo com 3 elementos. Mostre que G Z3 .

5. Sejam G, H grupos e f : G H um homomorfismo sobrejetora. Prove que se G abeliano
ento H tambm abeliano.
6. Verifique se os grupos G e H so isomorfos:
(a) G = Z6 e H = S3
(b) G = Z4 Z2 e H = Z2 Z2 Z2 .
(c) G = Z4 e H = Z2 Z2

(d) G = D4 e H = Z8

(e) G = D4 e H = Z4 Z2

(f) G = D4 e H = Z2 Z2 Z2

(g) G = Z8 Z10 Z3 e H = Z8 Z2 Z15

7. Determine o ncleo das seguintes homomorfismos
(a) f : Z Z8 tal que f (1) = 6.

(b) f : Z40 Z5 Z8 tal que f (1) = (1, 4).

 
 
8. Existe um nico homomorfismo f : Z6 S3 tal que f [1] = (1 2 3). Determine f [k] para
cada [k] Z6 . Quais so os elementos do ncleo de f ?

 

9. Mostre que f : Z6 Z2 Z3 dada por f [a]6 = [a]2 , [a]3 um homomorfismo. E deduza
que Z6  Z2 Z3 .

10. Seja H um subgrupo de GL(2, R) gerado por

0 1
0 1

A1 =
e B1 =
1 0
1 0

Prove que H um grupo no abeliano de 8 elementos e que isomorfo a D4 .

a b
, com a , 0 um subgrupo de GL(2, R). Prove que G
11. O grupo G das matrizes reais
0 1
isomorfo ao grupo
A = {a,b : R R : a,b (x) = ax + b, a , 0}.
35