Instituto de Matem atica e Estatstica UERJ

O

Ultimo Teorema de Fermat
Autor: Daniel Cunha da Silva
Orientador: Rodrigo Salom ao
Rio de Janeiro
Marco de 2010
Agradecimentos
Conte udo
1 Introduc ao 3
2 Considerac oes Elementares 6
3 Noc oes Sobre Teoria Alg ebrica dos N umeros 9
4 Aritm etica no Anel dos Inteiros Alg ebricos de Corpos Ciclot omicos 17
5 Teorema de Kummer 23
2
Captulo 1
Introduc ao
Um dos problemas mais famosos na matem atica foi levantado por Pierre de Fer-
mat (16011665), um dos maiores te orico dos n umeros do s eculo 17, e que con-
stava na margem de sua c opia pessoal do livro chamado Diophantus. Traduzire-
mos abaixo suas palavras que constavam nesta margem.

E impossvel resolver um cubo em (soma de) dois cubos, uma pot encia
quarta em duas pot encias quartas, ou em geral, qualquer pot encia maior
que a segunda em duas pot encias do mesmo tipo. Encontrei uma prova
not avel deste fato, mas a margem e muito pequena para cont e-la.
Mais precisamente, Fermat armou que n ao existem n umeros naturais x, y, z,
todos n ao nulos, satisfazendo a seguinte equac ao Diophantina
x
n
+ y
n
= z
n
(1.1)
onde n e um numero natural maior que 2.
Ao longo do s eculo 19 todas as armac oes deixadas por Fermat foram sendo
resolvidas, inclusive o surgimento de um contra-exemplo para uma conjectura
falsa que armava que os n umeros da forma F
n
= 2
2
n
+ 1 s ao primos, onde n per-
corre os n umeros naturais; de fato, F
5
e divisvel por 641. A unica armac ao re-
manescente e que desaou a forca de muitos matem aticos, foi a enunciada acima,
que cou conhecida como

Ultimo Teorema de Fermat.
O primeiro a provar o caso n = 3 foi Leonhard Euler (17061783). Entretanto,
em sua primeira tentativa de prova foi usado que o conjunto dos n umeros da forma
x + y

3, com x, y inteiros, possua propriedades parecidas com a dos n umeros

inteiros, como a unicidade da fatorac ao. Mas isto n ao era conhecido na epoca, o
que o levou a fazer outra demonstrac ao do caso n = 3.
A segunda pessoa a contribuir com novas id eias foi Sophie Germain (1776
1831). Tal contribuic ao se deu em duas partes. Primeiro ela trabalhou no caso em
3
que n e 2n + 1 s ao primos, como por exemplo: 2, 3, 5, 11, 23, 29, 41, 43, 83, 89,
113, 131. Ela provou que se existe soluc ao da equac ao (1.1), para um tal primo n,
ent ao x, y ou z deve ser um m ultiplo de n. Sendo assim, ela dividiu o problema
em dois casos:
1. Nenhum dos n umeros x, y, z s ao divisveis por n;
2. Somente um dos n umeros x, y, z e divisvel por n.
Ela provou o

Ultimo Teorema de Fermat para o caso (1) e Legendre (1752
1833) generalizou este caso para primos mpares p tais que kp + 1 e primo, onde
k = 4, 8, 10, 14 e 16. Desta forma, as atenc oes foram voltadas para o caso (2), que
teve a primeira contribuic ao dada por Dirichlet (18051859) e Legendre, provando
o caso n = 5. Dirichlet ainda conseguiu provar o caso n = 14, enquanto Lam e
(17961870) provou o caso n = 7. Entretanto, este ultimo caso requeria uma
computac ao muito mais difcil que os outros casos, o que deixou a impress ao que
deveria ser mudado o foco na abordagem para obter mais sucesso na obtenc ao do
caso geral. Foi quando Lam e, em 1847, anunciou que tinha provado o

Ultimo
Teorema de Fermat. Sua id eia baseava-se em introduzir a raiz n- esima da unidade
= e
2i/n
, para fatorar a equac ao (1.1) em termos lineares:
x
n
+ y
n
= (x + y)(x + y) (x +
n1
y).
Entretanto, Liouville (18091882) observou que esta id eia necessitava de uma
fatorac ao unica no conjunto dos n umeros da forma a
0
+ a
1
+ + a
k

k
, com
a
1
, . . . , a
k
n umeros inteiros e k natural. T ao logo as atenc oes se voltaram para esta
unicidade da fatorac ao. Apesar de alguns matem aticos terem obtido exito nesta
quest ao, foi Kummer (18101893), tr es anos antes, quemdeu a maior contribuic ao.
Ele provou que a unicidade da fatorac ao pode n ao ocorrer em certos casos, como
por exemplo para n = 23, e ainda introduziu os n umeros ideais que funcionavam
para o estudo deste problema e que sempre podiam ser fatorados de maneira unica.
Em uma linguagem mais atual, estes n umeros ideais correspondem aos ideais de
um anel, como foi introduzido por Dedekind. Em 1850, Kummer provou o

Ultimo
Teorema de Fermat para o que ele denominou por primos regulares, o que inclua
todos os primos menores que 100, exceto 37, 59, 67. Ele at e chegou a conjecturar
a exist encia de innitos destes primos, mas o m aximo que se obteve foi a ex-
ist encia de innitos primos irregulares, devido a Jensen em 1915. A partir 1920,
a obtenc ao de m etodos de aproximac ao computacional tornou possvel abordar o

Ultimo Teorema de Fermat para inteiros muito grandes. Por exemplo, at e 1993
o recorde estava em n 4.000.000. Apesar desta abordagem n ao ter fornecido a
prova do

Ultimo Teorema de Fermat em sua maior generalidade, ela deu um fabu-
loso passo inicial para a fundamentac ao de resultados, at e ent ao intuitivos, obtidos
4
na area da Geometria Alg ebrica.

E importante destacar que a demonstrac ao com-
pleta do

