Você está na página 1de 4

Obs: tem exerccios na pagina 4.

Resoluc
ao dos exerccios.
1. Seja f : (R, +) (R>0 , ) definida por f (x) := ex . Mostre que f e um
isomorfismo de grupos.
(a) f e homomorfismo: f (x + y) = ex+y = ex ey = f (x)f (y).
(b) f e injetivo: se f (x) = 1 entao ex = 1, logo x = 0. Isso mostra que
ker(f ) = {0}, logo f e injetivo.
(c) f e sobrejetivo: se y R>0 seja x := loge (x). Entao f (x) = ex = y.
2. Seja n Z, n 6= 0 e seja f : Z Z definida por f (z) := nz. Mostre
que f e um homomorfismo injetivo. Calcule a imagem de f . f pode ser
sobrejetivo?
f e homomorfismo pois f (x + y) = n(x + y) = nx + ny = f (x) + f (y). f
e injetivo pois se nz = 0 entao z = 0 (pois n 6= 0), logo ker(f ) = {0}. A
imagem de f e {nz : z Z} = nZ Z. f e sobrejetivo se e somente se
n = 1.
3. Sejam X, Y conjuntos e seja f : X Y uma funcao bijetiva. Mostre que
Sym(X)
= Sym(Y ).
Sym(X) e o grupo das funccoes bijetivas X X. Vamos definir um
claro
isomorfismo : Sym(X) Sym(Y ) levando para f f 1 . E
que essa func
ao e bem definida (composicao de bijecoes e uma bijecao).
Vamos mostrar que se trata de um isomorfismo de grupos.
(a) e um homomorfismo: ( ) = f f 1 = f f 1 f f 1 = ()( ).
(b) e injetivo: se () = 1 entao f f 1 = 1 e multiplicando a esquerda
por f 1 e a direita por f obtemos = f 1 f = 1. Isso mostra que
ker() = {1}, logo e injetivo.
(c) e sobrejetivo. Seja Sym(Y ), entao = f (f 1 f )f 1 =
(f 1 f ).
4. Considere R como grupo aditivo (abeliano) e Z R. Mostre que
R/Z
= S 1 = {a + ib C : a2 + b2 = 1}.
Considere a func
ao f : R S 1 que leva t para e2it = cos(2t)+i sin(2t).
Se trata de um homomorfismo pois f (t + s) = e2i(t+s) = e2it+2is =
e2it e2is = f (t)f (s). O n
ucleo e dado pelos t R tais que e2it = 1,
isto e, t Z, logo ker(f ) = Z. Como f e sobrejetivo (pois se a2 + b2 = 1
existe um n
umero real t tal que cos(t) = a e sin(t) = b), temos entao pelo
teorema de isomorfismo que R/Z
= S1.

5. Seja G = C = C {0} (grupo multiplicativo dos n


umeros complexos nao
nulos) e seja N = {a + ib C : a2 + b2 = 1}. Mostre que G/N
= R>0
(grupo multiplicativo dos n
umeros reais positivos).
Primeiro, vamos mostrar que f (a+ib) := a2 +b2 define um homomorfismo
de grupos multiplicativos C R>0 onde C e o grupo dos n
umeros
complexos n
ao nulos e R>0 e o grupo dos n
umeros reais positivos. Temos
que
f ((a + ib)(c + id)) = f (ac bd + i(ad + bc)) = (ac bd)2 + (ad + bc)2
f (a + ib)f (c + id) = (a2 + b2 )(c2 + d2 )
s
ao iguais. Logo, f e um homomorfismo,
e ker(f ) = N . Como f e sobrejetivo (pois se R>0 entao = f ( )) pelo teorema de isomorfismo
G/N
= R>0 .
6. Seja G um grupo abeliano finito. Mostre que f : G G, f (x) := x2 e um
homomorfismo. Mostre que se |G| e impar entao f e um isomorfismo.
f e homomorfismo pois f (xy) = (xy)2 = xyxy = xxyy = x2 y 2 = f (x)f (y)
(sendo G abeliano). Suponha |G| impar, e mostramos que f e isomorfismo,
isto e, que f e bijetivo. Pelo princpio da casa dos pombos (se A, B sao
conjuntos finitos da mesma cardinalidade, uma funcao A B e injetiva
se e somente se e sobrejetiva), basta mostrar que f e injetivo, isto e,
ker(f ) = {1}. Seja x ker(f ) e suponha por contradicao x 6= 1. Temos
f (x) = x2 = 1, logo o(x) = 2 (pois x 6= 1). Pelo teorema de Lagrange,
|hxi| = o(x) = 2 divide |G|, absurdo (|G| e impar).
7. Dado um primo p e Fp = Z/pZ, calcular a cardinalidade de S = {x2 :
x Fp }.
Considere o grupo multiplicativo G := Fp = Fp {0}. Como ja vimos
no exerccio anterior, f : G G que leva x para x2 e um homomorfismo
pois G e um grupo abeliano finito. Sendo Fp um corpo, a equacao x2 = 1
tem duas soluc
oes: 1 e 1, que sao diferentes se p 6= 2. Nesse caso temos
ent
ao que ker(f ) = {1, 1} tem ordem 2. Alem disso, a imagem de f e
C = {x2 : x G} e pelo teorema de isomorfismo C
= G/ ker(f ), entao
|C| = |G/ ker(f )| = |G|/| ker(f )| = (p 1)/2.
Obtemos que |S| = |C {0}| = |C| + 1 = (p + 1)/2. Se p = 2 entao
Fp = {0, 1} = S logo |S| = 2.
8. Mostre que

