Professional Documents
Culture Documents
ProvasResolvidas PDF
ProvasResolvidas PDF
Introduc
ao `
a Algebra
Manuel Ricou
Departamento de Matematica
Instituto Superior Tecnico
19 de Janeiro de 2008
Conte
udo
1 Enunciados de Testes
1.1 1o Teste: 12/4/2000
1.2 2o Teste: 18/5/2000
1.3 3o Teste: 15/6/2000
1.4 1o Teste: 5/4/2001 .
1.5 2o Teste: 10/5/2001
1.6 3o Teste: 12/6/2001
1.7 1o Teste: 10/4/2002
1.8 2o Teste: 15/5/2002
1.9 3o Teste: 7/6/2002 .
1.10 1o Teste: 18/3/2003
1.11 2o Teste: 29/4/2003
1.12 3o Teste: 27/5/2003
1.13 1o Teste: 30/3/2004
1.14 2o Teste: 27/4/2004
1.15 3o Teste: 25/5/2004
1.16 1o Teste: 31/3/2005
1.17 2o Teste: 28/4/2005
1.18 3o Teste: 25/5/2005
1.19 1o Teste: 27/3/2006
1.20 2o Teste: 8/5/2006 .
1.21 3o Teste: 5/6/2006 .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2 Enunciados de Exames
2.1 1o Exame: 1/7/2002 .
2.2 2o Exame: 24/7/2002
2.3 1o Exame: 4/7/2003 .
2.4 2o Exame: 21/7/2003
2.5 1o Exame: 9/7/2004 .
2.6 2o Exame: 24/7/2004
2.7 1o Exame: 1/7/2005 .
2.8 2o Exame: 18/7/2005
2.9 1o Exame: 7/7/2006 .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
i
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
3
4
4
5
6
6
7
7
8
9
9
10
10
11
12
12
13
13
14
15
.
.
.
.
.
.
.
.
.
17
17
18
19
20
22
23
24
25
26
CONTEUDO
ii
Resolvidos
Teste: 10/4/2002
Teste: 15/5/2002
Teste: 7/6/2002 .
Teste: 18/3/2003
Teste: 29/4/2003
Teste: 27/5/2003
Teste: 30/3/2004
Teste: 27/4/2004
Teste: 25/5/2004
Teste: 31/3/2005
Teste: 28/4/2005
Teste: 25/5/2005
Teste: 27/3/2006
Teste: 8/5/2006 .
Teste: 5/6/2006 .
27
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
29
31
34
37
40
43
47
51
55
60
62
64
67
70
72
4 Exames Resolvidos
4.1 1o Exame: 1/7/2002 .
4.2 2o Exame: 24/7/2002
4.3 1o Exame: 4/7/2003 .
4.4 2o Exame: 21/7/2003
4.5 1o Exame: 9/7/2004 .
4.6 2o Exame: 24/7/2004
4.7 1o Exame: 1/7/2005 .
4.8 2o Exame: 18/7/2005
4.9 1o Exame: 7/7/2006 .
4.10 2o Exame: 21/7/2006
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
77
77
82
85
90
91
96
100
104
108
114
Captulo 1
Enunciados de Testes
1.1
1o Teste: 12/4/2000
1 2 3 4 5 6 7 8
3 1 5 6 7 8 2 4
sao as suas orbitas? Qual e a sua paridade?
1. Considere a permutacao
em S8 . Quais
1.2
2o Teste: 18/5/2000
1.3
3o Teste: 15/6/2000
1.4
1o Teste: 5/4/2001
1.5
2o Teste: 10/5/2001
4. Os n
umeros da forma Fn = 22 + 1, com n 0, dizem-se os n
umeros
de Fermat.
a) Demonstre que se Gn e o produto dos n
umeros de Fermat Fk ,
0 k n, ou seja, se Gn = F0 F1 Fn , entao Fn+1 =
Gn + 2, para qualquer n 0.
b) Prove que se n 6= m entao Fn e Fm sao primos entre si.
1.6
3o Teste: 12/6/2001
1.7
1o Teste: 10/4/2002
1.8
2o Teste: 15/5/2002
k3 =
k=1
n2 (n + 1)2
.
4
1.9
3o Teste: 7/6/2002
1
3
3
= a + b 2 + c 4.
3
3
1+ 2+ 4
1.10
1o Teste: 18/3/2003
1.11
1.
2o Teste: 29/4/2003
a) Quantos divisores naturais tem 2.000?
b) Quantos naturais 1 k 2.000 sao primos relativamente a
2.000?
1.12
3o Teste: 27/5/2003
10
1.13
1o Teste: 30/3/2004
1.14
2o Teste: 27/4/2004
11
1.15
3o Teste: 25/5/2004
12
a) P
Mostre que os elementos invertveis de A sao as series da forma
n
n=0 an x , com a0 6= 0.
b) A e um d.i.p. e/ou um d.f.u.?
1.16
1o Teste: 31/3/2005
1.17
2o Teste: 28/4/2005
13
1.18
3o Teste: 25/5/2005
1.19
1o Teste: 27/3/2006
14
1.20
2o Teste: 8/5/2006
15
1.21
3o Teste: 5/6/2006
16
Captulo 2
Enunciados de Exames
2.1
1o Exame: 1/7/2002
18
2.2
2o Exame: 24/7/2002
19
2.3
1o Exame: 4/7/2003
20
2.4
2o Exame: 21/7/2003
21
22
2.5
1o Exame: 9/7/2004
23
2.6
2o Exame: 24/7/2004
24
2.7
1o Exame: 1/7/2005
25
2.8
2o Exame: 18/7/2005
26
2.9
1o Exame: 7/7/2006
27
2.10
2o Exame: 21/7/2006
28
<(x)>
<p(x)> ,
onde (x)|p(x).
Z5 [x]
Z5 [x]
.
< a(x) > < b(x) >
Z5 [x]
Z5 [x]
Captulo 3
Testes Resolvidos
3.1
1o Teste: 10/4/2002
o: Sabemos da Algebra
resoluc
a
Linear que o produto de matrizes e associativo, e tem identidade (a matriz identidade I).
Temos det(I) = 1, e portanto I H, e H 6= .
Sendo A, B H, temos det(AB) = det(A) det(B) = 1 1 =
1 AB H, ou seja, H e fechado em relacao ao produto.
Se A H entao A e invertvel, porque det(A) = 1 6= 0, e
det(A1 ) = 1/ det(A) = 1, ou seja, A H A1 H.
Podemos assim concluir que H e um grupo com o produto usual
de matrizes.
29
30
31
3.2
2o Teste: 15/5/2002
32
m
105
49
7
q
1
2
7
r
49
7
0
y1
1
0
1
x1
0
1
1
y2
0
1
2
x2
1
1
3
33
(mod 7), e x 1
(mod 22)
(mod 7) y 1
(mod 7) y = 1 + 7k.
k3 =
k=1
n2 (n + 1)2
.
4
n
X
k3 =
k=1
n2 (n + 1)2
.
4
k 3 = 1, e
k=1
12 (1 + 1)2
= 1.
4
n
X
n2 (n + 1)2
+ (n + 1)3 =
4
k=1
k=1
n2 (n + 1)2 + 4(n + 1)3
(n + 1)2 (n2 + 4(n + 1))
=
=
=
4
4
(n + 1)2 (n2 + 4n + 4)
(n + 1)2 (n + 2)2
=
=
.
4
4
P
(n+1)2 (n+2)2
3
A igualdade n+1
e P (n + 1).
k=1 k =
4
k3 =
k 3 + (n + 1)3 =
34
3.3
3o Teste: 7/6/2002
m(x)
+ 2x3 + 2x + 2
x4 + 1
2x3 + 2x + 1
n(x)
x4 + 1
3
2x + 2x + 1
2x2 + x + 1
q(x)
1
2x
x+1
r(x)
+ 2x + 1
2x2 + x + 1
0
2x3
mmc =
2. Mostre que (
n 2
n=0 x )
= (1 + 2x)
3n
n=0 x
em Z3 [[x]].
o: Sabemos que
resoluc
a
X
n=0
cn xn =
X
n=0
!
an xn
X
n=0
!
bn xn
cn =
n
X
k=0
ak bnk .
35
cn x =
n=0
!2
n
, i.e., an = bn = 1, e cn =
n=0
n
X
1 = n + 1.
k=0
Como cn Z3 , temos:
n 0 (mod 3) n + 1 1 (mod 3) cn = 1.
n 1 (mod 3) n + 1 2 (mod 3) cn = 2.
n 2 (mod 3) n + 1 0 (mod 3) cn = 0.
Portanto, c3n = 1, c3n+1 = 2, e c3n+2 = 0. Conclumos que
!2
xn
n=0
X
n=0
cn xn =
x3n +
n=0
=(1 + 2x)
c3n x3n +
n=0
2x3n+1 =
n=0
X
3n
c3n+1 x3n+1 =
n=0
n=0
n=0
x3n + 2x
x3n =
x .
n=0
0
1
x
x+1
0
0
0
0
0
1
0
1
x
x+1
x
0
x
1
x+1
x+1
0
x+1
x+1
0
4. Seja R um n
umero irracional algebrico sobre Q. Seja ainda J o
conjunto dos polinomios p(x) Q[x] tais que p() = 0.
36
1
3
3
= a + b 2 + c 4.
3
3
1+ 2+ 4
o: Sendo J o conjunto dos polinomios p(x) Q[x] tais
resoluc
a
que p(a) = 0, temos como vimos que J =< m(x) >, e e evidente
que x3 2 J, donde m(x) e factor de x3 2. O polinomio
x3 2 e irredutvel, pelo criterio de Eisenstein (com p = 2), e por
isso m(x) = 1 ou x3 2. So podemos ter m(x) = x3 2, porque
J 6= Q[x].
37
1+
3.4
1
3
3
= s( 2) = 2 1, i.e., a = 1, b = 1, c = 0.
3
2+ 4
1o Teste: 18/3/2003
n
= z n (wn )1 = 1 zw1 Rn .
38
39
n = 1 : na = 1a = a,
n > 1 : na = (n 1)a + a,
n = 0 : na = 0a = O, e
n < 0 : na = (n)(a).
40
3.5
1.
2o Teste: 29/4/2003
a) Quantos divisores naturais tem 2.000?
o: 2.000 = 2(10)3 = 2(25)3 = 24 53 . Portanto,
resoluc
a
o natural k e divisor de 2.000 se e so se k = 2n 3m , onde 0 n 4
e 0 m 3. Existem 5 valores para n, e 4 valores para m.
Conclumos que 2.000 tem 5 4 = 20 divisores naturais.
b) Quantos naturais 1 k 2.000 sao primos relativamente a
2.000?
o: Os u
resoluc
a
nicos factores primos de 2.000 sao 2 e 5. Portanto, os naturais 1 k 2.000 que sao primos relativamente a
2.000 sao os que nao sao m
ultiplos de 2 nem de 5.
De 1 ate 2.000 temos:
O conjunto A = {1 k 2.000 : 2|k}, formado pelos m
ultiplos
de 2, tem 2.000/2 = 1.000 elementos, ou seja, #(A) = 1.000.
O conjunto B = {1 k 2.000 : 5|k}, formado pelos m
ultiplos
de 5, tem 2.000/5 = 400 elementos, #(B) = 400.
O conjunto A B, formado pelos m
ultiplos comuns de 2
e de 5, contem os m
ultiplos de mmc(2, 5) = 10. Portanto
#(A B) = 2.000/10 = 200.
Os naturais que sao m
ultiplos de 2 e/ou 5 formam o conjunto
A B. Temos #(A B) = #(A) + #(B) #(A B) =
1.000 + 400 200 = 1.200.
Finalmente, os naturais k 2.000 que sao primos relativamente a 2.000 sao os que nao pertencem ao conjunto A B.
Existem portanto 2.000 1.200 = 800.
n
87
84
3
r
84
3
0
q
68
1
x
1
0
1
y
0
1
68
x0
0
1
1
y0
1
68
69
41
k
2
2
0
0
m
0
1
0
1
j
3
1
3
1
x
1
3
2
6
y
108
12
27
3
42
43
3.6
3o Teste: 27/5/2003
44
x2
1+x+
1 + x2
x
1+
x
1
x2
r
x
1
0
q
1
x
x
a(x)
1
0
1
b(x)
0
1
1
c(x)
0
1
x
d(x)
1
1
1+x
45
46
k
X
i=0
pi qki =
s1
X
i=0
pi qki + ps qr +
k
X
pi qki .
i=s+1
3.7
47
1o Teste: 30/3/2004
48
0c = O.
1c = c.
Se n > 1, nc = (n 1)c + c.
Se n > 0, (n)c = n(c).
49
50
3
Se o subgrupo contem r2 ou r3 entao contem r, porque r2 =
2
r3 = r6 = r. Se o subgrupo contem r4 entao contem r,
porque r1 = r4 .
ii. Qualquer subgrupo H que contenha duas reflexoes contem
todas as rotacoes.
O produto de duas reflexoes (distintas) e uma rotacao 6= 1, e
pelo resultado anterior o subgrupo contem todas as rotacoes.
iii. Qualquer subgrupo H que contenha uma reflexao e uma
rotacao 6= 1 e o proprio grupo D5 .
Ja vimos que H contem todas as rotacoes, i.e., contem K =
{I, r, r2 , r3 , r4 }. Se H e uma reflexao, entao H contem
os elementos , r, r2 , r3 , r4 , que sao distintos, e sao reflexoes. Conclumos que H contem 5 reflexoes e 5 rotacoes,
i.e., contem todos os elementos de D5 .
Finalmente, observamos que qualquer subgrupo de D5 possivelmente distinto dos 8 que indicamos contem pelo menos duas reflexoes, ou uma reflexao e uma rotacao, e portanto e D5 .
Ja vimos que o subgrupo das rotacoes K e normal, e e obvio que {1} e
D5 sao subgrupos normais de D5 . Resta-nos verificar que os subgrupos
da forma H = {1, }, onde e uma reflexao, nao sao normais. Recordese que qualquer reflexao e inversa de si propria, i.e., satisfaz 1 = .
Temos agora que se 6= entao 1 6 H, porque
1 = 1 = = 1, o que e impossvel.
1 = = = ( )1 , e portanto
e uma rotacao igual a sua inversa, ou = 1, que e tambem
impossvel, porque 6= .
algumas notas soltas:
1 a) Nao podemos invocar na resolucao deste exerccio a identidade f e =
f , a pretexto de f ser a identidade do subgrupo, porque neste caso
sabemos apenas que f x = x f = x para qualquer x H. Tomar
x = e equivale a dizer que e H, que e exactamente o que queremos
provar!
1 b) O subgrupo H K e normal apenas no subgrupo K! Em geral, H K
nao e normal no grupo original G.
1 d) A identidade (x + y)2 = x2 + 2xy + y 2 e equivalente a xy = yx. Qualquer anel nao-abeliano pode ser usado para obter um contra-exemplo,
muito
mas convem escolher elementos x e y tais que xy 6= yx! E
simples obter exemplos com matrizes.
51
3.8
2o Teste: 27/4/2004
por
Como mdc(5, 108) = 1, sabemos que 108|5x 108|x. E
outro lado obvio que 108|x 108|5x, i.e., 108|x 108|5x, e
10x 0
(mod 108).
52
m
10
6
4
2
q
21
1
1
2
r
6
2
2
0
y1
1
0
1
1
x1
0
1
21
22
y2
0
1
1
2
x2
1
21
22
43
(mod 108).
O inteiro 129 pode ser substitudo por qualquer outro que lhe
seja congruente (mod 108), e e comum escrever a solucao geral
recorrendo `a menor solucao particular positiva, i.e., escrever x
87 (mod 108).
c) Quantos naturais a 216 tem inverso (mod 216)?
o: a e invertvel (mod 216) se e so se a equacao ax 1
resoluc
a
(mod 216) tem solucao, ou seja, se e so se mdc(a, 216) = 1. Como
os u
nicos factores primos de 216 sao 2 e 3, segue-se que desejamos
contar os naturais a 216 que nao sao m
ultiplos de 2 nem de 3.
53
54
5 X
3
X
n=0 m=0
2n 5m =
5
X
n=0
2n
3
X
5m =
m=0
55
3
7
57
133
p
2
2
7
11
k
1
2
2
2
3=1+2
7=1+2+4
57 = 1 + 7 + 49
133 = 1 + 11 + 121
Como 399 = 3 133 = 7 57, a equacao S(n) = 399 tem exactamente duas solucoes: n = 2 112 = 242, e n = 22 72 = 196.
3.9
3o Teste: 25/5/2004
56
de Euclides:
n
1155
60
m
60
15
q
19
4
r
15
0
y1
1
0
x1
0
1
y2
0
1
x2
1
19
x0
x1
(mod 15)
(mod 77)
Temos
x = 1 + 77y 1 + 77y 0
(mod 15) 2y 1
(mod 15).
57
58
n
n=0 an x , com a0 6= 0.
evidente que
o: E
resoluc
a
!
!
X
X
an xn
bm xm = 1 a0 b0 = 1 a0 6= 0.
n=0
m=0
P
m
Resta-nosPmostrar queP
se a0 6= 0 entao existe uma serie
m=0 bm x
n
m
tal que ( n=0 an x ) ( m=0 bm x ) = 1. Para isso, definimos os
coeficientes bm recursivamente, de forma a que:
a0 b0 = 1, e, para n > 0,
n
X
ak bnk = 0.
k=0
a1
0 ,
Basta-nos tomar b0 =
e, para n > 0, e supondo bk definido
para 0 k < n, notar que
n
X
k=0
ak bnk = 0 a0 bn =
n
X
k=1
ak bnk bn = a1
0
n
X
k=1
!
ak bnk
59
60
3.10
1o Teste: 31/3/2005
a b
c d
x =
a2 + bc b(a + d)
c(a + d) d2 + bc
.
1 1
1 1
.
61
a 0
a) H = {
, ab 6= 0}.
0 b
obvio que H 6= , e por isso temos a verificar
o: E
resoluc
a
apenas que x, y H xy 1 H. Note-se, para isso, que sendo
a 6= 0 e b 6= 0 entao
1
a 0
a
0
1
y=
y =
.
0 b
0 b1
Conclumos que:
1
c 0
a 0
ca
0
1
x=
,y =
xy =
H.
0 d
0 b
0
db1
Temos assim que
um subgrupo de GL(2, R).
H e
Considerem-se agora as matrizes (1 )
1 0
1 0
1 0
1
.
GL(2, R), donde y =
H, y =
x=
1 1
1 1
0 1
O seguinte calculo e imediato:
1
0
1 0
1 0
1 0
1
6 H.
=
y xy =
2 1
1 1
0 1
1 1
Conclumos que
o e um subgrupo normal de GL(2, R).
H na
b) H = {M GL(2, R) : det(M ) = 1}.
o: H 6= , ja que contem, por exemplo, a matriz idenresoluc
a
tidade. Para verificar que x, y H xy 1 H, recordamos
que det(xy) = det(x) det(y), e det(y 1 ) = det(y)1 . Como
x, y H det(x) = det(y) = 1, temos entao que
det(xy 1 ) = det(x) det(y 1 ) = det(x) det(y)1 = 1.
Conclumos que
um subgrupo de GL(2, R).
H e
Se x H e y GL(2, R), temos ainda
det(y 1 xy) = det(y 1 ) det(x) det(y) = det(y) det(y)1 = 1.
Por outras palavras, y 1 xy H, donde
1
Note que a matriz y representa uma operac
ao elementar sobre linhas/colunas, o que
em particular torna o c
alculo da sua inversa imediato.
62
3.11
2o Teste: 28/4/2005
63
m
731
86
43
q
3
8
2
r
86
43
0
x1
1
0
1
y1
0
1
3
x2
0
1
8
y2
1
3
25
64
3.12
3o Teste: 25/5/2005
65
(mod 8) 5y 1
(mod 8) y 5
(mod 8).
Conclumos que
y = 5 + 8z x = 101(5 + 8z) = 505 + 808z x = 505.
2. Diga, em cada caso, se a afirmacao e verdadeira ou falsa, justificando
a sua resposta com uma demonstracao, ou um contra-exemplo.
66
67
p1
Y
(0 k) = (1)p1 (p 1)!.
k=1
mod p.
3.13
1o Teste: 27/3/2006
68
69
y = f (x). E
4
3
4
12
tambem evidente que x R12 f (x) = (x ) = x = 1, ou
seja, f (R12 ) R4 . Como sabemos que f (R12 ) tem 4 elementos,
conclumos que f (R12 ) = R4 .
A equacao x3 = 1 tem a solucao particular evidente x = 1.
A solucao geral e portanto x = (1)y, com y N (f ) = R3 =
70
2k
3.14
2o Teste: 8/5/2006
m
829
4
q
3
207
r
4
1
i j
25 =
5
X
i=1
5
X
j=1
71
72
3.15
m
49
8
1
q
208
6
8
r
8
1
0
y1
1
0
1
x1
0
1
208
y2
0
1
6
x2
1
208
1249
3o Teste: 5/6/2006
73
por
Considere-se ohomomorfismo de aneis : Q[x] Q[ 3 2] dado
3
3
(p(x)) p( 2), que e sobrejectivo, por definicao de Q[ 2]. O
n
ucleo de e um ideal de Q[x], necessariamente principal, donde
N () =< n(x) >. Como m(x) N (), temos n(x)|m(x). Dado
que m(x) irredutvel, e N () 6= Q[x], temos n(x) m(x), ou seja,
N () =< n(x) >=< m(x) >. Conclu
mos do 1o teorema de isomor
3
fismos para aneis que os aneis Q[ 2] e Q[x]/ < x3 2 > sao isomorfos.
d) Se K e um corpo, e m(x) K[x] e um polinomio irredutvel com grau
2, existe um corpo L que e uma extensao de K onde m(x) tem pelo
menos uma raz.
o:verdadeiro. Considere-se o anel L = K[x]/ < m(x) >.
resoluc
a
O argumento utilizado na alnea anterior mostra que L e um corpo, e
e claro que L e uma extensao de K, identificando os elementos a K
com as classes a L. Com a identificacao referida, temos p(x) = p(x)
para qualquer p(x) K[x]. Em particular, temos m(x) = m(x) = 0,
i.e., x L e uma raz de m(x) no corpo L.
2. Observe que N = 845 = 5 132 .
74
75
76
Captulo 4
Exames Resolvidos
4.1
1o Exame: 1/7/2002
78
79
80
81
a) Prove que nenhum elemento de G tem ordem 6, mas que existe pelo
menos um elemento G com ordem 3. Sugestao: Mostre que, caso
contrario, G seria abeliano.
o: Se existe um elemento g G de ordem 6 entao
Resoluc
a
< g >= {1, g, g 2 , g 3 , g 4 , g 5 } = G,
e G e um grupo cclico de ordem 6, ou seja, G ' Z6 , e G e abeliano.
Conclumos que os elementos de G so podem ter ordem 1, 2 ou 3. (A
ordem de um elemento de G e o n
umero de elementos do subgrupo
gerado por g, e portanto tem que ser um factor de 6, pelo teorema de
Lagrange).
Se nao existe nenhum elemento de G com ordem 3, entao todos os
elementos g 6= 1 tem ordem 2, i.e., g 2 = 1 ( g 1 = g), para qualquer
g G. Repare-se entao que se g, h G temos (gh)1 = gh, porque
gh G, e (gh)1 = h1 g 1 = hg. Portanto, gh = hg, e G seria
abeliano. Como G e nao-abeliano, conclumos que existe pelo menos
um elemento G de ordem 3.
b) Sendo um elemento de G de ordem 3, e H = {1, , 2 } o subgrupo
gerado por , mostre que H e normal em G. Sugestao: Qual e o ndice
de H em G?
o: O ndice de H em G e [G : H] = #(G)/#(H) = 6/3 =
Resoluc
a
2. Portanto existem 2 classes laterais direitas e duas classes laterais
esquerdas de H. Note-se que uma das classes e sempre H, portanto a
outra classe e G H. Em particular, temos sempre gH = Hg, e H e
normal em G. Mais exactamente, se g H entao gH = Hg = H, e se
g 6 H entao gH = Hg = G H.
c) Suponha que
6 H, e mostre que 2 = 1. Sugestao: No grupo
quociente G/H, a ordem do elemento e 2. Qual pode ser a ordem
de em G?
o: Como vimos na alnea anterior, o grupo quociente G/H
Resoluc
a
tem 2 elementos, ou seja, G/H = {1, } onde e um qualquer dos
elementos que nao pertencem a H. Claro que no grupo G/H so podemos ter 2 = 1 (a ordem de so pode ser 2). Note-se que se n = 1
no grupo original entao evidentemente n = 1 em G/H, e portanto n
e m
ultiplo de 2, ou seja, a ordem de em G so pode ser 2 ou 6. De
acordo com a conclusao de a), a ordem de em G e 2.
d) Como H = H, o produto so pode ser ou 2 . Conclua que
G e necessariamente isomorfo a S3 .
o: Como H = {, , 2 } = H = {, , 2 }, e claro
Resoluc
a
que = , ou = , ou = 2 . Como 6= 1, so podemos ter
= , ou = 2 .
82
G = H H = {1, , 2 , , , 2 }. Como 2 = 1 e 3 = 1, a
tabuada do grupo G fica unicamente determinada pelo valor atribuido
claro que se = entao o grupo G e abeliano.
ao produto . E
Como G nao e abeliano, so podemos ter = 2 , e a tabuada de
G so pode ser preenchida de uma forma. Conclumos que todos os
grupos nao-abelianos com 6 elementos sao isomorfos. Como S3 e um
grupo nao-abeliano com 6 elementos, G e isomorfo a S3 . (A ttulo de
curiosidade, a tabuada poderia preencher-se como se segue)
4.2
1
1
2
1
2
2
2
1
2
1
2
2
2o Exame: 24/7/2002
83
84
85
4.3
1o Exame: 4/7/2003
86
87
88
89
90
donde conclumos que # < (x + a)(x + b) > = 3.
Os elementos nao-invertveis sao os que pertencem aos ideais
I0 =< x >, I1 =< x + 1 > e I2 =< x + 2 > .
Se i 6= j, a interseccao Ii Ij e um dos ideais com 3 elementos, e a
interseccao I0 I1 I2 e o ideal que apenas contem o zero. Existem
por isso 9 + 9 + 9 (3 + 3 + 3) + 1 = 19 elementos nao-invertveis, e
27 19 = 8 elementos invertveis.
d) Supondo K = Z3 , e m(x) = x3 +2x, o anel A e isomorfo a Z3 Z3 Z3 ?
o: Sim. Considere-se o homomorfismo
resoluc
a
f : Z3 [x] Z3 Z3 Z3 , dado por f (p(x)) = (p(0), p(1), p(2)).
O n
ucleo de f e o ideal I =< x(x + 1)(x + 2) >, de acordo com o
Teorema do Resto (se p(0) = p(1) = p(2) = 0, entao p(x) e divisvel
por x, por x1 = x + 2, e por x 2 = x + 1).
Conclumos do 1o Teorema de Isomorfismo que A = Z3 [x]/I e isomorfo
a f (Z3 [x]), e como A tem 27 elementos, f (Z3 [x]) tem igualmente 27
elementos. Dado que Z3 Z3 Z3 tem tambem 27 elementos, e claro
que f (Z3 [x]) = Z3 Z3 Z3 , e A ' Z3 Z3 Z3 .
4.4
2o Exame: 21/7/2003
91
4.5
1o Exame: 9/7/2004
92
93
94
x2 + 1
x+1
2
x
x+2
x+1
2
1
0
1
0
1
2x
0
1
x+1
1
2x
x2 + 2x + 1
95
96
4.6
2o Exame: 24/7/2004
97
98
99
Resta-nos verificar o caso em que m = 11, i.e., (n) = an, e < a >=<
90 > e o subanel de Z990 com 11 elementos. Recordamos que e um
homorfismo de aneis se e so se a2 = a, que e o caso se e so se a e a
identidade do subanel em causa. Temos neste caso que
a0
(mod 90), e a 1
(mod 11)
x2 + x + 1
2x + 1
x+1
2x + 1
2x + 1
0
100
4.7
1o Exame: 1/7/2005
101
102
103
104
4.8
2o Exame: 18/7/2005
105
a) Determine o n
umero de subgrupos, e de geradores, do grupo Z495 .
o: 495 = 32 5 11, e portanto existem 3 2 2 = 12
resoluc
a
divisores de 495, e 12 subgrupos de Z495 . O n
umero de geradores de
Z495 e
1
1
2 4 10
1
= 240.
(495) = (1 )(1 )(1 ) = 495
3
5
11
3 5 11
b) Existe algum homomorfismo injectivo f : Z495 Z595 ? Existe algum
homomorfismo sobrejectivo f : Z495 Z395 ? Quantos homomorfismos
f : Z495 Z295 existem?
o: Se f : Z495 H e um homomorfismo injectivo, entao
resoluc
a
f (Z495 ) e um subgrupo de H com 495 elementos, e pelo teorema de
Lagrange 495 e factor da ordem de H. Como 495 nao e factor de 595,
o existem homomorfismos injectivos f : Z495 Z595 .
na
Se f : Z495 H e um homomorfismo sobrejectivo, entao pelo 1o
teorema de isomorfismo temos H ' Z495 /N , onde N e o n
ucleo de f .
A ordem de H e por isso igual `a ordem de Z495 /N , i.e., e igual ao
ndice [Z495 : N ], que e um factor de 495. Como 395 nao e factor de
o existem homomorfismos sobrejectivos f : Z495 Z395 .
495, na
Se f : Z495 Z295 e um homomorfismo, entao a ordem de f (Z495 )
e factor de 295, pelo teorema de Lagrange, e e factor de 495, pelo 1o
teorema de isomorfismo. Os divisores comuns de 495 e 295 = 5
59 sao 1 e 5, e portanto f (Z495 ) so pode ter 1 ou 5 elementos. O
primeiro caso (1 elemento) corresponde ao homomorfismo obvio dado
por f (x) = 0 para todo o x Z495 . Para reconhecer que o segundo
caso (5 elementos) e possvel, observe-se que:
Ou
nico subgrupo de Z295 com 5 elementos e < 59 >' Z5 , que
tem 4 geradores. Estes geradores sao os elementos da forma 59k,
com 1 k 4.
As funcoes fk : Z Z295 dadas por fk (x) = 59kx sao homomorfismos de grupos, e sao os u
nicos homomorfismos f : Z Z295
tais que f (Z) =< 59 >.
O n
ucleo de fk e dado por
N (fk ) = {x Z : 295|59kx} =< 5 >< 495 > .
Conclumos que existem 4 homomorfismos gk : Z495 Z295 tais
que gk (Z495 ) =< 59 >, e 5 homomorfismos g : Z495 Z295 .
c) Quais dos seguintes grupos sao isomorfos entre si?
Z3 Z165 , Z9 Z55 , Z99 Z5 , Z15 Z33 .
106
(mod 2) y 1,
(mod 2)
107
108
4.9
1o Exame: 7/7/2006
109
110
111
1 + 53k 0
a = 1 + 53k
(mod 25)
e
b = 53s
53s 1
(mod 25)
3k 1
(mod 25) e 3s 1
24k 8
(mod 25)
(mod 25) e s 8 17
(mod 25)
k8
(mod 25)
112
Com
Com
Com
Com
ordem
ordem
ordem
ordem
113
1: a identidade,
2: o elemento ,
p: os elementos k , 1 k < p,
2p: os elementos k , 1 k < p.
114
4.10
2o Exame: 21/7/2006
115
116
Y
i
pi , b =
qj , e c =
rk , donde
pi
qj = p
rk .
Q
Como D e um d.f.u., as duas factorizacoes i pi j qj = p k rk
sao identicas, a menos da ordem dos factores e da multiplicacao por
unidades, ou seja, cada um dos factores irredutveis `a direita e associado de pelo menos um dos factores irredutveis `a esquerda. Em
portanto factor
particular, p e associado de um dos factores pi ou qj . E
de a ou de b.
3. Considere o anel Z775 .
a) Quantos subaneis tem Z775 ? Quantos divisores de zero existem em
Z775 ?
o:775 = 52 31 tem 6 factores, e portanto Z775 tem 6 subaneis.
resoluc
a
1
O anel tem (775) = 775(1 15 )(1 31
) = 5 4 30 = 600 elementos
invertveis, e portanto 775 600 1 = 174 divisores de zero.
b) Z775 tem um subanel B com 155 elementos. Quantos geradores tem o
subanel B?
o:Como 755/155 = 5, e claro que B =< 5 >, e porresoluc
a
tanto os geradores de B sao as classes dos inteiros da forma 5x, com
mdc(5x, 755) = 5, ou mdc(x, 155) = 1. Por outras palavras, existem
tantos geradores de B como elementos invertveis em Z155 , ou seja,
1
existem (155) = 155(1 15 )(1 31
) = 4 30 = 120 geradores de B.
c) Resolva a equacao x2 = 0, com x Z775 .
o:Seja x = k, com k Z. Temos entao que 775|k 2 , donde
resoluc
a
5|k e 31|k. Segue-se que k = 155z, e e obvio que neste caso 775|k 2 .
Conclumos que x2 = 0 se e so se k = 155z. Existem por isso 5
solucoes da equacao, a saber x = 155, x = 310, x = 465, x = 620, e
x = 775 = 0.
d) Quantos homomorfismos de grupo : Z775 D31 existem? (Recorde
que D31 e o grupo diedral formado pelas simetrias do polgono regular
de 31 lados.)
o:Notamos que:
resoluc
a
117
O grupo D31 tem 62 = 2 31 elementos. Como (Z775 ) e subgrupo de D31 , segue-se que a sua ordem so pode ser 1, 2, 31 ou
62 elementos.
A ordem de (Z775 ) resulta tambem de dividir 775 pelo n
umero
de elementos do n
ucleo de , n
ucleo esse que e um subgrupo de
Z775 . Consequentemente, a ordem de (Z775 ) e tambem factor
de 775 = 52 31
Conclumos assim que a ordem de (Z775 ) so pode ser 1 ou 31, sendo
que o primeiro caso corresponde ao homomorfismo trivial dado por
(x) = 1 para qualquer x Z775 .
O caso em que (Z775 ) tem 31 elementos e igualmente possvel, e ocorre
sempre que (1) e um dos geradores r do subgrupo R31 de D31 com
31 elementos, caso em que (n) = rn . Como 31 e primo, sabemos
que R31 ' Z31 , e portanto R31 tem 30 geradores (cada um dos quais
e uma das rotacoes nao triviais em D31 ). Existem assim 1+30 = 31
homomorfismos possveis.
4. Considere o anel K = Z5 [x]/ < p(x) >, onde p(x) = x3 + 2x2 + 2x + 1.
Note que p(4) = 0.
a) Determine o n
umero de elementos do anel K, e verifique que K nao e
um corpo.
o:Os elementos de K sao da forma a + bx + cx2 , com a, b, c
resoluc
a
Z5 . K tem portanto 53 = 125 elementos. Como p(4) = 0, sabemos
que p(x) e divisvel por x 4 = x + 1, e na verdade temos p(x) =
x3 +2x2 +2x+1 = (x4)(x2 +x+1), donde (x 4)(x2 + x + 1) = 0,
ou seja, e claro que K contem divisores de zero, e por isso nao pode
ser um corpo.
b) Mostre que os ideais de K sao da forma
<(x)>
<p(x)> ,
onde (x)|p(x).
118
Z5 [x]
Z5 [x]
.
< a(x) > < b(x) >
Z5 [x]
Z5 [x]
Z5 [x]
o:Sendo a : Z5 [x] <a(x)>
resoluc
a
e b : Z5 [x]
homomorfismos canonicos dados por
a (c(x)) = c(x)
tomamos : Z5 [x]
Z5 [x]
<b(x)>
os
Z5 [x]
Z5 [x]
e b (c(x)) = c(x)
,
< a(x) >
< b(x) >
Z5 [x]
<a(x)>
Z5 [x]
<b(x)>
dado por
.
< p(x) >
< a(x) > < b(x) >
Z5 [x]
Z5 [x]
Como tanto <p(x)>
como <a(x)>
Z5 [x]
<b(x)>
Z5 [x]
Z5 [x]
Z5 [x]
' (Z5 [x]) =
.
< p(x) >
< a(x) > < b(x) >