Ultimo Teorema de Fermat foi obtida por Andrew Wiles, ap os trezentos
anos de pesquisas, e utiliza conceitos geom etricos de curvas elpticas e func oes
modulares. Para uma breve vis ao sobre esta prova sugerimos [ST] sec ao 14.7.
O objetivo principal desta monograa ser a de demonstrar exatamente este
caso particular do

Ultimo Teorema de Fermat, para primos regulares, devido a
Kummer. Por em j a iremos utilizar esta linguagem mais atual de ideais devido a
Dedekind. No segundo captulo iremos fazer a demonstrac ao do

Ultimo Teorema
de Fermat para n = 4, que utiliza apenas conceitos b asicos de n umeros inteiros,
como por exemplo o conceito de divisibilidade. No terceiro captulo introduzire-
mos as denic oes e os resultados essenciais que s ao pr e-requisitos para denir-
mos o conceito de primos regulares, como por exemplo a denic ao de n umeros
inteiros e o anel dos inteiros alg ebricos de um corpo de n umeros, isto e, uma ex-
tens ao nita do corpo dos n umeros racionais. J a no quarto captulo iremos fazer
um estudo de algumas propriedades aritm eticas, como o estudo dos elementos
invertveis do anel dos inteiros alg ebricos de um corpo de n umeros ciclot omico,
isto e, o corpo obtido pela adjunc ao de uma raiz primitiva p- esima da unidade
ao corpo dos n umeros racionais, onde p e um n umero inteiro primo. O quinto e
ultimo captulo e dedicado a demonstrac ao do

Ultimo Teorema de Fermat no caso
em que o expoente e um primo regular, que utiliza este estudo aritm etico feito no
captulo anterior.
5
Captulo 2
Considerac oes Elementares
Consideramos o que pode ser dito sobre a Equac ao de Fermat
x
n
+ y
n
= z
n
. (2.1)
Se existir uma soluc ao inteira n ao-nula da Equac ao (2.1), ent ao deve existir uma
soluc ao na qual x, y, z sejam dois a dois primos entre si. Porque se um primo q
divide x e y, ent ao x = qx

, y = qy

,
q
n
(x
n
+ y
n
) = z
n
de modo que q divide z, digamos z = qz

, e ent ao x
n
+ y
n
= z
n
. De modo similar
se q divide x, z ou y, z. Desta forma podemos eliminar todos os fatores em comum
de x, y e z.
Em seguida, note que se a Equac ao (2.1) n ao tiver soluc ao inteira para um
expoente n, ent ao n ao haver a soluc ao para todos os m ultiplos de n. De fato, se
x
m
+ y
mn
= z
mn
, ent ao (x
m
)
n
+ (y
m
)
n
= (z
m
)
n
. Agora qualquer inteiro n 3 e
divisvel por 4 ou por um primo mpar. Da para provar a conjectura e suciente
considerar os casos n = 4 e n um primo mpar.
Comecamos com a prova do

Ultimo Teorema de Fermat para n = 4.

E com
base da soluc ao geral da conhecida Equac ao de Pit agoras x
2
+ y
2
= z
2
, dada por:
Lema 2.1. AS solu c oes inteiras de x
2
+ y
2
= z
2
, com x, y, z dois a dois primos
entre si, e dada parametricamente, a menos de permuta c ao entre x e y, por
x = 2rs
y = r
2
s
2
z = r
2
+ s
2
,
onde r, s s ao primos entre si e exatamente um deles e mpar.
6
Prova:

E suciente consideramos x, y, z positivos. Eles n ao podem ser todos
mpares, pois isso nos daria a contradic ao mpar + mpar = mpar. Uma vez
que eles s ao dois a dois primos entre si, isso signica precisamente que um deles
e par. N ao pode ser z, pois ent ao z = 2k, x = 2a + 1, y = 2b + 1 onde k, a, b s ao
inteiros e
(2a + 1)
2
+ (2b + 1)
2
= 4k
2
.
Isso n ao pode ocorrer uma vez que o lado esquerdo e claramente n ao divisvel por
4 enquanto o lado direito e. Portando, x ou y e par. Podemos supor que este e x.
Ent ao
x
2
= z
2
y
2
= (z + y)(z y).
Consequentemente x, z + y e z y s ao todos pares e positivos, e logo, podemos
escrever x = 2u, z + y = 2v, z y = 2w, donde
(2u)
2
= 2v 2w
ou
u
2
= vw. (2.2)
Agora v, w s ao primos entre si, pois um fator comum de v e w dividiria a sua
soma v +w = z e a sua diferenca v w = y, que n ao pode ocorrer, j a que, y e z s ao
primos entre si. Fatorando u, v, w em fatores primos, vemos que (2.2) implica que
w, v s ao quadrados, digamos v = r
2
, w = s
2
. Al em disso, r e s s ao primos entre si
porque v e w s ao. Isto e
z = v + w = r
2
+ s
2
y = v w = r
2
s
2
.
Porque y, z s ao ambos mpares, precisamente ou r e mpar ou s e. Finalmente
x
2
= z
2
y
2
= (r
2
+ s
2
)
2
(r
2
s
2
)
2
= 4r
2
s
2
,
assim x = 2rs.
Agora mostraremos umteorema mais forte do que a impossibilidade da Equac ao
(2.1) para n = 4.
Teorema 2.1. A equa c ao x
4
+ y
4
= z
2
n ao possui solu c ao inteira com x, y, z n ao-
nulos.
Prova: Primeiro note que este resultado e mais forte, pois se x
4
+ y
4
= z
4
ent ao
x, y, z
2
satisfazem a equac ao acima.
Suponha que exista soluc ao da Equac ao
x
4
+ y
4
= z
2
. (2.3)
7
Podemos assumir que x, y, z s ao positivos. Entre as soluc oes h a uma na qual z e
o menor dentre todas as soluc oes. Assumiremos que (2.3) seja esta. Ent ao x, y, z
s ao primos entre si, pois caso contrario poderamos cancelar os fatores comuns
deixando z ainda menor, o que contradiz a suposic ao. E pelo Lema (2.1) temos
x
2
= r
2
s
2
, y
2
= 2rs e z = r
2
+ s
2
onde x e z s ao mpares e y e par. A primeira delas implica
x
2
+ s
2
= r
2
com x, s primos entre si. Novamente como x e mpar temos pelo Lema (2.1) que
x = a
2
b
2
, s = 2ab, r = a
2
+ b
2
.
Agora observando que y
2
= 2rs = 2 2ab(a
2
+b
2
) temos que y e par e podemos
escrever que y = 2k, onde k
2
= ab(a
2
+b
2
). Uma vez que a, b e a
2
+b
2
s ao primos
entre si temos a = c
2
, b = d
2
e a
2
+ b
2
= e
2
de modo que
c
4
+ d
4
= e
2
.
Esta e uma equac ao da forma de (2.3), mas e a
2
+ b
2
= r < z, contrariando a
minimalidade de z.
8
Captulo 3
Noc oes Sobre Teoria Alg ebrica dos
N umeros
Neste captulo iremos estabelecer os conceitos e fatos mais importantes, da teo-
ria de corpos e da teoria alg ebrica dos n umeros, que servem como base para a
demonstrac ao do caso particular do ultimo Teorema de Fermat. Entretanto, fare-
mos poucas vericac oes neste captulo, j a que, o conte udo presente aqui faz parte
de cursos introdut orios em teoria de corpos e em teoria alg ebrica dos n umeros.
Para uma vis ao mais detalhada sobre teoria de corpos, o leitor pode consultar [E1]
e [L]. J a para uma vis ao sobre teoria alg ebricas dos n umeros, sugerimos [R], [E2]
e [ST].
Sejam R S an eis e S . Dizemos que S e um inteiro alg ebrico (ou
simplesmente inteiro) sobre R quando anula um polin omio m onico em R[x],
isto e, existem a
1
, . . . , a
n
R tais que