AB
{1}B

= A.

Se trata de mostrar que a funcao A B A que leva (a, b) para a e


um homomorfismo sobrejetivo de n
ucleo {1} B e aplicar o teorema de
isomorfismo.

9. Sejam n um inteiro positivo e m um divisor positivo de n. Seja Cn =


hxi = {1, x, x2 , . . . , xn1 }. Mostre que Cn /hxm i
= Cm .
Considere f : Cn Cm = hxn/m i definida por f (xk ) := xkn/m . Se trata
de um homomorfismo sobrejetivo de n
ucleo hxm i, logo o resultado segue
do teorema de isomorfismo.
10. Seja H um subgrupo de Sn contendo permutacoes impares. Mostre que
|H An | = 21 |H|.
J
a vimos em um outro exerccio que se H G e N E G entao HN/N
=
H/H N . Vamos aplicar esse resultado ao caso G = Sn e N = An . Vamos
mostrar que HAn = Sn . Sendo obvio que HAn Sn , vamos mostrar a
outra inclus
ao: Sn HAn . Seja entao g Sn . Se g An entao g = 1 g
HAn , agora suponha g 6 An , assim sgn(g) = 1. Por hipotese, existe
h H com sgn(h) = 1, logo sgn(hg) = sgn(h)sgn(g) = (1)(1) = 1,
assim hg An e obtemos g = h1 (hg) HAn .
Agora temos C2
= Sn /An = HAn /An
= H/H An entao 2 = |H/H
An | = |H|/|H An | logo |H An | = 12 |H|.
11. Conte os grupos abelianos de ordem 72.
Temos 72 = 23 32 e pelo teorema fundamental dos grupos abelianos finitos
temos 3 grupos abelianos de ordem 8 (C8 , C2 C4 e C2 C2 C2 ) e 2
grupos abelianos de ordem 9 (C9 e C3 C3 ). Logo temos 3 2 = 6 grupos
abelianos de ordem 72, eles sao C8 C9
= C72 , C8 C3 C3 , C2 C4 C9 ,
C2 C4 C3 C3 , C2 C2 C2 C9 , C2 C2 C2 C3 C3 .
12. Sejam C12 = hai, C16 = hbi. Calcule a ordem de (a10 , b12 ) no produto
direto G = C12 C16 .
A ordem de (a10 , b12 ) e igual ao mmc entre o(a10 ) e o(b12 ). Temos
o(a10 ) = o(a)/(10, o(a)) = 12/(10, 12) = 12/2 = 6
o(b12 ) = o(b)/(12, o(b)) = 16/(12, 16) = 16/4 = 4.
Logo a ordem de (a10 , b12 ) vale mmc(6, 4) = 12.
13. Conte os elementos de C6 C12 de ordem 6.
Um elemento de ordem 6 tem a forma (x, y) onde as ordens de x e y podem
ser: 1, 6 ou 2, 3 ou 2, 6 ou 3, 2 ou 3, 6 ou 6, 1 ou 6, 2 ou 6, 3 ou 6, 4 ou 6, 6.
Em total temos 24 tais elementos.

Mais exerccios.
1. Seja A um grupo e seja G = A3 = A A A. Mostre que G/(A {1}
{1})
= A A.
2. Mostre que N = {1, (12)(34), (13)(24), (14)(23)} e um subgrupo normal
de S4 .
3. Sejam A, B dois subgrupos normais de um grupo G, com A B. Mostre
que f : G/A G/B definida por gA 7 gB e um bem definido homomorfismo sobrejetivo de grupos e ker(f ) = B/A. Usando o teorema de
G/A
isomorfismo mostre que B/A
= G/B.
4. Seja L um subgrupo de G/N . Mostre que existe H G tal que H N e
L
= H/N . [Dica: define H := {g G : gN L}.]