Professional Documents
Culture Documents
Amlcar Pacheco
tica
Universidade Federal do Rio de Janeiro, Instituto de Matema
E-mail address: amilcar@im.ufrj.br
Sum
ario
Captulo 1. Preliminares
1.3. Relac
ao de equivalencia
1.9. Lema de Zorn e aplicacoes
1
2
3
Parte 1.
N
umeros Inteiros
7
7
8
9
10
Captulo 3. Fatorac
ao de inteiros
3.1. Existencia
3.4. Unicidade
3.8. MDC e fatorac
ao
3.10. Aplicac
oes
3.19. Func
oes aritmeticas elementares
13
13
13
14
15
17
Captulo 4. Induc
ao finita
4.1. Enunciados
4.4. Exemplos da induc
ao na sua primeira forma
4.10. Exemplos da induc
ao finita na sua segunda forma
21
21
21
22
Captulo 5. N
umeros primos
5.1. Infinidade de primos
5.4. Primos em progress
oes aritmeticas
5.7. Infinidade de compostos por funcoes polinomiais
5.9. N
umeros de Fermat e Mersenne
5.12. Contando n
umeros primos
5.20. Func
ao zeta
25
25
26
28
29
29
32
37
37
39
40
41
41
41
42
iii
SUMARIO
iv
7.10.
7.13.
43
43
Captulo 8. Aplicac
oes da teoria de grupos `a teoria elementar dos n
umeros
8.1. Primalidade de n
umeros de Mersenne
8.3. Primalidade de n
umeros de Fermat
8.5. N
umeros de Carmichael
8.11. Teorema da raiz primitiva
45
45
45
46
47
Parte 2.
49
Grupos
51
51
54
56
57
Captulo
10.1.
10.10.
10.27.
10.33.
10.37.
61
61
63
66
70
72
Captulo
11.1.
11.7.
11.15.
75
75
77
79
81
81
83
Captulo
13.1.
13.3.
13.6.
13.11.
87
87
88
89
91
Parte 3.
Captulo
14.1.
14.3.
14.11.
Captulo
15.1.
15.15.
15.25.
15.34.
93
95
95
97
99
103
103
108
110
112
SUMARIO
15.50.
Aplicac
oes
117
Corpos
119
121
124
Captulo
17.1.
17.4.
17.12.
17.18.
127
127
128
130
131
Parte 4.
17. Extens
oes algebricas
Elementos algebricos e transcendentes
Extens
oes algebricas
Adjunc
ao de razes
Fechos algebricos
137
141
Captulo 19.
143
Extens
oes puramente inseparaveis
147
150
Captulo
21.1.
21.10.
21.18.
153
153
156
157
Captulo 22.
Extens
oes ciclotomicas
159
Captulo 23.
Extens
oes cclicas
163
Captulo 24.
169
Parte 5.
T
opicos adicionais
173
Captulo
25.2.
25.10.
25.13.
175
175
179
179
Captulo
26.1.
26.7.
26.9.
181
181
182
183
Captulo
27.1.
27.2.
27.3.
27.4.
185
185
185
185
185
Bibliografia - Livros
187
Bibliografia - Artigos
189
CAPTULO 1
Preliminares
Ao longo deste livro dentoraremos por N o conjunto dos n
umeros naturais, Z o
conjunto dos n
umeros inteiros, Q o conjunto dos n
umeros racionais, R o conjunto
dos n
umeros reais e C o conjunto dos n
umeros complexos. Para todo x C
denotamos por
|x|
seu
valor
absoluto
usual,
i.e., se x = a + bi com a, b R,
2
2
ent
ao |x| := a + b . Para todo x R denotamos seu valor absoluto usual por
|x| := x, se x 0, e |x| := x, se x < 0.
Sejam S e T conjuntos. Uma funcao f : S T e dita injetiva toda vez que
x 6= y implicar f (x) 6= f (y). Isto tambem equivale a dizer que se f (x) = f (y),
ent
ao x = y. A func
ao f e dita sobrejetiva, se f (S) = T .
Lema 1.1. Sejam S 0 e R conjuntos. Ent
ao existe um conjunto S10 e bijec
ao
0
0
0
0 : S S1 tal que S1 R = .
Axioma 1.2 (axioma da boa ordenacao). Todo subconjunto nao vazio de N
possui um menor elemento.
Seja n 1 inteiro. Sejam x, y variaveis. Considere o produto notavel
xn y n = (x y)(xn1 + xn2 y + . . . + xy n2 + y n1 .
Podemos obter dele a soma de n termos de uma progressao geometrica de razao q.
n1
Digamos que os termos sejam a, aq, , aq . Assim,
a + aq + . . . + aq n1 = a
qn 1
.
q1
Basta na f
ormula anterior tomar x = q e y = 1.
Para inteiros 1 m n definimos o n
umero binomial
n
n!
:=
,
m
m!(n m)!
onde n! := n(n 1) . . . 1.
Lembre-se [Sp, p. 632] das seguintes expansoes em series
1
= 1 + x2 + x3 + . . . + xn + . . . ;
1x
x2
x3
xn
log(1 x) = x +
+
+ ... +
+ ... .
2!
3!
n!
Dado um n
umero real x denotamos por dxe a parte inteira de x, ou seja, o
maior n
umero inteiro menor ou igual a x.
Para todo inteiro n 1 e n
umero primo p, a ordem p-adica ordp (n) de n e
definida por pordp (n) e a potencia exata de p que divide n.
1
1. PRELIMINARES
1.3. Rela
c
ao de equival
encia
Seja X um conjunto. Uma relacao binaria R e um subconjunto de X X.
Dado um par (a, b) R dizemos que a e relacionado a b e denotamos por aRb. Por
exemplo, podemos tomar como X o conjunto de retas do plano e como R a relacao
de ortogonalidade.
Uma relac
ao de equivalencia em um conjunto X e uma relacao binaria satisfazendo `
as seguintes condic
oes:
(1) x x (reflexividade).
(2) Se x y, ent
ao y x (simetria).
(3) Se x y e y z, entao x z (transitividade).
Exemplo 1.4. Seja X = Z e a relacao (mod n) definida por: dados
a, b Z, a b (mod n) se e somente se n | (a b), i.e., existe k Z tal que
a b = kn. Isto define uma relacao de equivalencia. De fato,
(1) a a = 0 = 0.n.
(2) Se a b (mod n), entao existe k Z tal que ab = kn, logo ba = (k)n
e b a (mod n).
(3) Se a b (mod n) e b c (mod n), entao existem k, l Z tais que a b =
kn e b c = ln. Somando estas duas igualdades obtemos a c = (k + l)n,
logo a c (mod n).
Exemplo 1.5. Seja X = Z Z {0}. Definimos dois pares (a, b), (c, d) X
como equivalentes, denotando (a, b) (c, d) se e somente se ad = bc. Isto define
uma relac
ao de equivalencia. De fato,
(1) ab = ba, logo (a, b) (a, b).
(2) Suponha que (a, b) (c, d), i.e., ad = bc. Logo cb = da, i.e., (c, d) (a, b).
(3) Suponha que (a, b) (c, d) e (c, d) (e, f ), i.e., ad = bc e cf = de. Logo
bcf
bde
af = bc
d f = d = d = be, i.e., (a, b) (e, f ).
Seja X um conjunto e uma relacao de equivalencia em X. Definimos a classe
[a] de um elemento a X por [a] = {b X | b a}. Note que [a] e um conjunto.
Lema 1.6. Seja X um conjunto e uma relac
ao de equivalencia em X. Dados
a, b X, temos que a b se e somente se [a] = [b].
o. Suponha que [a] = [b]. Observe que a [a], pois a a.
Demonstrac
a
Logo a [b], i.e., b a, portanto a b.
Reciprocamente, suponha a b e c [a], i.e., c a. Por transitividade, c b,
i.e., c [b]. Suponha d [b], i.e., d b. Por simetria, b a, por transitividade,
d a, i.e., d [a].
rio 1.7. Seja X um conjunto e um relac
Corola
ao de equivalencia em X.
Ent
ao a b se e somente se [a] [b] = .
o. Note que se a b, entao [a] [b] = [a] = [b] 6= . Por outro
Demonstrac
a
lado, se existisse c [a] [b], entao c a e c b. Por simetria, a c e por
transitividade a b, o que e uma contradicao.
rio 1.8. Seja X um conjunto e e um relac
Corola
ao de equivalencia em X.
S
S
ao disjunta das classes de equivalencia
Ent
ao X = a [a], onde a [a] denota a uni
em X.
1.9. LEMA DE ZORN E APLICAC
OES
Parte 1
N
umeros Inteiros
CAPTULO 2
Algoritmos Euclideanos
O objetivo deste captulo e descrever o algoritmo euclideano que permite dividir um n
umero inteiro por outro, definir a nocao de maximo divisor comum de
n
umeros inteiros e provar o algoritmo euclideano estendido que da uma relacao de
dependencia linear entre o m
aximo divisor comum e os n
umeros inteiros atraves da
noc
ao de ideais.
2.1. O algoritmo euclideano para n
umeros inteiros
o 2.2. Sejam a, b Z. Dizemos que a divide b ou que b e divisvel
Definic
a
por a e denotamos a | b se existe c Z tal que ac = b.
o 2.3. A divisibilidade satisfaz as seguintes propriedades:
Proposic
a
(1) (Cancelamento). Se c 6= 0 e ac | bc, ent
ao a | b.
(2) (Transitividade). Se a | b e b | c, ent
ao a | c.
o. (1) Existe Z tal que ac = bc, i.e., c(b a) = 0. Mas
Demonstrac
a
o produto de dois inteiros e igual a zero implica em que um dos inteiros e nulo.
Observe que c 6= 0, assim b = ac, i.e., a | b.
(2) Existem , Z tais que b = a e c = b, substituindo a primeira
igualdade na segunda, obtemos c = a, i.e., a | c.
Teorema 2.4 (algoritmo de Euclides). Sejam a, b Z com b 6= 0. Ent
ao
existem q, r Z tais que
a = bq + r, onde 0 |r| < |b|.
Se a, b 0, ent
ao q e r s
ao unicamente determinados por a e b.
o. Suponha inicialmente que a, b 0. Se a < b tome q = 0 e
Demonstrac
a
r = a. Suponha que a b. Considere o conjunto S := {k 1 inteiro | kb > a}. Este
conjunto e um subconjunto n
ao vazio de N. Assim, pelo axioma da boa ordenacao
(axioma 1.2) existe q + 1 S tal que q + 1 x para todo x S. Logo q
/ S, i.e.,
a bq. Seja r := a bq, portanto 0 r < (q + 1)b b = b.
Se a < 0 e b > 0, divida a0 := a por b com quociente q 0 e resto r0 e tome
q := q 0 e r := r0 .
Se a < 0 e b < 0, divida a0 := a por b0 := b com quociente q 0 e resto r0
e tome q := q 0 e r := r0 .
Se a > 0 e b < 0, divida a por b0 := b com quociente q 0 e resto r0 e tome
q := q e r := r0 .
Para provar a unicidade suponha que
a = bq1 + r1 = bq2 + r2 ,
7
onde
0 r1 , r2 < b.
2. ALGORITMOS EUCLIDEANOS
Basta provar que r1 = r2 , pois neste caso bq1 = bq2 e como b 6= 0, pela propriedade
do cancelamento, q1 = q2 . Suponha r1 < r2 . Neste caso,
r2 r1 = b(q1 q2 ) b,
mas
r2 r1 r2 < b.
Similarmente, n
ao podemos ter r1 > r2 .
2.5. M
aximo divisor comum
o 2.6. Sejam a, b Z. Dizemos que d Z e um maximo divisor
Definic
a
comum de a e b, denotado por mdc(a, b) se
(1) d | a e d | b; (por isto d e dito um divisor comum de a e b.)
(2) Para todo d0 Z tal que d0 | a e d0 | b, d0 | d.
o 2.7.
Observac
a
A nocao de mdc esta bem definida a menos de
sinal. De fato se e for um outro mdc de a e b, entao por (2) e | d e d | e,
ou seja existem , Z tais que d = e = d, portanto = 1, i.e.,
{1}. Assim quando dizemos o mdc de a e b referimo-nos `a escolha
de d positiva.
mdc(a, b) = mdc(a, b) (exerccio).
Se b | a, ent
ao mdc(a, b) = b (idem).
Denote por Da,b o conjunto dos divisores comuns positivos de a e b. Note
que para qualquer x Da,b temos que x min{a, b}. Assim, este conjunto e finito. Fica novamente como exerccio verificar que mdc(a, b) e
justamente o elemento maximo de Da,b .
Lema 2.8. Sejam a, b 1 inteiros e a = bq + r onde 0 r < b a divis
ao de a
por b. Ent
ao mdc(a, b) = mdc(b, r).
o. Basta mostrar que os conjuntos Da,b e Db,r sao coincidem.
Demonstrac
a
De fato, neste caso seus elementos maximos sao iguais, o que prova o lema. Seja
e Da,b , digamos a = e e b = e para , Z. Logo r = a bq = e( q),
i.e., e | r, i.e., e Db,r , i.e., Da,b Db,r . Seja f Db,r , digamos b = f 0 e r = f
para 0 , Z. Ent
ao a = bq + r = f ( 0 q + ), i.e., f | a, i.e., f Da,b , i.e.,
Db,r Da,b .
Teorema 2.9. Sejam a, b 1 inteiros. Consideremos a seq
uencia de divis
oes
sucessivas:
a = bq1 + r1 , 0 < r1 < b
b = r1 q2 + r2 , 0 < r2 < r1
(2.9.1)
..
.
..
.
2.11. ANEIS
E IDEAIS
2.11. An
eis e ideais
Nesta sec
ao daremos uma outra demonstracao (conceitual) do algoritmo euclideano estendido. Para isto precisamos da nocao de ideais no conjunto Z dos
n
umeros inteiros.
O conjunto Z dos n
umeros inteiros possui duas funcoes. A soma + : Z Z Z
de n
umeros inteiros (a, b) 7 a + b que associa ao par (a, b) sua soma a + b. E o
produto de inteiros : Z Z Z dada por (a, b) 7 ab que associa ao par (a, b) o
seu produto ab. Dados inteiros a, b, c as seguintes propriedades sao satisfeitas:
(1) (Associatividade da soma) a + (b + c) = (a + b) + c.
(2) (Comutatividade da soma) a + b = b + a.
(3) (Elemento neutro da soma) a + 0 = 0.
(4) (Inverso da soma) Dado a Z existe b Z tal que a + b = 0 e denotamos
b = a.
(5) (Associatividade do produto) a(bc) = (ab)c.
(6) (Comutatividade do produto) ab = ba.
(7) (Elemento neutro do produto) 1a = a.
10
2. ALGORITMOS EUCLIDEANOS
2.15. EXERCICIOS
11
CAPTULO 3
Fatorac
ao de inteiros
Neste captulo mostramos que todo n
umero inteiro fatora-se de forma u
nica
como produto de n
umeros primos
3.1. Exist
encia
o 3.2. Seja p 2 inteiro. Dizemos que p e um n
Definic
a
umero primo, se
para todo inteiro b 1 tal que b | p, entao b = 1 ou b = p, i.e., os u
nicos divisores
positivos de p s
ao 1 e p. Os n
umeros inteiros que nao primos sao chamados de
n
umeros compostos, i.e., n 1 e composto se e somente se existem 1 < a, b < n
tais que n = ab.
Teorema 3.3 (teorema fundamental da aritmetica - primeira versao). Seja
n 1 inteiro, existem p1 , , pk n
umeros primos (n
ao necessariamente distintos)
tais que
n = p1 pk .
o. Se n e primo nada ha a fazer. Suponhamos que n seja comDemonstrac
a
posto. Todo divisor d de n satisfaz d n, assim o conjunto dos divisores positivos
de n e finito. Seja p1 o menor divisor positivo de n. Afirmamos que p1 e primo.
Se p1 n
ao fosse primo, teramos que existem 1 < a, b < p1 tais que p1 = ab, em
particular a | n, mas isto contradiz a minimalidade de p1 .
Seja n1 := pn1 < n. Se n1 e igual a 1 ou primo, entao n = n1 p1 ja e a fatoracao
procurada. Sen
ao, com o mesmo argumento anterior, o menor divisor positivo p2
de n1 e primo. Seja n2 := np21 = p1np2 < n1 . Se n2 e igual a 1 ou primo, entao
n = n2 p2 p1 e a fatorac
ao procurada. Senao prosseguimos. Note que temos uma
seq
uencia estritamente decrescente n > n1 > n2 > de inteiros positivos, assim
existe k 1 tal que nk = 1, i.e., n = p1 pk .
3.4. Unicidade
Lema 3.5. Seja p 2 um n
umero primo e a, b Z \ {0}. Se p | ab, ent
ao p | a
ou p | b.
o. Note que dado um n
Demonstrac
a
umero primo p, entao mdc(a, p) = 1
equivale a p - a, pois os u
nicos divisores positivos de p sao 1 e p. Suponha que
p - a, i.e., pelo algoritmo euclideano estendido, existem s, t Z tais que 1 = sa + tp.
Multiplicando ambos os lados por b obtemos b = sab + tpb. Mas ab = p, pois
p | ab, para algum Z. Logo b = p(s + tb), i.e., p | b.
o 3.6. O lema anterior pode ser estendido imediatamente para um
Observac
a
produto qualquer de inteiros, i.e., se p | a1 an , entao existe 1 i n tal que
p | ai .
13
3. FATORAC
AO
DE INTEIROS
14
3.10. APLICAC
OES
15
3.10. Aplica
c
oes
o 3.11. Seja p 2 um n
Proposic
a
umero primo. Ent
ao
p
/ Q.
e tomando Q := pr11 prkk , excluindo os primos com expoente zero, temos que Q e
livre de quadrados. O que sobra e a2 com a := pq11 pqkk , i.e., n = a2 Q.
3. FATORAC
AO
DE INTEIROS
16
o. Suponha que
Demonstrac
a
p=
a
b com
f
a, b Z e mdc(a, b) = 1. Entao
a = pb
e p | af . Pela observac
ao 3.6 concluimos que p | a, digamos a = p. Substituindo
na igualdade anterior obtemos
pf f = pbf ,
simplificando a igualdade anterior por p, concluimos que
pf 1 f = bf .
Como f 2 temos que p aparece na fatoracao do lado esquerdo, em particular,
p | bf . Novamente, pela observacao 3.6 concluimos que p | b, mas isto contradiz
mdc(a, b) = 1.
o 3.16. Sejam n 1 e f 2 inteiros. Dizemos que n e livre de
Definic
a
f -potencias se a fatorac
ao de n e da forma
n = pe11 pekk
com 1 ei < f para todo 1 i k.
Lema 3.17. Seja n 1 inteiro, ent
ao existem Q, a 1 inteiros tais que n =
af Q com Q livre de f -potencias.
o. Seja
Demonstrac
a
n = pe11 pekk
a fatorac
ao de n. Pelo algoritmo euclideano, para cada 1 i k, existem qi , ri Z
tais que ei = f qi + ri , onde 1 ei < f . Assim escrevemos
n = pf1 q1 pr11 pfk qk prkk .
Como anteriormente Q := pr11 prkk e livre de f -potencias e tomando a :=
pq11 pfkk concluimos que n = af Q.
o 3.18. Sejam n 1 e f 2 inteiros. Suponhamos que n seja livre
Proposic
a
/ Q.
de f -potencias. Ent
ao f n
o. Seja
Demonstrac
a
n = pe11 pekk
a fatorac
ao de n, onde 1 ei < f para todo i i k. Suponhamos que f n =
com a, b Z e mdc(a, b) = 1. Entao
a
b
af = pe11 pekk bf .
Logo para cada 1 i k pi | af . Pela observacao 3.6 concluimos que pi | a,
digamos a = pi i para i Z. Substituindo na igualdade anterior obtemos
pfi if = pe11 pekk bf .
Cancelando pei i em ambos os lados da igualdade acima e denotando
e
i1
i+1
c := pe11 pi1
pi+1
pekk ,
obtemos
pif ei if = cbf .
Como anteriormente pi - c uma vez que pi nao divide nenhum fator de c. Logo
pi | bf . Novamente pela observacao 3.6 concluimos que pi | b, mas isto contradiz
mdc(a, b) = 1.
3.19. FUNC
OES
ARITMETICAS
ELEMENTARES
17
3.19. Fun
c
oes aritm
eticas elementares
Para todo n
umero inteiro n 1 denotemos por (n) o n
umero de divisores
inteiros positivos de n e por (n) a soma de todos estes divisores, i.e.,
X
(n) := #{d 1 | d | n} e (n) :=
d.
d1,d|n
Utilizaremos a fatorac
ao u
nica para obter formulas explcitas para estes dois n
umeros.
o 3.20. Seja n = pa1 1 par r a fatorac
Proposic
a
ao de n em n
umeros primos.
Ent
ao
pa1 +1 1
par +1 1
(n) = (a1 + 1) (ar + 1) e (n) = 1
r
.
p1 1
pr 1
o. Note que d | n se e somente se d fatora-se como
Demonstrac
a
d = pb11 pbrr com 0 bi ai para todo 1 i r.
Assim, os divisores positivos de n correspondem bijetivamente as r-uplas (b1 , , br )
satisfazendo a 0 bi ai para todo 1 i r. A quantidade destas r-uplas e
exatamente (a1 + 1) (ar + 1).
Para a segunda igualdade observe que
!
!
X
X
X
b1
b1
br
br
(n) =
p1 pr =
p1
pr
b1
(b1 , ,br )
br
e que cada soma no segundo membro e a soma dos termos de uma progressao
geometrica, disto segue a f
ormula para (n).
3.20.1. Fun
c
ao de Mbius. Definimos a funcao de Mbius : N \ {0} Z
por (1) := 1, (n) := 0, se n nao e livre de quadrados, caso contrario, i.e.,
n = p1 pr , onde os pi s s
ao primos distintos definimos (n) := (1)r .
o 3.21. Se n > 1, ent
Proposic
a
ao
X
(d) = 0.
d1,d|n
(1 , ,r )
onde os i s s
ao 0 ou 1. Portanto,
X
r
r
(d) = 1 r +
+ . . . + (1)r = (1 1)r = 0.
2
3
d1,d|n
Para entender melhor a funcao de Mbius precisamos introduzir a multiplicac
ao de Dirichlet. Sejam f, g : N \ {0} C, definimos
X
f g(n) :=
f (d1 )g(d2 ).
d1 ,d2 1,d1 d2 =n
3. FATORAC
AO
DE INTEIROS
18
Definimos a func
ao 1 : N \ {0} Z por 1(1) := 1 e 1(n) := 0, se n > 1. Segue
da definic
ao que para toda funcao f : N \ {0} C temos f 1 = 1 f = f . Defina
tambem a func
ao I : N \ {0} Z por I(n)
P := 1 para todo n. Novamente, por esta
definic
ao obtemos f I(n) = I f (n) = d1,d|n f (d).
Lema 3.22. I = I = 1.
claro que I(1) = (1)I(1) = 1. Se n > 1, entao
o. E
Demonstrac
a
P
I(n) = d1,d|n (d) = 0. A prova para I e identica.
Teorema 3.23 (teorema de inversao de Mbius). Seja
X
F (n) :=
f (d).
d1,d min d
Ent
ao
X
f (n) =
(d)F (n/d).
d1,d|n
O teorema de invers
ao de Mbius tem diversas aplicacoes, dentre elas a funcao
de Euler definida da seguinte forma. Seja n 1 inteiro, (n) denota o n
umero
claro que se p for um n
de inteiros positivos d n tais que mdc(d, n) = 1. E
umero
primo (p) = p 1.
o 3.24.
Proposic
a
X
(d) = n
d1,d|n
X
d1,d|n
(d),
3.19. FUNC
OES
ARITMETICAS
ELEMENTARES
19
CAPTULO 4
Induc
ao finita
Neste captulo apresentamos o metodo da inducao finita. Este metodo e utilizado em diversas circunst
ancias em matematicas para provar afirmativas que dependem indutivamente dos n
umeros naturais.
4.1. Enunciados
Axioma 4.2 (princpio da inducao finita na sua primeira forma). Seja A(n)
uma afirmativa sobre n
umeros naturais n N. Suponha que
(1) exista n0 N tal que A(n0 ) seja verdadeira.
(2) Dado k n0 , toda vez que A(k) for verdade, entao A(k + 1) tambem o
ser
a.
Ent
ao para todo n n0 a afirmativa A(n) e verdadeira.
Axioma 4.3 (princpio da inducao finita na sua segunda forma). Seja A(n)
uma afirmativa sobre n
umeros naturais n N. Suponha que
(1) exista n0 N tal que A(n0 ) seja verdadeira.
(2) Se A(k) e verdadeira para todo n0 k < n entao A(n) tambem e verdadeira.
Logo para todo n n0 a afirmativa A(n) e verdadeira.
4.4. Exemplos da indu
c
ao na sua primeira forma
Exemplo 4.5. Para todo inteiro n 1 temos
n
X
n(n + 1)
.
i=
2
i=1
o.
Demonstrac
a
(1) Para n = 1 temos que 1 =
Pn
(2) Suponha que i=1 i = n(n+1)
. Entao
2
n+1
X
i=1
i=
n
X
i=1
i + (n + 1) =
1.2
2 .
n(n + 1)
(n + 1)(n + 2)
+ (n + 1) =
.
2
2
p
i
4. INDUC
AO
FINITA
22
Note que p n
ao divide nenhum dos fatores do denominador, pois i < p. Logo
podemos colocar p para fora da fracao e o que sobra
(p 1) (p 1 + i)
i(i 1) 1
tambem e inteiro.
Exemplo 4.7. Seja p um n
umero primo. Para todo inteiro n 1 temos que p
divide np n.
o.
Demonstrac
a
(1) Para n = 1 temos que p divide 1p 1 = 0.
p
(2) Suponha que p | (n n). Entao
p1
X
p i
p
(n + 1) (n + 1) =
n + (np n).
i
i=1
Pelo Lema 4.6 e pela hipotese de p | (np n) concluimos que p | ((n +
1)p (n + 1)).
Teorema 4.8 (pequeno teorema de Fermat). Seja p um n
umero primo e a Z.
Ent
ao p | (ap a).
o. O exemplo mostra o teorema para inteiros positivos. Seja
Demonstrac
a
m < 0 inteiro, digamos m = n para n 1. Suponha p > 2. Neste caso,
mp m = (n)p (n) = (np n) que e divisvel por p. No caso de p = 2 temos
que se n2 n = 2, ent
ao m2 m = n2 + n = n + 2 + n = 2( + 1).
o 4.9. O teorema anterior e na verdade equivalente para um inteiro
Observac
a
a n
ao divisvel por p a p | (ap1 1). De fato, suponha que ap a = a(ap1 1) = p
para Z. Se p - a, ent
ao pelo Lema 3.5 concluimos que p | (ap1 1).
4.10. Exemplos da indu
c
ao finita na sua segunda forma
Ordenamos os n
umeros primos
p1 = 2 < p2 = 3 < p3 = 5 < pn ,
onde pn denota o n-esimo n
umero primo. Seja P o conjunto dos n
umeros primos.
Teorema 4.11 (Euclides). O conjunto P e infinito.
o. Suponhamos que P seja finito, digamos com k elementos,
Demonstrac
a
P = {p1 < < pk }.
Seja
M := p1 pk + 1.
Notemos que M > p1 pk 2pk > pk , logo M tem que ser um n
umero composto.
Pelo teorema fundamental da aritmetica M e produto de n
umeros primos. Logo
os u
nicos primos que podem aparecer na sua fatoracao sao p1 , , pk , digamos que
pi | M , i.e., existe i 1 inteiro tal que M = i pi . Retornando `a definicao de M
obtemos
pi (i p1 pi1 pi+1 pk ) = 1.
Os fatores do lado esquerdo s
ao ambos inteiros, o primeiro e positivo e o produto e
positivo. Logo a express
ao entre parenteses e positiva. Por outro lado pi 2, logo
4.10. EXEMPLOS DA INDUC
AO
FINITA NA SUA SEGUNDA FORMA
23
pn p1 pn1 + 1 22 + . . . 2n1 + 1.
n1
CAPTULO 5
N
umeros primos
No captulo anterior provamos que o conjunto dos n
umeros primos e infinito.
Daremos 3 outras demonstracoes para este fato. Cada qual tem seu merito proprio.
A prova apresentada no captulo sobre inducao finita e a original de Euclides. Provaremos tambem que existe uma infinidade de n
umeros primos em certas progressoes
aritmeticas e que func
oes polinomiais nao lineares produzem uma infinidade de
n
umeros compostos.
5.1. Infinidade de primos
Seja P o conjunto dos n
umeros primos.
Teorema 5.2 (Euclides). O conjunto P e infinito.
o. Suponhamos que P seja finito, digamos P = {p1 , ,
2a. Demonstrac
a
pk }. Seja n 1 inteiro. Pelo Lema 3.13, n = mQ2 , com m, Q 1 inteiros e m
livre de quadrados. Por um lado a quantidade de n
umeros inteiros positivos ate n e
exatamente n. Por outro, m = pe11 pekk , onde ei {0, 1}, para 1 i k. Assim,
escolher m e equivalente a escolher os expoentes ei , e como tenho duas escolhas
para cada i, o n
umero
de escolhas possveis para m e no maximo 2k
. Observemos
o n
umero de escolhas para n e no maximo 2k n, i.e., n 2k n, i.e., n 2k ,
i.e., n 22k . Mas k e fixo, e a cardinalidade do conjunto de n
umeros primos, e n e
um inteiro qualquer, i.e., estamos mostrando que o conjunto dos inteiros positivos
e limitado, o que e impossvel. Portanto, P e infinito.
n
pP
25
5. NUMEROS
PRIMOS
26
diverge.
Para a noc
ao de divergencia de serie veja [Li, Captulo IV].
o. Sejam n 1 inteiro e p1 , , pl(n) os n
Demonstrac
a
umeros primos menores ou iguais a n. Seja
l(n)
Y 1
(n) :=
.
1 pi
i=1
Segue das Preliminares que
X 1
1
,
=
1 pi
pai i
ai 0
logo
(n) =
X
pa1
(a1 , ,al(n) ) 1
1
al(n) ,
. . . pl(n)
l(n)
X
log(1 pi ) =
i=1
l(n)
X
X
i=1 m1
1
mpm
i
l(n)
XX 1
1
1
+
.
+ ... +
p1
pl(n) i=1
mpm
i
m2
Note que
X
m2
X 1
1
1
2
1
<
= 2
1 p2 .
m
mpi
pm
p
1
p
i
i
i
i
m2
Logo,
!
1
1
1
1
log((n)) <
+ ... +
+2
+ ... + 2
.
p1
pl(n)
p21
pl(n)
P
Segue de [Li, Captulo IV, Exemplo 29] que n1 n2 converge, a fortiori o mesmo
P
P
1
vale para i1 p2
convergisse, existiria uma constante
i . Dessa forma, se
pP p
M
M
tal
que
log((n))
<
M
,
i.e.,
(n)
<
e
,
mas
(n) , quando n . Assim,
P
1
p
n
a
o
pode
convergir.
pP
5.4. Primos em progress
oes aritm
eticas
Nos pr
oximos 3 par
agrafos procuramos estudar formulas simples que caracterizem os n
umeros primos. Na verdade procuramos funcoes f : N N cuja
imagem contenha muitos n
umeros primos. Comecaremos pela funcao linear, digamos f (n) = an + b com a, b 1 inteiros. Note que f (N) e uma progressao
aritmetica com primeiro elemento a + b e razao b.
27
5. NUMEROS
PRIMOS
28
Assim n
ao e possvel que todo fator de M deixe resto 1 na divisao por 6, i.e.,
existe 1 i k tal que pi | M , M = pi i para i 1 inteiro. Retornando `a
definic
ao de M obtemos
pi (i 6p1 pi1 pi+1 pk ) = 5.
No lado esquerdo temos um produto de um n
umero inteiro positivo por outro cujo
produto tambem e um inteiro positivo, logo o n
umero inteiro entre parenteses e um
inteiro positivo. Como p1 11, o lado esquerdo e pelo menos 11, o que e impossvel.
Portanto P6,5 e infinito.
No par
agrafo sobre func
ao zeta a seguir enunciaremos um teorema devido a
Dirichlet que generaliza os dois lemas anteriores.
5.7. Infinidade de compostos por fun
c
oes polinomiais
Queremos agora analisar o que ocorre se a funcao considerada anteriormente
for polinomial. Veremos que em geral o fenomeno se contrapoe ao caso linear, ou
seja, e possvel apenas garantir uma infinidade de n
umeros compostos na imagem
de f .
Teorema 5.8. Seja
f (n) := ad n+ ad1 nd1 + . . . + a1 n + a0 ,
onde ad , , a0 Z com ad > 0. Ent
ao existem infinitos n
umeros compostos da
forma f (n).
o. Se para todo n 1, f (n) for composto nada ha a fazer.
Demonstrac
a
Caso contr
ario, seja n0 N tal que f (n0 ) = p n
umero primo. Seja h 1 inteiro e
f (n0 + hp) = ad (n0 + hp)d + ad1 (n0 + hp)d1 + . . . + a1 (n0 + hp) + a0 .
Note que a soma dos termos constantes (considerando a expressao acima como um
polin
omio em h) e igual a
ad nd0 + ad1 n0d1 + . . . + a1 n0 + a0 = p.
Logo,
f (n0 + hp) = p(1 + a1 h + a2 (2n0 h + h2 p) + . . .
+ ad1 ((d 1)n0d2 h + . . . + (d 1)n0 hd2 pd3 + hd1 pd2 )
+ ad (dnd1
h + . . . + dn0 hd1 pd2 + hd pd1 )).
0
Observe que o termo lder da expressao acima como polinomio em h e igual a
ad pd1 p > 0. Assim para um inteiro h 1 suficiente grande a expressao entre
parenteses do lado direito menos 1 e sempre positiva, portanto f (n0 +hp) = p(1+)
com 1 inteiro. Em particular, f (n0 + hp) e sempre composto para todo h 1
suficientemente grande.
Para o caso d = 2 a cota para h e h > (2an0 + b)/(ap) (faca a conta neste
caso!).
5.12. CONTANDO NUMEROS
PRIMOS
29
5.9. N
umeros de Fermat e Mersenne
Nesta sec
ao apresentamos os n
umeros de Fermat e Mersenne e comecamos a
discuss
ao de quando podem ser n
umeros primos. No captulo subseq
uente sobre
aplicac
oes da teoria de grupos `a aritmetica elementar descreveremos de forma mais
precisa criterios para decidir quando estes n
umeros sao primos.
n
Para todo n 1 inteiro seja F (n) := 22 + 1 o n-esimo n
umero de Fermat.
Fermat afirmava que todo n
umero desta forma era primo. Na verdade o que deve
ter ocorrido e que ele calculou os quatro primeiros que realmente sao. Entretanto,
Euler mostrou que 641 | F (5). Daremos uma demonstracao disto posteriormente.
Para todo n 1 inteiro seja M (n) := 2n 1 o n-esimo n
umero de Mersenne.
Lema 5.10. Se n e composto, ent
ao M (n) tambem e composto.
o. Suponha que n = ab com 1 < a, b < n. Entao
Demonstrac
a
2n 1 = (2a )b 1 = (2a 1)(2a(b1) + 2a(b2) + . . . + 2a + 1)
o que mostra que M (a) | M (n).
n1
22 para n 4.
n1
5. NUMEROS
PRIMOS
30
log(x)
.
2 log(2)
< .
p
p
2
j
j
j>n
j>n
Y
2n
>
>
p.
n
n<p<2n
Calculando o logartimo,
2n log(2) >
X
n<p<2n
5.12. CONTANDO NUMEROS
PRIMOS
31
x
.
log(x)
o. Observe que
Demonstrac
a
X
x<px
Logo,
x
2(x)
+ x (8 log(2))
+ x,
log(x)
log(x)
onde a u
ltima desigualdade
segue da proposicao anterior. O resultado segue da
observac
ao que x < 2x/ log(x) para x 2.
(x)
rio 5.17.
Corola
(x)
= 0.
x
Nosso objetivo agora e obter uma cota inferior para a funcao (x). Para isto
comecemos observando que
2n
n+1
n+2
n+n
=
...
.
n
1
2
n
Por um exerccio deste captulo temos
X
tp
2n
(2n)!
2n
n
ordp
= ordp
=
2
,
j
j
n
(n!)2
p
p
j=1
lim
onde tp denota o maior inteiro tal que ptp 2n. Logo, tp = dlog(2n)/ log(p)e. Alem
disto, d2xe 2dxe e sempre 0 ou 1, assim
2n
log(2n)
ordp
.
n
log(p)
o 5.18 (*). Existe real c2 > 0 tal que para todo real x 2 tenhamos
Proposic
a
x
(x) > c2
.
log(x)
o. Pelo que foi feito anteriormente,
Demonstrac
a
Y
2n
n
2
ptp .
n
p<2n
Calculando o logaritmo obtemos,
X
X log(2n)
n log(2)
tp log(p) =
log(p).
log(p)
p<2n
p<2n
5. NUMEROS
PRIMOS
32
Se log(p) > (1/2) log(2n), i.e., p > 2n, entao dlog(2n)/ log(p)e = 1. Assim,
X log(2n)
X
n log(2)
log(p) 2n log(2n) + (2n)
log(p) +
log(p)
p 2n
2n<p<2n
Portanto,
(x)
x
(x)
> c2
.
log(x)
log(x)
5.18.1. Coment
arios. As duas proposicoes anteriores sao devidas a Cebychef
(1852). O seguinte teorema suplanta ambas (cf. [Ap, chapter 4], este resultado
depende de teoria analtica dos n
umeros).
Teorema 5.19 (teorema dos n
umeros primos).
(x)
= 1.
x x/ log x
lim
O teorema dos n
umeros primos foi conjecturado por Gauss na idade de 15 ou 16
anos. A prova correta surgiu apenas em 1896 por Hadamard e de la Valle Poussin
utilizando a func
ao zeta de Riemann, que introduziremos no paragrafo seguinte.
Existem uma infinidade de problemas abertos sobre os n
umeros primos. Para
mencionar apenas dois :
Existem infinitos n
umeros primos da forma n2 + 1?
(Primos gemeos) Existem infinitos pares de n
umeros primos da forma
(p, p + 2)?
Para mais problemas abertos veja [Si] e [Sh].
5.20. Fun
c
ao zeta
Nesta sec
ao descreveremos sem prova diversos fatos a respeito da funcao zeta de
Riemann (para a prova destes fatos ver [IrRo, chapter 16]). Esta funcao e definida
por
X
(s) :=
ns , onde s C, <(s) > 1.
n1
5.20. FUNC
AO
ZETA
33
Particularmente importante
P e o comportamento assintotico desta funcao quando s 1. Considerando que n1 1/n diverge suspeitamos que (s) quando
s 1. Lembre que (s) e uma funcao de uma variavel complexa.
o 5.22. Suponha que <(s) > 1. Ent
Proposic
a
ao
lim (s 1)(s) = 1.
s1
A proposic
ao na verdade diz que (s) e uma funcao meromorfa com um polo
simples em s = 1 (para mais detalhes ver [Ap, chapter 12]).
rio 5.23. Quando s 1 temos
Corola
log(s)
1.
(log(s 1))1
o 5.24.
Proposic
a
(s) =
X 1
+ R(s),
ps
pP
34
5. NUMEROS
PRIMOS
O inteiro positivo n nada mais e que a cardinalidade do anel Z/nZ da aritmetica modular (a ser introducido no proximo captulo). Esta analogia faz com
que Dedekind considere a seguinte extensao da funcao zeta. Seja K uma extensao
finita do corpo dos racionais Q (ver a parte referente `a teoria de corpos). Existe
um subconjunto OK de K que cumpre o mesmo papel de Z com relacao a Q. Este
conjunto e chamado o anel de inteiros de K. Ele tem (entre outras propriedades
importantes) a caracterstica que o anel quociente OK /I (onde I e um ideal de
OK , para mais sobre anel quocientes ver a parte de aneis) e um conjunto finito cuja
cardinalidade e denotada por N (I). Assim, Dedekind define a funcao zeta de K
por
X
K (s) :=
N (I)s , onde <(s) > 1,
I
5.20. FUNC
AO
ZETA
35
etale veja [Mi]), e que finalmente em 1973, um ex-aluno de Grothendieck, P. Deligne provasse finalmente as conjecturas de Weil (para os resultados de Deligne veja
[We1] e [We2]). Entretanto, o mestre nao ficou satisfeito. Na verdade Grothendieck havia formulado um programa muito mais amplo, as conjecturas standard,
das quais as conjecturas de Weil eram um corolario. Infelizmente, este programa
nunca foi atingido.
CAPTULO 6
Aritm
etica modular
6.1. Aritm
etica modular
Definimos uma func
ao soma de classes : Z/nZ Z/nZ Z/nZ por a b :=
a + b.
Lema 6.2. Esta func
ao est
a bem definida, i.e., se a0 a (mod n) e b0 a
(mod n), ent
ao a0 + b0 = a + b.
o. Suponha a0 a (mod n) e b0 b (mod n), i.e., existem
Demonstrac
a
k, l Z tais que a0 a = kn e b0 b = ln. Somando estas igualdades, (a0 + b0 )
(a + b) = (k + l)n, i.e., a0 + b0 a + b (mod n), i.e., a0 + b0 = a + b.
Definimos tambem um funcao produto de classes : Z/nZ Z/nZ Z/nZ
por a b := ab.
Lema 6.3. Esta func
ao tambem est
a bem definida, i.e., se a0 a (mod n) e
b0 b (mod n), ent
ao a0 b0 = ab.
o. Sejam k, l Z tais que a0 a = kn e b0 b = ln. Logo
Demonstrac
a
0 0
a b ab = a b a0 b + a0 b ab = a0 (b0 b) + b(a0 a) = (a0 l + bk)n, i.e., a0 b0 ab
(mod n), i.e., a0 b0 = ab.
0 0
38
6. ARITMETICA
MODULAR
6.9. CRITERIOS
DE DIVISIBILIDADE
39
6.9. Crit
erios de divisibilidade
Utilizaremos a aritmetica modular para demonstrar criterios de divisibilidade.
6.9.1. Expans
ao de um inteiro em uma dada base. Sejam a 0 e b 1
inteiros. Seja n 1 inteiro tal que bn seja a maior potencia positiva de b menor ou
igual a a, i.e.,
bn a < bn+1 .
Pelo algoritmo da divis
ao existem qn , rn Z tais que
a = qn bn + rn , onde 0 rn < bn .
Observemos que
0 qn < b.
A primeira desigualdade e clara, porque qn bn e o maior m
ultiplo positivo de bn que
e menor ou igual a a. Suponha que qn b. Logo
a bn+1 + rn bn+1 ,
o que n
ao e possvel. Em seguida, dividimos rn por q n1 , i.e., existem qn1 , rn1
Z tais que
rn = qn1 bn1 + rn1 , onde 0 rn1 < bn1 .
Novamente,
0 qn1 < b.
N
ao precisamos repetir o argumento da primeira desigualdade, pois e o mesmo.
Para a segunda, se qn1 b, teramos
rn bn + rn1 bn ,
o que n
ao e possvel. Substituindo na primeira igualdade obtemos
a = qn bn + qn1 bn1 + rn1 .
Novamente, pelo algoritmo da divisao existem qn2 , rn2 Z tais que
rn1 = qn2 bn2 + rn2 , onde0 rn2 < bn2 .
Se qn2 b, ent
ao
rn1 bn1 + rn2 bn1 ,
o que e impossvel. Portanto, 0 qn2 < b. Prosseguindo sucessivamente obtemos
(6.9.1)
a = qn bn + qn1 bn1 + . . . + q1 b + q0 ,
40
6. ARITMETICA
MODULAR
CAPTULO 7
Sistemas de congru
encia
7.1. Equa
c
oes diofantinas
Uma equac
ao diofantina e uma equacao polinomial em um n
umero finito de
vari
aveis cujos coeficientes s
ao n
umeros inteiros e/ou racionais e procuramos soluc
oes inteiras e/ou racionais. Nesta secao daremos um exemplo de como utilizar a
aritmetica modular para provar que uma dada equacao diofantina nao tem solucoes
inteiras.
Exemplo 7.2. Seja f (x, y) = x3 711y 3 = 5. Perguntamos se existem pares
(a, b) Z Z tais que f (a, b) = 0. Mostraremos que nao pode existir um tal par
(a, b). De fato, suponha que exista. Logo a3 5 (mod 9). Calculemos os cubos
3
3
3
3
2
de todos os elementos de Z/9Z. 1 = 1; 2 = 8, 3 = 0, 4 = 4 4 = 74 = 1;
3
3
3
3
3
3
3
3
3
3
3
5 = 4 = 4 = 8; 6 = 3 = 3 = 0; 7 = 2 = 2 = 1; 8 = 1 = 8.
3
Portanto, n
ao existe a Z tal que a 5 (mod 9), logo nao pode existir (a, b)
Z Z tal que f (a, b) = 0.
7.3. Equa
c
oes lineares
Teorema 7.4. Sejam a, b Z, a 6= 0 e n 1 inteiro. A equac
ao ax b
(mod n) tem soluc
ao se e somente se d := mdc(a, n) | b.
o. Suponha que x0 Z seja uma solucao da equacao. Como d
Demonstrac
a
divide a e n, denotamos a = a0 d e n = n0 d, onde n0 , a0 Z. Logo existe k Z tal
que ax0 b = kn, i.e., d(a0 x0 kn0 ) = b, assim d | b.
Reciprocamente, suponha que d | b, digamos b = db0 . Pelo algoritmo euclideano
estendido, existem t, s Z tais que ta + sn = d. Multiplicando ambos os lados por
b0 obtemos a(tb0 ) + snb0 = db0 = b, i.e., a(tb0 ) b (mod n), i.e., tb0 e uma solucao
da equac
ao.
o 7.5. Observe que se x0 Z e uma solucao de ax b (mod n),
Observac
a
ent
ao para todo y0 x0 (mod n), concluimos que y0 tambem e solucao da equacao
(assim dizemos que a classe x0 de x0 e uma solucao para ax = b). De fato, y0 =
x0 +kn para algum k Z e ax0 = b+ln para algum l Z. Logo ay0 = b+ln+akn =
b + (l + ak)n, i.e., ay0 b (mod n).
Teorema 7.6. Suponha que a equac
ao ax b (mod n) admita uma soluca
o
x0 Z. O n
umero de soluc
oes (m
odulo n) de ax b (mod n) e d e elas s
ao dadas
pelas classes cujos representantes s
ao x0 , x0 + n0 , , x0 + (d 1)n0 .
o. Provemos inicialmente que cada um desses elementos e soluDemonstrac
a
c
ao. Escrevemos y0 = x0 + kn0 para algum 0 k d 1 inteiro. Logo ay0 =
ax0 + akn0 = b + ln + akn0 = b + ln + a0 dkn0 = b + ln + a0 kn = b + n(l + a0 k), i.e.,
ay0 b (mod n). Em seguida observemos que se 0 k < r d 1 sao n
umeros
41
7. SISTEMAS DE CONGRUENCIA
42
inteiros, ent
ao x0 + kn0 6 x0 + rn0 (mod n). De fato, 0 < (x0 + rn0 ) (x0 + kn0 ) =
0
n (r k) < n0 d = n, logo n - ((x0 + rn0 ) (x0 + kn0 ) = n0 (r k)).
7.7. Sistemas de equa
c
oes lineares
Teorema 7.8. Sejam m, n 1 inteiros tais que mdc(m, n) = 1 e a, b Z.
Existe x Z tal que o sistema
(
x a (mod m)
x b (mod n)
tenha soluc
ao.
o. Pelo algoritmo euclideano estendido existem t, s Z tais
Demonstrac
a
que tm + sn = 1. Logo
tm 1
(mod n) e sn 1
(mod m).
(mod m) a
x a1 (mod m1 )
(7.9.1)
x a (mod m )
r
tenha soluc
ao.
o. Seja
Demonstrac
a
m := m1 mr
e para todo 1 i r, seja
ni :=
m
= m1 mi1 mi+1 mr .
mi
(mod mi )
(mod mj ).
Tome
x0 := a1 t1 n1 + . . . + ar tr nr .
De fato, para todo 1 i r, temos
x0 ai ti ni
(mod mi ) ai
(mod mi ),
(mod mi ) para i 6= j.
7.13. APLICAC
AO
43
Z
Z
Z
...
mZ
m1 Z
mr Z
definida por
(a + mZ) = (a + m1 Z, , a + mr Z).
Seja a restric
ao de a (Z/mZ) , ent
ao
Z
Z
Z
:
...
mZ
m1 Z
mr Z
tambem e uma bijec
ao.
o. Provemos inicialmente que esta bem definida. De fato, se
Demonstrac
a
b a (mod m), ent
ao para todo 1 i r, mi | m | (b a), logo b a (mod mi ),
i.e., b + mi Z = a + mi Z.
Provemos agora que e injetiva. Suponha que (a + mZ) = (b + mZ), i.e.,
para todo 1 i r, a b (mod mi ). Como para i 6= j, mdc(mi , mj ) = 1,
concluimos que m | (a b), i.e., a + mZ = b + mZ.
Provar que e sobrejetiva equivale a dizer que para todo (a1 + m1 Z, , ar +
mr Z) Z/m1 Z . . . Z/mr Z e da forma (x + mZ) para algum x Z, i.e., que
o sistema (7.9.1) tema soluc
ao, o que ja foi provado.
Provemos agora que um elemento inversvel modulo m tem imagem cujas
componentes s
ao inversveis com respeito aos respectivos modulos. Suponha que
a + mZ (Z/mZ) , i.e., mdc(a, m) = 1. Como m = m1 mr , concluimos que
para cada 1 i r, mdc(a, mi ) = 1, i.e., a + mi Z (Z/mi Z) . Como e obtida
restringindo a um subconjunto do domnio, concluimos que tambem e injetiva.
Quanto a sobrejetividade, seja (a1 + m1 Z, , ar + mr Z) (Z/m1 Z) . . .
(Z/mr Z) . Pela parte anterior sabemos que existe x Z tal que (x+mZ) = (a1 +
m1 Z, , ar +mr Z). Observemos que na verdade x+mZ (Z/mZ) . De fato, para
cada 1 i r, x + mi Z = ai + mi Z, i.e., x ai (mod mi ), mas mdc(ai , mi ) = 1,
logo mdc(x, mi ) = 1 para todo 1 i r. Como m = m1 mr e mdc(mi , mj ) = 1
para i 6= j obtemos que mdc(x, m) = 1, i.e., x + mZ (Z/mZ) .
rio 7.12. Para todo n 1 inteiro seja (n) = #(Z/nZ) . Ent
Corola
ao
(m) = (m1 ) (mr ).
7.13. Aplica
c
ao
Seja n = pe11 perr a fatoracao do inteiro n 1. Pelo corolario 7.12 e pelo lema
6.15,
(7.13.1)
44
7. SISTEMAS DE CONGRUENCIA
Vamos utilizar a f
ormula (7.13.1) para uma aplicacao.
o 7.14. Suponha que (n) = p seja um n
Proposic
a
umero primo. Ent
ao n = 3,
4 ou 6.
o. Se r > 2, entao ei = 1 para todo 1 i r. Logo (n) =
a
Qr Demonstrac
(p
1).
Como
r > 2 existem pelo menos dois primos mpares na fatoracao,
i
i=1
logo 4 | (n), o que n
ao e possvel. Logo r 2. Suponhamos inicialmente r = 2,
i.e., (n) = pe11 1 (p1 1)pe22 1 (p2 1). Se p1 , p2 > 2 entao (novamente) 4 | (n).
Logo p1 = 2 e (n) = 2e1 1 p2e2 1 (p2 1). Se e1 > 1, como p2 > 2, entao 4 | (n).
Assim, e1 = 1 e (n) = p2e2 1 (p2 1). Se e2 > 1, entao (n) tem 2 e p2 como
umero e
fatores primos. Assim, e2 = 1 e (n) = pe22 1 . Novamente, como este n
primo, e2 = 1 e (n) = p2 1. Mas este n
umero e par e primo, logo p2 = 3 e n = 6.
Suponhamos que r = 1, i.e., (n) = pe11 1 (p1 1). Se p1 = 2, entao (n) =
2e1 1 . A u
nica forma deste n
umero ser primo e e1 = 2, logo n = 4. Suponha
p1 > 2. Se e1 > 1, ent
ao (n) tem 2 fatores primos p1 e 2 (pois p1 1 e par),
impossvel. Assim, e1 = 1 e (n) = p1 1. Isto ja foi feito anteriormente, i.e.,
p1 = 3 e n = 3.
CAPTULO 8
Aplica
c
oes da teoria de grupos `
a teoria elementar
dos n
umeros
Neste captulo desenvolveremos aplicacoes da teoria de grupos `a aritmetica
elementar. Utilizaremos os resultados do captulo 9.
8.1. Primalidade de n
umeros de Mersenne
Para todo inteiro n 1, seja Mn := 2n 1 o n-esimo n
umero de Mersenne.
Nosso objetivo e utilizar a teoria de grupos para determinar se Mn e primo ou obter
seu menor fator primo. J
a provamos anteriormente que se n e composto, entao Mn
tambem o e. Assim, consideraremos apenas Mp para p primo.
Seja q um fator primo de Mp , i.e., 2p 1 (mod q). Portanto em (Z/qZ) temos
p
2 = 1, i.e., o(2) | p. Como p e primo temos que o(2) = 1 ou p. O primeiro caso
n
ao pode ocorrer, pois 2 6= 1. Logo o(2) = p. Pelo teorema de Lagrange,
o(2) = p | #(Z/qZ) = (q) = q 1,
i.e., existe k 1 inteiro tal que q = 1 + kp.
o 8.2. Todo fator primo de Mp e da forma 1+kp para algum inteiro
Proposic
a
k 1.
Provamosanteriormente que o menor fator primo de um n
umero inteiro n 1
e no m
aximo n. Logo
2p/2 1
.
q 2p 1 < 2p/2 , i.e. , k <
p
Dessa forma para determinar um fator primo de Mp testamos para cada inteiro k
tal que
2p/2 1
1k<
p
se 1 + kp e primo e se divide Mp . Se para cada k pelo menos um desses fatos nao
ocorrer ent
ao Mp e um n
umero primo.
8.3. Primalidade de n
umeros de Fermat
n
2n+1
2d
nd
= (2 )2
45
= 1,
46
8. APLICAC
OES
DA TEORIA DE GRUPOS
(mod 561).
(mod 561)
47
equivale a dizer que 561 | (b560 1), i.e., que 3 | (b560 1), 11 | (b560 1) e
17 | (b560 1). Como mdc(b, 561) = 1, concluimos que mdc(b, 3) = mdc(b, 11) =
mdc(b, 17) = 1. Aplicando o pequeno teorema de Fermat concluimos que
b2 1
b10 1
b
16
(mod 3);
(mod 11);
(mod 17).
48
8. APLICAC
OES
DA TEORIA DE GRUPOS
Note que (Z/4Z) e cclico de ordem 2. Utilizando o teorema chines dos restos
temos (como conseq
uencia do teorema da raiz primitiva) que (Z/2pZ) tambem e
cclico para p primo.
o. Seja a1 (Z/pZ) e d1 := o(a1 ). Se d1 = p 1, acabou.
Demonstrac
a
Sen
ao, seja H1 o subgrupo cclico de (Z/pZ) gerado por a1 . Temos que H1 $
(Z/pZ) . Note que H1 coincide exatamente com as solucoes de xd1 1 em (Z/pZ) .
Seja b1 (Z/pZ) \ H1 . Pelo mesmo argumento da prova da proposicao 9.40 temos
que existe a2 (Z/pZ) tal que o(a2 ) = mmc(o(a1 ), o(b1 )) > o(a1 ). Se o(a2 ) = p1
acabou. Sen
ao repetimos o argumento acima obtendo um elemento a3 cuja ordem
e estritamente maior que o(a2 ). Como todas essas ordens sao no maximo p 1 nao
podemos ter uma seq
uencia estritamente crescente infinita de n
umeros menores que
p 1. Portanto existe i tal que o(bi ) = p 1.
Parte 2
Grupos
CAPTULO 9
Teoria de Grupos I
9.1. Defini
c
ao e exemplos
o 9.2. Um grupo e um conjunto G munido de uma operacao :
Definic
a
G G G dada por (x, y) 7 x y satisfazendo `as seguintes propriedades:
(1) (associatividade) para todo x, y, z G, x (y z) = (x y) z.
(2) (Elemento neutro) existe e G tal que e x = x e = x para todo x G.
(3) (Inverso) para todo x G existe y G tal que x y = y x = e.
O grupo G e dito abeliano ou comutativo se alem disto x y = y x para todo
x, y G.
Em seguida daremos exemplos de grupos. Para fixar a notacao suponha que
a operac
ao seja de multiplicacao e que o inverso de um elemento x G seja
denotado por x1 .
o 9.3. Seja G um grupo e x, y G. Afirmamos que
Observac
a
(xy)1 = y 1 x1 .
De fato,
xy(y 1 x1 ) = x(yy 1 )x1 = xx1 = 1
y 1 x1 (xy) = y 1 (x1 x)y = y 1 y = 1.
o 9.4. Um grupo G e dito finito se possui um n
Definic
a
umero finito de elementos, caso contr
ario e dito infinito. Se G for um grupo finito, o n
umero de
elementos de G e chamado a ordem de G e denotado por #G.
Exemplo 9.5 (grupos abelianos infinitos). Z, Q, R, C e = +.
Exemplo 9.6 (grupos abelianos infinitos). Q \ {0}, R \ {0}, C \ {0} e = . .
Exemplo 9.7. Seja
M2 (R) :=
a
c
b
| a, b, c, d R
d
o conjunto das matrizes 2 2 com entradas reais. Este conjunto e um grupo com
a operac
ao sendo a soma de matrizes. Seja
a b
GL2 (R) :=
M2 (R) | ad bc 6= 0 .
c d
Todas estas matrizes s
ao inversveis com respeito `a multiplicacao de matrizes. Assim GL2 (R) munido do produto de matrizes e um grupo chamado grupo linearem
51
52
9. TEORIA DE GRUPOS I
dimens
ao 2 sobre os reais. Ambos os grupos sao infinitos. O primeiro e abeliano.
Notemos que GL2 (R) n
ao e comutativo. De fato,
0 1
1 0
1 1
=
e
1 0
1 1
1 0
1 0
0 1
0 1
=
.
1 1
1 0
1 1
Exemplo 9.8. Seja G = Z/nZ e = . Este e um grupo abeliano de ordem
n. Seja G = (Z/nZ) e = . Este e um grupo de ordem (n).
Exemplo 9.9. Denotamos por S o grupo das simetrias do triangulo equilatero. A operac
ao ser
a , a composicao de funcoes. Fixemos os vertices do triangulo
no crculo unit
ario
S1 := {z C | |z| = 1} por V1 = e2i , V2 = e2i/3 e V3 = e4i/3 .
Cada simetria ser
a uma func
ao bijetiva f : {V1 , V2 , V3 } {V1 , V2 , V3 } dada por
f (Vi ) = V(i) , onde denotamos f na forma matricial por
1
2
3
.
(1) (2) (3)
Denotamos := R2/3 a rotacao de 2/3 que e dada por
1 2 3
=
.
2 3 1
A rotac
ao de 4/3, R4/3 = R2/3 R2/3 que sera denotada por 2 e dada por
1 2 3
2
.
=
3 1 2
Finalmente a rotac
ao de 2 = 6/3 nada mais e que id e e denotada por 3 , assim
3
= id. Alem disto temos as simetrias em relacao `as retas que passam pelos
vertices e pelo centro do lado oposto, denotamos estas retas por li para i = 1, 2, 3.
Seja := Sl3 a simetria em relacao `a reta l3 ,
1 2 3
=
.
2 1 3
Note que 2 = id. Seja Sl1 a simetria em relacao `a reta l1 ,
1 2 3
Sl1 =
.
1 3 2
Novamente Sl23 = id. Finalmente,
Sl2 =
1
3
2
1
3
2
e Sl22 = id. Assim, S = {id, , 2 , , Sl1 , Sl2 }. Para provar que S e um grupo
precisamos verificar as 3 propriedades da definicao. A associatividade segue do
fato de composic
ao de func
oes ser associativa. O elemento neutro segue do fato
que a composic
ao da identidade com qualquer funcao ser a qualquer funcao. Basta
portanto verificar os inversos. De
3 = 2 = id
9.1. DEFINIC
AO
E EXEMPLOS
53
concluimos que
1 = 2 e que (2 )1 = .
De
2 = = id,
concluimos que
1 = .
Antes de verificarmos os dois restantes calculemos
1 2 3
1 2 3
1 2 3
=
=
= Sl1 e
2 3 1
2 1 3
1 3 2
1 2 3
1 2 3
1 2 3
2
=
=
= Sl2 .
3 1 2
2 1 3
3 2 1
Geometricamente j
a verificamos que ()2 = (2 )2 = id, logo ()1 = e
(2 )1 = 2 . Dessa forma S e um grupo de ordem 6. Vamos ver isto de forma
puramente algebrica e aproveitar para mostrar que S nao e abeliano. Calculemos,
1 2 3
1 2 3
1 2 3
(9.9.1)
=
=
= 2 .
2 1 3
2 3 1
3 2 1
Pela observac
ao 9.3 e por (9.9.1) temos que
()1 = 1 1 = 2 = 2 = 4 =
(2 )1 = 1 (2 )1 = = 2 .
Exemplo 9.10. O grupo S das simetrias do quadrado. Denotamos os vertices
por
V1 = e2i , V2 = ei/2 , V3 = ei e V4 = e3i/2 .
Seja := R/2 a rotac
ao por /2 que e dada por
1 2 3 4
=
,
2 3 4 1
a rotac
ao de e dada por
R := 2 =
1
3
2
4
4
,
2
3
1
a rotac
ao de 3/2 e dada por
R3/2 := 3 =
1
4
2
1
3
2
4
3
e a rotac
ao de 2 e dada por R2 := 4 = id. Temos tambem a simetria em relacao
as retas l1 , respectivamente l3 , passando por divindo ao meio os lados V1 V4 e V2 V3 ,
`
respectivamente V1 V2 e V3 V4 . Assim,
1 2 3 4
:= Sl3 =
2 1 4 3
e
1 2 3 4
Sl1 =
.
4 3 2 1
54
9. TEORIA DE GRUPOS I
2
3
3
4
4
1
=
1
3
2
2
3
1
4
4
= 3 .
Logo,
()1 = 1 1 = 3 = 3 2 = 6 = 2 3 = ,
(2 )1 = 1 (2 )1 = 2 = 3 = 6 = 2
3
( )
3 1
( )
= = .
9.11. Subgrupos
o 9.12. Seja G um grupo, um subconjunto H de G e dito um subDefinic
a
grupo de G, se 1 H, dados x, y H, xy H e dado x H, x1 H.
Exemplo 9.13. Seja G = Z e n 1. Note que nZ e um subgrupo de Z. De
fato, 0 = n.0 nZ, x = nk, y = nl, k, l Z, entao x + y = n(k + l) nZ
e x = n(k) nZ. Afirmamos mais, que todo subgrupo de Z e da forma nZ
para algum n 1. De fato, seja H Z um subgrupo. Por definicao H N 6= .
claro que nZ H, pela definicao de H.
Seja n o menor elemento de H N. E
Reciprocamente, se x H N. Pelo algoritmo da divisao existem q, r Z tais que
x = nq + r com 0 r < n. Note que r = x nq H. Assim r = 0 e x nZ. Se
x H e x < 0, seja y = x H N. Pelo que foi feito anteriormente, y = kn, em
particular x = y = (k)n nZ.
9.11. SUBGRUPOS
55
a
0
0
0
a
eB=
d
0
0
,
d0
ent
ao
0
aa
0
D2 (R),
0 dd0
1
a
0
=
D2 (R).
0
d1
AB =
A1
56
9. TEORIA DE GRUPOS I
A partir de agora nesta secao suponhamos que G seja um grupo finito. Observe
que
(9.21.1)
G=
[
xG
xH =
Hx.
xG
Concluimos que o n
umero de classes laterais (a direita ou a esquerda) de H em G
tambem e finito. Denotamos este n
umero por (G : H) e chamamos o ndice de H
em G.
Lema 9.22. Para todo x G, existe uma bijec
ao
: H xH dada por 7 x.
o. Pela definicao de xH concluimos que e sobrejetiva. Se
Demonstrac
a
() = (), i.e., x = x, multiplicando os dois lados por x1 a esquerda,
obtemos que = , portanto, e injetiva.
57
( i )n = in = i dn = i n = ( n )i = 1,
mas isto contradiz o( i ) = n. Reciprocamente, suponha que 1 o( i ) = m < n.
Ent
ao im = 1, i.e., pelo lema chave im = kn para algum k 1 inteiro. Como
m < n, ent
ao existe algum fator primo p de n tal que p | i, logo mdc(i, n) > 1.
Alem disto temos uma bijec
ao entre
Pn := { i | mdc(i, n) = 1}
e (Z/nZ) dada por i 7 i. Por definicao de (Z/nZ) esta aplicacao e sobrejetiva
e a injetividade segue de i = j implicar em n | (i j) o que apenas ocorre se i = j.
O conjunto Pn e chamado o conjunto das razes primitivas n-esimas da unidade.
Mostramos em particular que #Pn = (n).
Exemplo 9.30. Seja G = GL2 (R) e
0
x=
1
1
.
0
58
9. TEORIA DE GRUPOS I
59
CAPTULO 10
Teoria de grupos II
10.1. Subgrupos normais e grupos quocientes
Seja G um grupo e H um subgrupo de G. Seja
G/H := {xH | x G}
o conjunto das classes laterais a direita de H em G. Analogamente ao caso em que
G = Z e H = nZ, para n 1 inteiro, queremos definir em G/H uma estrutura de
grupo. Para isto precisamos de uma propriedade adicional de H. Se copiarmos o
que foi feito anteriormente a ideia e definir a funcao
: G/H G/H G/H
dada por
(xH, yH) 7 xyH.
O problema e verificar que esta bem definida. Sejam x0 , y 0 G tais que x0 H = xH
e y 0 H = yH, i.e., x0 = x e y 0 = y para , H. Assim
x0 y 0 = xy.
Mas a princpio G n
ao e comutativo e nao podemos trocar y com para concluir
que est
a bem definida.
o 10.2. Um subgrupo H de um grupo G e dito normal se e somente
Definic
a
se para todo x G temos xHx1 H. Denotamos H C G.
Lema 10.3. Seja G um grupo e H um subgrupo de G. As seguintes condic
oes
s
ao equivalentes:
(i) H C G.
(ii) Para todo x G, xHx1 = H.
(iii) Para todo x G, xH = Hx.
o. Suponha que H CG. A inclusao ja esta feita por definicao.
Demonstrac
a
Uma vez que (x1 )1 = x, segue tambem da definicao que x1 Hx H, i.e.,
H xHx1 . Assim vale (ii).
Suponha que para todo x G, xHx1 = H. Seja H. Por hipotese
1
xx = H, logo x = x Hx. Reciprocamente, como x1 x = H,
ent
ao x = x xH. Disto segue (iii).
Suponha que para todo x G, xH = Hx. Por hipotese para todo H existe
H tal que xx1 = xx1 = . Donde (i).
Suponhamos que H C G, pelo lema 10.3, existe H tal que
x0 y 0 = xy = xy xyH,
pois H. Assim x0 y 0 H = xyH e esta bem definida.
61
62
para xi yi G. A u
ltima igualdade se reescreve como i = yi xi yi1 x1
i . Seja z G,
ent
ao
zyz 1 = z1 z 1 zr z 1
e observe que para cada i temos
1 1
zi z 1 = zxi yi x1
{xyx1 y 1 | x, y G} ou
i yi z
1
zi z 1 = zyi xi yi1 x1
{xyx1 y 1 | x, y G}.
i z
63
de f .
ker(f ) C G.
f e injetiva se e somente se ker(f ) = {1}.
f (G) e um subgrupo de H.
f 1 (f (H)) = H ker(f ).
Seja H < G tal que f 1 (H) ker(f ). Ent
ao f (f 1 (H)) = H f (G).
Se x G e tal que o(x) < ent
ao o(f (x)) < e o(f (x)) | o(x).
Se H C G, ent
ao f (H) C f (G). Se H C f (G), ent
ao f 1 (H) C G.
64
65
injetividade, se (x ker(f )) = (y ker(f )), entao f (x) = f (y), i.e., f (x)f (y)1 =
f (xy 1 ) = 1, i.e., xy 1 ker(f ), logo x ker(f ) = y ker(f ).
A bijec
ao entre os dois conjuntos e dada pelas funcoes 1 : H 7 f (H) e
2 : H 7 f 1 (H). De fato, 2 1 (H) = 2 (f (H)) = f 1 (f (H)) = H ker(f ) = H,
pois H ker(f ). Reciprocamente, 1 2 (H) = 1 (f 1 (H)) = f (f 1 (H)) =
H f (G) = H, pois H < f (G).
rio 10.18. Seja f : G G um homomorfismo de grupos e H < G.
Corola
Ent
ao existe um isomorfismo de grupos
:
H
f (H) dado por (x(H ker(f ))) := f (x).
(H ker(f ))
{K C G | K H} e {H C G/H}.
o. Definimos as funcoes que dao a bijecao por 1 : K 7 K/H
Demonstrac
a
1
e 2 : H 7 f (H). De fato, 2 1 (K) = 2 (K/H) = f 1 (K/H) = f 1 (f (K)) =
K ker(f ) = KH = K, pois K H e 1 2 (H) = 1 (f 1 (H)) = f (f 1 (H)) =
H f (G) = H G/H = H.
o 10.20. Sejam G um grupo, H C G e K < G. Ent
Proposic
a
ao existe um
isomorfismo de grupos
K
KH
:
.
(K H)
H
o. Seja f : K KH/H o homomorfismo quociente f (x) :=
Demonstrac
a
xH. Afirmamos que f e sobrejetivo. De fato, se abH KH/H, entao abH =
aH = f (a). Afirmamos tambem que ker(f ) = H K. De fato, se a ker(f ), entao
f (a) = aH H, i.e., a H K. Portanto, o resultado e uma conseq
uencia do
teorema do isomorfismo.
o 10.21. Sejam K < H < G grupos com H C G e K C G (em
Proposic
a
particular K C H). Ent
ao existe um isomorfismo de grupos
:
G/K
G
.
H/K
H
66
E f
acil verificar que esta operacao e associativa, o elemento neutro e (1, , 1) e o
1
inverso de (x1 , , xn ) e (x1
1 , , xn ). Assim o conjunto G1 . . . Gn passa a
ter uma estrutura de grupo e e chamado o produto direto dos grupos G1 , , Gn e
e denotado por G1 . . . Gn .
G1 . . . Gn se
Teorema 10.28. Sejam G, G1 , , Gn grupos. Ent
ao G =
e somente se existem subgrupos H1 , , Hn de G tais que para todo i, Hi
= Gi , e
alem disto
(1) G = H1 . . . Hn .
(2) Hi C G para todo i = 1, , n.
(3) Hi (H1 . . . Hi1 Hi+1 . . . Hn ) = {1} para todo i = 1, , n.
o. Suponhamos que exista um isomorfismo : G G1 . . .
Demonstrac
a
Gn . Seja
Hi := 1 ({1} . . . Gi . . . {1}).
Definimos a seguinte func
ao
i : Hi Gi dada por i (xi ) := yi ,
67
68
n1
Y
(xi )(y)).
i=0
Conseq
uentemente, (x, 1)n = (xn , 1) e (1, y)n = (1, y n ).
(b) (1, y) (x, 1) = (x, y).
69
(c) {1} n K C H n K.
(d) H n {1} H n K e um subgrupo. Este subgrupo e normal, se = id.
o. (a) Vamos provar por inducao. Para n = 2,
Demonstrac
a
(x, y) (x, y) = (x2 , y(x)(y)).
Suponha que o resultado vale para n. Entao
(x, y)n+1 = (x, y)n (x, y) = (xn ,
n1
Y
i=0
= (xn+1 ,
n1
Y
i=0
n
Y
(xi )(y)).
i=0
70
{ Aut(H) | o( ) | m} {1 s n 1 | sm 1
(mod n)}
7 s, onde () = .
o. Note que a primeira funcao esta de fato bem definida, pois
Demonstrac
a
injetiva pois 2 automorfismos calculados no
()m = ( m ) = (1) = id. E
gerador de H s
ao necessariamente iguais. Se Aut(H) satisfaz o( ) | m, entao
()m = (m ) = 1, logo m = 1, pelo lema chave o() = n | m, logo existe um
homomorfismo : K Aut(H) tal que () = .
Para a segunda, basta observar que Aut(H) (Z/nZ) dada por 7 s, onde
() = s e um isomorfismo de grupos. Neste isomorfismo o( ) | m se e somente
se sm 1 (mod n).
Como conseq
uencia deste lema temos que se existem inteiros m, n, s 0 tais que
sm 1 (mod n), ent
ao existe um grupo G com #G = nm, G = h, i, o() = n,
o() = m e 1 = s . De fato, da condicao numerica e do lema sabemos que o
automorfismo : hi hi por () = s tem ordem o( ) | m. Logo existe um
homomorfismo : hi Aut(hi). Basta tomar o produto semi-direto hi n hi
para obter um tal G.
Para mais tipos de produtos de grupos veja [Go, chapter 2].
10.33. Grupos metacclicos
O objetivo desta sec
ao e descrever grupos metacclicos que generalizam o D4 e
S3 .
Teorema 10.34. Seja G um grupo finito, s 1 inteiro, a, b G tais que
ba = as b (i.e., Ib (a) = as ). Seja G um grupo e , G. Sejam m, n 1 inteiros
tais que an = 1 e bm hai.
(1) Para todo s, t 1 temos
t
bt ar = ars bt .
Em particular,
ha, bi = {ai bj | 0 i n 1, 0 j m 1}.
Alem disto, se m e n forem escolhidos mnimos para esta propriedade,
temos que #ha, bi = mn.
(2) Supondo m e n mnimos, seja u 0 tal que bm = au . Ent
ao existe um
homomorfismo f : ha, bi G tal que f (a) = e f (b) = se e somente se
= s , n = 1 e m = u .
o. (1) Vamos provar por inducao. Vamos supor primeiro que
Demonstrac
a
t
r = 0 e provar que Ibt (ar ) = ars . Se t = 1, entao ja sabemos que Ib (a) = as .
Suponhamos que isto valha para t 1. Entao
t1
t1
) = Ib (a)rs
t1
= (as )rs
= ars .
71
Por definic
ao, ha, bi e formado por produtos de elementos que sao iguais a a (ou
a1 ) e b (ou b1 ). Utilizando o resultado acima, podemos sempre colocar a potencia
de a em primeiro lugar e escrever ai bj para i, j Z. Alem disto, pelas hipoteses
sobre m e n obtemos que basta tomar 0 i n 1 e 0 j m 1. Observemos
tambem que se m e n forem mnimos entao os elementos de
ha, bi = {ai bj | 0 i n 1, 0 j m 1}
s
ao todos distintos, portanto sua ordem e mn. De fato, se ai bj = ak bl , entao
aik = blj hai, digamos que l j. Neste caso, l j < m, logo l = j e aik = 1,
bem como aki . Tomando o expoente positivo dentre os 2 e notando que este
expoente e menor que n concluimos que i = k.
claro que
(2) E
n = f (a)n = f (an ) = f (1) = 1,
m = f (b)m = f (bm ) = f (au ) = f (a)u = u e que
= f (b)f (a) = f (ba) = f (as b) = f (a)s f (b) = s .
Para verificar a recproca basta definir
f : ha, bi G por f (ai bj ) := i j
e provar que isto realmente e um homomorfismo. De fato,
j
72
10.37. Classifica
c
ao de grupos de ordem 11
Comecemos observando que todo grupo cclico de ordem n e isomorfo a Z/nZ.
De fato, se G e cclico de ordem n significa que G = {1, a, , an1 } para algum
gerador a de G. Consideremos a funcao f : G Z/nZ definida por f (a) = 1.
Exerccio: verifique que esta funcao e um isomorfismo de grupos.
10.37.1. Grupos de ordem : 2,3,5,7,11. Estes n
umeros sao primos, logo
(pelo teoream de Lagrange) todo a G {1} tem ordem p, portanto G e cclico,
i.e., G
= Z/nZ.
10.37.2. Grupos de ordem 4. Se existe a G tal que o(a) = 4, entao G e
cclico. Logo G
= Z/4Z.
Suponhamos que para todo a G {1}, o(a) = 2 (que e a u
nica possibilidade
pelo teorema de Lagrange). Portanto G e um grupo abeliano. Seja a G {1} e
b G hai. Assim, G = {1, a, b, ab}. Neste caso a funcao f : G Z/2Z Z/2Z
definida por f (1) = (0, 0), f (a) = (1, 0), f (b) = (0, 1) e f (ab) = (1, 1) e um
isomorfismo de grupos.
10.37.3. Grupos de ordem 6. Se existe a G tal que o(a) = 6, entao G e
cclico e G
= Z/6Z.
Suponhamos que n
ao exista a G tal que o(a) = 6. Pelo teorema de Lagrange,
para todo a 6= 1 as possibilidades para a sua ordem sao 2 e 3.
Lema 10.38. Existe a G tal que o(a) = 3.
o. De fato, suponhamos que para todo a G {1} tenhamos
Demonstrac
a
o(a) = 2. Seja a G {1} e b G hai. Neste caso, ha, bi e um subgrupo de G
de ordem 4, o que contradiz o teorema de Lagrange.
Lema 10.39. Existe b G tal que o(b) = 2.
o. De fato, suponhamos que para todo b G {1} tenhamos
Demonstrac
a
o(b) = 3. Seja a G tal que o(a) = 3 e b G hai. O subgrupo ha, bi de G tem
ordem 9, o que novamente contradiz o teorema de Lagrange.
Utilizando os valores das ordens de a e b vemos que G = {1, a, a2 , b, ab, a2 b} e
que ba 6= 1, a, a2 , b. Assim, ba = ab ou a2 b. No primeiro caso, G e abeliano e a
func
ao f : G Z/3Z Z/2Z definida por f (1) = (0, 1), f (a) = (1, 0), f (a2 ) =
(2, 0), f (b) = (0, 1), f (ab) = (1, 1), f (a2 b) = (2, 1) e um isomorfismo de grupos.
Mas pelo teorema chines dos restos, Z/3Z Z/2Z
= Z/6Z, assim descartamos este
caso. O caso em que ba = a2 b e exatamente o caso em que G
= S3 .
10.39.1. Grupos de ordem 8. Se existe a G tal que o(a) = 8 entao G e
cclico e G
= Z/8Z.
Suponha que para todo a G {1}, o(a) = 2. Neste caso G e abeliano. Seja
a G tal que o(a) = 2, seja b G hai e c G ha, bi. Note que o subgrupo
ha, b, ci = {1, a, b, c, ab, ac, bc, abc} tem ordem 8, logo G = ha, b, ci. Observe tambem
que f : G Z/2Z Z/2Z Z/2Z definida por f (1) = (0, 0, 0), f (a) = (1, 0, 0),
f (b) = (0, 1, 0), f (c) = (0, 0, 1), f (ab) = (1, 1, 0), f (ac) = (1, 0, 1), f (bc) = (0, 1, 1)
e f (abc) = (1, 1, 1) e um isomorfismo de grupos.
Assim, suponha que exista a G tal que o(a) = 4. Seja b G hai. Note
que ha, bi = {1, a, a2 , a3 , b, ab, a2 b, a3 b} e que estes elementos sao distintos, portanto
10.37. CLASSIFICAC
AO
DE GRUPOS DE ORDEM 11
73
G = ha, bi. Observe tambem que como (G : hai = 8/4 = 2, entao (bhai)2 = hai, i.e.,
b2 hai. Observe tambem que trivialmente b2 6= b, ab, a2 b, a3 b e ba 6= 1, a, a2 , a3 , b.
Pelo segundo teorema as u
nicas possibilidades para u e s tais que b2 = au e ba = as b
s
ao u = 0 ou 2 e s = 1 ou 3.
Se u = 0 e s = 1, temos que ba = ab e o(b) = 2. O grupo G e abeliano. A funcao
f : G Z/4Z Z/2Z definida por f (1) = (0, 0), f (a) = (1, 0), f (a2 ) = (2, 0),
f (a3 ) = (3, 0), f (b) = (0, 1), f (ab) = (1, 1), f (a2 b) = (2, 1) e f (a3 b) = (3, 1) e um
isomorfismo de grupos.
Se u = 0 e s = 3, temos que ba = a3 b e o(b) = 2, neste caso G
= D4 .
Se u = 2 e s = 0, temos que ba = ab e b2 = a2 . O grupo G e abeliano. A funcao
f : G Z/4Z Z/2Z definida por f (1) = (0, 0), f (a) = (1, 0), f (a2 ) = (2, 0),
f (a3 ) = (3, 0), f (ab) = (0, 1), f (b) = (3, 1), f (a2 b) = (1, 1) e f (a3 b) = (2, 1) e um
isomorfismo de grupos.
Finalmente, se u = 2 e s = 3, temos que ba = a3 b e b2 = a2 . Neste caso G e
isomorfo ao grupo Q dos quaternions descrito da seguinte forma. Q e um subgrupo
das matrizes 2 2 com entradas complexas e determinante nao nulo. Ele e definido
por
1 0
i 0
0 1
0 i
,
.
,
,
0 1
0 i
1 0
i 0
Basta tomar
i 0
0 1
a=
eb=
.
0 i
1 0
10.39.2. Grupos de ordem 9. Se existe a G tal que o(a) = 9, entao G e
cclico e G
= Z/9Z.
Caso isto n
ao ocorra para todo a G {1}, o(a) = 3. Seja b G hai. Note
que o subgrupo ha, bi = {1, a, a2 , b, b2 , ab, ab2 , a2 b, a2 b2 } de G tem ordem 9, portanto
sendo igual ao pr
oprio grupo G. Observe tambem que ba 6= 1, a, a2 , b, b2 . Assim, e
pelo segundo teorema, ba = ab, logo G e abeliano. Neste caso G
= Z/3Z Z/3Z
(exerccio: determine explicitamente o isomorfismo, como nos casos anteriores).
10.39.3. Grupos de ordem 10. Se existe a G tal que o(a) = 10, G e
cclico e G
= Z/10Z.
Caso contr
ario, como nos casos anteriores existem a, b G tais que o(a) = 5 e
o(b) = 2 (verifique!). Pelo segundo teorema as u
nicas possibilidades para ba = as b
s
ao s = 1 ou 4. No primeiro caso, G e abeliano e G
= Z/5Z Z/2Z, mas este e
isomorfo a Z/10Z, assim n
ao consideramos este caso. No outro caso, G
= D5 , o
grupo diedral de ordem 10.
10.39.4. Grupos diedrais. Estes grupos tem ordem 2n, um elemento a de
ordem n e outro elemento b de ordem 2 satisfazendo a ba = an1 b.
CAPTULO 11
Teoremas de Sylow
11.1. Represesenta
c
oes de grupos
Seja G um grupo finito e S um conjunto finito. Denotamos por Perm(S) o
conjunto das permutac
oes de S, i.e., das funcoes f : S S bijetivas. Este conjunto
forma um grupo com respeito `a composicao de funcoes. Uma representacao de G
por permutac
ao e um homomorfismo de grupos : G Perm(S).
Exemplo 11.2. Tomemos como S o proprio grupo G e consideremos para todo
x G o automorfismo interno Ix de G definido por Ix (a) := xax1 . Assim definimos a func
ao : G Aut(G) dada por (x) := Ix . Verifiquemos que esta funcao
e um homomorfismo de grupos. Esta representacao e chamada a representacao de
G por conjugac
ao. De fato, dado a G temos
(xy)(a) = (xy)a(xy)1 = xyay 1 x1 = xIy (a)x1 = Ix (Iy (a)) = (Ix Iy )(a).
Outra representac
ao com S = G e a translacao : G Aut(G) dada por
(x)(a) := xa para todo a G. De fato, (x) e um automorfismo de G (exerccio)
e
(xy)(a) = xya = x(y)(a) = (x)((y)(a)) = ((x) (y))(a).
Esta representac
ao de G e chamada representacao por translacao.
Observe que neste u
ltimo caso a funcao e injetiva. De fato se (x) = id,
ent
ao xa = a para todo a G. Isto significa que x = 1. Como conseq
uencia deste
resultado temos o teorema de Cayley.
Teorema 11.3 (teorema de Cayley). Seja G um grupo de ordem n, ent
ao G e
isomorfo a um subgrupo do grupo Sn das permutaco
es de n elementos.
o. Tome a representacao por translacao em G e conclua que
Demonstrac
a
76
77
Para todo a
/ Z(a) temos que (G : E(a)) = #Oa > 1, logo #E(a) < #G. Por
hip
otese pm - |E(a)|, assim p | (G : E(a)). Em particular, p | #Z(G).
78
Como Z(G) e abeliano, concluimos do lema de Cauchy que existe x Z(G) tal
que o(x) = p. Note que como x Z(G), entao hxi C G, portanto o grupo G/hxi
tem ordem pn1 b < #G. Por hipotese de inducao existe K subgrupo de G/hxi tal
que #K = pm1 . Consideremos o homomorfismo canonico : G G/hxi. Entao
H = 1 (K) e um subgrupo de G de ordem pm .
Lembremos que dado um grupo qualquer (nao necessariamente finito) G e um
n
umero primo p, dizemos que G e um p-grupo se todo elemento de G tem ordem
potencia de p. Utilizaremos o primeiro teorema de Sylow para provar a seguinte
proposic
ao.
o 11.11. Um grupo finito G e um p-grupo se e somente se #G e
Proposic
a
potencia de p.
claro que se #G e potencia de p, entao G e um p-grupo.
o. E
Demonstrac
a
Reciprocamente, se existisse um primo ` 6= p tal que ` | #G, entao pelo primeiro
teorema de Sylow, existe x G tal que o(x) = `, em particular G nao e um
p-grupo.
Seja S o conjunto dos p-subgrupos de Sylow de G. Consideremos a representac
ao por conjugac
ao : G Perm(S) definida por (x)(S) = xSx1 . A parte
mais importante do segundo teorema de Sylow afirma que esta representacao e
transitiva, i.e.,
S = OS = {xSx1 ; x G}.
Seja np := #S.
Teorema 11.12 (segundo teorema de Sylow).
(1) S = OS , para algum
S S.
(2) Se P G e um p-subgrupo, ent
ao existe S S tal que P S.
(3) Se S S, ent
ao np = (G : NG (S)).
Para provar este teorema precisamos do seguinte lema.
Lema 11.13. Seja S S e P G um p-subgrupo. Ent
ao P NG (S) = P S.
o. Suponhamos que P NG (S) ' P S, seja x P NG (S)S.
Demonstrac
a
Como P e um p-grupo temos que o(x) = pr para algum r 1. Alem disto S C
NG (S), logo hxiS e um subgrupo de NG (S). Mais ainda, #hxiS = o(x)#S/#hxi
S = pr+n /#hxi S. Observe que o denominador e < pr , pois x
/ S, o que e uma
contradic
ao uma vez que a ordem de hxiS supera a ordem de S.
o do segundo teorema de Sylow. Seja C o conjunto dos
Demonstrac
a
subgrupos de G e consideremos a representacao por conjugacao : G Perm(C)
definida por (x)(H) = xHx1 . Por definicao a orbita OS (para S S) de S e o
conjunto dos conjugados de S e #OS = (G : NG (S)).
Provemos os 2 primeiros tens. Denotemos OS = T . A restricao : P
Perm(T ) desta representac
ao a um p-subgrupo P de G da uma representacao sobre
o conjunto T dada por (x) = xaSa1 x1 , para aSa1 T . Sejam O1 , , Ok as
orbitas desta representac
k
X
i=1
#Oi =
k
X
i=1
(P : Si P ).
11.15. EXEMPLOS
79
k
X
(S : S Si ).
i=1
11.15. Exemplos
Determinemos o n
umero de p-subgrupos de Sylow para grupos de certas ordens.
Observe que np = 1 se e somente se existe um u
nico p-subgrupo de Sylow normal
em G.
Exemplo 11.16. Seja G um grupo de ordem 56 = 23 7. Pelo terceiro teorema
de Sylow, n7 | 8 e n7 1 (mod 7). Entao n7 = 1 ou 8. No primeiro caso temos um
u
nico 7-subgrupo de Sylow H7 normal em G. No segundo caso, cada 7-subgrupo
de Sylow de G produz 6 elementos de ordem 7. Assim teramos 48 elementos de
ordem 7. Portanto, os demais 8 elementos constituem o u
nico 2-subgrupo de Sylow
de G. Isto n
ao poderia ser visto diretamente pelo terceiro teorema de Sylow, pois
n2 | 7 e n2 1 (mod 2), logo a princpio nao poderamos excluir a possibilidade
n2 = 7. Neste caso o 2-subgrupo de Sylow H2 de G e normal em G.
Exemplo 11.17. Seja G um grupo de ordem 22 .7.13. Aplicando o terceiro
teorema de Sylow obtemos n13 | 22 .7 e n13 1 (mod 13). Portanto temos duas
possibilidades n13 = 1 e n13 = 14. Vamos excluir a u
ltima. Seja H13 um 13subgrupo de Sylow de G. Aplicando o terceiro teorema de Sylow temos n7 | 22 .13
e n7 1 (mod 7), logo n7 = 1, ou seja ha um u
nico 7-subgrupo de Sylow H7 de
G (portanto normal em G). A fortiori, H13 H7 e um subgrupo de G. Aplicando
o terceiro teorema de Sylow a este grupo obtemos n13 = (G : NG (H13 )) (G :
H13 H7 ) = 4. Assim, n13 = 1.
CAPTULO 12
Grupos sol
uveis
12.1. Teorema de Jordan-H
older
o 12.2. Seja G um grupo. Uma serie subnormal de G e uma seq
Definic
a
uencia
de grupos
G = G0 B G1 B G2 B B Gn = {1},
onde cada Gi e normal no subgrupo anterior Gi1 . Denotamos por
Gn1
G0 G1
,
, ,
Q :=
G1 G2
Gn
o conjunto dos quocientes de da serie cuja cardinalidade l e dita o comprimento da
serie.
Um refinamente de uma serie subnormal e uma outra serie subnormal obtida a
partir desta inserindo subgrupos normais, por exemplo,
Gi B Hi B Gi+1 .
Um refinamento e dito pr
oprio, se o comprimento da nova serie for superior ao
da original. Uma serie subnormal e dita uma serie de composicao, se nao admite
refinamento pr
oprio. Duas series subnormais sao distas equivalentes se existe uma
bijec
ao entre o conjunto dos quocientes das duas series.
O objetivo desta sec
ao e mostrar que todas as series de composicao de um
grupo dado s
ao equivalentes (Teorema de Jordan-Holder).
o 12.3. Um grupo G e dito simples, se seus u
Definic
a
nicos subgrupos normais
s
ao {1} e G. Por exemplo todo grupo de ordem prima e simples.
Observe que uma serie subnormal e uma serie de composicao se e somente se
cada quociente Gi /Gi+1 e um grupo simples. Nem todo grupo admite uma serie de
composic
ao. Por exemplo, se G = Z e os subgrupos Gi = pi Z para i 1. A serie
Z B pZ B {0}
pode ser infinitamente refinada inserindo sucessivamente os grupos pi Z para todo
i 2.
Lema 12.4. Seja G um grupo finito de ordem maior que 1, ent
ao existe um
subgrupo normal pr
oprio H de G que e maximal para esta propriedade, i.e., para
todo subgrupo K normal pr
oprio de G temos que K H.
claro que {1} e um subgrupo proprio normal de G. Se {1}
o. E
Demonstrac
a
for maximal no sentido acima, nada ha a fazer. Caso contrario, existe H1 ' {1}
que e um subgrupo pr
oprio normal em G. Se H1 for maximal, acabou, senao
prosseguimos. N
ao podemos prosseguir indefinidamente pois G e finito.
81
12. GRUPOS SOLUVEIS
82
12.10. GRUPOS SOLUVEIS
83
84
12.10. GRUPOS SOLUVEIS
85
CAPTULO 13
88
d1 0 0
0 d2 0
0
. . .
,
0 dr
0
0
onde d1 | d2 | | dr .
o. As matrizes Q e P proveem (como na algebra linear) da
Demonstrac
a
multiplicac
ao de matrizes elementares que correspondem as operacoes elementares
por linhas e por colunas.
89
90
91
ri vi +
n
X
ri vi = 0,
i=k+1
92
onde x3 + ax + b n
ao admite razes m
ultiplas e a priori estamos supondo a, b C.
Ocorre que existe uma estrutura de grupo abeliano na curva eltica que pode ser
definida geometricamente por meio de intersecoes com retas. Se considerarmos
o caso em que a, b Q, ou seja uma curva eltica definida sobre os racionais,
existe um celebre teorema devido a Mordell que afirma que o conjunto de solucoes
(x0 , y0 ) Q2 da equac
ao e um grupo abeliano finitamente gerado, digamos
E(Q)tor Zr .
O inteiro (misterioso) r e chamado o posto da curva eltica. Nao se sabe por
exemplo se e possvel existir curvas elticas com posto arbitrariamente grande, o
recorde e 24.
A este objeto (a curva eltica) esta associado a uma funcao de natureza analtica
chamada a L-serie de Hasse-Weil da curva eltica. A famosa conjectura de Birch
e Swinnerton-Dyer afirma que a ordem de anulamento desta funcao em s = 1 e
exatamente o posto. Ela surgiu a partir de evidencias computacionais.
De outro lado podemos nos perguntar o que e conhecido sobre o grupo de
torc
ao. A resposta e tudo. Um belo e profundo resultado devido a Mazur mostra
que existem exatamente 16 grupos abelianos que podem ser grupos de torcao de
curvas elticas sobre os racioanis e que cada um desses grupos efetivamente ocorre.
Para mais informac
oes sobre curva elticas e o teorema de Mordell ver [Sil].
Para o teorema de Mazur ver [Ma].
Parte 3
An
eis
CAPTULO 14
An
eis de polin
omios
14.1. Algoritmo da divis
ao
Seja K um corpo. Um polinomio definido sobre K e uma expressao da forma
f (x) = an xn + . . . + a1 x + a0 ,
onde a0 , , an K. Identificamos f (x) a um vetor (a0 , , an , 0, , 0, ). Se
f 6= 0 e n 0 for o maior inteiro tal que an 6= 0, dizemos entao que n e o grau de
f . O conjunto de todos os polinomios definidos sobre K e denotado por K[x].
Seja g(x) = bm xm + . . . + b1 x + b0 . Suponhamos que n m. Definimos a soma
de f, g K[x] por
(f + g)(x) := (an + bn )xn + . . . + (a1 + b1 )x + a0 + b0 ,
onde bj = 0 para todo j > m. Se f + g 6= 0, entao
grau(f + g) max{grau(f ), grau(g)}.
Note que se f = x3 +x+1 e g = x3 +x2 2, entao grau(f +g) = 2 < 3. Definimos
o produto de f e g por
X
(f g)(x) := cn+m xn+m + . . . + c1 x + c0 , onde ci =
aj bl .
j+l=i
n+m
X
di xi , onde di =
i=0
aj bl ,
j+l=i
logo
(f g)h =
n+m+r
X
ei xi , onde ei =
i=0
a b cl
j+l=i +=j
X
++l=i
95
a b cl .
14. ANEIS
DE POLINOMIOS
96
m+r
X
= Ai xi , onde Ai =
i=0
bj c l ,
j+l=i
logo
f (gh) =
n+m+r
X
Bi xi , onde Bi =
i=0
a b cl
+l=i +j=l
a b cl .
++l=i
an nm
x
g.
bm
Se f1 = 0, acabou, tome
an nm
x
.
bm
Se f1 6= 0, ent
ao n1 = grau(f1 ) < n = grau(f ). Se n1 < m, acabou, tome
an nm
r = f1 e q =
x
.
bm
Suponha que n1 m. Seja
n1
X
f1 :=
a1,i xi .
r=0eq=
i=0
Defina
f2 := f1
a1,n1 n1 m
x
g.
bm
14.3. MAXIMO
DIVISOR COMUM DE POLINOMIOS
97
Se f2 = 0, acabou, tome
1
(an xnm + a1,n1 xn1 m ).
bm
Se f2 6= 0, ent
ao n2 = grau(f2 ) < n1 . Se n2 < m, acabou, tome
1
r = f2 e q =
(an xnm + a1,n1 xn1 m ).
bm
Prosseguindo obtemos uma seq
uencia de polinomios fi com graus estritamente decrescentes, assim pelo menos para algum t 1 temos ft 6= 0 e grau(ft ) < m, neste
ponto o algoritmo acaba, tome
1
(an xnm + a1,n1 xn1 m + . . . + at1,nt1 xnt1 m ).
r = ft e q =
bm
Suponha que tenhamos realizado duas divisoes
r=0eq=
f = q1 g + r1 = q2 g + r2 ,
onde para i = 1, 2, ri = 0 ou grau(ri ) < m. Se r1 = r2 , entao q1 g = q2 g = 0, e como
g 6= 0, ent
ao q1 = q2 . Suponhamos que r1 6= r2 . Neste caso, grau(r1 r2 ) < m.
Por outro lado
r1 r2 = (q2 q1 )g
e grau((q2 q1 )g) grau(g), o que e impossvel.
14.3. M
aximo divisor comum de polin
omios
Sejam f, g K[x] {0}. Dizemos que f divide g e denotamos por f | g se
existe
h K[x] tal que f h = g.
Notemos que esta propriedade e transitiva, i.e.,
se f | g e g | h, entao f | h.
De fato, se g = f e h = g, onde , K[x], entao h = f , i.e., f | h.
Se h 6= 0 e f h | gh, entao f | h,
pois se gh = f h para K[x], entao h(g f ) = 0 e como h 6= 0 e K[x] e
domnio de integridade, ent
ao g = f . Alem disto,
se f | g e g | f, entao f = ag,
para algum a K , pois de f = g e g = f obtemos que 1 = , mas a u
ltima
igualdade s
o ocorre se , K .
o 14.4. Sejam f, g K[x] {0}, dizemos que d K[x] e um mdc de
Definic
a
f e g se
(1) d | f e d | g.
(2) Para todo d0 K[x] tal que d0 | f e d0 | g, temos d0 | d.
Pn
Dizemos que f = i=0 ai xi K[x] e um polinomio monico, se an = 1.
o 14.5. Dado um outro mdc e de f e g, pela condicao (2) temos
Observac
a
que d | e e e | d, portanto d = ae, onde a K . A maneira de tornar canonica
a escolha do mdc e exigir que ele seja um polinomio monico e neste caso podemos
dizer que d = mdc(f, g) e o mdc de f e g.
14. ANEIS
DE POLINOMIOS
98
Esta seq
uencia e finita pois os graus s
ao estritamente decrescentes. Ent
ao rn e um
mdc de f e g.
o. A u
Demonstrac
a
ltima linha nos diz que rn e um mdc de rn e rn1 .
Logo rn = mdc(rn1 , rn ). Pelo lema 14.6 concluimos que rn = mdc(rn1 , rn2 )
e prosseguindo nas linhas anteriores temos que rn = mdc(r2 , r1 ) = mdc(r1 , g) =
mdc(f, g).
Teorema 14.8 (algoritmo euclideano estendido). Sejam f, g K[x] \ {0} e
d = mdc(a, b). Ent
ao existem , K[x] tais que
d = f + g.
o. Do teorema anterior temos que d = rn . A pen
Demonstrac
a
ultima equac
ao nos d
a
rn = rn2 qn rn1 .
Tomando A1 = qn e B1 = 1 reescrevemos
rn = B1 rn2 + A1 rn1 .
Utilizando a equac
ao antecedente a esta obtemos
rn = B1 rn2 + A1 (rn3 qn1 rn2 ) = B2 rn3 + A2 rn2 ,
onde B2 = A1 e A2 = B1 A1 qn1 . Prosseguindo ao longo das demais divisoes
obtemos
rn = Bn3 r1 + An3 r2 = Bn3 r1 + An3 (g q2 r1 ) = Bn2 g + An2 r1 ,
14.11. FATORAC
AO
UNICA
DE POLINOMIOS
99
onde Bn2 = An3 e An2 = Bn3 An3 q2 . Pela equacao antecedente temos que
rn = Bn2 g + An2 (f gq1 ) = 0 f + 0 g,
onde 0 = An2 e 0 = Bn2 An2 q1 .
Nosso objetivo agora e dar uma prova mais conceitual do algoritmo euclideano
estendido usando a noc
ao de ideal.
o 14.9. Um subconjunto I K[x] e dito um ideal de K[x] se
Definic
a
(1) O I.
(2) Se f, g I, ent
ao f + g I.
(3) Se f I e K[x], entao f I.
Fica como exerccio verificar que os seguintes conjuntos sao ideais:
(i) Seja f K[x] e I := (f ) := {f | K[x]} o conjunto dos m
ultiplos de
f.
(ii) Sejam f, g K[x] e I := (f ) + (g) := {f + g | , K[x]}.
(iii) Sejam f1 , , fn K[x] e I := (f1 ) + . . . + (fn ) := {f1 1 + . . . + fn n | 1 ,
, n K[x]}.
Teorema 14.10. O domnio K[x] e principal, i.e., todo ideal I de K[x] e da
forma (f ) para algum f K[x].
o. Seja I um ideal de K[x]. Se I = (0) nada ha a fazer. SupoDemonstrac
a
nhamos que I 6= (0). Pelo axioma da boa ordenacao existe um u
nico f I {0}
m
onico de grau mnimo. Afirmamos que I = (f ). De fato, como f I, para todo
f (f ), pelo tem (3) da definicao de ideal, f I. Assim (f ) I. Para provar
a inclus
ao oposta precisamos do algoritmo da divisao. Seja g I \ {0}. Entao
existem q, r K[x] tais que g = qf + r, onde r = 0 ou grau(r) < grau(f ). Note
que r I, pois g, f I. Logo, se r 6= 0 violaramos a minimalidade do grau de f .
Portanto, r = 0 e g (f ).
Aplicando este teorema ao tem (ii) anterior, obtemos que existe um u
nico
d K[x] m
onico tal que (f ) + (g) = (d). Afirmamos que d = mdc(f, g). De fato,
f = 1.f + 0.g (f ) + (g) = (d), logo f = d, para K[x], i.e., d | f . Da
mesma forma d | g. Se d0 | f e d0 | g, para d0 K[x], entao d = f + g, para
, K[x], se reescreve como d = (0 + 0 )d0 , para 0 , 0 K[x], i.e., d0 | d,
logo d = mdc(f, g). Observe tambem que de passagem provamos que d = f + g
que e a igualdade do algoritmo euclideano estendido.
14.11. Fatora
c
ao u
nica de polin
omios
Seja f K[x] \ {0}. Dizemos que f e irredutvel se dados g, h K[x] \ {0} tais
que f = gh ent
ao f K ou g K . Por exemplo x3 2 e irredutvel em Q[x],
pois sendo um polin
omio de grau 3 so seria redutvel se um dos fatores tivesse grau
1 e outro grau 2 ou se tivermos 3 fatores de grau 1. Mas como x3 2
e mo
nico
3
3
isto
equivale
a
este
polin
o
mio
ter
uma
raiz
racional.
Mas
suas
ra
zes
s
a
o
2,
2
3
2
e 2 que n
ao n
ao n
umeros racionais,
onde
=
exp(2i/3).
Por
outro
lado,
em
100
14. ANEIS
DE POLINOMIOS
f
.
q1
f
f1
=
.
q2
q1 q2
14.11. FATORAC
AO
UNICA
DE POLINOMIOS
101
onde v K , q1 , , qs s
ao irredutveis com grau(q1 ) < < grau(qs ) e g1 , , gs
1 s
ao inteiros. Observe que
p1 | vq1g1 qsgs ,
logo pelo lema 14.13 existe j tal que p1 | qj . Como ambos sao irredutveis monicos
isto ocorre se e somente se qj = p1 .
Afirmamos que j = 1. Suponha que j > 1. Neste caso, pelo mesmo argumento
existe i tal que q1 = bi pi para bi K . Se i = 1, entao
grau(q1 ) = grau(p1 ) = grau(qj ),
o que e impossvel. Se i > 1, entao
grau(q1 ) = grau(pi ) > grau(p1 ) = grau(qj ),
o que tambem e impossvel. Portanto q1 = a1 p1 e alem disto e1 = g1 . Dividindo os
dois lados por pe11 obtemos a igualdade
upe22 perr = vq2g2 qsgs .
O mesmo argumento acima mostra que q2 = p2 e que e2 = g2 . Novamente dividindo
os dois lados por pe22 obtemos
upe33 perr = vq3g3 qsgs .
Assim aplicando sucessivamente o argumento temos que r = s, ei = gi para todo i,
qi = ai pi , onde ai K , e u = v.
Nosso objetivo agora e obter um criterio de irredutibilidade de polinomios em
Q[x] em termos dos seus coeficientes.
Lema 14.15 (lema de Gauss). Seja f Z[x] irredutvel. Ent
ao f e irredutvel
em Q[x].
o. Suponha que f = gh com g, h Q[x] e grau(g), grau(h)
Demonstrac
a
1. Multiplicando os dois lados pelo produto m dos denominadores de todos os
coeficientes de g e h obtemos
mf = g1 h1 ,
onde g1 , h1 Z[z] e grau(g1 ) = grau(g) e grau(h1 ) = grau(h). Seja p um fator
primo de m.
Afirmamos que p divide todos os coeficientes de g1 ou todos os coeficientes de
h1 . Escrevemos explicitamente
n
m
X
X
g1 =
ai xi e h1 =
bj xj .
i=0
j=0
102
14. ANEIS
DE POLINOMIOS
j=0
Como p - an = br cs ent
ao p - br e p - cs . Por outro lado segue de p | a0 = b0 c0 e
p2 - a0 que p | b0 ou p | c0 e apenas uma destas opcoes ocorre. Digamos que p | b0 e
p - c0 . Seja i r o menor inteiro tal que p - bi . O coeficiente de xi em f e dado por
ai = b0 ci + b1 ci1 + . . . + bi1 c1 + bi c0 ,
assim p divide todas as parcelas exceto a u
ltima, portanto p - ai . Mas isto so pode
ocorrer para i = n, mas i r < n.
Utilizando o criterio de Eisenstein vemos que todo polinomio xn p para p um
n
umero primo e irredutvel em Z[x]. Um exemplo menos obvio e f (x) = xp1 +. . .+
x + 1. N
ao existe a priori um primo para o qual possamos aplicar o criterio. A ideia
e considerar o automorfismo de K[x] definido por x 7 x + 1. Assim dado g K[x]
temos que g(x) e irredutvel se e somente se g(x + 1) e irredutvel. Aplicando isto a
f , observamos (exerccio) que f (x + 1) tem todos os coeficientes, exceto o lder que
e 1, divisveis por p e o coeficiente constante e igual a p, portanto nao e divisvel
por p2 .
CAPTULO 15
An
eis e domnios
15.1. Domnios euclideanos
Seja D um domnio de integridade e : D \ {0} N uma funcao tal que
(ab) (a),
para todos a, b D \ {0}. Dizemos que (D, ) e um domnio euclideano, se para
todo a, b D com b 6= 0 temos
a = bq + r, onde r = 0 ou (r) < (b).
Como exemplos temos (Z, | |) e (K[x], grau). Em um domnio de integridade D
dizemos que b | a (para a, b D) se existe c D tal que a = bc.
Exemplo 15.2. Um outro exemplo e o anel dos inteiros gaussianos,
Z[i] := {a + bi | a, b Z}, onde i2 = 1.
Definimos tambem
(a + bi) := a2 + b2 .
Note que se a + bi, c + di Z[i] \ {0}, entao
((a + bi)(c + di)) = ((ac bd) + i(ad + bc)i) = (ac bd)2 + (ad + bc)2
= a2 c2 + b2 d2 + a2 d2 + b2 c2 = a2 (c2 + d2 ) + b2 (c2 + d2 )
= (a2 + b2 )(c2 + d2 ) = (a + bi)(c + di).
Em particular a condic
ao
((a + bi)(c + di)) (a + bi)
e satisfeita. Afirmamos que (Z[i], ) e um domnio euclideano. De fato, dados
a + bi, c + di Z[i] com c + di 6= 0 queremos mostrar que existem q = q0 + iq1 e
r = r0 + ir1 em Z[i] tais que
a + bi = q(c + di) + r, onde r = 0 ou (r) < (c + di).
Se c + di divide a + bi basta tomar
a + bi
.
c + di
Suponhamos portanto que isto nao ocorra, i.e., procuramos r =
6 0 satisfazendo a
r=0eq=
q < (1) = 1.
c + di
103
15. ANEIS
E DOMINIOS
104
Z[ 2] := {a + b 2 | a, b Z}.
Para este anel definimos
(a + b 2) := a2 2b2 .
Observemos que
((a + b 2)(c + d 2)) = ((ac + 2bd) + (ad + bc) 2) = (ac + 2bd)2 2(ad + bc)2
= a2 c2 + 4b2 d2 2a2 d2 2b2 c2 = a2 (c2 2d2 ) 2b2 (c2 2d2 )
Se (c + d 2) | (a + b 2) tomamos
a+b 2
r=0eq=
.
c+d 2
Caso isto n
ao ocorra procuramos r 6= 0 tal que
a+b 2
q < (1) = 1.
c+d 2
(a + b 2)(c d 2)
= + 2,
2
2
c 2d
onde , Q. Assim queremos mostrar que
( q0 )2 2( q1 )2 < 1
105
1
2
1
< 1.
4
n1
X
ai i = 0 tais que ai Z
i=0
s
ao chamados inteiros algebricos de K e o conjunto de todos os inteiros algebricos
forma uma anel (dos inteiros algebricos de K) denotado por OK . A pergunta e
quando OK com uma func
ao apropriada e um domnio euclideano. A resposta
e como no caso anterior geometrica. Tudo depende da representacao logartmica
de K em um R espaco vetorial Rn de dimensao finita. Existem criterios nos quais
podemos mostrar que para certos corpos de n
umeros K existem funcoes K tais
que (OK , K ) e um domnio euclideano. Para mais sobre esta questao ver [Le1] e
[Le2].
o 15.5. Mostraremos agora que como no caso dos inteiros e dos
Observac
a
polin
omios domnios euclideanos sao principais e fatoriais. Um caso classico de
corpo de n
umeros ligado a teoria de n
umeros e o corpo
(n1
)
X
i
Q[n ] :=
ai | ai Q para todo i ,
i=0
106
15. ANEIS
E DOMINIOS
a
/ D redutvel. Seja Da o conjunto dos divisores d de a em D. Seja p1 Da \ {0}
tal que (p1 ) (b) para todo b Da . Afirmamos que p1 e irredutvel. De fato,
caso contr
ario, p1 = cd, c, d
/ D e (p1 ) = (cd) (d). Se (cd) = (d), por
hip
otese existem q, r D tais que d = qcd + r com r = 0 ou (r) < (cd) = (d).
Se r 6= 0, ent
ao r = d(1 qc) e (r) (d), o que e impossvel, assim r = 0, mas
neste caso qc = 1, logo c D , o que tambem e impossvel. Assim (cd) > (d) e
d Da , mas isto contradiz a minimalidade de p1 . Portanto, p1 e irredutvel.
Seja
a
a1 := .
p1
Se a1 D ou a1 e irredutvel entao nada ha a fazer. Caso contrario, repetindo o
argumento existe p2 Da1 irredutvel tal que (p2 ) (b) para todo b Da1 \ {0}.
Seja
a
a1
=
.
a2 :=
p2
p1 p2
Novamente, se a2 D ou a2 for irredutvel acabou. Caso contrario prosseguimos.
Observe que (a) > (a1 ) > (a2 ) > (1), pois os elementos pi s sao
irredutveis. Portanto, existe r tal que (ar ) = (1), i.e., ar D e neste caso
a = up1 pr com u = ar .
o 15.10. Sejam a, b D \ {0}. Definimos um mdc d de a e b por
Definic
a
(1) d | a e d | b.
(2) Para todo d0 D \ {0} tal que d0 | a e d0 | b, temos que d0 | d.
107
15. ANEIS
E DOMINIOS
108
109
n
X
ai xi e g1 =
i=0
m
X
bi xi .
i=0
Seja
f1 g1 =
n+m
X
cj xj .
i=0
Seja p D irredutvel. Como c(f1 ) = c(g1 ) = 1 existe i tal que p - ai e l tal que
p - bl . Escolhamos i e l mnimos com esta propriedade. Entao
ci+l = ai+l b0 + ai+l1 b1 + . . . + ai+1 bl1 + ai bl + ai1 bl+1 + . . . + a0 bi+l
n
ao pode ser divisvel por p. Em particular, p - c(f1 g1 ) e c(f1 g1 ) = 1.
claro que que se f e associado a g em D[x] tambem o e em K[x]. Provemos
(2) E
a recproca. Ou seja, suponhamos que f = ug para u K e K = fr(D). Digamos
que u = ab . Logo
bf = ag, c(bf ) = bc(f ) = b e c(ag) = ac(g) = a,
i.e., b = va para v D , portanto f e associado a g em D[x].
claro que se f e irredutvel em K[x] ele tambem o e em D[x]. Suponha
(3) E
que f seja redutvel em K[x], digamos f = gh para g, h K[x] tais que grau(g),
grau(h) 1. Eliminando os denominadores de g e h obtemos a D \ {0} tal que
af = g1 h1 para g1 , h1 D[x] e grau(g1 ) = grau(g) e grau(h1 ) = grau(h). Note que
c(af ) = ac(f ) = a e c(g1 h1 ) = c(g1 )c(h1 ),
logo existe u D tal que a = c(g1 )c(h1 )u. Alem disto, escrevendo g1 = c(g1 )g1 e
h1 = c(h1 )h1 com g1 , h1 D[x] primitivos temos que
af = c(g1 )c(h1 )g1 h1 ,
i.e., f = u1 g1 h1 o que contradiz o fato de f ser irredutvel em D[x].
15. ANEIS
E DOMINIOS
110
Teorema 15.24 (criterio de Eisenstein generalizado). Seja D um domnio fatorial, K = fr(D) seu corpo de frac
oes,
f=
n
X
ai xi D[x] {0}
i=0
15.25. FATORES MULTIPLOS
E RESULTANTE
111
o 15.27. Sejam
Definic
a
f=
n
X
ai xi e g =
i=0
m
X
bj x j .
j=0
an an1
a1
a0
a
a
a1
a0
n
n1
.
.
.
.
.
.
.
..
.
.
.
an an1
bm bm1
b1
b0
b
b
b1
b0
m
m1
.
.
.
.
..
..
..
..
bm bm1
da seguinte matriz
..
.
a1
..
.
b1
a0
,
b0
r
X
ci x e v =
s
X
dj xj ,
j=0
i=0
a1 d0 + a0 d1 b1 c0 b0 c1 = 0
a0 d0 b0 c0 = 0
cuja matriz transposta e igual a
an
an1
a
a
n
n1
..
bm bm1
b
b
m
m1
.
..
a1
..
.
a0
a1
..
.
an
b1
..
.
an1
b0
b1
..
.
.
a1
b0
..
.
..
bm
bm1
a0
..
.
..
.
b1
a0
.
b0
112
15. ANEIS
E DOMINIOS
i=1
Esta func
ao satisfaz as seguintes propriedades:
(1) D(f + g) = D(f ) + D(g), para f, g K[x];
(2) D(af ) = aD(f ), para a K e f K[x];
(3) (regra de Leibniz) D(f g) = f D(g) + D(f )g, para f, g K[x].
Dizemos que um fator irredutvel f de g K[x] K e m
ultiplo se f 2 | g.
o 15.31. Seja g K[x]\K e f K[x]\K um polin
Proposic
a
omio irredutvel.
Ent
ao f e fator m
ultiplo de g se e somente se f | D(g).
o. Suponha que f seja fator m
Demonstrac
a
ultiplo de g, entao f 2 | g, i.e.,
2
g = Af para algum A K[x]. Logo D(g) = D(A)f 2 + 2Af D(f ), portanto
f | D(g).
Reciprocamente, suponha que f | D(g), digamos g = f A e D(g) = f B para
A, B K[x]. Derivando a primeira igualdade, D(g) = f D(A) + D(f )A, substituindo temos que f (B D(A)) = D(f )A. Se D(f ) = 0 entao trivialmente D(f ) | g.
Suponhamos que D(f ) 6= 0. Neste caso grau(D(f )) < grau(f ) e como f e irredutvel, pela unicidade da fatoracao de polinomios, concluimos que f e um fator de
A, digamos A = f C para C K[x]. Assim g = f 2 C e f e um fator m
ultiplo de
g.
o 15.32. Definimos o discriminante de f K[x] \ {0} por disc(f ) :=
Definic
a
Res(f, D(f )). Assim concluimos a seguinte proposicao.
o 15.33. Seja f K[x] \ K, ent
Proposic
a
ao f possui fator m
ultiplo se e
somente se disc(f ) = 0.
15.34. An
eis quocientes e teorema chin
es dos restos
Seja A um anel (sempre comutativo com unidade) e I, J A ideais de A
definimos o ideal soma I + J por
I + J := {a + b | a I e b J}.
Fica como exerccio verificar que I + J e de fato um ideal de A. Dizemos que os
ideais I e J s
ao coprimos se
I + J = A, i.e., se existem a I e b J tais que 1 = a + b.
Por exemplo, se A = Z, I = nZ e J = mZ com n, m 1 inteiros, temos que
I e J s
ao coprimos se e somente se mdc(m, n) = 1. De fato, se os ideais forem
coprimos, ent
ao existem s, t Z tais que 1 = sn + tm. Assim, qualquer divisor
primo comum de n e m dividiria tambem 1, o que e impossvel. Reciprocamente,
se mdc(n, m) = 1, ent
ao pelo algoritmo euclideano estendido existem s, t Z tais
que 1 = sn + tm, a fortiori 1 I + J.
DOS RESTOS
15.34. ANEIS
QUOCIENTES E TEOREMA CHINES
113
114
15. ANEIS
E DOMINIOS
DOS RESTOS
15.34. ANEIS
QUOCIENTES E TEOREMA CHINES
115
Esta func
ao e sobrejetiva, pois para todo y f (A), temos que y = f (a) para a A,
portanto y = (a + N (f )). Esta funcao tambem e injetiva, pois se (a + N (f )) =
f (a) = 0, ent
ao a N (f ), i.e., a + N (f ) = N (f ).
15.45.1. Teorema chin
es dos restos.
o 15.46. Sejam I, J ideais de A tais que I + J = A e a, b A.
Proposic
a
Ent
ao existe x A tal que
(
x a (mod I)
x b (mod J).
o. Por hipotese existem I e J tais que 1 = + .
Demonstrac
a
Ent
ao 1 (mod I) e 1 (mod J). Em particular, a a (mod I) e b b
(mod J). Basta tomar x = a + b.
Vamos generalizar o resultado anterior para um n
umero qualquer de ideais.
Para isto precisamos da noc
ao de produto de ideais. Sejam I1 , , Ir ideais de A.
Seja
I1 . . . Ir := {a1,1 ar,1 + . . . + a1,n . . . ar,n | onde ai,j Ii , para todo i}.
Fica como exerccio mostrar que I1 . . . Ir e efetivamente um ideal de A.
o 15.47. Sejam I1 , , Ir ideais de A tais que para todo 6=
Proposic
a
tenhamos I + I = A. Sejam a1 , , ar A. Ent
ao existe x A tal que
x a1 (mod I1 )
..
..
.
.
x ar (mod Ir ).
o. Denotamos
Demonstrac
a
J := I1 . . . Ir e para cada , J := I1 . . . I1 I+1 . . . Ir .
Afirmamos que
(15.47.1)
I + J = A.
( + () ) = + ,
6=
15. ANEIS
E DOMINIOS
116
...
.
=
I1 . . . Ir
I1
Ir
o. Definimos
Demonstrac
a
:
A
A
A
...
por
I1 Ir
I1
Ir
(a + I1 . . . Ir ) := (a + I1 , , a + Ir ).
15.50. APLICAC
OES
117
Esta func
ao e sobrejetiva. De fato, dado
(a1 + I1 , , ar + Ir )
A
A
... ,
I1
Ir
pela proposic
ao anterior existe x A tal que x a (mod I ) para todo , i.e.,
x+I = a +I para todo . Portanto, (a1 +I1 , , ar +Ir ) = (x+I1 , , x+Ir ) =
(x + I1 . . . Ir ).
Finalmente, e injetiva. De fato, se (a + I1 , , a + Ir ) = (I1 , , Ir ), entao
a I1 . . . Ir = I1 . . . Ir .
Suponhamos que a + I1 . . . Ir (A/I1 . . . Ir ) , i.e., que exista b + I1 . . . Ir
(A/I1 . . . Ir ) tal que
(a + I1 . . . Ir ) (b + I1 . . . Ir ) = (ab) + I1 . . . Ir = 1 + I1 . . . Ir ,
i.e., ab 1 = c I1 . . . Ir = I1 . . . Ir . Logo ab 1 (mod I ) para todo ,
i.e., (a + I ) (b + I ) = 1 + I para todo . Portanto (a + I1 , , a + Ir )
(A/I1 ) . . . (A/Ir ) .
claro que a restric
E
ao de (A/I1 . . . Ir ) e um homomorfismo injetivo. Resta
provar a sua sobrejetividade. Seja (a1 + I1 , , ar + Ir ) (A/I1 ) . . . (A/Ir ) .
Pela parte anterior sabemos que existe x A tal que a + I = x + I para todo .
Basta provar que x + I1 . . . Ir (A/I1 . . . Ir ) . Mas para todo existe A tais
que x 1 (mod I ), pois x e inversvel simultaneamente modulo cada I . Ou
seja, x 1 = I para cada . Assim,
Y
Y
( x 1) = xz + (1)r 1 =
I1 . . . Ir ,
118
15. ANEIS
E DOMINIOS
Parte 4
Corpos
CAPTULO 16
Extens
oes finitas
Sejam K L dois corpos. Dizemos que L e uma extensao de K ou que L/K e
uma extens
ao de corpos. Notemos neste caso que a multiplicacao de elementos de
K por elementos de L induz em L uma estrutura de K-espaco vetorial. Quando L
e um K-espaco vetorial de dimensao finita, dizemos que L/K e uma extensao finita
e denotamos dimK L = [L : K] chamado o grau da extensao.
o 16.1. Sejam K L M corpos. Ent
Proposic
a
ao M/K e uma extens
ao
finita se e somente se M/L e L/K s
ao extens
oes finitas e neste caso
[M : K] = [M : L][L : K].
o. Suponha que M/K seja uma extensao finita. Qualquer conDemonstrac
a
junto de elementos de M que seja L-linearmente independente e em particular Klinearmente independente. Portanto, o n
umero maximo de vetores L-linearmente
independentes em M e [M : K], em particular M/L e finita. Como L M e M
e um K-espaco vetorial de dimensao finita, concluimos que o mesmo vale para L,
i.e., L/K e finita.
Suponha que M/L e L/K sejam finitas. Sejam {1 , , n } uma base de M/L
e {1 , , m } uma base de L/K. Afirmamos que o conjunto
{i j }1in,1jm
e uma base de M/K. Disto segue imediatamente a proposicao.
Seja x M , ent
ao
n
X
x=
ai i ,
i=1
m
X
bij j ,
j=1
onde j K. Logo,
x=
n X
m
X
bij i j ,
i=1 j=1
cij i j = 0,
i=1 j=1
121
16. EXTENSOES
FINITAS
122
n
m
X
X
cij j i = 0.
i=1
j=1
cij j L e {1 , , n }
j=1
cij j = 0.
j=1
O polin
omio e definido por
Fu,L/K (x) := det(Ix (aij )).
Denotamos A := (aij ).
o 16.4.
Observac
a
(1) Fu,L/K tem coeficiente lder 1 e grau n = [L : K].
(2) Fu,L/K n
ao depende da escolha da base. De fato, seja {1 , , n } uma
outra base de L/K e B a matriz de mudanca de base de {1 , , n } para
{1 , , n }. Seja C := B 1 . Assim,
ui = u
=
n
X
j=1
n
X
bij j =
n
X
j=1
bij
n
X
ajl l = (BA)il l
l=1
h=1
Assim,
det(Ix(BAB 1 )) = det(B(IxA)B 1 ) = det(B) det(IxA) det(B 1 ) = Fu,L/K .
(3) Se u K, ent
ao Fu,L/K = (x u)n .
o 16.5. Sejam K L M tais que M/L e L/K sejam extens
Proposic
a
oes
finitas. Seja u L. Ent
ao
[M :L]
Fu,M/K = Fu,L/K .
16. EXTENSOES
FINITAS
123
m
X
ajl l =
l=1
m
X
ajl i l .
l=1
Fu,M/K
Ix A
0
0
Ix
A
= det .
..
.
.
.
0
0
0
0
..
.
n
.
= Fu,L/K
Ix A
n
X
i=1
n
Y
(x ui ).
i=1
16. EXTENSOES
FINITAS
124
f2 =
ui uj
1i<jn
f3 =
ui uj uk
1i<j<kn
.. ..
. .
fn = (1)n
n
Y
ui .
i=1
Assim,
TL/K (u) =
NL/K (u) =
n
X
i=1
n
Y
ui
ui .
i=1
(1) Seja
= 3 + 5. Determine o polinomio mnimo de em relacao a Q
e Q[ 10]).
Pn1
(2) Seja L/K uma extensao de corpos, L e P|K = xn + i=0 ai xi .
Calcule 1 em termos dos coeficientes ai s e de .
(3) Seja L/K um extensao de corpos, L tal que [K[] : K] = 5. Mostre
que K[] = K[2 ].
16.10. EXERCICIOS
125
CAPTULO 17
Extens
oes alg
ebricas
17.1. Elementos alg
ebricos e transcendentes
Seja L/K uma extens
ao de corpos e L. Dizemos que e algebrico sobre
L, se existe f K[x] {0} tal que f ()
= 0. Caso nao exista tal f dizemos que
e transcendente sobre K. Por exemplo, 2 R e algebrico sobre Q, pois e raiz de
x2 2 e i C e algebrico sobre Q, pois e raiz de x2 +1. Por outro lado, sao teoremas
n
ao triviais devidos a Lindeman e Hilbert (resp.) que e, R sao transcendentes
sobre Q (ver captulo de extensoes transcendentes).
Na situac
ao acima definimos a funcao
: K[x] L por (g) := g().
Fica como exerccio mostrar que e um homomorfismo de aneis. Seja K[] a
imagem de . Este e um subanel de L. Seja N ( ) o n
ucleo de , i.e., este e o
conjunto dos elementos g K[x] tais que g() = 0, ou seja, este e o conjunto dos
polin
omios dos quais e raiz. Este conjunto e um ideal de K[x].
Teorema 17.2. Seja L/K uma extens
ao de corpos e L.
(1) O elemento e transcendente sobre K se e somente se e injetiva o
que equivale a N ( ) = (0). Neste caso, K[] e isomorfo ao anel de
polin
omios K[x].
(2) O elemento e algebrico sobre K se e somente se K[] e um corpo. Neste
caso, [K[] : K] = grau(P|K ).
o. Note que (1) e imediato das definicoes.
Demonstrac
a
(2) Inicialmente, e algebrico se e somente se N ( ) 6= (0). Suponha que isto
ocorra. Seja P|K o gerador monico do ideal N ( ). Este polinomio e chamado o
polin
omio mnimo de sobre K. Por definicao este e o polinomio monico de menor
grau do qual e raiz, sendo em particular irredutvel. Mas, isto equivale a dizer
que o ideal N ( ) = (P|K ) e um ideal maximal de K[x]. Esta u
ltima afirmativa
equivale a dizer o anel quociente K[x]/(P|K ) e um corpo. Note que pelo teorema
dos homomorfismos K[] e isomorfo como anel a K[x]/(P|K ). Portanto K[] e
um corpo.
Reciprocamente, se K[] for um corpo, entao por (1), temos que e algebrico
sobre K, pois K[x] n
ao e corpo, uma vez que 1/x
/ K[x].
Provemos a u
ltima afirmativa. Seja n := grau(P|K ). Afirmamos que
{1, , , n1 }
e uma base de K[]/K. De fato, este conjunto e K-linearmente independente, do
contr
ario existiriam a0 , , an1 K nao todos nulos tais que
a0 + . . . + an1 n1 = 0.
127
128
17. EXTENSOES
ALGEBRICAS
n1
X
ai xi 6= 0.
i=0
Mas isto contradiz a minimalidade do grau de P|K . Para ver que este conjunto
gera K[], seja g K[x] \ {0}. Dividindo g por P|K obtemos
g = P|K q + r,
para q, r K[x] tais que r = 0 ou grau(r) < n. Substituindo x por concluimos que
g() = r(). A fortiori, g() e uma K-combinacao linear de {1, , , n1 }.
Lema 17.3. Sejam L/K uma extens
ao de corpos e L algebrico sobre K.
Ent
ao
(1) F,K[]/K = P|K .
(2) Em particular, se L/K for finita, ent
ao
[L:K[]]
F,L/K = P|K
[L:K[]]
17.4. Extens
oes alg
ebricas
o 17.5. Uma extensao L/K e dita algebrica se todo L e algebrico
Definic
a
sobre K. Caso exista algum L transcendente sobre K dizemos que L/K e
transcendente.
o 17.6. Toda extens
Proposic
a
ao finita e algebrica.
o. Sejam L/K uma extensao finita e L. Entao existe n 1
Demonstrac
a
inteiro mnimo tal que {1, , , n1 } e um conjunto K-linearmente independente.
Ou seja, existem a0 , , an K nao todos nulos tais que
n
X
ai i = 0.
i=0
n
X
ai xi .
i=0
17.4. EXTENSOES
ALGEBRICAS
129
Ent
ao M/K e
n1
X
ai xi + xn .
i=0
Seja L a extens
ao de K gerada por a0 , , an1 . Entao L L e P|L L[x]. Pela
proposic
ao anterior L/K e finita. Alem disto, como e algebrico sobre L, entao
L[]/L e finita. Pela transitividade de extensoes finitas concluimos que L[]/K e
finita. Por outro lado, K K[] L[], logo K[]/K e finita. Em particular, e
algebrico sobre K.
Exemplo 17.10. Seja L/K extensao com [L : K] = p n
umero primo. Entao
para todo K K 0 L temos que K 0 = K ou K 0 = L. Em particular, dado
L \ K, ent
ao L = K[].
17. EXTENSOES
ALGEBRICAS
130
17.12. Adjun
c
ao de razes
Lema 17.13 (lema da duplicacao). Sejam : K K 0 um isomorfismo de
corpos e L0 K 0 um corpo contendo K 0 . Ent
ao existe uma extens
ao L/K e um
isomorfismo de corpos : L L0 estendendo , i.e., |K = .
o. Suponha que L0 K = . Definimos L da seguinte forma :
Demonstrac
a
L := K q (L0 \ K 0 ), onde q denota uniao disjuta. Definimos por : L L0 , se
x K, ent
ao (x) := (x); se x L0 \ K 0 , entao (x) := x. Dessa forma e uma
bijec
ao. Utilizamos esta bijecao para colocar uma estrutura de corpo em L por :
dados x, y L definimos
x + y := 1 ((x + y)) e xy := 1 ((x)(y)).
Com esta estrutura, e o isomorfismo de corpos procurado.
Se L0 K 6= , basta aplicar o lema 1.1 para obter um conjunto L00 e uma
bijec
ao 0 : L0 L00 tal que L00 K = . Novamente, definimos uma estrutura de
0
0
corpo em L00 por x0 +y 0 := 1 (0 (x)+0 (y)) et x0 y 0 := 1 ((x)(y)). Aplicamos
agora a parte anterior substituindo K 0 por K 00 := 0 (K 0 ) e por 0 := 0 .
o 17.14. Seja : K K 0 um homomorfismo nao nulo de corpos
Definic
a
(logo necessariamente injetivo). Este homomorfismo induz um homomorfismo de
aneis de polin
omios da seguinte forma
: K[x] K 0 [x]
n
X
i=0
ai xi 7
n
X
(ai )xi .
i=0
K[x]
definido por g 7 g
(f )
(mod (f )).
Este homomorfismo n
ao e o homomorfismo nulo, logo e injetivo quando restrito
a K, i.e., |K : K K := (K) e um isomorfismo de corpos. Este induz um
isomorfismo de aneis de polin
omios |K : K[x] K[x] como na definicao anterior.
Em particular, se x := (x), entao
|K (f )(x) =
n
X
(mod (f )).
i=0
17.18. FECHOS ALGEBRICOS
131
K[] K[ + ] K[]
\
K
A extens
ao K[, ] e gerada por sobre K[]. Como e algebrico sobre K e
K K[], concluimos que e algebrico sobre K[]. Logo a extensao K[, ]/K[]
e finita. Pela transitividade de extensoes finitas, concluimos que K[, ]/K e finita.
Mas, K K[ + ] K[, ]. Logo K[ + ]/K e finita, portanto + AL (K).
Exemplo 17.21. Seja K um corpo, L/K extensao e L transcendente sobre
K. Afirmamos que K e algebricamente fechado em K( ) = {f ( )/g( ) | f, g
K[x], g 6= 0}. De fato, se existisse K( ) \ K algebrico sobre K, digamos =
f ( )/g( ), ent
ao K[]/K seria finita. Observe que h := f (x) g(x) (K[])[x] e
h( ) = 0, ou seja, e algebrico sobre K[]. Portanto, K( ) = (K[])[ ] e algebrico
sobre K, mas isto e impossvel, pois e transcendente sobre K.
o 17.22. Dizemos que um corpo K e algebricamente fechado, se todo
Definic
a
f K[x] \ K possui uma raiz K.
A seguinte proposic
ao e uma conseq
uencia direta desta definicao, da fatoracao
de polin
omios e da definic
ao sobre elementos algebricos.
o 17.23. As seguintes condic
Proposic
a
oes s
ao equivalentes.
(1) K e algebricamente fechado.
17. EXTENSOES
ALGEBRICAS
132
17.18. FECHOS ALGEBRICOS
133
K[x]
K 0 [x]
=
=
K[]
K 0 [0 ].
(P|K )
(P0 |K 0 )
o 17.31. Sejam L e L0 extensoes de K e : L L0 um isomorfismo
Definic
a
de corpos. Dizemos que e um K-isomorfismo, se |K for a identidade.
Em particular, tomando K = K 0 , a identidade e L = L0 obtemos o corolario.
rio 17.32. Sejam L/K uma extens
Corola
ao de corpos e , 0 L algebricos
sobre K. As seguintes condic
oes s
ao equivalentes.
(1) Existe um K-isomorfismo K[] K[0 ] tal que 7 0 .
(2) P|K = P0 |K 0 .
o 17.33. Sejam L/K uma extensao e , L algebricos sobre K.
Definic
a
Dizemos que e K-conjugado a (denotamos por K ), se P|K = P|K . Esta
noc
ao independe da escolha da extensao L/K. O conjunto C dos K-conjugados
de e finito, pois #C grau(P|K ).
o 17.34. Seja L/K uma extens
Proposic
a
ao algebrica. Todo K-endomorfismo
de L e tambem um K-isomorfismo de L.
o. Seja um K-endomorfismo de L. Observe que para todo
Demonstrac
a
L temos (C ) C , pois P|K (()) = (P|K ()) = 0. Mas C e finito e
e injetivo (pois e n
ao nulo). Logo C e uma bijecao de um conjunto finito nele
mesmo. A fortiori, e sobrejetiva e e um K-automorfismo de L.
Teorema 17.35 (extens
ao de homomorfismos). Sejam L/K uma extens
ao
algebrica e : K um homomorfismo de corpos com algebricamente fechado.
Ent
ao existe : L um homomorfismo de corpos estendendo .
o. Suponha inicialmente que L = k[] para algum L. Seja
Demonstrac
a
0 uma raiz de (P|K ). Assim, (P|K ) = P0 |K 0 , onde K 0 := (K). Pelo
teorema 17.30, existe um homomorfismo de corpos : L estendendo tal que
() = 0 .
134
17. EXTENSOES
ALGEBRICAS
No caso geral, consideramos o conjunto M de pares ordenados (L0 , 0 ) formados por extens
oes L0 /K contidas em L e homomorfismos de corpos 0 : L0
estendendo . Definimos uma ordem parcial em M por
(L0 , 0 ) (L00 , 00 ) se e somente se L0 L00 e 0 = 00|L0 .
O conjunto M e indutivo. De fato, se L := {(Lj , j ) | j J} M for um subconjunto totalmente ordenado, entao o corpo
[
LJ :=
Lj
jJ
).
Pelo lema de Zorn, o conjunto M admite elemento maximal (L,
= L. De fato, caso contrario, se L
\ L, utlizando a
Afirmamos que L
a um homomorfismo de corpos
primeira parte da prova, poderamos estender
17.18. FECHOS ALGEBRICOS
135
CAPTULO 18
Extens
oes separ
aveis
o 18.1. Seja f K[x], L/K uma extensao de corpos e L uma raiz
Definic
a
de f . A multiplicidade m = m(f, ) de como raiz de f e definido como o maior
inteiro m 1 tal que existe g L[x] com g() 6= 0 satisfazendo a f = (x )m g.
Se m = 1 dizemos que e uma raiz simples, caso contrario que e uma raiz m
ultipla.
No captulo 15, sec
ao 15.25 mostramos que dados f, g K[x] \ K eles possuem
um fator comum n
ao constante (logo uma raiz comum, utilizando o captulo anterior) se e somente sua resultante Res(f, g) for nula. Alem disto, mostramos tambem
que f possui fator m
ultiplo (logo raiz m
ultipla) se e somente se seu discriminante
disc(f ) for nulo. Lembre que disc(f ) = Res(f, D(f )), onde D(f ) denota a derivada
de f .
o 18.2. Seja D um domnio de integridade. Consideremos o hoDefinic
a
momorfismo : Z D tal que (1) = 1D , onde 1D denota o elemento neutro
multiplicativo de D. Seja I = N () o n
ucleo de . Se N () = (0) (i.e., for
injetivo) dizemos que a caracterstica car(D) como 0. Caso isto nao ocorra I e um
ideal n
ao nulo de Z, logo I = nZ para algum n 1. Alem disto pelo teorema dos
isomorfismos Z/nZ e isomorfo a um subdomnio de D. Mas Z/nZ e um domnio se
e somente se n = p e um n
umero primo. Neste caso dizemos que car(D) = p. Note
que neste caso p.1D = 0 e para todo a D temos tambem que pa = 0. Observe
tambem que
p
X
p i pi
(a + b)p =
ab
= ap + bp ,
i
i=0
pois para todo i = 1, , p 1 temos
p
0
i
(mod p).
n1
X
i=0
137
ai xi .
138
18. EXTENSOES
SEPARAVEIS
Ent
ao D(P|K ) = 0 se e somente se para todo i tal que ai 6= 0 temos que i = 0 em
K (i.e., i 0 (mod p) em Z). Assim,
0
h = xn + a(n0 1)p xn 1 + . . . + ap x + a0 .
o 18.4. Dado f K[x] \ K, dizemos que f e separavel, se f nao
Definic
a
admite razes m
ultiplas. Seja L/K uma extensao de corpos e L algebrico sobre
K, ent
ao e dito separ
avel sobre K, se P|K for separavel. Uma extensao algebrica
L/K e dita separ
avel, se todo L for separavel sobre K. Um corpo K e dito
perfeito, se car(K) = 0 ou car(K) = p e K = K p = {ap | a K} (i.e., todo elemento
de K e p-potencia). Note que a inclusao K p K e sempre satisfeita. A questao e
a inclus
ao oposta.
o 18.5. Um corpo K e perfeito se e somente se para todo f K[x]
Proposic
a
irredutvel for separ
avel.
o. Suponha que K seja perfeito e seja f K[x] irredutvel.
Demonstrac
a
Seja L/K finita e L tal que f () = 0. Logo f = aP|K para a K . Se
car(K) = 0 ou D(P|K ) 6= 0, entao P|K e separavel (logo o mesmo vale para f ).
Caso isto n
ao ocorra, ent
ao P|K (x) = h(xp ) para algum h K[x] e p = car(K).
Como K e perfeito K = K p . Escrevendo
P|K =
n
X
aip xip
i=0
temos que para todo i existe bi K tal que aip = bpip . Logo
n
X
P|K = (
bip xi )p
i=0
18. EXTENSOES
SEPARAVEIS
139
140
18. EXTENSOES
SEPARAVEIS
141
142
18. EXTENSOES
SEPARAVEIS
CAPTULO 19
Extens
oes puramente insepar
aveis
Ao longo de todo este captulo K sera um corpo de caracterstica prima p.
Sabemos que se L/K for uma extensao e AL (K), entao P|K e separavel ou
existe h1 K[x] tal que P|K (x) = h1 (xp ). Note que h1 (x) e monico e irredutvel,
na verdade coincide com Pp |K . Assim, podemos repetir o argumento para h1 .
Pela finitude do grau de P|K , concluimos que existe um e 0 inteiro maximo e
P|K K[x] tal que
e
P|K (x) = P|K (xp ).
Este inteiro e e dito o expoente de P|K .
O anel K[x] e fatorial, logo similarmente, podemos definir para todo f K[x] \
K o maior inteiro e 0 tal que
e
f (x) = f(xp ),
para um u
nico f K[x]. Novamente e e dito o expoente de f . Observamos que f
e separ
avel se e somente se e = 0.
o 19.1. Um polinomio f K[x] \ K e dito puramente inseparavel se
Definic
a
e
f (x) = xp a para algum e 0 e a K. Note que neste caso f = x a. Observe
tambem que se for uma raiz de f em uma extensao finita L/K entao
e
f (x) = (x )p .
Ou seja, um polin
omio puramente inseparavel possui uma u
nica raiz em um fecho
algebrico de K. Neste sentido um polinomio puramente inseparavel e o extremo
oposto de um polin
omio separavel.
o 19.2. Seja L/K uma extensao de corpos e L algebrico sobre
Definic
a
K. Dizemos que e puramente inseparavel sobre K se for raiz de algum f K[x] \
K puramente insepar
avel. Observe que todo elemento de K e simultaneamente
separ
avel e puramente inseparavel sobre K. Dizemos que uma extensao algebrica
L/K e puramente insepar
avel se todo L for puramente inseparavel sobre K.
Lema 19.3. Seja L/K extens
ao e AL (K). Ent
ao e puramente insepar
avel sobre K se e somente se P|K for puramente insepar
avel.
o. Se P|K for puramente inseparavel nada ha a fazer. SupoDemonstrac
a
nhamos que seja puramente inseparavel sobre K. Ou seja, existe e 0 tal que
e
e raiz de xp a para algum a K. Suponha e mnimo para esta propriedade.
e
Neste caso, xp a e irredutvel, coincidindo portanto com P|K .
Teorema 19.4. Seja L/K algebrica, digamos L = K[M]. Sejam um corpo
algebricamente fechado e : K um homomorfismo n
ao trivial de corpos. As
seguintes condico
es s
ao equivalentes:
143
144
19. EXTENSOES
PURAMENTE INSEPARAVEIS
19. EXTENSOES
PURAMENTE INSEPARAVEIS
145
CAPTULO 20
Corpos de decomposic
ao e extens
oes normais
o 20.1. Seja K um corpo e f K[x] \ K. Seja um corpo algebriDefinic
a
camente fechado com K. Seja Rf := { | f () = 0} = {1 , , n }. O
corpo de decomposic
ao K[Rf ] de f com relacao a K e a extensao finita K[1 , ,
n ] gerada sobre K por {1 , , n }. Observemos que este e o menor subcorpo
de contendo K e Rf . De fato, qualquer outro subcorpo contendo K e Rf necessariamente contem K(Rf ), pois os elemento deste sao polinomios nos i s com
coeficientes em K. Uma extensao algebrica L/K e dita normal, se para todo L,
RP|K L.
o 20.2. Note que a nocao de corpo de decomposicao a priori depenObservac
a
deria do corpo . Novamente, com o mesmo argumento que utilizado para provar
a unicidade de fecho algebrico a menos de isomorfismo, observamos que se R0f for o
conjunto de razes de f em um outro corpo algebricamente fechado 0 K, entao
K[R0f ] e K[Rf ] s
ao K-isomorfos.
o 20.3. Se F K[x] \ K for uma famlia de polinomios, definimos
Observac
a
da mesma forma o conjunto
[
RF :=
Rf
f F
3
3
3
3
3
3
2
3 2 ) Q[
Q(R
2,
z].
Mas
z
=
(
2z)/
2
{ 2, 2z, 2z } C. Desta forma,
x
3
3
3
4
Q(R
).
Logo
Q(R
)
=
Q[
2,
z].
Pelo
mesmo
argumento,
Q(R
)
x 5 =
x 2
x 2
Q[ 4 5, i].
o 20.6. Seja L/K uma extens
Proposic
a
ao tal que [L : K] = 2. Ent
ao L/K e
normal.
o. Seja L. Se K, entao P|K = x e RP|K =
Demonstrac
a
{} K L. Caso contr
ario, em L[x] temos P|K = (x )g(x) para g L[x]
m
onico de grau 1, assim g(x) = x , logo RP|K = {, } L.
147
148
3
2,
z] =
n
ao vale transitividade para extensoes normais. De fato, se L =
Q[
3
Q(Rx3 2 ), ent
ao L/Q e normal (pelo
teorema).
A
extens
a
o
L/Q[
2]
e
normal,
3
como razes
2z e 3 2z 2 e este n
umeros sao n
umeros complexos conjugados, en
3
quanto Q[ 2] R.
4
Q[
5]/Q[ 5] e Q[ 5]/Q tem grau 2, portanto sao normais.
Mas a extensao
4
Q[ 4 5]/Q n
ao o e, pois x4 5 tem tamb
e
m
como
ra
zes
5i
e
estes
sao n
umeros
e normal.
T
o. Seja N N N . Como N e N/K e normal, concluiDemonstrac
a
mos que RP|K N , para todo N N.
o 20.11. Sejam K L corpos com algebricamente fechado.
Definic
a
Seja NL o conjunto de subcorpos N de contendo L tais que N/K seja normal.
O corpo
\
N (L/K) :=
N
N NL
149
150
20.17. Exemplos
Exemplo 20.18. Seja f = x3 2 Q[x]. Considere o diagrama de corpos
Q[ 3 2, z] = Q[Rf ]
\
Q[ 2]
Q[z]
\
/
Q
A extens
ao Q[ 3 2]/Q tem grau 2 pois x3 2 e irredutvel em Q[x] pelo criterio
de Eisenstein com p = 2. A extensao Q[z]/Q tem grau 2, pois o polinomio mnimo
de z sobre Q e x2 + x + 1. As razes deste polin
omio sao z e z 2 que sao n
umeros
3
2
complexos,
um
conjugado
do
outro.
Como
Q[
2]
R,
x
+
x
+
1
e
irredut
vel
3
3
[Q[ 2, z] : Q[ 2]] = 2 e [Q(Rx3 2 ) : Q] = 6.
Assim # Gal(Q(Rx3 2 )/Q) = 6. Um grupo de ordem 6 gerado por dois elementos
e com de ordem 3 e de ordem 2 satisfazendo a
= 2
e isomorfo ao grupo S3 das permutacoes de 3 elementos que e dado explicitamente
por
{id, , 2 , , , 2 }.
Vamos mostrar que este e o grupo de Galois G = Gal(Q(Rx3 2 )/Q).
2
3
3
3
( 2)3 = ( 2 ) = (2) = 2,
3
3
( 2) := 2z e (z) := z e
3
3
por ( 2) := 2 e (z) := z.
Observemos
que e satisfazem
`a
condicao acima.
De fato, 2 ( 3 2)= ( 3 2z)
=
3
2z 2 e 2 (z) = z;
3 ( 3 2) =( 3 2z 2
) = 3 2 e 3 (z) = z; 2 ( 3 2) = 3 2 e
(z)= z 4 = z; ( 3 2) = ( 3 2z) = 3 2z 2 e (z) = (z) = z 2 ; 2 ( 3 2) =
2 ( 3 2) = 3 2z 2 e 2 (z) = 2 (z 2 ) = z 2 .
Finalmente, note que o subgrupo de Aut(Q[Rf ]/Q) gerado por e tem ordem
6, logo deve ser todo o grupo.
20.17. EXEMPLOS
151
Q[ 4 5, i] = Q[Rf ]
\
Q[ 5]
Q[i]
\
/
Q
4
4
sobre Q[ 5][x], portanto [K : Q] = 8 = # Gal(K/Q). Um grupo de ordem 8 gerado
por 2 elementos de ordem 4 e de ordem 2 tal que
= 3
e isomorfo ao grupo diedral de ordem 4, D4 que e dado explicitamente por
{id, , 2 , 3 , , , 2 , 3 }.
Vamos mostrar que este e o grupo de Galois G = Gal(K/Q).
2 3 2 3
Como 1, 4 5, 4 5 , 4 5 , i, 4 5i, 4 5 i, 4 5 i formam uma base de K como Qespaco vetorial, para obter um
elemento
de
G basta calcula-lo em 4 5 e i. Ob
4
4
servemos que dado G, ( 5) { 5, 4 5i} e (i) {i}.
Definimos por
4
4
( 5) := 5i e (i) := i e
4
4
por ( 5) := 5 e (i) := i.
Observemos
que e
satisfazem
`a condi
cao acima. De fato, 2 ( 4 5) =( 4 5i)=
4 5 e 2 (i) = i;
3 ( 4 5)
= ( 4 5) = 4 5i e 3 (i) = i; 4 ( 4 5) =( 4 5i)
= 45
4
4
4
4
2 4
2
e (i) = i; ( 5) = 5 e (i)
= (i)
= i; ( 5) = ( 5i) = 4 5i e
4
4
4
(i) = (i) = i; 3 ( 5) = 3 ( 5) = 5i e 3 (i) = 3 (i) = i.
Finalmente, o subgrupo de Aut(Q[Rf ]/Q) gerado por e tem ordem 8, logo
e todo o grupo.
CAPTULO 21
Teoria de Galois
21.1. Correspond
encia de Galois
o 21.2. Seja N/K uma extensao finita, G = Aut(N/K), K o conjunto
Definic
a
dos subcorpos L de N contendo K e G o conjunto dos subgrupos H de G. Definimos
duas func
oes:
: K G dada por (L) := Aut(N/L) e
: G K dada por (H) := N H := { N | () = para todo H}.
Verifiquemos que N H e de fato um subcorpo de N , e claro que K N H . De fato,
como e um homomorfismo temos que ( + ) = () + () = + . O mesmo
vale para o produto. Alem disto, (1 ) = ()1 = 1 . O par de funcoes {, }
e chamado uma conex
ao de Galois.
Este par satisfaz `
as seguintes propriedades.
o 21.3.
Proposic
a
(1) Se L1 L2 , ent
ao (L1 ) (L2 ).
(2) Se H1 H2 , ent
ao (H1 ) (H2 ).
(3) L (L).
(4) H (H).
Alem disto, denotando por K a imagem de e G a imagem de
temos tambem as seguintes propriedades.
(5) L K se e somente se L = (L).
(6) H G se e somente se H = (H). Como conseq
uencia destes u
ltimos
2 itens temos imediatamente que
(7) = .
(8) = . Em particular, {, } induzem uma bijec
ao entre os conjuntos
K e .
o.
Demonstrac
a
(1) Seja (L2 ), entao para todo L2 , = ,
em particular o mesmo vale para todo L1 , logo (L1 ).
(2) Seja (H2 ), logo para todo H2 , = , em particular o mesmo
vale para todo H1 , logo (H1 ).
claro que para todo L e para todo Aut(N/L) temos = ,
(3) E
assim (L).
claro que para todo H e (H) temos que = , portanto,
(4) E
(H).
claro que se L = (L), entao L K . Por outro lado, se L K ,
(5) E
digamos L = (H), entao, como H (H), temos que L = (H)
(H) = (L).
153
154
21.1. CORRESPONDENCIA
DE GALOIS
155
o. J
Demonstrac
a
a provamos anteriormente que se N/K for galoisiana entao
N/L tambem o ser
a para todo L K (ver captulos de extensoes separaveis e
normais). Assim, pela proposicao anterior, (L) = L. Por outro lado, pelo
teorema de Artin, (H) = H.
Calculemos alguns exemplos concretos da correspondencia de Galois.
Exemplo21.8. Seja K = Q, N = Q[Rx3 2 ]. Ja provamos anteriormente
que N = Q[ 3 2, ], onde = e2i/3 , [N : Q] = 6 e G = Aut(N/Q) =S3 =
{id,
, 2 , , , 2 } como() = 3, o( ) = 2 e = 2 . Alem disto, ( 3 2) =
3
2, () = , ( 3 2) = 3 2 e () = 2 .
Note que N N {id} N , logo N {id} = N . Tambem Q N G N e pela
teoria de Galois [N : N G ] = #G = 6, logo Q = N G .
Seja H1 = hi = {id, , 2 }. Observe que Q[] N H1 N e que [N : N H1 ] =
#H1 = 3. Como [Q[] : Q] = 2, concluimos
que Q[] = N H1 .
3
Seja H
aoQ[ 2] N H2 N , [N : N H2 ] = #H2 = 2.
2 = h i = {id, }. Ent
3
Como [Q[ 2] : Q] = 3, segue que Q[ 3 2]= N H2
.
3
3
Seja
H
=
h
i.
Observe
que
(
2)
=
2, ()
= 2 , logo (3 2) =
3
3
2 2 = 3 2. Portanto,
( 3 2(1 + )) = 3 2(1 + ) = 3 2 2 . Assim, Q[ 3 2 2 ]
3
3
N H
N . Como 2 2 e raiz de x3 2 e este e irredutvel sobreQ, segue que
3
2, concluimos que Q[ 3 2 2 ] =
[Q[ 2 2 ] : Q] = 3. Como [N : N H3 ] = #H
N H3 .
3 =
3
3
2
2
2
2
2
2
Seja H4
= h i. Observe
que ( 2) = 2 e ()= , logo
( 3 2 2 )
= 3 2 2 = 3 2, portanto 2 ( 3 2(1+ 2
)) = 3 2(1+ 2 ) = 3 2. Assim,
Q[ 3 2]
3
3
H4
H4
N N , [N : N ] = #H4 = 2 e [Q[ 2] : Q] = 3, portanto Q[ 2] = N H4 .
Exemplo
21.9. Seja K = Q, N = Q[Rx4 3 ]. Ja provamos anteriormente que
4
3
com
o()= 4, o( ) = 2 e = . Alem disto, ( 3) = 4 3i, (i) = i,
4
( 3) = 4 3 e (i) = i.
N N {id} N , N = N {id} .
Q N G N , [N : N G ] = #G = 8, Q = N G .
H1
H1
N , [N : N H1 ] = #H
=
2, Q[i] =
H1 = hi, Q[i]
N
1 = 4, [Q[i]
: Q]
N .
4
2
2 4
2
2
2 4
2
H2 = h i, ( 3) = 3, (i) =i, ( 3i) = ( 3) i = 3i, Q[ 3i]
N H2 N , [N : N H2 ]
= #H2 = 2, [Q[ 3i] : Q] = 4 ja que 3i e raiz de x4 + 3
irredutvel sobre Q,
Q[ 3i] = N H2 .
4
H3 = h i, Q[ 3] N H3 N , [N : N H3 ] = #H3 = 4, [Q[ 4 3] : Q] = 4,
Q[ 4 3] = N H3 .
H4 = h
i, ( 4 3) = 4 3i, (i) = i, ( 4 3i) = 4 3, ( 4 3(1 + i)) =
4
3(1 + i), 4 3(1 + i) e raiz de x4 + 12, pelo
criterio de Eisenstein
para p = 3, este
4
4
3(1
+
i)]
:
Q]
=
4,
Q[
3(1
+ i)] N H4
polin
omio e irredutvel sobre Q,
logo
[Q[
4
H4
N4
N , [N : N ] = #H4 =2, Q( 3(1
+ i)) = N .
H6 = h 3 i, 3 ( 4 3) = 4 3i, 3 (i) =
i, 3 ( 4 3i) = 4 3,
3 ( 4 3(1
i)) 4 3(1 i), 4 3(1 i) e raiz de x4 + 12, [Q[ 4 3(1 i)] : Q] = 4, Q[ 4 3(1 i)]
N H6 N , [N : N H6 ] = #H6 = 2.
156
Finalmente, fica como exerccio calcular os corpos fixos dos seguintes subgrupos
de G : h 2 , i e h 2 , . Ambos tem ordem 4, e esgotam a correspondencia de
Galois.
21.10. Extens
oes e subgrupos normais
o 21.11. Seja N/K galoisiana finita, L K e H G. Ent
Proposic
a
ao
Aut(N/L) 1 = Aut(N/(L)) e N H
= (N H ).
157
158
CAPTULO 22
Extens
oes ciclot
omicas
Seja K um subcorpo de um corpo algebricamente fechado . Para todo n 1,
consideremos o subgrupo
Wn := Wn () := {z | z n = 1}
de , dito grupo das razes n-esimas da unidade. Observemos que este grupo e
finito de ordem no m
aximo n. Pelo lema 18.19 temos que Wn e um grupo cclico
cuja ordem coincide com o seu expoente. Alem disto, #Wn = n se somente se
p = car() - n. De fato, #Wn = n se e somente se polinomio xn 1 [x] e
separ
avel, o que ocorre se e somente se car() = 0 ou p com p - n. Note por
exemplo que Wp = {1}, se car() = p.
A partir de agora suporemos sempre que car() = 0 ou p com p - n. Seja
Wn (K) := Wn K.
Este conjunto e um subgrupo cclico de Wn e de K . Este subgrupo depende
diretamente de K e n. Por exemplo, se K = Q, = C e n = 6, temos que
W6 = {1, , , 5 }, onde = e2i/6 , mas W6 (Q) = {1}. Se n = 5, entao
Wn = {1, , , 4 }, onde = e2i/5 , mas W5 (Q) = {1}. Assim, Wn (K) depende
de n e de K. Por outro lado, se n e par (resp. mpar), entao Wn (Q) = {1} (resp.
Wn (Q) = {1}).
Seja um gerador de Wn . Existe um isomorfismo canonico
Wn
= Z/nZ dado por i 7 i.
Lembremos que os geradores de Z/nZ sao exatamente as classes
a tais que mdc(a, n) = 1,
i.e., s
ao os elementos de (Z/nZ) . A pre-imagem destes geradores pelo isomorfismo
anterior e o conjunto Pn de geradores de Wn . Tal conjunto e chamado o conjunto
das razes primitivas n-esimas da unidade. Observe tambem que pelo teorema de
Lagrange para todo Wn temos o() = d | n. Assim, podemos escrever
[
(22.0.1)
Wn =
Pd .
d|n
22. EXTENSOES
CICLOTOMICAS
160
a 7 a
P|Q = Pp |Q .
22. EXTENSOES
CICLOTOMICAS
161
Seja Pn , ent
ao = a , onde a = p1 pr , onde pi e primo e pi - n.
Aplicando sucessivamente (22.5.1) concluimos que
P|Q = P|Q .
Logo
#RP|Q #Pn = (n).
Por outro lado,
#RP|Q = grau(P|Q ) = [Q() : Q] (n),
onde a u
ltima desigualdade segue do teorema anterior.
Esta u
ltima igualdade permite recuperar indutivamente os polinomios ciclotomicos,
por exemplo, a partir de p para p um n
umero primo.
O grupo de Galois de extensoes ciclotomicas, mesmo sobre os racionais, e sempre abeliano, mas raramente e cclico. Lembre por exemplo que (Z/nZ) e cclico
se n for 2, 4, p n
umero primo ou 2p. Entretanto, quando substituimos Q pelo corpo
finito Fp de p elementos, para um n
umero primo p, o que obtemos e sempre um
grupo cclico como explicaremos a seguir.
o 22.7. Note tambem que todo corpo finito Fq de q = pn elementos
Observac
a
d
a origem a uma extens
ao ciclotomica Fq /Fp de corpos finitos e necessariamente
uma extens
ao ciclot
omica, pois Fpn \ {0} e exatamente Wpn 1 .
Extens
oes finitas de Q s
ao ditas corpos de n
umeros. Podemos naturalmente
constuir uma torre de extens
oes ciclotomicas
Q Q[p ] Q[p2 ] Qp
chamada uma torre p-
adica. O estudo deste tipo de torre foi feito por K. Iwasawa
e este associa a cada torre uma serie p-adica intimamente ligada `a funcao analtica
p-
adica de Kubota e Leopoldt a qual interpola L-funcoes de Dirichlet nos inteiros
negativos.
Por outro lado e possvel construir torres semelhantes quando substituimos Q
pelo corpo de func
oes racionais Fp (x). Neste caso entretanto dois tipos de ciclotomia aparecem, emergindo um fenomeno distinto do caso de corpos de n
umeros.
De um lado as extens
oes do tipo Fq (x)/Fp (x) por constantes, que como observamos anteriormente e utilizando a teoria de Galois sao extensoes ciclotomicas. Por
outro lado, o papel das razes da unidade tambem tem como contrapartida o que
chamamos de pontos de torc
ao de um determinado modulo devido a Carlitz. Para
mais sobre isto ver [Goss].
Finalmente, a teoria de extensoes ciclotomicas tanto em um caso quanto em
outro s
ao incarnac
oes unidimensionais de um fenomeno mais amplo (multiplicacao
complexa) que ocorre por exemplo no contexto de variedades abelianas e modulos
de Drinfeld.
162
22. EXTENSOES
CICLOTOMICAS
m1
X
ai i ,
i=0
onde ai Fp para todo i. Pelo pequeno teorema de Fermat, api = ai para todo i,
portanto,
m1
X pf f m1
X
f
p =
ai p =
ai i = .
i=0
i=0
Y
d|n
Alem disto e f
acil ver que d = p (d ).
d .
= 1, logo
CAPTULO 23
Extens
oes cclicas
Seja K um subcorpo de um corpo algebricamente fechado . Uma extensao
galoisiana finita L/K e cclica (resp. abeliana) se Aut(L/K) for cclico (resp. abeliano).
Teorema 23.1 (teorema de Abel). Seja K um corpo, car(K) = p primo e
a K . As seguintes condic
oes s
ao equivalentes:
p
(1) x a e irredutvel em K[x].
(2) xp a n
ao possui raiz em K.
(3) a
/ K p := {bp | b K}.
claro que (1) implica (2) que implica (3). Suponha que
o. E
Demonstrac
a
x a seja redutvel em K[x] e seja tal que p = a. Entao P|K | (xp a).
Como xp a = (x )p em [x] concluimos que P|K (x) = (x )l , onde 1
l p 1. Mas se l > 1, entao P|K nao e separavel, consequentemente existe
h K[x] tal que P|K (x) = h(xp ). Mas devido ao grau de P|K isto nao e possvel.
Portanto, P|K (x) = x e separavel e K, em particular a K p .
p
23. EXTENSOES
CICLICAS
164
a1 1 (y) + . . . + an n (y) = 0.
Ap
os reenumerac
ao suponhmaos que a1 , , ak sejam nao nulos que a n-upla
(a1 , , ak , 0, , 0) tenha o maior n
umero de entradas nulas possveis. Seja x G
tal que 1 (x) 6= k (x). Ent
ao para todo y G temos que
(23.5.2)
23. EXTENSOES
CICLICAS
165
n1
Y
() e TL/K () =
i=0
n1
X
i ().
i=0
1
(() + ( + ()) 2 () + . . . + ( + () + . . . + n2 ()) n1 ().
TL/K ()
Observe que
() =
1
(() 2 ()) + (() + 2 ()) 3 () + . . .
TL/K ()
() =
Teorema 23.8. Suponhamos que Pn (K) 6= . Seja L/K uma extens
ao cclica
de grau n. Ent
ao existe a K tal que L = K[Rxn a ] e L = K[] para qualquer
Rxn a .
o. Seja Pn (K), entao NL/K () = n = 1. Pelo teorema 90
Demonstrac
a
166
23. EXTENSOES
CICLICAS
23. EXTENSOES
CICLICAS
167
CAPTULO 24
170
171
i,mi =p
Portanto, E 0 F/k e galoisiana (ja que E 0 F/F e separavel, pois cada Li /Li1 o e, e
F/k tambem e separ
avel). A fortiori, E 0 F/F e sol
uvel. Trivialmente F/k e sol
uvel.
Assim, pelas propriedades de extensoes sol
uveis, E 0 F/k e sol
uvel. A fortiori, pela
mesma raz
ao, E/k e sol
uvel.
o 24.6. Dado f Q[x] irredutvel. Este polinomio e dito sol
Definic
a
uvel por
radicais se Q[Rf ]/Q e sol
uvel por radicais.
rio 24.7 (teorema de Galois, post-mortem). Seja f Q[x] irredutvel.
Corola
Ent
ao f e sol
uvel por radicais se e somente se Gal(f, K) for sol
uvel.
o 24.8. Num captulo posterior abordaremos o problema inverso
Observac
a
de Galois, que permaence em aberto desde o seculo XIX. Este diz o seguinte. Dado
um grupo finito G ser
a que existe uma extensao galoisiana finita K/Q tal que
172
Parte 5
T
opicos adicionais
CAPTULO 25
x21 + . . . + x2n .
176
Considere o polin
omio
f (t) = (t x1 ) . . . (t xn ) = xn s1 xn1 + . . . + (1)n sn A[t].
Definimos o discriminante de f (t) por
Y
D :=
(xi xj )2 = (1)n(n1)/2
1i<jn
(xi xj ).
1i6=jn
imediato da definic
E
ao que o D e um polinomio simetrico com coeficientes inteiros.
um dos mais importantes invariantes de um polinomio. Assim, segue do teorema,
E
que podemos escreve-lo de forma u
nica como D(x1 , , xn ) = (s1 , , sn )
Z[s1 , , sn ]. Na pr
atica e bastante laborioso de obter a expressao. Entretanto, se
n = 2 temos
(x1 x2 )2 = s21 4s2 ;
e para n = 3 temos
(x1 x2 )2 (x1 x3 )2 (x2 x3 )2 =
s21 s22 4s32 4s31 s3 27s23 + 18s1 s2 s3 .
importante notar que estas igualdades sao identidades no anel Z[x1 , , xn ].
E
Assim, permanecem verdadeiras se substituimos as variaveis x1 , , xn por constantes. Por exemplo, se R for um corpo K e 1 , , n forem elementos algebricos
sobre K contidos em alguma extensao L de K, entao
(x 1 ) . . . (x n ) = xn a1 xn1 + . . . + an ,
onde ai = si (1 , , n ). Neste caso o discriminante do polinomio e dado por
Y
(a1 , , an ) =
(i j )2 .
1i<jn
Em particular, f e separ
avel se e somente se (a1 , , an ) 6= 0. Fica como
exerccio verificar que esta definicao de discriminante coincide com a definicao anterior (captulo de aneis e domnios). No caso do polinomio c
ubico x3 ax + b
3
2
obtemos como discriminante (4a + 27b ).
Para a prova do teorema precisamos da nocao de grau de um polinomio em
v
arias vari
aveis. Se f A, entao ele pode ser escrito como
X
f (x1 , , xn ) =
ai1 in xi11 . . . xinn ,
i1 , ,in
25.2. GRUPO Sn
177
178
f1 (x1 , , xn )
,
f2 (x1 , , xn )
(f2 ).
Sn
Observe que G e Gf s
ao polinomios simetricos em A. Ou seja existem u
nicos
h1 , h2 R[s1 , , sn ] tais que G = h1 e Gf = h2 . Logo f = h2 /h1 F (s1 , , sn )
e esta express
ao e u
nica pela unicidade de h1 e h2 .
Teorema 25.7. A extens
ao de corpos F (x1 , , xn )/F (s1 , , sn ) e galoisiana com grupo de Galois isomorfo a Sn .
o. Seja L := F (s1 , , sn ) e
Demonstrac
a
f (t) := (t x1 ) . . . (t xn ) = tn s1 tn1 + . . . + (1)n sn L[t].
Ent
ao F (x1 , , xn ) = L[Rf (t) ] e o corpo de decomposicao de f (t) sobre L. Assim,
tambem separavel, pois as variaveis x1 , , xn sao
a extens
ao acima e normal. E
distintas, logo f (t) e separ
avel. Portanto, a extensao e galoisiana. Como f (t) tem
grau n, sabemos que Gal(F (x1 , , xn )/L) e isomorfo a um subgrupo de Sn (ver
captulo de teoria de Galois). Por outro lado,
F (x1 , , xn )Sn L.
Isto significa que Sn Gal(F (x1 , , xn )/L). Logo Gal(F (x1 , , xn )/L)
= Sn .
Para passarmos do teorema acima para um resultado sobre Q precisamos do
teorema de irredutibilidade de Hilbert (veja [LaDio, chapter 9].
Teorema 25.8 (teorema de irredutiblidade de Hilbert). Seja L := Q(x1 ,
, xn ) R := Q[x1 , , xn ] e f (t) L[t] irredutvel. Ent
ao existem infinitos homomorfismos : R Q tais que (f )(t) seja irredutvel em Q[t].
Teorema 25.9. Existe uma extens
ao galoisiana finita K de Q tal que Gal(K/
Q)
= Sn .
o. Pelo teorema 25.7 a extensao Q(x1 , , xn )/Q(s1 , , sn )
Demonstrac
a
e galoisiana com grupo de Galois isomorfo a Sn . Seja um elemento primitivo
desta extens
ao e P|M o seu polinomio mnimo sobre M := Q(s1 , , sn ). Pelo
teorema de irredutibilidade de Hilbert existem infinitos homomorfismos : R Q
tais que (P|M ) =: f seja irredutvel sobre Q[t]. Note que a extensao Q[Rf ]/Q e
possvel mostrar com argumentos geometricos que podemos
galoisiana de grau n!. E
25.13. METODO
GERAL
179
escolher de tal forma que Gal(Q[Rf ]/Q) seja ainda Sn (ver [SerMW, proposition
2, sec
ao 9.2]).
25.10. Grupo An
Para obter o grupo An como grupo
de Galois sobre Q comecamos novamente
Q
com a situac
ao generica. Seja D = 1i<jn (xi xj )2 o discriminante do polinomio
Q
f (t) = (t x1 ) . . . (t xn ) = xn s1 xn1 + . . . + (1)n sn . Seja := 1i<jn (xi
xj ). Observe que para todo Sn temos () = . Se o sinal for positivo,
claro que 2 = D
dizemos que a permutac
ao e par, senao dizemos que e mpar. E
e
/ M := F (s1 , , sn ). Assim, [M [] : M ] = 2. Alem disto, denotando por An
o subgrupo normal de ndice 2 de Sn formado pelas permutacoes pares, temos que
F (x1 , , xn )An M []. Obtemos dessa forma o seguinte resultado.
Teorema 25.11. A extens
ao F (x1 , , xn )/M [] e galoisiana com grupo de
Galois An .
Teorema 25.12. Existe extens
ao galoisiana K/Q tal que Gal(K/Q)
= An .
o. A prova e como no caso Sn utilizando o fato adicional que
Demonstrac
a
podemos escolher de tal forma que ()
/ Q (ver [SerMW, secao 10.3]).
25.13. M
etodo geral
O que est
a ocorrendo em ambos os casos esta longe de ser uma situacao particular. Em primeiro lugar, o corpo de funcoes racionais F (x1 , , xn ) e o corpo de
func
oes racionais do espaco afim An (F ) = F n como variedade algebrica. O objetivo
e primeiramente realizar um grupo finito G como grupo de Galois sobre este corpo.
Isto nem sempre pode ser obtido, e quase tao difcil quanto o problema original.
Entretanto, temos o seguinte resultado.
Teorema 25.14. [SerMW, secao 10.1] Seja G um grupo finito. Suponha que
exista uma extens
ao galoisiana finita L/Q(x1 , , xn ) com grupo de Galois G.
Ent
ao existe uma extens
ao galoisiana K/Q com grupo de Galois G. Alem disto,
se L e Q-regular, i.e., Q e algebricamente fechado em L, ent
ao existem uma infinidade de extens
oes linearmente disjuntas (para definic
ao ver captulo de teoria de
transcendencia).
o 25.15. Utilizando a teoria de curvas elticas e possvel provar
Observac
a
que existe uma extens
ao Q-regular de Q(x) com grupo de Galois PSL2 (Fp ) =
SL2 (Fp )/Fp . Isto e devido a Shih (ver [SerMW, secao 10.4]). Na verdade estas extens
oes representam do ponto de vista geometrico recobrimentos galoisianos
finitos de curvas definidas sobre Q com um n
umero finito de pontos de ramificacao.
Isto remete a seguinte pergunta: quando um grupo finito pode ser grupo de Galois
de um tal recobrimento com um conjunto prescrito de pontos de ramificacao? Nesta
generalidade a pergunta permanece em aberto, mas se considerarmos a pergunta
sobre C, ela e respondida em termos topologicos atraves do chamado grupo fundamental algebrico, que neste caso e o completamento profinito do grupo topologico
(para mais sobre grupos profinitos ver captulo de teoria de Galois infinita). A
reformulac
ao desta pergunta para corpos algebricamente fechados de caracterstica
positiva, s
o foi respondida na decada de 90 por Raynaud e depois Harbater correspondendo a uma conjectura de Abhyankar. A resposta e que para que um grupo
180
G ocorra como grupo de Galois seu maior quociente primo com p deve se realizar
sobre uma curva sobre C com mesmo n
umero de pontos de ramificacao (suposto
pelo menos 1). Seu maior quociente primo com p nada mais e que o quociente de
G pelo seu quase-p-subgrupo, i.e., o subgrupo gerado pelos seus p-subgrupos de
Sylow.
o 25.16. Um objeto extremamente importante em aritmetica e reObservac
a
lacionado com o problema inverso de Galois e o grupo de Galois absoluto GQ :=
Gal(Q/Q), onde Q = AC (Q). O fato de um grupo finito G ser grupo de Galois
sobre Q equivale ao fato de G ser um quociente de GQ . Este tema esta intimamente relacionado a resolver problemas de mergulhos para o grupo profinito GQ
(para mais ver [Ser]).
CAPTULO 26
chamado o anel Zp dos inteiros p-adicos (para mais detalhes ver [Ne, chapter II].
Definiremos agora a noc
ao de produto inverso de forma um pouco mais geral.
Seja I um conjunto de ndices dotado de uma ordem parcial i j. Diremos
que I e direcionado se para quaisquer i, j I, existe k I tal que i k e
j k. Suponhamos que I seja direcionado. Uma famlia inversa direcionada de
grupos e uma famlia de grupos {Gi }iI e para cada par i j um homomorfismo
Q
fji : Gj Gi tal que se k i j, entao fjk = fji fik e fii = id. Seja G := i Gi
com a operac
ao compenente a componente. Seja o subconjunto de G formado
181
182
pelos elementos (xi ) tais que xi Gi satisfazendo a para todo j i, fji (xj ) = xi .
Ent
ao contem o elemento neutro e e um subgrupo de G dito o limite inverso da
famlia e denotado por = limi Gi .
Este subgrupo de G e o que se chama um grupo profinito (no sentido de ser limite
de grupos finitos). Uma variante desta construcao consiste em nos restringirmos `a
famlia Fp de subgrupos normais H de G cujo ndice e uma potencia de p. Podemos
similarmente tomar o limite inverso limHF G/H, este grupo e chamado um grupo
p
pro-p profinito.
Exemplo 26.6. Logo em seguida consideraremos o contexto natural onde grupos profinitos aparecem, na teoria de Galois infinita. Seja k um corpo e A uma
extens
ao infinita de k. Por exemplo, k = Q e A = Q. Seja G := Aut(A/k) o grupo
de k-automorfismos de A. O limite inverso limHF G/H coincide na verdade com
G (vamos mostrar isto em secao posterior). Alem disto os grupos quocientes G/H
s
ao na verdade grupos de automorfismos de extensoes finitas K/k contidas em A.
Analogamente, se X for uma superfcie compacta de Riemann de genero g 2
e p : X 0 X for a aplicac
ao de recobrimento universal, F := C(X), F 0 := C(X 0 )
seus corpos de func
oes. Exites uma injecao natural 1 (X)top , Aut(F 0 /F ) do
grupo fundamental topol
ogico de X (que e um grupo em 2g geradores com uma
relac
ao) e Gal(F 0 /F ) e o grupo profinito definido como limite projetivo com relacao
a subgrupos de ndice finito de AutX (X 0 ). Chamamos a Aut(F 0 /F ) de grupo fundamental algebrico de X, que coincide com o completamento profinito de 1top (X)
(ver sec
ao seguinte). Grothendieck definiu isto de maneira geral para curvas sobre
um corpo qualquer. Isto permitiu transpor a nocao tradicional de grupo fundamental na topologia algebrica para a geometria algebrica. Permanece um grande
misterio a estrutura dos grupos fundamentais algebricos de curvas, embora por
exemplo conheca-se bem todos os quocientes finitos deste grupo, no caso de curvas
afins (isto nada mais e que uma conjectura de Abhyankar, provada por M. Raynaud e D. Harbater nos anos 90, que diz que para que um grupo seja quociente e
necess
ario e suficiente que seu maior quociente primo com p o seja).
26.7. Completamento de um grupo
Seja G um grupo e suponhamos que {Hr } seja uma famlia de subgrupos normais de ndice finito tais que Hr Hr+1 para todo n. Uma seq
uencia de elementos
{xn } em G e dita uma seq
uencia de Cauchy, se dado Hr existe N 1 tal que
para quaiquer n, m N tenhamos xn x1
uencia {xn }
m Hr . Dizemos que a seq
e a seq
uencia nula se para todo Hr existir um N 1 tal que para todo n N
tenhamos xn Hr . Fica como exerccio provar que o conjunto C de seq
uencias
de Cauchy com operac
ao termo a termo e um grupo e que as seq
uencias nulas N
formam um sugrupo normal. O grupo quociente C/N e chamado o completamento
de G com respeito `
as seq
uencias nulas e denotado por G.
dado por x 7 (x, x, x, )
Observe que existe um homomorfismo natural T
GG
mod N . O n
ucleo deste homomorfismo e igual a r Hr . Quando este n
ucleo e trivial temos uma injec
ao.
183
G/Hr .
Teorema 26.8. Existe um isomorfismo de grupos G
= lim
r
o. Seja x = {xn } uma seq
Demonstrac
a
uencia de Cauchy em G. Para todo
n suficientemente grande a classe de xn mod Hr independe de n, denotamos esta
classe por x(r). Assim, (x(1), x(2), ) limr G/Hr .
xn um representante de xn em G. A seq
uencia {xn } e uma seq
uencia de Cauchy,
que fica como exerccio provar que esta bem definida, a menos de seq
uencias nulas.
Tambem fica como exerccio mostrar que a correspondencia acima nos da a bijecao
requerida (que por construc
ao e um homomorfismo).
Podemos fazer a construcao acima mais geralmente da seguinte forma. Seja
F uma famlia, uma seq
uencia de Cauchy e uma famlia {xj }jJ indexada por
um conjunto arbitr
ario J tal que para cada H F existe j J tal que para
k, k 0 j temos xk x1
atica trabalhamos realmente com seq
uencias,
k0 H. Na pr
pois os grupos profinitos considerados na maior parte dos casos que trataremos tem
uma base enumer
avel de abertos. Por exemplo, isto ocorre quando G e finitamente
gerado.
Mais geralmente, uma famlia {Hi } de subgrupos normais contida em F e dita
cofinal em F se dado H F existir i tal que Hi H. Suponhamos que exista uma
famlia {Hi } cujos ndices percorram um conjunto enumeravel. Fica como exerccio
G/H.
mostrar que limi G/Hi
= lim
HF
extens
ao galoisiana finita de k}.
Teorema 26.10. O homomorfismo G limHF G/H e um isomorfismo de
grupos.
o. Observemos inicialmente que o n
Demonstrac
a
ucleo e trivial. De fato se
pertence ao n
ucleo, ent
ao para toda extensao galoisina finita F/k contida em K
temos que |F = 1. Mas como todo K pertence a alguma extensao galoisiana
finita F/k concluimos que = 1.
Para ver a sobrejetividade, observe que um elemento (H ) de limH G/H satisfaz
184
Isto e o conte
udo da seguinte conjectura devida a Safarevi
c.
Conjectura 26.13. Seja k0 := Q( ) o compositum de todas as extens
oes
ciclot
omicas de Q em Q. Seja k/k0 uma extens
ao finita e Gk := Gal(Q/k). Ent
ao
Gk e isomorfo ao completamento de um grupo profinito livro em um n
umero enumer
avel de geradores.
possvel formular um analogo desta conjectura para curvas elticas substiE
tuindo Q() por Q(E(Q)tor ).
CAPTULO 27
Teoria de transcend
encia
27.1. Bases de trasncend
encia
27.2. Transcend
encia de e
27.3. Transcend
encia de
27.4. Elementos de teoria de transcenc
encia
185
Bibliografia - Livros
[Ap]
[Ar]
[Co]
[En]
[GaLe]
[Go]
[Goss]
[Ha]
[IrRo]
[Mi]
J. S. Milne, Etale
Cohomology
[Ne]
J. Neukirch, Algebraic Number Theory
[Ser]
J.-P. Serre, Topics in Galois Theory
[SerMW] J.-P. Serre, Lectures on the Mordell-Weil theorem
[Sh]
D. Shanks, Solved and Unsolved Problems in the Theory of Numbers
[Si]
W. Sierpinski, A Selection of Problems in the Theory of Numbers
[Sil]
J. Silverman, The Arithmetic of Elliptic Curves, GTM, Springer.
[Sp]
M. Spivak, Calculus.
[vWa] van der Waerden, Algebra.
187
Bibliografia - Artigos
[Le1]
[Le2]
[Ma]
[We1]
[We2]
H. Lenstra
H. Lenstra
B. Mazur, Modular curves and the Eisenstein ideal, Pub. IHES, 1969.
P. Deligne, Conjectures de Weil I, Pub. Math. IHES 43 (1974), 273-307.
P. Deligne, Conjectures de Weil II, Pub. Math. IHES 52 (1981), 313-428.
189