n
+ a
1

n1
+ + a
n
= 0.
No caso em que R e S s ao corpos, tamb em conhecemos, da teoria de corpos, um
elemento inteiro por elemento alg ebrico.
Exemplo 3.1. Seja n um inteiro positivo. O n umero complexo e
2i
n
e um inteiro
alg ebrico sobre Z. De fato, e
2i
n
anula o polin omio x
n
1. No caso em que n 1
temos ainda que e
2i
n
anula
x
n1
+ x
n2
+ + x + 1,
j a que, x
n
1 = (x 1) (x
n1
+ x
n2
+ + x + 1). Quando n = p e um primo
mpar e = e
2i
p
temos que
P
|Q
(x) := x
p1
+ x
p2
+ + x + 1 =
p1
_
i=1
(x
i
)
9
e o polin omio irredutvel, m onico e de menor grau que anula . Um tal polin omio
e chamado de polin omio mnimo de .

E possvel provar que o conjunto dos elementos de S , inteiros sobre R, dig-

amos
I
S
(R) = { S | e inteiro sobre R},
e um subanel anel de S (ver [E2] Corol ario 1.3, pg. 11). Este subanel e denomi-
nado por anel dos inteiros alg ebricos de S sobre R.
Dizemos que o domnio R e integralmente fechado quando I
S
(R) = R, onde S
e o corpo quociente de R.
Exemplo 3.2. Z e integralmente fechado (ver [E2], Teorema 1.6 pg. 12).
Se R = Z e L for um corpo de n umeros, isto e, uma extens ao nita de Q, ent ao
denotaremos o conjunto dos inteiros alg ebricos de L sobre Z por
I
L
= { L| e inteiro alg ebrico},
que ser a chamado simplesmente por anel dos inteiros alg ebricos de L.
Antes de dar um exemplo de anel dos inteiros alg ebricos de um corpo de
n umeros vamos fazer uma breve revis ao sobre algumas ferramentas importantes
da teoria de corpos.
Consideremos K um corpo. Da teoria dos corpos podemos construir, a menos
de isomorsmos, um corpo K contendo K, que e chamado de fecho alg ebrico de
K e satisfaz:
1. Todo P(x) K[x] pode ser fatorado, em K[x], em fatores de grau 1;
2. Todo elemento de K anula um polin omio em K[x];
3. Os polin omios irredutveis em K[x] t em grau 1.
Um polin omio P(x) e dito separ avel quando todas as suas razes s ao distintas.
Equivalentemente, P(x) e a sua derivada D(P(x)) s ao primos entre si (ver [E1],
(3.2) pg. 53). Dizemos que K e separ avel sobre K quando seu polin omio
mnimo P
|K
(x) K[x] e separ avel. Da chegamos ao conceito de extens ao
separ avel. De fato, seja L|K uma extens ao alg ebrica de corpos, isto e, L K
a menos de isomorsmos. Dizemos que L|K e separ avel quando todos os elemen-
tos de L s ao separ aveis sobre K.
Exemplo 3.3. Toda extens ao alg ebrica do corpo dos n umeros racionais Q e separ a-
vel (ver [E1], (3.6) pg. 55).
10
Al em disso, certas extens oes alg ebricas e separ aveis satisfazem de uma pro-
priedade muito particular, como podemos ver no teorema a seguir, cuja demonstrac ao
encontre-se em [E1], (3.17) pg. 63.
Teorema 3.1 (Teorema do elemento primitivo). Toda extens ao nita e separ avel
L de K e da forma L = K(), para algum L.
Seja L = K() uma extens ao separ avel de K, de grau n.

