Subgrupos normais e grupos quociente Produtos directos Homomorsmos de grupos Grupos abelianos nitamente gerados

Proposicao
Sejam G e H grupos cclicos nitos. Entao G H e cclico se e so se
ord(G) e ord(H) forem primos entre si.
Exerccio
Faca a demonstracao da proposicao anterior.
Usando inducao pode entao mostrar-se o seguinte:
Corolario
O produto directo externo G
1
G
2
G
n
de um n umero nito de
grupos cclicos nitos e cclico se e so se ord(G
i
) e ord(G
j
) sao primos
entre si, quando i ,= j .
Como consequencia imediata tem-se:
Corolario
Seja m = n
1
n
2
n
k
um inteiro. O grupo Z
m
e isomorfo a
Z
n
1
Z
n
2
Z
n
k
se e so se mdc(n
i
, n
j
) = 1, quando i ,= j .

Algebra (Curso de CC) Ano lectivo 2005/2006 173 / 188

Subgrupos normais e grupos quociente Produtos directos Homomorsmos de grupos Grupos abelianos nitamente gerados
O resultado anterior pode ser usado para exprimir o mesmo grupo (a
menos de isomorsmo) de varias maneiras diferentes.
Exemplo
Z
2
Z
2
Z
3
Z
5
Z
2
Z
6
Z
5
Z
2
Z
30
.
Tambem
Z
2
Z
2
Z
3
Z
5
Z
2
Z
6
Z
5
Z
2
Z
3
Z
2
Z
5
Z
6
Z
10
.
Obtemos, em particular, que Z
2
Z
30
Z
6
Z
10
. Note-se que este
grupo nao e cclico (logo nao e isomorfo a Z
60
).

Algebra (Curso de CC) Ano lectivo 2005/2006 174 / 188

Subgrupos normais e grupos quociente Produtos directos Homomorsmos de grupos Grupos abelianos nitamente gerados
Produtos directos internos
Denicao
Diz-se que um grupo G e o produto directo interno de H e K se H e K
forem subgrupos normais de G e se tiver
G = HK e H K = e.
Exemplo
Sejam H = (1 2 3)) e K = (1 2)) subgrupos do grupo simetrico S
3
.
Tem-se S
3
= HK e H K = (). No entanto, como K nao e um
subgrupo normal, estes dois subgrupos nao satisfazem as condicoes da
denicao para podermos armar que S
3
e produto directo interno de H e
K. Note-se que S
3
= HK , H K, pois este ultimo grupo e cclico,
enquanto que S
3
nem sequer e abeliano.
Proposicao
Se G e o produto directo interno de H e K, entao G H K.

Algebra (Curso de CC) Ano lectivo 2005/2006 175 / 188