E possvel vericar
que existem exatamente n isomorsmos de K() em K, que xam K (cf. [E1],
(3.11) pg. 58). Digamos
1
,
2
, . . . ,
n
. Dado K() denimos o tra co de ,
relativo a extens ao L|K, por
Tr
L|K
() =
1
() + +
n
() K
e denimos norma de , relativo a extens ao L|K, por
N
L|K
() =
1
()
n
() K.
Segue direto da denic ao de homomorsmo que o traco e a norma satisfazem das
seguinte propriedades:
Tr
L|K
(
1
+
2
) = Tr
L|K
(
1
) + Tr
L|K
(
2
) e N
L|K
(
1

2
) = N
L|K
(
1
) N
L|K
(
2
),
onde
1
,
2
L.
Observamos que o c alculo do traco e da norma de , relativo a extens ao L|K,
pode ser feito a partir de seu polin omio mnimo, digamos
P
|K
(x) = x
n
+ a
1
x
n1
+ a
2
x
n2
+ + a
n1
x + a
n
.
De fato,
Tr
L|K
() = a
1
e N
L|K
() = (1)
n
a
n
,
j a que,
1
(), . . . ,
n
() s ao todas as razes de P
|K
(x).
Al emdisso, o polin omio mnimo ainda pode ser util para saber se umelemento
de um corpo de n umeros e inteiro sobre Z.
Proposic ao 3.1. O elemento do corpo de n umeros L e inteiro sobre Z se, e
somente se, P
|K
(x) Z[x].
Exemplo 3.4. No caso em que = e
2i
p
, onde p e um primo mpar, e L = Q()
e o p- esimo corpo ciclot omico, temos que os isomorsmos de L|Q, digamos

1
,
2
, . . . ,
p1
, s ao denidos por

i
() =
i
e
i
(x) = x para todo x Q
onde i = 1, . . . , p 1 (ver [E1], Teorema (7.15) pg. 116). Como o polin omio
mnimo de e P
|Q
(x)=x
p1
+ x
p2
+ + x + 1 obtemos que
Tr
L|K
() = 1 e N
L|K
() = 1.
11
Antes de calcular o anel dos inteiros alg ebricos do corpo de n umeros Q()
vamos xar algumas notac oes.
Primeiramente consideraremos o anel
Z[] := { f () | f (x) Z[x]}.
Como o polin omio P
|Q
(x) = x
p1
+ x
p2
+ + x + 1 anula temos que
Z[] = {a
0
+ a
1
+ a
2

2
+ + a
p2

p2
| a
0
, . . . , a
p2
Z[x]}.
O conjunto da direita, na igualdade acima, tamb em e denotado por
Z + Z + + Z
p2
.

E interessante observar que tal notac ao prov em da teoria dos m odulos nitamente
gerados. Al emdisso, como P
|Q
(x) e o polin omio m onico de menor grau que anula
, temos que a escrita de um elemento de Z + Z + + Z
p2
e unicamente de-
terminada pelos coecientes em Z. Neste caso, para diferir a notac ao, denotamos
o conjunto Z + Z + + Z
p2
por
Z Z Z
p2
.

E importante observar que a minimalidade do grau de P

|Q
(x) ainda nos diz que
{1, , . . . ,
p2
} e uma base da extens ao de corpos Q()|Q, isto e, uma base do
Q-espaco vetorial Q(). Tal base e chamada de base integral pois todos os seus
elementos s ao inteiros sobre Z.
Agora estamos em condic oes de calcular o anel dos inteiros alg ebricos do
corpo de n umeros Q().
Proposic ao 3.2. O anel dos inteiros alg ebricos de Q() e igual a Z[].
Prova: Primeiramente armamos que 1 e 1
j
s ao associados em I
Q()
. De
fato, 1 divide 1
j
em I
Q()
, j a que, 1
j
= (1)(
j1
+ + +1). Por outro
lado, podemos escolher um inteiro positivo t tal que jt 1 (mod p). Ent ao, temos
de forma an aloga que 1
j
divide 1
jt
= 1 . Logo eles s ao associados.
Portanto,
p = P
|Q
(1) =
p1
_
i=1
(1
i
) = u(1 )
p1
,
com u invertvel em I
Q()
. Desta forma o elemento 1 n ao e invertvel em I
Q()
,
pois caso contr ario p teria inverso, que pertenceria a I
Q()
Q = Z, j a que, Z e
integralmente fechado.
Dado x I
Q()
, existem n umeros racionais a
0
, . . . , a
p2
unicamente determina-
dos de modo que:
x = a
0
+ a
1
+ + a
p2

p2
.
12
Mostraremos que cada a
i
Z. Para isso, multiplicamos a igualdade anterior por
e obtemos:
x = a
0
+ a
1

2
+ + a
p2

p1
.
Subtraindo as igualdades anteriores, obtemos
x(1 ) = a
0
(1 ) + a
1
(
2
) + + a
p2
(
p2

p1
).
Notemos que o traco relativo extens ao Q()|Q, que denotaremos simplesmente
por Tr, de ,
2
, ,
p1
s ao todos iguais, uma vez que esses elementos s ao dois
a dois conjugados, isto e, ambos possuem o mesmo polin omio mnimo P
,Q
. Por
isso
Tr(x(1 )) = Tr(a
0
(1 )) = a
0
Tr(1 ) = a
0
[(p 1) + 1] = a
0
p. (3.1)
Para mostrar que a
0
Z, calcularemos Tr(x(1 )). Denotaremos x por x
1
e
x
2
, , x
p1
I
Q()
seus conjugados. Assim
Tr(x(1 )) = x
1
(1 ) + x
2
(1
2
) + + x
p1
(1
p1
)
= (1 )x

< 1 >
onde < 1 > e o ideal de I
Q()
gerado por 1. Mas Tr(x(1)) I
Q()
Q = Z.
Segue ent ao que Tr(x(1 )) < 1 > Z = Zp, e logo, por (3.1), temos que
a
0
Z.
Agora mostraremos por induc ao que qualquer a
1
, , a
p2
Z. Para provar
que a
j
Z multiplicamos x por
pj
, obtendo
x
pj
= a
0

pj
+ a
1

pj+1
+ + a
j1

p1
+ a
j
+ a
j+1
+ + a
p2

pj2
.
Agora vamos prosseguir com as denic oes e os fatos que necessitamos no
decorrer do trabalho.
Dizemos que um anel A e Noetheriano quando todo ideal de A e nitamente
gerado.
Exemplo 3.5. O anel Z[] e Noetheriano, como consequ encia de [E2], Corol ario
7.12 pg. 68.
Observac ao 3.1. 1. Z[] e subanel do corpo Q() e portanto e um domnio;
2. Z[] e integralmente fechado, pois I
Q()
= Z[];
3. Todo ideal primo n ao-nulo em Z[] e maximal. Isto segue como con-
sequ encia imediata de [E2], Corol ario 1.13 pg. 16.
13
Segue da observac ao acima e do exemplo anterior que Z[] satisfaz a denic ao
abaixo.
Umdomnio A e dito domnio de Dedekind quando ele satisfaz uma das seguin-
tes condic oes equivalentes:
1. A e Noetheriano, integralmente fechado e todo ideal primo n ao-nulo de A e
maximal;
2. Todo ideal n ao-nulo de A e escrito como produto de ideais primos, de forma
unica;
3. O conjunto dos ideais fracion arios de A forma um grupo multiplicativo.
Observac ao 3.2. 1. Primeiramente vamos denir o conceito de ideal fracion a-
rio e a estrutura de grupo do conjunto formado por estes objetos. Um grupo
abeliano M, escrito aditivamente e munido de uma operac ao externa (usual-
mente denotada pela multiplicac ao), e dito um A-m odulo quando ele satisfaz
das seguintes propriedades:
a (x + y) = a x + a y
(a + b) x = a x + b x
(a b) x = a (b x)
1 x = x
Seja K o corpo de frac oes do domnio A. Um A-m odulo M K e dito ideal
fracion ario de A quando existe d A, n ao-nulo, tal que d M A. J a o
produto de dois ideais fracion arios M e N e denido por
M N :=
_

_
s

i=1
m
i
n
i
| m
i
M, n
i
N e s N
_

_
.
2. Para ver que as tr es condic oes acima s ao equivalentes sugerimos como re-
fer encia [R], Teorema 1 pg. 125.
3. Ainda pode ser vericado que o anel dos inteiros alg ebricos I
L
de um corpo
de n umeros L tamb em e um domnio de Dedekind (ver [E2], Corol ario 8.2
pg. 70).
Seja J um ideal de um domnio de Dedekind A, bem como sua fatorac ao em
ideais primos
J = P
r
1
1
P
r
n
n
.
14
Pelo Teorema Chin es dos Restos (ver [R], Teorema 3 pg. 131) temos um isomor-
smo entre an eis quociente
A
J

n
_
i=1
A
P
r
i
i
.
Como podemos ver em [E2], (9.4) pg. 84, temos que os quocientes A/P
r
i
i
s ao
nitos. Logo a cardinalidade de A/J e a soma das cardinalidades dos quocientes
A/P
r
i
i
. Desta forma, denimos a norma N(J) de um ideal J de A, pela seguinte
cardinalidade.
N(J) := (A/J)
No caso em que J =< y > e um ideal principal do anel dos inteiros alg ebricos I
L
de um corpo de n umeros L temos a seguinte igualdade (ver [E2], Teorema 9.7 pg.
85).
N(J) = |N
L|Q
(y)|.
Consideremos agora A um domnio de Dedekind e K seu corpo de frac oes.
Denotemos por F o grupo dos ideais fracion arios de A. Um ideal fracion ario M
e dito principal quando existe y K tal que M = yA. Claramente, o subconjunto
P de F, formado pelos ideais fracion arios e principais de A e um subgrupo de
F. O subgrupo quociente
C := F/P
e denominado por grupo de classes de ideais de A. Sua ordem, denotada por
h
A
e denominada por n umero de classes de A, desempenha um papel importante na
obtenc ao de propriedades aritm eticas do anel A. Como um exemplo simples, ob-
servamos que A e um domnio principal se, e somente se, h
A
= 1.

E importante
ressaltar que o n umero de classes de um domnio de Dedekind pode n ao ser nito.
Por em, no caso em que lidamos com o anel dos inteiros alg ebricos de um corpo
de n umeros, a nitude do n umeros de classes pode ser obtida (ver [E2], Teorema
10.3 pg.90).
Um primo p e dito regular quando ele n ao divide o n umero de classes de I
Q()
,
onde = e
2i
p
.
Como exemplo de primos regulares citamos, sem demonstrac ao, p = 3, 5 e
7. Decidimos n ao vericar estes exemplos, pois precisaramos nos alongar com
o desenvolvimento de t ecnicas como, por exemplo, o m etodo analtico de redes
em R
n
, que fugiria do nosso objetivo. Uma discuss ao sobre alguns c alculos de
n umeros de classes pode ser encontrada na sec ao 10.3 de [ST].

E interessante
ressaltar que Kummer conjecturou que existem innitos primos regulares. Por em
o que se sabe, at e ent ao, e que existem innitos primos que n ao s ao regulares.
15
Por m mencionaremos os dois ultimos resultados que ser ao necess arios para
n os no decorrer do trabalho e cujas demonstrac oes encontram-se em [ST], respec-
tivamente nas p agina 17, Teorema 1.5 e na p agina 170, Teorema 10.1.
Teorema 3.2. Seja K um corpo de caracterstica zero. Um polin omio n ao-nulo
f (x) sobre K e divisvel pelo quadrado de um polin omio de grau maior que zero
se, e somente se, f (x) e D( f (x)) possuem um fator comum de grau maior que zero.
Observac ao 3.3. Emcorpos de caracterstica positiva somente a ida deste teorema
e v alida.
Teorema 3.3. Sejam L um corpo de n umeros, n = [L : Q] o grau da extens ao de
corpos L|Qe p umn umero primo positivo. Suponhamos que I
L
= Z[], com I
L
,
e que a imagem do polin omio mnimo P
,Q
sobre que Q, via o homomorsmo
Z[x] Z
p
[x], possua a seguinte fatora c ao em polin omios irredutveis
P
,Q
(x) = f
e
1
1
f
e
r
r
onde f
1
, . . . , f
r
Z[x]. Ent ao o ideal de I
L
p
i
:=< p > + < f
i
() >
e primo e a fatora c ao do ideal principal < p > e dada por
< p >= p
e
1
1
p
e
r
r
.
16
Captulo 4
Aritm etica no Anel dos Inteiros
Alg ebricos de Corpos Ciclot omicos
Este captulo tem o objetivo de introduzir as ferramentas necess arias para a prova
do Teorema de Kummer, que demonstra o