Subgrupos normais e grupos quociente Produtos directos Homomorsmos de grupos Grupos abelianos nitamente gerados
Homomorsmos de grupos
Denicao (Homomorsmo)
Um homomorsmo de um grupo G num grupo H e uma funcao
: G H que preserva a operacao. Isto e,
(ab) = (a)(b), a, b G.
Antes de passar aos exemplos convem dar outra deni cao importante:
Denicao
O n ucleo de um homomorsmo de um grupo G num grupo com
identidade e e o conjunto ker = x G [ (x) = e.
Exemplo
Um isomorsmo e um homomorsmo bijectivo. O n ucleo de um
isomorsmo e o subgrupo trivial.

Algebra (Curso de CC) Ano lectivo 2005/2006 176 / 188

Subgrupos normais e grupos quociente Produtos directos Homomorsmos de grupos Grupos abelianos nitamente gerados
Exemplo
Seja R

o grupo dos n umeros reais nao nulos com a multiplicacao usual.

A funcao : R

denida por (x) = [x[ e um homomorsmo e

tem-se ker = 1, 1.
Exemplo
A funcao : Z Z
n
denida por (m) = m (mod n) (isto e, (m) e o
resto da divisao de m por n) e um homomorsmo cujo n ucleo e o
conjunto dos m ultiplos de n (ou seja, e o subgrupo cclico n)).
Exemplo
A funcao : R R denida por (x) = x
2
nao um homomorsmo do
grupo aditivo R nele proprio. De facto, (x + y) = x
2
+ 2xy + y
2
,
enquanto que (x) + (y) = x
2
+ y
2
(o que implica que, por exemplo,
(1 + 1) = 4 ,= 2 = (1) + (1)).
Seguidamente vamos ver algumas propriedades dos homomorsmos.
Varias delas tem demonstracoes iguais `as ja vistas aquando do estudo
dos isomorsmos.

Algebra (Curso de CC) Ano lectivo 2005/2006 177 / 188

Subgrupos normais e grupos quociente Produtos directos Homomorsmos de grupos Grupos abelianos nitamente gerados
Proposicao
Seja : G H um homomorsmo de grupos e seja g G. Entao:
1. transforma a identidade de G na identidade de H;
2. (g
n
) = ((g))
n
, para qualquer inteiro n;
3. se g tiver ordem nita, entao ord((g)) [ ord(g);
4. ker e um subgrupo de G;
5. se (g) = g

, entao
1
(g

) = x G [ (x) = g

= g ker .
Demonstracao. A fazer no quadro...
Nota
Como consequencia de 5 da proposicao anterior temos: se
ord(ker ) = n, entao, para qualquer elemento g

(G) tem-se
[
1
(g

)[ = n.

Algebra (Curso de CC) Ano lectivo 2005/2006 178 / 188

Subgrupos normais e grupos quociente Produtos directos Homomorsmos de grupos Grupos abelianos nitamente gerados
Proposicao
Seja : G G um homomorsmo de grupos e seja H G. Entao:
1. (H) e um subgrupo de G;
2. se H e cclico, entao (H) e cclico;
3. se H e abeliano, entao (H) e abeliano;
4. se H e normal em G, entao (H) e normal em (G);
5. se ord(H) = n, entao ord((H)) [ n;
6. se K e um subgrupo de G, entao
1
(K) e um subgrupo de G;
7. se K e um subgrupo normal de G, entao
1
(K) e um subgrupo
normal de G;
8. se e sobrejectivo e ker = e, entao e um isomorsmo.
Demonstracao. A fazer no quadro...

Algebra (Curso de CC) Ano lectivo 2005/2006 179 / 188

Subgrupos normais e grupos quociente Produtos directos Homomorsmos de grupos Grupos abelianos nitamente gerados
Como caso particular importante temos o seguinte:
Corolario (O n ucleo e normal)
Seja um homomorsmo do grupo G no grupo H. Entao ker e um
subgrupo normal de G.
O exemplo seguinte serve para ilustrar algumas das propriedades que
acabamos de demonstrar.
Exemplo
Seja : Z
12
Z
12
denido por (x) = 3x.
Como em Z
12
se tem 3(a + b) = 3a + 3b, e um homomorsmo.

E imediato vericar que ker = 0, 4, 8.

Temos entao
1
(6) = 2 + ker = 2, 6, 10.
2) e cclico e a sua imagem, (2)) = 0, 6 = 6), tambem e um
subgrupo cclico.

Algebra (Curso de CC) Ano lectivo 2005/2006 180 / 188

Subgrupos normais e grupos quociente Produtos directos Homomorsmos de grupos Grupos abelianos nitamente gerados
Exemplo
Vamos determinar todos os homomorsmos de Z
12
em Z
30
.
Seja : Z
12
Z
30
um homomorsmo. ca completamente
determinado pela imagem de 1 (por 1 ser gerador de Z
12
; note-se que
(x) = x(1)).
Suponhamos que (1) = a. Sabemos que ord(a) [ ord(1), logo, usando
tambem o teorema de Lagrange, temos que ord(a) divide 12 e 30.
Assim, ord(a) 1, 2, 3, 6. Logo a 0, 15, 10, 20, 5, 25. Pode agora
ser vericado que cada uma destas seis possibilidades da de facto um
homomorsmo.

Algebra (Curso de CC) Ano lectivo 2005/2006 181 / 188