Ultimo Teorema de Fermat no caso
em que o expoente n da equac ao x
n
+ y
n
= z
n
e um primo regular. Para tal, ser a
necess ario estudar algumas propriedades do corpo ciclot omico Q(), onde = e
2i
p
e o gerador do grupo das razes p- esimas da unidade, com p primo mpar. Mais
precisamente, estudaremos a caracterizac ao dos elementos invertveis do anel de
inteiros alg ebricos Z[], bem como as unidades em Q().
Lema 4.1. Considere I o ideal de Z[] gerado por 1 . Ent ao I
p1
=< p > e
conseq uentemente N(I) = p.
Prova: Avaliando o polin omio mnimo de , ` a saber,
P
|Q()
(t) = t
p1
+ + t + 1 =
p1
_
j=1
(t
j
)
em t = 1, obtemos p = P
|Q()
(1) =
p1
_
j=1
(1
j
). Portanto
< p >=
p1
_
j=1
< 1
j
> .
A demonstrac ao da Preposic ao (3.2) mostra que 1 e 1
j
s ao associados,
portanto < 1 >=< 1
j
>, provando esta parte do lema. Para a segunda parte
observamos que
N(I
p1
) = (p 1)N(I).
17
Por outro lado,
N(< p >) = |N(p)| = [Q() : Q]
.,,.
p1
p.
Portanto, N(I) = p.
Lema 4.2. Para cada Z[] existe a Z tal que
p
a (modp).
Prova: Dado Z[] podemos escrev e-lo como combinac ao dos elementos da
base integral, ` a saber, = a
0
+ a
1
+ ... + a
p1

p1
com a
j
Z, j = 0, , p 1.
Deste modo, considerando o polin omio p(x) = a
0
+ a
1
x + + a
p1
x
p1
em Z[x]
temos, pelo algoritmo da divis ao, que p(x) = (1 x)q(x) + r, com q(x), r Z[x] e
gr(r) = 0. Portanto, fazendo x = temos que
= p() = (1 )q() + r,
ou seja,
r (modI),
com r Z. Al em disso, temos que

p
r
p
=
p1
_
j=0
( r
j
).
Desta forma, como 1 (modI) temos que os fatores da direita s ao congruentes
a zero m odulo I, pois r
j
r(1
j
) 0 (modI). Deste modo, aplicando o
m odulo no produto obtemos que

p
r
p
0 (modI
p1
),
que prova o lema.
Proposic ao 4.1. As unicas razes da unidade em Q() s ao da forma
s
, com s
inteiro.
Prova: A razes da unidade s ao zeros de polin omios da forma p(x) = x
m
1.
E, deste modo, podemos escrev e-las da forma e
2i
m
, onde m e um n umero natural.
Agora veremos as condic oes sobre o que fazem e
2i
m
pertencer a Q().
A primeira restric ao e que 4 m. Caso contrario, teramos que e
2i
4
= i Q().
Portanto i Z[], pois i e inteiro sobre Z. Logo,
< 2 >= < 1 i >
2
,
j a que, 2 = i(1 i)
2
. Assim obtemos uma decomposic ao em fatores primos em
Z[] para < 2 >, com fatores repetidos.
18
Conseq uentemente , pelo Teorema (3.3) temos que o polin omio
P
|Q()
(x) =
x
p
1
x 1
(4.1)
possui fatores irredutveis repetidos visto como polin omio em Z
2
[x], logo t
p
1
tamb em possui fatores irredutveis repetidos visto como polin omio emZ
2
[x]. Pela
Observac ao (3.3) temos que x
p
1 e D(x
p
1) = px
p1
n ao s ao primos entre si.
Mas como p e mpar temos que estes polin omios vistos como polin omios emZ
2
[x]
assumem a forma x
p
1, x
p1
, que s ao obviamente primos entre si, chegando a
uma contradic ao.
A segunda restric ao e que se q e um primo mpar diferente de p, ent ao q
p. Caso contr ario, teramos e
2i
q
Q() e como e
2i
q
e inteiro sobre Z, tamb em
teramos que e
2i
q
Z[]. Portanto pelo Lema (4.1) temos
< q >=< 1 e
2i
q
>
q1
,
ou seja, obtemos uma fatorac ao em fatores primos de < q > em Z[], com fatores
repetidos. E novamente pelo Teorema (3.3) temos que o polin omio descrito em
(4.1) possui fatores irredutveis repetidos visto como um polin omio em Z
q
[x].
Logo x
p
1 tamb em possui fatores irredutveis repetidos visto como polin omio
em Z
q
[x]. Pela Observac ao (3.3) temos que x
p
1 e D(txp 1) = px
p1
n ao s ao
primos entre si. Mas como p e primo diferente de q temos que estes polin omios
vistos como polin omios em Z
q
[x] assumem a forma x
p
1, x
p1
que s ao primos
entre si, chegando a uma contradic ao.
A terceira condic ao e p
k
m, para k > 1. De fato
[Q(e
2i
p
k
) : Q] = (p
k
) = p
k1
(p 1) > p 1 = [Q() : Q],
nos diz que e
2i
p
k
Q() e logo, m p
k
.
Portanto s o nos resta a opc ao que m | 2p, ou seja, temos que e
2i
2p
Q().
Podemos observar que
e
2i
2p
= e
(i+
1p
2
2i
p
)
= e
i
(e
2i
p
)
1p
2
=
1p
2
,
provando a proposic ao.
Lema 4.3. Se p(x) Z[x] e um polin omio m onico e todos as suas razes tem valor
absoluto 1, ent ao cada raiz e uma raiz da unidade.
Prova: Sejam
1
, ,
k
razes de p(x) Z[x]. Logo p(x) = (x
1
) (x
k
)=
x
k
+A
k1
x
k1
+ +A
0
, onde A
0
, A
1
, , A
k1
s ao as func oes sim etricas elementares
nas razes de p(x). Para cada inteiro l > 0 temos que
p
l
(x) = (x
l
1
)...(x
l
k
) = x
k
+ a
k1
x
k1
+ ... + a
0
,
19
onde a
0
, , a
k1
s ao func oes elementares em
l
1
, ,
l
r
. Logo s ao func oes sim etricas
em
1
,
2
, ,
k
. Pela proposic ao III.4.8, p agina 92 [GL], temos que a
0
, , a
k1

Z, isto e, p
l
(x) Z[x]. Al em disso
|a
j
|
_
k
j
_
( j = 0, ..., k 1).
, pois cada a
j
possui
_
k
j
_
parcelas de produtos dos zeros de p
l
(x) somadas pelas
relac oes de Girad e
j
tem valor absoluto igual a um. Por outro lado somente
nitos polin omios sobre Z podemsatisfazer este sistema de desigualdades. Assim,
para algum m diferente de l temos que ter:
p
l
(x) = p
m
(x).
Dai existe uma permutac ao de {1, ..., k} tal que

l
j
=
m
( j)
para j = 1, ..., k. Assim

l
2
j
= (
l
j
)
2
= (
( j)
m
)
l
= (
( j)
l )
m
= (
(( j))
m
)
m
=
m
2

2
( j)
e, indutivamente achamos que

l
r
j
=
m
r

r
( j)
.
Por outro lado
k!
( j) = j, nos diz que
l
k!
j
=
m
k!
j
isto e

(l
k!
m
k!
)
j
= 1
. Como l
k!
m
k!
, temos que
j
e uma raiz da unidade.
Proposic ao 4.2. Todo invertvel em Z[] e da forma r
g
, onde r e um n umero real
e g e um numero inteiro.
Prova: Seja um invertvel em Z[]. Existe um polin omio e(t) Z[t] tal que
= e() . Para cada s = 1, ..., p 1 temos

s
= e(
s
)
e conjugados a . Deste modo, 1 = N
Q()|Q
() =
1

p1
, e, consequentemente,
cada
s
e uma unidade de Z[]. Al em disso, o conjugado complexo de
s
e

s
= e(
s
) = e
_

s
_
= e
_

s
_
= e
_

ps
_
=
ps
.
20
Assim, como
s

ps
= |
s
|
2
> 0, temos que (
1
1
p
)(
2

p2
)... > 0. Portanto,
N
Q()|Q
() = 1.
Agora,

s

ps
e uma unidade de valor absoluto 1. Por outro lado, como as razes
do polin omio
p1
_
s=1
_
t

s

ps
_
s ao todos os conjugados de

1

p1
em Q()|Q temos que este e o seu polin omio
caracterstico. Logo possui todos os seus coecientes emZ, j a que, este polin omio
e uma pot encia do polin omio minimal de

1

p1
, que por sua vez pertence a Z[t],
pois

1

p1
e inteiro sobre Z. Do Lema (4.1), segue que os zeros deste polin omio
s ao razes da unidade. Logo, pela Proposic ao (4.1) temos que

p1
=
u
para
algum inteiro u. Como p e mpar, temos que u ou u + p e par, e assim podemos
escrever

p1
=
2g
(4.2)
para algum inteiro g > 0.
O passo fundamental agora e determinar o sinal da igualdade acima. Para tal,
observamos que
t
g
e(t
p1
) = (1 t)q(t) + v,
pelo Algoritmo da Divis ao de Euclides, com v Z. Aplicando nesta igualdade
obtemos
g
e(
p1
) v = q()(1 ), isto e,

p1
v (mod I).
Agora usando o fato que 1 e 1
p1
= 1 s ao associados tamb em obtemos
que

g
v (mod I).
Subtraindo as congru encias acima obtemos

g

g

p1
(mod I).
Como o
p
1 e invertvel conclumos que

p1

2g
(mod I).
21
Agora estamos em condic oes de avaliar o sinal da equac ao (4.2). Supondo

p1
=
2g
temos,
2g

2g
(mod I), isto e, 2
2g
0 (mod I). Assim, I < 2
2g
>, e logo,
p = N(I)|N(< 2
2g
>) = 2
p1
o que e uma contradic ao, pois p e mpar. Ent ao s o nos resta a opc ao positiva

p1
=
2g
,
o que equivale a
g
=
g

p1
= r R, j a que,
g
e
g

p1
s ao conjugados
complexos. Portanto, = r
g
.
22
Captulo 5
Teorema de Kummer
Teorema 5.1. Seja p primo mpar e regular. Ent ao a equa c ao
x
p
+ y
p
= z
p
n ao possui solu c oes inteiras x, y e z satisfazendo
p x, p y, p z.
Prova: Como p e mpar temos uma bijec ao entre as soluc oes da equac ao de
Fermat x
p
+ y
p
= z
p
e da equac ao
x
p
+ y
p
+ z
p
= 0. (5.1)
O polin omio associado a esta equac ao, ` a saber f (x, y, z) = x
p
+y
p
+z
p
, e sim etrico.
Isto nos permite permutar as suas vari aveis sem perda de generalidade. Por este
motivo usaremos a equac ao (5.1) como alternativa a equac ao de Fermat.
Agora assumindo a contra positiva do Teorema de Krummer, existem x, y, z
em Z satisfazendo (5.1) para algum primo mpar p. Dividindo pelos fatores em
comum na equac ao (5.1) podemos assumir que x, y, z s ao dois a dois primos entre
si. Portanto isolando o membro da vari avel z temos que x
p
+y
p
= z
p
e fatorando
o lado esquerdo em Q(), obtemos:
p1
_
j=0
(x +
j
y) = z
p
,
o que implica na seguinte igualdade de ideais:
p1
_
j=0
< x +
j
y >=< z >
p
. (5.2)
23
Os fatores da esquerda s ao dois a dois primos entre si. De fato, suponha que exista
um ideal primo P dividindo < x +
k
y > e < x +
l
y >, com 0 k < l p 1.
Ent ao P cont em (x+
k
y)(x+
l
y) = y
k
(1
lk
). Al em disso, 1
lk
e associado
de 1 e
k
e invertvel. Assim P cont em y(1 ). Como P e ideal primo y P
ou (1 ) P. Observe que (5.2) nos diz que P divide < z >
p
, e logo Pdivide
< z >, pois p e ideal primo. Consequentemente temos que z P. Agora, sendo z
e y primos entre si, existem a, b Z tais que az + by = 1. Sendo assim, se y P,
ent ao 1 P, o que e uma contradic ao. No caso em que 1 P temos que P
divide o ideal I =< 1 >. Por outro lado, N(I) = p nos diz que I e ideal primo
e portanto P = I. Ent ao I| < z >. Assim,
p = N(I)|N(< z >) = z
p1
e como p e mpar temos que p|z contrariando a hip otese.
A unicidade da fatorac ao em ideais primos nos garante que cada fator no lado
esquerdo da equac ao (5.2) e uma p pot encia de algum ideal, desde que do lado
direito seja uma p pot encia e os fatores sejam dois a dois primos entre si. Em
particular, existe um ideal a tal que < x + y >= a
p
. Portanto a
p
e principal.
Pela denic ao do C, o grupo das classes dos ideais de Z[], temos que a
p
pertence a classe 1
C
, o elemento neutro de C, ou seja [a
p
] = 1
C
. Por outro lado,
a regularidade p signica que p h
Z[]
. Logo p e h
Z[]
s ao primos entre si, isto e,
existem r, s Z tais que rp + sh
Z[]
= 1. Portanto
[a] = [a
rp+sh
Z[]
] = [a
rp
][a
sh
Z[]
] = [a
p
]
r
[a
h
Z[]
]
s
= 1
r
C
1
s
C
= 1
C
e assim temos que a e principal, ou seja, a =< >. Resultando que
x + y =
p
,
onde e um invertvel.
Pela Proposic ao (4.2) segue que x + y = r
g

p
, com r R e g Z. Al em
disso, pelo Lema (4.2) existe t Z tal que
p
t (modI
p
) e portanto
x + y rt
g
(modI
p
).
O Lema (4.1) mostra que < p > |I
p
e assim x +y rt
g
(mod < p >). Como
g
e
invertvel temos que

g
(x + y) rt (mod < p >)
e passando o conjugado complexo obtemos que

g
(x +
1
y) rt (mod < p >).
24
Fazendo a diferenca das duas congru encias acima, obtemos a equac ao
x
g
+ y
1g
x
g
y
g1
0 (mod < p >). (5.3)
Agora podemos analisar os possveis valores de g em (5.3).
Suponhamos g 0 (modp). Ent ao
g
= 1. Assim os termos com x em (5.3)
s ao cancelados, obtendo y(
1
) 0 (mod < p >). Passando o conjugado
complexo temos que y(
1
) 0 (mod < p >) e multiplicando por chegamos
a
y(1
2
) 0 (mod < p >),
isto e,
y(1 + )(1 ) 0 (mod < p >).
Aplicando x = 1 no polin omio mnimo de
P
|Q
(x) =
x
p
1
x 1
= (x )(x
2
)...(x
p1
),
temos que
1 = (1 + )(1 +
2
)...(1 +
p1
),
logo 1 + e invertvel. Portanto,
y(1 ) 0 (mod < p >).
Como < p >=< 1 >
p1
e p 1 2, temos que (1 )|y. Logo p =
N(1 )|N(y) = y
p1
, e portanto p|y contrariando a hip otese. Portanto g 0
(mod < p >).
Um argumento semelhante mostra que g 1(modp). Reescrevemos (5.3) da
seguinte maneira.
p = x
g
+ y
1g
x
g
y
g1
,
para algum Z[]. Note que, sendo g 0 (modp) e g 1 (modp), temos que
g, g, 1 g, g 1 n ao s ao divisveis por p. Temos que
=
x
p

g
+
y
p

1g

x
p

y
p

g1
. (5.4)
Agora Z[] e {1, , ...,
p2
} e base integral de Q(). Desde que todos os
expoentes de (5.4) sejam incongruentes modulo p, temos
x
p
,
y
p
Z, contrariando a
hip otese.
Assim algum par de expoentes em (5.4) devem ser congruentes modulo p.
Como g 0, 1 (modp), s o nos resta que g 1 g (modp), ou equivalentemente
1 g g (modp). Assim temos que 2g 1(modp) e logo podemos escrever
p
g
= x + y x
2g
y
2g1
= x(1
2g
) + y(
2g1
)
= x(1 ) + y( 1)
= (x y)(1 ).
25
Portanto, aplicando a norma obtemos que N
Q()|Q
(p
g
) = N
Q()|Q
((xy)(1)),
isto e, N
Q()|Q
()p
p1
= (x y)
p1
p. Logo p|(x y). Portanto
x y (modp)
e pela simetria de (5.1) concluirmos que
y z (modp).
Portanto
0 x
p
+ y
p
+ z
p
3x
p
(modp).
Desde que p x devemos ter p = 3. Note que em m odulo 9, os cubos dos
n umeros relativamente primos a 3, ` a saber 1, 2, 4, 5, 7, 8, s ao congruentes a 1.
Assim em m odulo 9 a soluc ao de (3.1) em inteiros primos com 3 assume a forma:
1 1 1 0 (mod9),
que e um absurdo.
26
Bibliograa
[GL] A. Garcia e Y. Lequain, Elementos de

Algebra, Impa, Rio de Janeiro,
(2002).
[E1] O. Endler, Teoria dos Corpos, Publicac oes Matem aticas, Impa, Rio de
Janeiro, (2007).
[E2] O. Endler, Teoria dos N umeros Alg ebricos, Projeto Euclides, Impa, Rio de
Janeiro, (2006).
[L] S. Lang, Algebra, Springer US, (2005).
[R] P. Ribenboim, Classical Theory of Algebraic Numbers, Springer US,
(2001).
[ST] I. Stewart and D. Tall, Algebraic Number Theory and Fermats Last Theo-
rem, A K Peters, Massachusetts, (2002).
27