Escolar Documentos
Profissional Documentos
Cultura Documentos
Campus de S
ao Jos
e do Rio Preto
Instituto de Bioci
encias, Letras e Ci
encias Exatas
Dissertacao
apresentada
ao
Departamento
de
S
ao Jos
e do Rio Preto
Fevereiro - 2010
de
reticulados
algebricos
reticulados
ideais
1. Algebra
comutativa. 2. Reticulados (Matem
atica). 3. Teoria dos
reticulados. 4. Homomorsmos (Matem
atica). 5. Homomorsmo can
onico.
Func
oes de. I. Andrade, Antonio Aparecido. II. Universidade Estadual
Paulista, Instituto de Bioci
encias, Letras e Ci
encias Exatas. III. Ttulo.
CDU - 512.71
Ficha catalogr
aca elaborada pela Biblioteca do IBILCE
Campus de S
ao Jose do Rio Preto - UNESP
BANCA EXAMINADORA
AGRADECIMENTOS
Ao concluir este trabalho agradeco:
Primeiramente a` Deus.
Aos meus pais Gaudeley de Oliveira Benedito (in memorian) e Denise Wink, que me deram
a vida e em meio a tantas diculdades, sempre me apoiaram.
`
Aos meus av
os Domingos Benedito (in memorian) e Isolina da Conceicao (in memorian),
pelo amor, educac
ao e todos os ensinamentos que me zeram quem eu sou.
Aos demais membros da minha famlia, que mesmo sem perceber, ao mostrar o orgulho e
conanca que depositavam em mim me davam forcas para continuar. Em especial as minhas
tias Marlene, Vera e Deise.
Ao Clayton, pelo seu amor, sua amizade e por estar comigo em todos os momentos, fazendo
com que tudo parecesse mais belo e mais facil.
Ao meu orientador, Prof. Dr. Antonio Aparecido de Andrade, pelos conselhos, pela
paciencia, pela amizade e por depositar sua conanca em mim diante desse trabalho.
Aos professores do Departamento de Matem
atica do IBILCE/UNESP - Sao Jose do Rio
Preto, pelo conhecimento transmitido e pela amizade.
Aos professores da Banca examinadora.
Aos meus colegas de Pos-graduacao, pela amizade e agradavel convvio. Em especial a
minha grande amiga Jucilene e, aos meus amigos Gustavo, J
unior e Eduardo que estiveram
comigo desde o nicio, dividindo comigo todos momentos difceis e felizes desta caminhada.
` FAPESP, pelo auxlio nanceiro, no Processo 2007/06381-5.
A
` todos que direta ou indiretamente contribuiram para a realizacao deste trabalho.
A
Resumo
Neste trabalho e feito um estudo sobre famlias de reticulados algebricos e reticulados ideais.
Nosso principal objetivo e a construcao de reticulados que sao versoes rotacionadas de reticulados ja conhecidos na literatura. Deste modo, apresentamos construcoes obtidas via polinomios,
via perturbacoes do homomorsmo canonico e, tambem, construcoes ciclotomicas a partir do
reticulado Zn .
Abstract
This work presents a study of algebraic and families of ideal lattices. Our main goal is the
construction of lattices which are rotated versions of known lattices in the literature. In this
way, we present constructions obtained via polynomials, via pertubations of the canonical
homomorphism, and also cyclotomic construction from the lattice Zn .
Keywords: Lattices, canonical homomorphism, algebraic lattices, ideal lattices, rotated lattices.
Indice de Smbolos
N: conjunto dos n
umeros naturais
Z: conjunto dos n
umeros inteiros
Q: conjunto dos n
umeros racionais
C: conjunto dos n
umeros complexos
R: conjunto dos n
umeros reais
: produtorio
: somatorio
x: conjugado complexo de x
#B: cardinalidade do conjunto B
A = (aij ): matriz
det(A): determinante da matriz A
A: anel
a, p, m, I, ...: ideais
A/a: anel quociente
A[x]: anel de polinomios com coecientes em A
(f ): grau do polinomio f
Ker(f ): n
ucleo da aplicacao f
Im(f ): imagem da aplicacao f
f : derivada de f
K, L, M, F, ... : corpos
[K : L]: grau da extensao K/L
Gal(K/L): grupo de Galois de K sobre L
T rK/L (): traco do elemento K
NK/L (): norma do elemento K
OK : anel de inteiros de A em K
DK/L (1 , , n ): discriminante da n-upla (1 , , n ) K e K/L extensao
DK : discriminante da extensao K sobre L
N (a): norma do ideal a
(n): funcao de Euler aplicada a n
9
10
Sumario
Introdu
c
ao
14
1 Conceitos Iniciais
17
1.1
Aneis e corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.1.2
Modulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.1.3
Modulos Noetherianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.2
Teoria de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.3
1.4
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.3.1
Inteiros algebricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.3.2
Traco e norma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.3.3
Norma de um ideal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.3.4
Discriminante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.3.5
Aneis de Dedekind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
1.3.6
Ideais fracionarios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Corpos quadraticos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.4.2
Corpos ciclotomicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
1.5
Codiferente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
1.6
Conclusao do captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2 Aplica
c
ao das formas quadr
aticas aos corpos ciclot
omicos
57
2.1
2.2
2.3
Conclusao do captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3 Reticulados
66
3.1
Denicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.2
11
3.3
Empacotamento no Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.4
3.5
3.6
3.5.1
Reticulado n-dimensional An . . . . . . . . . . . . . . . . . . . . . . . . . 76
3.5.2
Reticulado n-dimensional Dn
3.5.3
Reticulado 8-dimensional E8 : . . . . . . . . . . . . . . . . . . . . . . . . 80
3.5.4
Reticulado laminado n . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
. . . . . . . . . . . . . . . . . . . . . . . . 78
Conclusao do Captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
4 Reticulados de dimens
oes 2 e 3 via polin
omios
83
4.1
4.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
4.3
4.4
Conclusao do captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
5 Reticulados alg
ebricos
5.1
5.2
97
Homomorsmo canonico . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
5.1.2
Perturbacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
5.1.3
Perturbacao 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
5.3
5.2.1
5.2.2
5.2.3
5.2.4
5.2.5
6 Reticulados Ideais
138
6.1
Denicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
6.2
6.3
6.4
O reticulado Zn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
6.4.2
12
6.4.3
6.5
Conclus
ao
160
Refer
encias bibliogr
acas
162
Indice Remissivo
164
13
Introducao
A Teoria de codigos corretores de erros surgiu com o semanal artigo do matematico Claude
A. Shannon, [25]. Quando transmitimos uma informacao ha uma possibilidade da mensagem
recebida ser diferente da mensagem enviada. Assim, esta teoria surgiu desta necessidade de
detectar e recuperar a mensagem enviada ao receptor e com isso poder construir codigos com
pequena probabilidade de ocorrerem erros.
Um dos bons parametros para se encontrar bons codigos corretores de erros esta ligado ao
problema do empacotamento de esferas, que surgiu a partir do 18o Problema de Hilbert, que e
uma forma de dispor esferas no espaco euclidiano de modo a cobrir a maior parte do espaco.
Este problema, e denominado de empacotamento esferico e, quando o conjunto de centros das
esferas formam um subgrupo discreto do Rn entao estes empacotamentos passam a se chamar
empacotamentos reticulados.
Pela Teoria de Codigos, ao tomarmos o espaco euclidiano n-dimensional, para n sucientemente grande, se considerarmos os centros das esferas de um mesmo empacotamento reticulado
denso como sinais (para valores altos da relacao sinal-rudo, SNR), obtemos um codigo de bloco
otimo para um canal gaussiano branco (AWGN), limitado em faixa. Garantindo pequena probabilidade de erro numa transmissao de dados abaixo de uma certa taxa C, chamada capacidade
de canal, como demonstrado por Shannon em [25], o que estabeleceu um importante vnculo
entre empacotamento esferico e a Teoria de Codigos.
Assim, podemos observar que o problema de encontrar empacotamentos esfericos densos
em um dado espaco e equivalente a encontrar codigos corretores de erros ecientes. A partir
desta percepcao, passaram a associar o estudo dos codigos aos reticulados e surgiram varias
famlias de reticulados. Dentre tais famlias destaca-se a descrita por Herman Minkowski, no
nal do seculo XIX e incio do seculo XX, que encontrou na Teoria algebrica dos n
umeros
ferramentas que viabilizaram o efetivo calculo da densidade de centro.
Este modelo, descrito por Minkowski, consiste em tomar um corpo de n
umeros K de grau
n e o seu anel dos inteiros algebricos OK e obter um homomorsmo, chamado de homomorsmo
14
de Minkowski (ou homomorsmo canonico), de modo que a imagem de um ideal nao nulo de
OK , obtido por este homomorsmo, e um reticulado de posto n em Rn .
A partir do homomorsmo de Minkowski, Bayer em [5] e [4] deniu outros homomorsmos
que chamamos de perturbacoes do homomorsmo canonico. E, destes homomorsmos, podemos
tambem obter reticulados em Rn e, classica-los quanto a sua densidade de centro (os quais
chamamos de reticulados algebricos) ou sua diversidade e distancia produto mnima (os quais
chamamos de reticulados ideais).
Deste modo, neste trabalho, apresentamos dois metodos de gerar reticulados no Rn atraves
das pertubacoes do homomorsmo canonico. O primeiro metodo e um aperfeicoamento do
metodo utilizado por Ferrari em [11], onde apresentou famlias de reticulados de dimensoes 2, 4,
6 e 8 com densidade de centro otima, via o homomorsmo canonico. Assim, nosso objetivo com
estas novas versoes do homomorsmo canonico, e obter famlias de reticulados de dimensoes
2, 4, 6, 8 e 12 com densidade de centro otima. Tambem fazendo uso destas perturbacoes
apresentamos uma construcao de Zn -reticulados rotacionados via o anel dos inteiros algebricos
umero primo e r
dos subcorpos maximais reais dos corpos Q(p ) e Q(2r ), onde p e um n
um inteiro positivo, construcoes estas feitas por Oggier em [22] e por Andrade em [2]. Uma
das vantagens dos reticulados ideais e que os parametros que aparecem como a diversidade
e distancia produto mnima (parametros estes que aparecem em problemas de comunicacao
ubica serve para manter a energia de transmissao constante.
movel) e a forma Zn c
Alem destes dois metodos descritos acima, um outro metodo ainda pouco explorado de
obter reticulados que sera estudado neste trabalho, e o metodo apresentado por Souza em [26],
que consiste em obter reticulados via polinomios irredutveis sobre o corpo dos racionais. Via
este metodo, apresentamos construcoes de reticulados com densidade de centro otima para
dimensoes 2 e 3. Um dos motivos para estudarmos este metodo e que ele mostrou-se eciente
quando tratamos de reticulados com densidade de centro otima para dimensao mpar, o que
nao obtemos atraves do metodo algebrico.
Assim, este trabalho foi estruturado da seguinte forma. No Captulo (1) apresentamos os
pre-requisitos que serao utilizados no decorrer deste trabalho. As denicoes e resultados apresentados neste captulo servirao de base para os captulos posteriores. Iniciamos apresentando
alguns conceitos algebricos, a teoria de Galois, fazemos um estudo sobre a teoria algebrica dos
n
umeros, os corpos quadraticos, os corpos ciclotomicos e apresentamos o conceito de codiferente. Para o desenvolvimento deste captulo foram utilizadas as referencias [9], [19], [20], [14],
[17], [10], [24], [27], [29] e [13].
No Captulo (2) fazemos um estudo sobre as formas quadraticas aplicadas aos corpos
umero primo e n um inteiro positivo. Essas formas
ciclotomicos Q(p ) e Q(n ), onde p e um n
quadraticas serao de grande importancia no calculo do raio de empacotamento de um reticulado.
15
16
Captulo 1
Conceitos Iniciais
Neste captulo iremos apresentar alguns conceitos e resultados que servirao de base no decorrer
deste trabalho. Iniciamos na Secao (1.1) apresentando conceitos primordiais da algebra que
sao os conceitos de aneis, corpos e modulos. Apos isto, na Secao(1.2) apresentamos alguns
conceitos e resultados da teoria de Galois. Na Secao (1.3) desenvolvemos um estudo sobre
a teoria algebrica dos n
umeros. Muitos dos resultados que serao vistos nesta secao irao nos
auxiliar na prova de resultados importantes deste trabalho. Na Secao (1.4) deniremos os corpos
quadraticos e os corpos ciclotomicos. O estudo destes corpos sera focalizado sobre algumas
propriedades e resultados que serao utilizados no decorrer deste trabalho. Para nalizar, na
Secao (1.5) apresentamos o conceito de codiferente e de algumas de suas propriedades. Algumas
demonstracoes neste captulo serao omitidas mas, assim como em todos os resultados, sera
colocado a referencia que a contem.
18
Deni
c
ao 1.1.8 Seja A um anel comutativo. Um subconjunto a A, a = , e chamado de
ideal em A se, para quaisquer x, y a e para qualquer a A, as seguintes condic
oes s
ao
satisfeitas:
1. x y a
2. ax a.
Deni
c
ao 1.1.9 Seja A um anel. Um ideal a gerado por um elemento a A, isto e, a = a =
{ax x A}, e chamado ideal principal gerado por a. Se todo ideal do anel A e principal,
ent
ao dizemos que A e um anel principal. Em particular, se A e um domnio de integridade
onde todo ideal e principal dizemos que A e um domnio principal.
Deni
c
ao 1.1.10 Seja A um anel.
1. Dizemos que um ideal p de A e um ideal primo se p = A e se para todo a, b A tal que
ab p ent
ao a p ou b p.
2. Diz-se que um ideal m e um ideal maximal se m = A se os u
nicos ideais em A que
contem m s
ao o pr
oprio m e A.
Deni
c
ao 1.1.11 Sejam A um anel e a um ideal de A.
1. Chamamos de classe de equival
encia do elemento a A em relacao ao ideal a o
subconjunto a
= a + a = {a + x : x a}.
2. Dados a, b A, dizemos que a
e c
ongruo a b m
odulo a se a b a, e denotamos por
a b(mod a).
Sejam A um anel e a um ideal. Considerando A/a o conjunto das classes de equivalencia
dos elementos de A, denimos as seguintes operacoes de soma e produto entre os seus elementos:
a
+ b = a + b, isto e, (a + a) + (b + a) = (a + b) + a;
a
b = ab, isto e, (a + a)(b + a) = (ab) + a.
Deni
c
ao 1.1.12 Sejam A um anel e a um ideal. O conjunto A/a, munido das duas operac
oes
denidas acima, e um anel chamado de anel quociente de A pelo ideal a. Os ideais de A/a
sao da forma a /a onde a pertence ao conjunto dos ideais de A que contem a.
Teorema 1.1.1 ([9]) Sejam A um anel comutativo com identidade e a um ideal de A. Ent
ao
19
1.1.2 Modulos
Deni
c
ao 1.1.15 Seja A um anel. Um conjunto nao vazio M e dito um A-m
odulo se M e
um grupo abeliano com relac
ao `a operacao + e munido de uma aplicacao : A M M ,
denida por (a, m) = am, que satisfaz:
1. a(m + n) = am + an
2. (a + b)m = am + bm
3. (ab)m = a(bm)
4. 1m = m,
para todo a, b A e m, n M .
Deni
c
ao 1.1.16 Um subgrupo aditivo N do A-modulo M e chamado A-subm
odulo de M
ao an N .
se para todo a A e n N ent
20
Como a In0 e a a segue que I = a In0 . Portanto, I = In0 . Assim, existe n0 N tal
que In = In0 , para todo n n0 .
Proposi
c
ao 1.1.2 ([24]) Se A e um anel, M um A-modulo e N um submodulo de M , ent
ao
as seguintes condic
oes s
ao equivalentes
1. M e um A-m
odulo noetheriano.
2. N e
M
s
ao A-m
odulos noetherianos.
N
Demonstra
c
ao: Suponha que M e noetheriano. Seja (Mn )n0 uma sequencia crescente de
A-submodulos de N . Assim, (Mn )n0 tambem e uma sequencia crescente de A-submodulos de
M . Como M e noetheriano, segue que (Mn )n0 e estacionaria. Portanto, N e noetheriano.
M
e noetheriano, consideremos os conjuntos
Para mostrar que
N
22
M
}.
N
L
, para L S, e uma bijecao de S em
N
M
T . Assim, se (Mn )n0 e uma sequencia crescente de A-submodulos de
, entao (1 (Mn ))n0
N
tambem e uma sequencia crescente A-submodulos de M. Como M e noetheriano, segue que
M
e noetheriano.
(1 (Mn ))n0 e estacionaria, e portanto (Mn )n0 e estacionaria. Assim,
N
M
Reciprocamente, suponhamos que
e N sao noetherianos. Seja (Mn )n0 uma sequencia
N
crescente de A-submodulos de M . Assim, (N Mn )n0 e uma sequencia crescente de A-
Mn+1
Mn
=
, n k.
N
N
Sabemos, que Mn Mn+1 , para todo n k. Se x Mn+1 , entao existe y Mn tal que
x + M1 = y + N . Assim, x y N Mn+1 = N Mn . Logo, x y Mn e como y Mn segue
que x Mn . Portanto, Mn = Mn+1 , para todo n k e assim, M e noetheriano.
Corol
ario 1.1.1 ([24]) Se M1 , , Mn sao A-modulos noetherianos ent
ao o produto M1
odulo noetheriano.
Mn e um A-m
Demonstra
c
ao: Faremos a prova por inducao sobre n. Para n = 2, identicamos M1
M1 {0} M1 M2 e denimos a funcao : M1 M2 M2 tal que (0, y) = y. Como
M1 M2
e um homomorsmo sobrejetor, segue que
M2 , onde ker = M1 {0}. Como M2
ker
M1 M2
M2 e noetheriano e pela Proposicao (1.1.2), segue que
e noetheriano, segue que
M1 {0}
M1 M2 e noetheriano. Suponhamos agora, por hipotese de inducao, que M = M1 Mn1
e noetheriano. Como Mn e noetheriano, segue do caso n = 2, que M = M1 Mn e um
A-modulo noetheriano.
Observac
ao 1.1.2 Do Corol
ario (1.1.1) conclumos que para qualquer anel noetheriano A, o
A-m
odulo A
A e noetheriano.
n
Corol
ario 1.1.2 ([24]) Se A e um anel noetheriano e M e um A-modulo nitamente gerado,
ent
ao M e um A-m
odulo noetheriano.
Demonstra
c
ao: Seja {e1 , , en } um conjunto de geradores do A-modulo M. Temos que a
aplicacao : An M denida por (a1 , , an ) = a1 e1 + + an en , e um homomorsmo
23
An
M . Como A e noetheker
riano, pelo Corolario (1.1.1), segue que An e noetheriano. Pela Proposicao (1.1.2), segue que
sobrejetor. Assim, pelo Teorema do Homomorsmo, temos que
M e um A-modulo noetheriano.
Observac
ao 1.1.3 Vimos no Corolario (1.1.2) que se A for um anel noetheriano, ent
ao todo
subm
odulo de qualquer A-m
odulo nitamente gerado sera nitamente gerado. Mas, quando A
n
ao for noetheriano isto nao ocorre. De fato, considerando o pr
oprio A como A-modulo temos
que A possui subm
odulos (ideais) n
ao nitamente gerados.
Proposi
c
ao 1.1.3 ([24]) Se A e um anel, B um subanel de A e p um ideal primo de A, ent
ao
p B e um ideal primo de B.
i
Demonstra
c
ao: Consideremos a aplicacao : B A A/p, onde i e a inclusao e e a
projecao. A funcao = i e um homomorsmo, pois e i sao homomorsmo. Alem disso,
ker() = p B, ja que (x) = i(x) = (x) = x + p e (x) = 0 se, e somente se, x p B.
Portanto, pelo Teorema (1.1.2) (Teorema do Isomorsmo), B/p B Im() A/p. Como
A/p e um domnio, segue que B/p B e um domnio. Portanto, pelo Teorema (1.3.2), p B e
um ideal primo de B.
Proposi
c
ao 1.1.4 ([24]) Se um ideal primo p de um anel A contem um produto a1 an de
ideais ent
ao p contem pelo menos um dos ideais ai , i = 1, , n.
Demonstra
c
ao: Se aj p, para todo j = 1, , n, entao existe j aj e j p. Como p e
primo, segue que 1 n p. Mas, 1 n a1 an p, o que e um absurdo. Portanto,
p contem aj para algum j = 1, , n.
Proposi
c
ao 1.1.5 ([24]) Em um anel noetheriano A todo ideal de A contem um produto de
ideais primos de A.
Demonstra
c
ao: Sejam A um anel noetheriano e F o conjuntos dos ideais de A que nao contem
um produto de ideais primos. Suponhamos F = . Como A e noetheriano, segue que F tem
um elemento maximal m. Temos que m nao e um ideal maximal, pois caso contrario, m seria
primo e assim, m F . Assim, existem x, y A m tal que xy m. Notemos que m x + m
e m y + m. Logo, x + m e y + m nao pertencem a F . Assim,
p1 p2 . . . pn x + m e q1 q2 . . . qn y + m,
onde pi , qj sao ideais primos de A, e
(p1 p2 . . . pn )(q1 q2 . . . qn ) (x + m)(y + m) m,
24
Deni
c
ao 1.2.5 Sejam K um corpo de n
umeros de grau n e 1 , , n os n-monomorsmos
distintos de K em C. Temos que:
ario dizemos que
1. Se i (K) R dizemos que i e um homomorsmo real. Caso contr
ario.
i e um homomorsmo imagin
2. Se i (K) R, para todo i = 1, , n, dizemos que K e um corpo totalmente real. Se
ario.
i (K) R, para todo i = 1, , n, dizemos que K e um corpo totalmente imagin
Deni
c
ao 1.2.6 Um corpo de n
umeros K e chamado de CM-corpo se existir um corpo de
n
umeros totalmente real F tal que K e uma extensao quadr
atica totalmente imaginaria de F.
Teorema 1.2.3 ([20]) Se L K e uma extensao de corpos e K, entao e algebrico sobre
K se, e somente se, L() e uma extensao nita de L. Neste caso, [L() : L] = p, onde p(x)
e o polin
omio minimal de sobre L, e L() = L[].
Deni
c
ao 1.2.7 Sejam L K uma extensao de corpos e f L[x]. Dizemos que K e o corpo
de razes de f se K e o menor corpo contendo L e todas as razes de f e denotamos por
K = L(Rf ).
Denic
ao 1.2.8 Seja L um corpo e f (x) L[x] um polinomio nao constante. Dizemos que
f (x) e separ
avel se todas as razes de f (x) sao simples no seu corpo de razes.
Deni
c
ao 1.2.9 Uma extens
ao nita K/L e galoisiana se K e o corpo de razes de L, para
algum f (x) L[x] separ
avel.
Deni
c
ao 1.2.10 Sejam L K uma extensao e H Aut(K). O corpo
KH = { K : () = , H},
e chamado de corpo xo pelo conjunto H.
Deni
c
ao 1.2.11 Seja L K uma extensao. O grupo de Galois de K sobre L e dado por:
Gal(K/L) = { Aut(K) : () = , L}.
Deni
c
ao 1.2.12 Seja K um corpo de n
umeros.
1. Uma involu
c
ao : K K e uma aplicacao aditiva e multiplicativa tal que 2 e a
aplicac
ao identidade.
2. O conjunto F = {x K|(x) = x} e um corpo chamado corpo xo da involu
c
ao.
26
Proposi
c
ao 1.2.1 ([20]) Se : K K e uma involucao entao Gal(K/Q), onde Gal(K/Q)
denota o grupo de galois de K sobre Q.
Demonstra
c
ao:
Q. Mostremos que e injetora. Sejam a, b K tal que (a) = (b). Aplicando na igualdade
temos que ((a)) = ((b)), mas 2 = id pois e uma involucao. Logo, a = b. Para
mostrarmos que e sobrejetora tomemos y K. Sabemos que 2 (y) = y. Assim, se x = (y)
entao (x) = ((y)) = 2 (y) = y. Desta forma, temos que e um isomorsmo que xa Q.
Portanto, Gal(K/Q).
Proposi
c
ao 1.2.2 ([20]) Se K e um corpo de n
umeros, uma involucao e F o corpo xo da
involucao, ent
ao [K : F] 2.
Demonstra
c
ao: Por denicao de extensao galoisiana temos que K/Q e uma extensao nita
e separavel. Assim, se H e um subgupo normal de G, onde G = Gal(K/Q), entao o corpo
LH , xo por H, satisfaz [K : LH ] |H|. Agora, se tomarmos H = {id, } temos que H e um
subgrupo de G, pois 2 = id. Como LH = F e o corpo xo por H, segue que [K : F] |H|.
Mas, |H| = o() 2. Logo, [K : F] 2.
Exemplo 1.2.1 Sejam K = Q(i) um corpo de n
umeros de grau 2 e : K K a conjugac
ao
complexa. Temos que e uma involucao, F = {x K|(x) = x} = Q e [K : F] = [K : Q] = 2.
Observac
ao 1.2.3 Se K e um CM-corpo, entao a conjugacao complexa comuta com todos os
Q-homomorsmos 1 , , n de K em C.
27
2. O anel B[x] e um Bm
odulo nitamente gerado.
3. Existe um subanel C de A tal que C e um Bmodulo nitamente gerado que contem B
e x.
Demontra
c
ao:
b0 , . . . , bn1 B, nao todos nulos, tal que xn + bn1 xn1 + . . . + b1 x + b0 = 0. Assim, podemos
escrever xn = (bn1 xn1 + . . . + b1 x + b0 ). Seja M =< 1, x, . . . , xn1 > um A-modulo nitamente gerado, provemos que B[x] = M . Temos que xn M pois xn e uma combinacao
de 1, x, . . . , xn1 . Agora mostremos por inducao que xj M, j N. Temos que para
j n o resultado se verica. Suponhamos por hipotese de inducao que xj M , ou seja,
xj = an1 xn1 + . . . + a1 x + a0 para a0 , a1 , . . . , an1 B. Mostremos entao que xj+1 M . De
fato:
xj+1 = xj x
= (an1 xn1 + . . . + a1 x + a0 )x
= an1 xn + . . . + a1 x2 + a0 x
= an1 (bn1 xn1 . . . a1 x b0 ) + . . . + a1 x2 + a0 x
= an1 b0 + (a0 an1 b1 )x + . . . + (an2 an1 bn1 )xn1 .
Logo, xj+1 M e B[x] M . Mas, M B[x]. Portanto, B[x] = M o que prova que B[x]
e uma Bmodulo nitamente gerado. Para provar que 2) 3) basta tomarmos C = B[x]
pois B B[x] e x B[x]. 3) 1) Suponhamos que C =< y1 , . . . , yn > seja um Bmodulo
nitamente gerado, ou seja, C = By1 +. . .+Byn . Por hipotese, temos que x C entao xyi C,
para todo i = 1, . . . , n. Assim, temos que
xyi =
aij yj ,
j=1
j=1
28
Proposi
c
ao 1.3.1 ([24]) Sejam A um anel, B A um subanel e sejam x1 , . . . , xn A.
ao inteiros sobre B[x1 , . . . , xi1 ], para i = 2, . . . , n, entao, B[x1 , . . . , xn ] e um
Se x1 , . . . , xn s
Bm
odulo nitamente gerado.
Demonstra
c
ao:
Bmodulo nitamente gerado. Suponhamos por inducao que C = B[x1 , . . . , xn1 ] seja um
p
Bmodulo nitamente gerado, ou seja, C =
i=1 Bci , onde c1 , . . . , cp C. Pelo Teorema
(1.3.1) temos que B[x1 , . . . , xn ] = C[xn ] e um Cmodulo nitamente gerado. Entao
C[xn ] =
q
k=1
Cwk =
j = 1p Bcj wk =
Bcj wk
k=1
j,k
onde wk C[xn ]. Logo, B[x1 , . . . , xn ] e um Bmodulo nitamente gerado por {cj wk } com
1 j p, 1 k q e portanto B[x1 , . . . , xn ] e um Bmodulo nitamente gerado.
Corol
ario 1.3.1 ([24]) Sejam A um anel, B A um subanel e x, y A. Se x e y sao inteiros
sobre B ent
ao x + y, x y e xy s
ao inteiros sobre B.
Demonstra
c
ao: Temos que x+y, xy e xy pertencem a B[x, y] e um Bmodulo nitamente
gerado. Logo, pelo Teorema (1.3.1) temos que x + y, x y e xy sao inteiros sobre B.
Deni
c
ao 1.3.2 Sejam B A aneis. Dizemos que A e inteiro sobre B se todo elemento de
A e inteiro sobre B.
Proposi
c
ao 1.3.2 ([24]) Sejam C B A aneis. Assim, A e inteiro sobre C se, e somente
se, A e inteiro sobre B e B e inteiro sobre C.
Demonstra
c
ao: Suponhamos que A e inteiro sobre C. Se A, entao existem a0 , . . . , an1
C, nao todos nulos, tal que
n + an1 n1 + + a0 = 0.
Como C B, segue que ai B, para i = 0, 1, . . . , n 1, ou seja, e inteiro sobre B.
Portanto, A e inteiro sobre B. Agora, seja B. Como B A, segue que A e entao por
hipotese e inteiro sobre C. Portanto, B e inteiro sobre C. Reciprocamente, seja x A. Por
hipotese temos que A e inteiro sobre B, assim temos que existem b0 , b1 , . . . , bn1 B tal que
xn + bn1 xn1 + . . . + b0 = 0. Se R = C[b0 , b1 , . . . , bn1 ], entao x e inteiro sobre R. Mas, como
B e inteiro sobre C segue que bi , i = 0, . . . , n 1, sao inteiros sobre C. Pela Proposicao (1.3.1)
segue que R[x] = C[b0 , . . . , bn1 , x] e um Cmodulo nitamente gerado. E, pelo Teorema
(1.3.1), segue que x e inteiro sobre C. Portanto, A e inteiro sobre C como queramos.
29
Deni
c
ao 1.3.3 Sejam A B aneis. O conjunto OB = { B : e inteiro sobre A} e
chamado de anel dos inteiros de B em A. Se A e um domnio e B = K e o seu corpo de
frac
oes, dizemos que OB e o anel dos inteiros de A em K.
Deni
c
ao 1.3.4 Sejam A um domnio e K seu corpo de fracoes. Dizemos que A e um anel
integralmente fechado em K se ele contem o anel dos inteiros de A.
Proposi
c
ao 1.3.3 ([24]) Todo domnio principal e integralmente fechado.
Demonstra
c
ao: Sejam A um domnio principal, K seu corpo de fracoes e x K um inteiro
sobre A tal que x = , , A e mdc(, ) = 1. Assim, existem a0 , . . . , an1 A tal que
xn + an1 xn1 + . . . + a1 x + a0 = 0.
Substituindo x por ,
( )n + an1 ( )n1 + . . . + a1 ( ) + a0 = 0,
ou seja,
n + (an1 n1 + . . . + a1 n2 + a0 n1 ).
Logo, divide n e como mdc(, ) = 1 segue que divide , isto e, = c para algum c A.
Assim, e uma unidade de A e
Ate agora, vimos os elementos inteiros sobre um anel qualquer. A partir de agora veremos
estes elementos sobre um anel especco, o anel dos inteiros Z.
Deni
c
ao 1.3.5 Um n
umero complexo e um inteiro alg
ebrico se existe um polin
omio
m
onico f (x) com coecientes inteiros tal que f () = 0.
Observac
ao 1.3.1 Como na Denicao (1.3.3), se K e um corpo de n
umeros, podemos denir
o anel dos inteiros algebricos de K como o conjunto formado pelos inteiros algebricos de K e
denotamos por OK .
Teorema 1.3.2 ([24]) Se e um n
umero complexo que satisfaz um polin
omio monico cujos
coecientes s
ao inteiros algebricos, ent
ao e um inteiro algebrico.
Demonstra
c
ao: Seja raiz de f (x) = xn +an1 xn1 + +a1 x+a0 , onde ai e inteiro algebrico
para i = 0, 1, , n 1. Temos que e inteiro sobre Z[a0 , , an1 ]. Mas, pela Proposicao
(1.3.1) temos que Z[a0 , , an1 ] e um Z-modulo nitamente gerado. Desta forma, novamente
pela Proposicao (1.3.1) temos que Z[a0 , , an1 , ] e um Z-modulo nitamente gerado. Pelo
Teorema (1.3.1), segue que e inteiro algebrico.
30
Corol
ario 1.3.2 ([24]) Se K e um corpo de n
umeros, entao K = Q() para algum inteiro
algebrico .
Proposi
c
ao 1.3.4 ([24]) Se A e um domnio, L seu corpo de fracoes, K uma extens
ao nita
de L de grau n e OK o anel de inteiros de K sobre A, entao OK e integralmente fechado.
Demonstra
c
ao: Seja M o corpo das fracoes de OK . Temos que L M K. Seja x M tal
que x e inteiro sobre OK . Como OK e inteiro sobre A segue, da demonstracao da Proposicao
(1.3.2), que x e inteiro sobre A. Assim, se OM e o conjunto dos elementos de M que sao inteiros
sobre OK , entao OM OK . Como OK OM , temos que OK = OM , o que implica que OK e
integralmente fechado.
Deni
c
ao 1.3.6 Sejam K um corpo de n
umeros de grau n e OK o anel dos inteiros algebricos
de K. Chamamos de base integral de K ou de OK uma Z-base para o grupo aditivo OK .
Observac
ao 1.3.2 Se {1 , , n } e uma base integral OK entao todo elemento OK pode
n
ser escrito de modo u
nico como =
ai i , onde ai Z para todo i = 1, , n.
i=1
i () e NK/L () =
i=1
i ().
i=1
Observac
ao 1.3.3 Sejam K/L uma extensao de grau n. Se , K e x L, entao valem as
seguintes propriedades:
1. T rK/L ( + ) = T rK/L () + T rK/L ()
2. T rK/L (x) = xT rK/L ()
3. T rK/L (x) = nx
4. NK/L () = NK/L ()NK/L ()
5. NK/L (x) = xn NK/L ()
6. NK/L (x) = xn .
31
M =
0 0 0
a0
0 0
.. . . ..
. .
.
a1
..
.
1
..
.
0 0 1 an1
xIn M =
a0
1
..
.
x
.. . .
.
.
0
..
.
a1
..
.
0 1 x + an1
(1.3.1)
n
i xn1 + + (1)n
i=1
Logo, T r() =
i e N () =
i=1
n
i .
i=1
suciente
i . Para o caso geral, seja r = [K : L[]]. E
i=1
mostrar que o polinomio caracterstico p(x) de , com relacao a K sobre L, e igual a r-esima
potencia do polinomio minimal de sobre L. Seja {y1 , , yq } uma base de L[] sobre L
e seja {z1 , . . . , zr } uma base de K sobre L[] com n = qr. Seja M = (aih ) a matriz do
q
endomorsmo de L[] sobre L com relacao a base {y1 , . . . , yq }. Assim, yi =
(aih )yh e
h=1
q
q
aih yh zj =
aih (yh zj ). Logo,
(yi zj ) =
h=1
h=1
y z = a y z + a y z + + a y z .
q 1
1q 1 1
2q 2 1
qq q 1
Ordenamos a base {yi zj } de K sobre L, de modo que a matriz do endomorsmo seja da seguinte
forma
M1 =
0
..
.
M 0
.. . . ..
. .
.
0
..
.
0 M
isto e, M repete r-vezes na diagonal como blocos na matriz M1 . A matriz xIn M1 , consiste
de r-blocos diagonais, cada um tem a forma xIq M , e consequentemente, det(xIn M1 ) =
det(xIq M )r . Assim, p(x) = det(xIn M1 ) e det(xIq M ) e o polinomio minimal de sobre
L, de acordo com a primeira parte da demonstracao.
Proposi
c
ao 1.3.6 ([24]) Sejam A um domnio, L seu corpo de fracoes (de caracterstica zero)
e K uma extens
ao nita de L. Se e um elemento de K inteiro sobre A, entao os coecientes
do polin
omio caracterstico p(x) de relativo a K e L, em particular, T r() e N (), s
ao
inteiros sobre A.
Demonstra
c
ao:
cientes de p(x) sao somas de produtos de i s, a menos de sinal. Assim, e suciente provar que
33
cada i e inteiro sobre A. Mas cada i e um conjugado de sobre L, isto e, existe um isomorsmo i : L[] L[i ] tal que i () = i . Assim, aplicando i na equacao de dependecia
integral de sobre A, obtemos uma equacao de dependecia integral de i sobre A.
Corol
ario 1.3.3 ([24]) Se A e um anel integralmente fechado entao os coecientes do polin
omio
caracterstico de K, em particular, T r() e N () sao elementos de A.
Por denicao esses coecientes sao elementos do corpos de fracoes L de
Demonstra
c
ao:
A. Pela Proposicao (1.3.6), temos que sao inteiros sobre A e como A e integralmente fechado,
segue que sao elementos de A.
Lema 1.3.1 ([10]) Sejam A um anel integralmente fechado, L seu corpo de fracoes, K/L uma
extens
ao nita de grau n e OK o anel dos inteiros algebricos K. Seja {1 , , n } uma base
ao
de K sobre Q onde det(T r(i j )) = 0. Seja K. Se T r() = 0 para todo K, ent
= 0.
Demonstra
c
ao: Por hipotese {1 , , n } e uma base de K sobre Q. Assim, se e um
elemento de K entao existem a1 , , an Q tal que = a1 1 + a2 2 + + an n . Logo, e
suciente mostrar que se T r(j ) = 0, para cada j = 1, , n, entao = 0. Assim, para cada
j = 1, , n, temos que
0 = T r(j ) = T r(a1 1 j + + an n j )
= T r(a1 1 j ) + + T r(an n j )
= a1 T r(1 j ) + a2 T r(2 j ) + + an T r(n j ).
Na forma matricial, temos que
T r(1 1 ) T r(2 1 )
T r(1 2 ) T r(2 2 )
..
..
.
.
T r(1 n ) T r(2 n )
T r(n 1 )
T r(n 2 )
..
...
T r(n n )
a1
a2
..
.
an
0
0
..
.
= T r(1 ) + T r(2 ) = S1 () + S2 ()
= ((1 ) + (2 ))()
e
(a)() = Sa () = T r(a) = aT r()
= aS () = a()(),
para todo K. Logo, e um homomorsmo. Agora, se K e tal que () = 0, entao,
()()=S () = T r() = 0, para todo K. Assim, pelo Lema (1.3.1), segue que = 0 e
entao e injetora. Finalmente, como dimQ K = dimQ (HomQ (K, Q)) segue que e sobrejetora.
Portanto, e um isomorsmo.
Teorema 1.3.3 ([10]) Se A e um anel integralmente fechado, L seu corpo de fracoes, K/L uma
odulo
extens
ao nita de grau n e OK o anel dos inteiros algebricos K, entao OK e um A-subm
livre de posto n.
Demonstra
c
ao: Seja {1 , , n } uma base de K sobre L. Como toda extensao nita e
algebrica, segue que todos os i sao algebricos sobre L, ou seja, existem aij A, i = 1, , n,
nao todos nulos, tal que
ain in + ai(n1) in1 + + ai0 = 0.
Suponhamos que ain = 0. Multiplicando a equacao acima por an1
e inteiro
in , temos que ain i
sobre A, pois
n
n
n1
+ + an1
an1
in (ain i + + ai0 ) = (ain i ) + ai(n1) (ain i )
in ai0 = 0.
Proposi
c
ao 1.3.7 ([24]) Seja A um anel noetheriano e integralmente fechado. Se L e o corpo
ao
de fracoes de A, K/L uma extens
ao nita de grau n e OK o anel dos inteiros de A em K, ent
odulo nitamente gerado e OK e um anel noetheriano.
OK e um A-m
Demonstra
c
ao:
livre de posto n. Pelo Corolario (1.1.2), temos que OK e um A-modulo noetheriano e portanto
nitamente gerado. Como os ideais de OK sao A-submodulos de OK , segue que satisfazem a
condicao de maximilidade da Denicao (1.1.22). Portanto, OK e um anel noetheriano.
OK
.
a
i=1
OK
Z
Z
.
OK
c1 Z
cn Z
OK
Logo #
= c1 c2 . . . cn . Seja a aplicacao Z-linear : OK OK , denida por (ei ) =
OK
ci ei , para i = 1, . . . , n. Logo, (e1 ) = c1 e1 + 0e2 + + 0en , , (en ) = 0e1 + + cn en e
det() = c1 c2 . . . cn . Por outro lado, temos que B = {c1 e1 , . . . , cn en } e C = {e1 , . . . , en } sao
Z-bases de OK . Portanto existe um automorsmo : OK OK tal que (ci ei ) = ei ,
para i = 1, . . . , n. Como a matriz mudanca de base e inversvel, segue que det() e inversvel
em Z, isto e, det() = 1. Tambem, ()(ei ) = ((ei )) = (ci ei ) = ei , para i = 1, . . . , n.
36
OK
OK
a
OK
OK
a
.
OK
a
OK
=#
#
.
#
OK
a
OK
OK
OK
e nito. Portanto, N (a) = #
e nito.
Pelo Teorema (1.3.4), temos que #
OK
a
OK
a
= 1 se, e somente se,
Demonstra
c
ao: Consideremos a aplicacao:
Z
Z
e1 Z
en Z
: OK
n
ai wi (a1 + e1 Z, , an + en Z).
i=1
ai wi
i=1
se x a, entao x =
i=1
i=1
(0 + e1 Z, , 0 + en Z), o que mostra que a Ker(). Pelo Teorema (1.1.2), temos que
OK
Z
Z
. Portanto, N (a) = |OK /a| = |e1 en |.
a
e1 Z
en Z
Proposi
c
ao 1.3.11 ([27]) Sejam K um corpo de n
umeros, OK o anel dos inteiros de K e
: K K a conjugac
ao complexa. Se a e um ideal nao nulo de OK entao N (a) = N ((a)).
Demonstra
c
ao: Consideremos a aplicacao:
:
OK
a
OK
(a)
x + a (x) + (a).
Temos que esta bem denida. De fato, primeiro notemos que se x OK , entao (x) OK .
Agora, se x+a = y +a, entao xy a. Logo, (xy) (a). Assim, (x)+(a) = (y)+(a).
Alem disso, e um homomorsmo sobrejetor, pois se (x) + (a) OK /(a), entao existe
x = ((x)) OK tal que (x + I) = (x) + (a). Notemos tambem que e injetora, pois se
(x) + (a) = (y) + (a), entao (x) (y) (a) e, assim, x y a. Logo,
+ a.
x +a = y
OK
OK
Portanto, e um isomorsmo. Desta forma, temos que N (a) = #
= #
=
a
(a)
N ((a)).
1.3.4 Discriminante
Deni
c
ao 1.3.9 Sejam B A aneis tal que A e um B-modulo livre de posto n e {1 , . . . , n }
An . Denimos o discriminante de {1 , . . . , n } por
DA/B (1 , . . . , n ) = det(T rA/B (i j )).
38
Proposi
c
ao 1.3.12 ([24]) Sejam B A aneis. Se {1 , . . . , n }, {1 , . . . , n } An s
ao tais
n
que i = j=1 aij j com aij B, entao
DA/B (1 , . . . , n ) = (det(aij ))2 DA/B (1 , . . . , n ).
Demonstra
c
ao: Consideremos p =
api i e q =
i=1
n. Assim,
p q =
api i
i=1
aqj j =
j=1
e entao
T rA/B (p q ) = T rA/B (
j=1
api aqj i j ,
1i,jn
api aqj i j ) =
1i,jn
1i,jn
39
n
= det(
k (i )k (j )) = det(k (i )) det(k (j ))
k=1
= (det(i (j ))2 .
Resta mostrar que det(i (j )) = 0. Suponhamos por absurdo que det(i (j )) = 0, entao as
colunas da matriz (k (j ))nj,k=1 sao linearmente dependentes. Assim, existem a1 , . . . , an F,
n
nao todos nulos, tal que
ai i (j ) = 0 para todo j = 1, , n. Assim, por linearidade
i=1
conclumos que ni=1 ai i () = 0, para todo K, o que contradiz o Lema de Dedekind.
Portanto, det(i (j ))2 = 0.
Proposi
c
ao 1.3.14 ([24]) Se K/L e uma extensao nita de grau n tal que K = L() e f (x)
o polin
omio minimal de sobre L, entao,
1
2
(i k )
1k<in
40
[(i k )(i k )]
1k<in
1
n(n1)
2
= (1)
= (1)
1
n(n1)
2
= (1) 2 n(n1)
(i k )
1k<in, i=k
n
n
i=1
n
(i k )
k=1, k=i
f (i )
i=1
2
1 1
1 2
= .
..
1 n
...
...
1n
2n
..
.
..
.
. . . nn
2
j
= (deti )2 .
esquerdo da igualdade livre de quadrado devemos ter det(aij ) = 1, ou seja, a matriz (aij ) e
unimodular. Assim, pelo Lema (1.3.5), segue que {1 , , n } e uma Z de OK , ou seja, uma
base integral de K.
A
OK
e um corpo segue que
e um corpo. Portanto, p e maximal.
pA
p
Corol
ario 1.3.4 ([24]) Se K e um corpo de n
umeros de grau n entao o anel dos inteiros
algebricos de K e um anel de Dedekind.
Demonstra
c
ao: Como Z um anel de Dedekind, pelo Teorema (1.3.7) segue o resultado.
Observac
ao 1.3.7 O anel dos inteiros OK de um corpo de n
umeros e um anel de Dedekind,
mas nem sempre e principal. De fato, vimos que em OK = Z[ 5], 6 = (1+ 5)(1 5) =
2.3 s
ao duas fatorac
oes distintas do 6, cujas normas sao 6, 6, 4 e 9, respectivamente. Logo, OK
n
ao e um domnio fatorial. Se o elemento 1 + 5 possuisse um divisor nao trivial ent
ao
ao
N (1 5) = 6 tambem possuiria um divisor nao trivial mas isso e impossvel pois a equac
43
n1
j=0
bij
; bij , cij Z
cij
e cij = 0, para todo i, j = 1, , n. Seja d = mmc{cij ; i = 1, , n, j = 0, 1, , n 1}.
n
Temos que di Z[], para todo i = 1, , n. Como Z[] OK , temos que dI = d
Zi =
j = 0, 1, , n 1. Como aij Q, para todo i, j = 1, , n, segue que aij =
i=1
i=1
Proposi
c
ao 1.3.15 ([13]) Se A e um domnio noetheriano, ent
ao todo ideal fracionario I de
A e um A-m
odulo nitamente gerado.
Demonstra
c
ao:
digamos que seja p1 , isto e, m p1 . Como A e Dedekind, segue que m = p1 , pois p1 e maximal.
Agora, considere q = q2 . . . qn . Entao aA mq e aA q, pela minimalidade de n. Assim,
b
b
existe b q e b a tal que mb a. Logo, m A e assim n. Como b a segue que
a
a
b
A. Assim, n = A. Portanto, mn = A.
a
Teorema 1.3.8 ([24]) Se A e um anel de Dedekind que n
ao e um corpo, entao
1. Todo ideal fracion
ario I n
ao nulo de A e um produto de ideais primos de A, de modo
n
pei i , onde e1 , , en sao inteiros positivos.
u
nico, isto e, I =
i=1
Proposi
c
ao 1.4.1 ([27]) Um corpo quadratico e da forma Q( d), onde d e um inteiro livre
de quadrados.
Demonstra
c
ao: Pelo Teorema (1.2.1) temos que K = Q(), para algum K. Seja f (x) =
x2 + bx + c, com b, c Q, o polinomio minimal de K. Sabemos que este polinomio tem
grau 2 pois K e um corpo quadratico e entao [K : Q] = 2. Resolvendo a equacao quadratica
rs
= Q( rs).
Q(x) = Q
2
s
Q( k 2 d) = Q( d).
Observac
ao 1.4.1 Se
d e raiz do polin
omio irredutvel f (x) = x2 d sobre Q, entao o grupo
1 (a + b d) = a + b d
e
2 (a + b d) = a b d,
1 (a + b d) + 2 (a + b d) = 2a Q
e
1 (a + b d)2 (a + b d) = a2 db2 Q.
atico.
Proposi
c
ao 1.4.2 ([27]) Seja K = Q( d), com d livre de quadrados, um corpo quadr
ao 2a e a2 db2 sao n
umeros
Se um elemento = a + b d Q( d) e um inteiro algebrico, ent
inteiros.
Demonstra
c
ao: Se K e um inteiro algebrico, entao existem a0 , a1 , . . . , an1 Q tal que
n + an1 n1 + + a1 + a0 = 0. Assim, considerando um automorsmo de K tal que
um inteiro algebrico de K. Do Corolario (1.3.1), temos que +() e () tambem sao inteiros
1
forma (a + b d), com a, b Z, e de mesma paridade.
2
Demonstra
c
ao: Seja = a + b d Q( d) um inteiro algebrico. Pela Proposicao 1.4.2,
tomemos a = u/2, b = v/2 com u, v Z e temos que u2 dv 2 4Z.
1. Se d 2 ou 3(mod 4), temos que u e v sao pares, pois se v fosse mpar teramos v 2
1(mod 4). Assim, como u2 dv 2 4Z segue que u2 dv 2 d(mod 4), ou seja,
d 0(mod 4) ou d 1(mod 4), o que e um absurdo. Portanto, concluimos que v e
par, isto e, v 2 0(mod 4) e assim, u2 dv 2 0(mod 4) o que implica que u e par.
tomando Z[ d], temos que e raiz do polinomio x2 2ax + a2 db2 Z[x], pois
OK = Z[ d].
2. Se d 1(mod 4), ja que u2 dv 2 4Z, entao u e v tem a mesma paridade, isto e, sao
!
(1+ d)
1+ d
= a+b
Z
com a, b Z, temos que 2a+b Z e (a+b/2)2 d (b/2)2 =
2
2
!
a2 + ab + (1 d)b2 /4 Z, pois d 1(mod 4). Logo, Z (1+2 d) OK , pois os coecientes
do polinomio minimal
de , m(x) = x2 (2a + b)x + a2 + ab + (1 d)b2 /4 estao em Z.
!
Portanto, Z (1+2 d) = OK .
Proposi
c
ao 1.4.3 ([27]) Se K = Q( d) e um corpo quadr
atico, onde d e um inteiro livre de
quadrados, ent
ao o discriminante de K sobre Q e dado por:
47
1. DK = d se d 1(mod 4);
2. DK = 4d se d 2 ou 3(mod 4).
Demonstra
c
ao:
1. Se d 1(mod 4) entao
DK = D 1,
1+ d
2
= det
1+ d
2
= det
1
2
1 (1)
(1)
2
=
1+ d
1
2 1+2 d
2
2
1 d
2
= d,
2. Se d 2 ou 3(mod 4) entao
DK
2
2 (1)
1 (1)
= D 1, d = det
=
1 ( d) 2 ( d)
2
1
1
= 4d.
= det
d d
(x nj ) e chamado de n
esimo polin
omio ci-
j=1, mdc(j,n)=1
clot
omico.
Proposi
c
ao 1.4.4 ([27]) Se n e um inteiro positivo, entao xn 1 =
d (x).
d|n
Demonstra
c
ao: Sendo f (x) = xn 1, temos que as razes de f (x) sao 1, , 2 , , n1 .
Logo, podemos escrever xn 1 = (x 1)(x ) (x n1 ). Analisando os perodos de
48
cada raiz de f(x), e escrevendo todas as razes de mesmo perodo como um polinomio da forma
(x ), segue que xn 1 =
d (x).
d (x) =
periodo =d
d|n
Observac
ao 1.4.2 Como consequencia da Proposicao 1.4.4 segue que
n (x) =
xn 1
.
d (x)
(1.4.2)
d|n, d<n
Assim,
1. Quando n = p, onde p e um n
umero primo, segue que
p (x) =
xp 1
xp 1
=
= xp1 + + x + 1,
1 (x)
x1
que e chamado de p-
esimo polin
omio ciclot
omico.
2. Quando n = pr , onde r e um n
umero inteiro maior que 1 e p e um n
umero primo, segue
que
xp 1
r1
r1
r1
= x(p1)p + x(p2)p + + xp + 1,
pr (x) = pr1
x
1
que e chamado de pr -
esimo polin
omio ciclot
omico.
Teorema 1.4.2 ([14]) Se n e um inteiro positivo, n uma raiz n-esima primitiva da unidade
ao de
e K = Q(n ) o corpo ciclotomico correspondente, entao [K : Q] = (n), onde e a func
Euler.
Demonstra
c
ao:
com h(x) Q[x]. Pelo Lema de Gauss, temos que f (x), h(x) Z[x]. Se p e um n
umero primo
tal que p n, entao, np e uma raiz n-esima primitiva da unidade. Logo, (np )n 1 = f (np )h(np ),
ou seja, 0 = f (np )h(np ). Assim, se np nao for raiz de f (x), entao np e raiz de h(x) e, portanto,
n e raiz de h(xp ). Pela forma que tomamos f (x), segue que f (x) | h(xp ). Pelo Lema de Gauss,
segue que h(xp ) = f (x)g(x), com g(x) Z[x]. Como consequencia do Teorema de Fermat,
segue que ap a(mod p), e assim, h(xp ) h(x)p (mod p). Portanto, f (x)g(x) h(x)p (mod p)
n )p = 0, pois n e raiz de f (x). E
o que e equivalente a h(x)p f (x)g(x)(mod p). Logo, h(
tem uma raiz em comum. Assim,
n ) = 0. Portanto f e h
recursivamente, chegamos que h(
Corol
ario 1.4.1 ([13]) Sejam n um inteiro positivo e K = Q(n ) um corpo ciclot
omico, onde
n e uma raiz n-esima primitiva da unidade. Se L = Q(n + n1 ) e o subcorpo maximal real de
K, ent
ao [K : L] = 2.
Demonstra
c
ao: Seja f (x) = x2 (n + n1 )x + 1 L[x]. Temos que f (n ) = 0. Alem
disso, como n L, segue que f e irredutvel sobre L. Logo, f = minL n . Desta forma,
[K : L] = (f ) = 2.
Proposi
c
ao 1.4.5 ([13]) Os homomorsmos de K = Q(n ) sobre C sao dados por
{i ; mdc(i, n) = 1
i () = i , onde i = 1, , n 1}.
Demostra
c
ao: Segue do Teorema (1.2.2).
Observac
ao 1.4.3 Segue da Proposicao (1.4.5) que K/Q, onde K = Q(n ), e uma extens
ao
de Galois, pois [K : Q] = (n) = |Zn |. Alem disso, Gal(K/Q) = {i ; mdc(i, n) = 1 e i (n ) =
ni }.
Teorema 1.4.3 ([29]) Se n e um inteiro positivo, n uma raiz n-esima primitiva da unidade
omico correspondente, ent
ao
e K = Q(n ) o corpo ciclot
(n)1
} e uma
base integral de K;
2. L = Q(n + n1 ) e o subcorpo maximal real de K, OL = Z[n + n1 ] e seu anel dos inteiros
(n)
e {1, n + n1 , , n 2
+ n
(n)
1)
2
Proposi
c
ao 1.4.6 ([27]) Se K = Q(p ), onde p e uma raiz p-esima da unidade e p um n
umero
primo mpar, ent
ao o discriminante de K = Q(p ) sobre Q e dado por
DK = DQ(p )/Q (1, p , , pp2 ) = (1)
(p1)(p2)
2
pp2 .
Demonstra
c
ao: Sejam p um n
umero primo e p uma raiz p-esima da unidade. Vimos, pelo
Teorema (1.4.3), que {1, p , , pp2 } e uma base integral de Z[p ]. Pela Proposicao 1.3.14
temos que
DQ(p )/Q (1, p , , pp2 ) = (1)
(p1)(p2)
2
Assim, precisamos mostrar que NQ(p )/Q (p (p )) = pp2 . Pela Observacao (1.4.2), o p-esimo
xp 1
. Derivando ambos os lados teremos p (x) =
polinomio ciclotomico e dado por p (x) =
x1
(p 1)p pp1 (pp 1)
(x 1)p xp1 (xp 1)
.
Substituindo
x
por
temos
que
(
)
=
.
p
p p
(x 1)2
(p 1)2
50
p p1 (p 1)
, ou seja,
(p 1)2
p
p
, e da p (p ) =
. Aplicando a norma e usando a sua linearidade
(p 1)p
(1 p )p
obtemos que
p (p ) =
(p1)(p2)
2
pp2 ,
p3
DL = p 2 .
Proposi
c
ao 1.4.8 Se K = Q(pr ), onde pr e uma raz pr -esima primitiva da unidade, p um
n
umero primo e r um inteiro maior que 1, ent
ao o discriminante de K sobre Q e dado por
(pr )1
r1 (r(p1)1)
) = pp
Demonstra
c
ao: Sejam p um n
umero primo, r um inteiro maior que 1 e p uma raiz pr -esima
(pr )1
xp 1
, temos que
Derivando ambos os membros de pr (x) = pr1
x
1
pr (x)
r 1
p r xp
r1
(xp
r1 1
1) (xp 1)pr1 xp
(xpr1 1)2
pr (pr )
r1
r1 1
(ppr
1)2
pr (pr ) =
r1
2i
r1
= (e pr )p
=e
2i
p
pr p1
r
r1
(ppr
1)
pr
r1
(1 ppr )pr
Como o pr -esimo polinomio ciclotomico tem grau (p 1)pr 1 e seu termo independente e igual
a 1 segue que NQ(pr )/Q (pr ) = 1. Alem disso,
r1
r1
r1
= pp
r1
)=
pr(p1)p
ppr1
r1 (r(p1)1)
= pp
onde p e um n
umero primo e e funcao de Euler.
1.5 Codiferente
Nesta secao, apresentamos o conceito de codiferente e suas principais propriedades. Para isto,
sejam A um anel de Dedekind, L seu corpo de fracoes, K uma extensao separavel de L de grau
n e OK o anel dos inteiros de K sobre A.
Deni
c
ao 1.5.1 Seja M um subconjunto de K. O conjunto M = {x K : T rK/L (xy) A,
y M } e denido como o codiferente de M sobre L. Em particular, quando M = OK
52
1
(K/L)1 = Z[ d].
2 d
1
1
Z[ d], ent
ao x = (a + b d); a, b Z. Dado y = c + e d OK ,
2 d
2 d
1
1
ae bc be d
(a + b d) (c + e d) = T r
ac +
temos que T r(xy) = T r
+ +
=
2
2
2
2 d
2 d
1
ae + bc Z. Assim, x (K/L)1 . Logo, Z[ d] (K/L)1 . Reciprocamente, se x =
2 d
a + b d (K/L)1 , ent
ao a, b Q, x K e T r(xy) Z, y Z[ d]. Tomando y = 1,
m
temos que T r(xy) = T r(a + b d) = 2a Z. Assim, a = ; m Z. Tomando y = d, temos
2
m
n
n
que T r(xy) = T r(a d + bd) = 2db Z. Assim, b =
; n Z. Logo x =
+
d =
2d
2
2d
1
1
1
(n + m d) Z[ d]. Desta forma, (K/L)1 Z[ d]. Portanto, (K/L)1 =
2 d
2 d
2 d
1
Z[ d].
2 d
1
d 2 ou 3 (mod 4). Se M = Z[ d], entao, pelo Exemplo (1.5.1), temos que M = Z[ d].
2 d
d
1
e T r(xy) Z, y M = Z[ d]. Tomando y = M , temos que T r(xy) =
2
d
2 d
a
bd
1
a b d
Tr
+
+
= a Z. Tomando y = M , temos que T r(xy) =
= Tr
2 2 d
2
2
2 d
a
b
+
Tr
= b Z. Logo, x = a + b d Z[ d]. Desta forma, M Z[ d]. Agora, se
2 d 2
1
1
x Z[ d], ent
ao x = a + b d; a, b Z. Dado y = (c + d d) Z[ d], temos que
2 d
2 d
Proposi
c
ao 1.5.1 ([13]) Sejam M um subconjunto de K e M o codiferente de M sobre L.
Temos que:
ao M e um OK -modulo.
1. Se OK M M , ent
2. Se M1 M2 K, ent
ao M2 M1 K.
53
3. OK (K/L)1 .
Demonstra
c
ao: 1) Suponhamos que OK M M . Vamos mostrar que se b OK e x M
entao bx M . Se b OK , x M e y M , temos que T r((bx)y) = T r(x(by)) A, pois
by OK M M . Assim, bx M . As demais propriedades seguem de forma analoga. Logo,
M e um OK - modulo.
2) Seja M1 M2 . Dado x2 M2 , entao x2 K e T r(x2 y) A, para todo y M2 .
Como M1 M2 , segue que T r(x2 y) A, para todo y M1 . Logo, x2 M1 . Portanto,
M2 M1 K.
3) Como OK e inteiro sobre A e A e integralmente fechado segue que T r(OK ) A. Assim, se
x, y OK , entao T r(xy) A e, deste modo, x (K/L)1 . Portanto, OK (K/L)1 .
Seja K1 o espaco dual de K. Pelo Lema (1.3.2), temos que existe um isomorsmo
: K K1 , tal que (x) = Sx , onde x K e Sx (y) = T r(xy), para y K.
Sejam {x1 , , xn } uma L-base de K e {x1 , . . . , xn } um conjunto de elementos de K tal que
{x1 , . . . , xn } seja uma base dual de {x1 , , xn }, isto e, xi (xj ) = T r(xi xj ) = ij , onde
ii = 1 e ij = 0 se i = j. Temos que, {x1 , , xn } e tambem uma base de K, chamada de
base complementar de {x1 , , xn }.
Proposi
c
ao 1.5.2 ([13]) Com as notacoes acima, se {x1 , , xn } e uma L-base de K e
{x1 , , xn } uma base complementar de {x1 , , xn }, entao DK/L (x1 , , xn )DK/L (x1 , , xn ) =
1.
Demonstra
c
ao: Sejam 1 , , n os L-homomorsmos de K. Tomando
X = (i (xj ))ni,j=1 e X = (i (xj ))ni,j=1
e denotando por X t a matriz transposta de X, temos que
1 (x1 )
.
...
.
(X )t X =
.
1 (xn )
n (x1 )
1 (x1 )
..
...
...
.
n (xn )
n (x1 )
1 (xn )
..
= (T r(xi xj ))ni,j=1 = In .
.
n (xn )
Proposi
c
ao 1.5.3 ([13]) Se M e um subconjunto de K e M o codiferente de M sobre L,
ent
ao:
odulo.
1. M e um A-m
2. Se M e um A-m
odulo livre com base {x1 , , xn } entao M e um A-modulo livre com
base {x1 , , xn }, onde {x1 , , xn } e uma base de K sobre L tal que T r(xi xj ) = ij ;
ij = 0, se i = j e ij = 1, se i = j.
3. M = M .
Demonstra
c
ao: 1) Sejam x1 e x2 M . Se y M , temos que
T r((x1 + x2 )y) = T r(x1 y) + T r(x2 y) A.
Assim, x1 + x2 M . Agora se a A, x M , dado y M , temos que
T r((ax)y) = aT r(xy) A.
Assim ax M . As demais propriedades seguem de forma analoga. Portanto, M e um Amodulo.
2) Sejam {x1 , . . . , xn } uma A-base de M e {x1 , , xn } uma L-base de K tal que T r(xi xj ) = 0
n
n
ai x i
Axi , entao
se i = j, e T r(xi xi ) = 1. Se x =
i=0
T r(xxj ) = T r
n
i=1
ai xi
xj
i=0
ai T r(xi xj ) = aj A, para j = 1, . . . , n.
i=0
Desta forma, pela linearidade da funcao traco, segue que T r(xy) A, y M. Portanto,
n
n
Axi M . Reciprocamente, se
ai xi M , com ai L, para i = 1, , n, entao,
i=1
i=1
aj = T r
n
ai xi xj
A, para j = 1, . . . , n,
i=1
e, deste modo, M
base {x1 , , xn }.
n
i=1
Axi .
Assim, M =
i=1
3) Visto que {x1 , , xn } e uma base de M e {x1 , , xn } e uma base de K sobre L que
satisfaz T r(xi xj ) = ij , de forma analoga ao que foi feito anteriormente, mostramos que M =
55
Axi = M.
i=1
Proposi
c
ao 1.5.4 ([13]) Se K = L(), onde e inteiro sobre L e [L() : L] = n, ent
ao
odulo nitamente gerado.
(K/L)1 e um OK -m
Demonstra
c
ao: Temos que A[] OK . Assim, pelo item (2) da Proposicao (1.5.1), temos que
(K/L)1 = OK A[] . Agora, como e inteiro sobre A, temos que A[] e um A-modulo
nitamente gerado por {1, , , n1 }. Como {1, , , n1 } e uma base de K sobre L,
segue que {1, , , n1 } e linearmente independente sobre A. Logo, A[] e um A-modulo
livre. Pelo item (2) da Proposicao (1.5.3), temos que A[] e um A-modulo livre nitamente
gerado. Logo, como A e noetheriano segue, pelo Corolario (1.1.2), que A[] e um A-modulo
noetheriano. Como (K/L)1 e um OK -modulo, pelo item 1. da Proposicao (1.5.1), segue
que (K/L)1 e um A-modulo. Desta forma, temos que (K/L)1 e um A-submodulo de um
A-modulo noetheriano A[] . Portanto, (K/L)1 e um A-modulo nitamente gerado. Desta
m
1
1
forma, existem x1 , , xm (K/L) tal que (K/L) =
Axi . Em particular, como
(K/L)1 e um OK -modulo, segue que (K/L)1
i=1
i=1
Corol
ario 1.5.1 ([13]) Se K = L[], onde e inteiro sobre L e [L[] : L] = n, ent
ao
ario de OK .
(K/L)1 e um ideal fracion
Demonstra
c
ao: Pela Proposicao (1.5.4), temos que (K/L)1 e um OK -modulo nitamente
gerado. Assim, se tomarmos d um fator comum entre os denominadores dos geradores de
(K/L)1 , temos que d(K/L)1 OK . Portanto, (K/L)1 e um ideal fracionario de OK .
56
Captulo 2
Aplicacao das formas quadraticas aos corpos ciclotomicos
Nesta secao, apresentamos algumas aplicacoes das formas quadraticas aos corpos ciclotomicos.
Nosso objetivo e encontrar expressoes para calcular o traco de um elemento da forma xx, onde
x e um inteiro algebrico do anel dos inteiros de um corpo ciclotomico. Veremos inicialmente as
umero primo, e depois, resultados mais
aplicacoes aos corpos ciclotomicos Q(p ), onde p e um n
gerais serao vistos para corpos ciclotomicos da forma Q(n ), onde n e um inteiro positivo. O
estudo deste captulo se deve a necessidade de encontrar o raio maximo de empacotamento de
um reticulado que, no Captulo (5), veremos que sera equivalente a minimizar a forma traco.
p2
p2
ai pi Z[p ],
i=0
ai pi e entao,
i=0
xx =
p2
i=0
ai pi
p2
i=0
ai pi
(p2)
) + a0 ap2 (pp2 + p
).
(2.1.1)
Teorema 2.1.1 ([23]) Se K = Q(p ) e um corpo ciclotomico, OK = Z[p ] seu anel dos inteiros
57
ex=
p2
ai pi Z[p ], onde p e um n
umero primo, ent
ao,
i=0
T rK/Q (xx) =
p2
i=0
Demonstra
c
ao:
Seja x =
p2
a2i +
(ai aj )2 .
0i<jp2
i=0
p2
a2i
p2
i=0
a2i + 2
i=0
e, portanto,
T rK/Q (xx) = p
ai a j
0i<jp2
p2
p2 2
a2i
ai .
i=0
i=0
(2.1.2)
p2
i=0
p2 2
a2i
ai
= p(a20 + + a2p2 ) [(a20 + + a2p2 ) + a0 a1 + + ap3 ap2 ]
i=0
= (p 1)
p2
a2i
i=0
p2
i=0
a2i +
a i aj =
oi<jp2
(ai aj )2 .
oi<jp2
58
p2
i=0
a2i
+ (p 2)
p2
i=0
a2i
oi<jp2
ai aj
Portanto,
p2
T rK/Q (xx) =
a2i +
i=0
(ai aj )2 ,
0i<jp2
(n)
(n)1
xx = A0 +
Ai xi .
i=1
Deste modo,
(n)1
Ai xi ) = (n)A0 +
i=1
(n)1
= (n)A0 + 2
(n)1
Ai T rK/Q (xi )
i=1
Ai T rK/Q (i ),
i=1
uma vez que T rK/Q ( + 1 ) = 2T rK/Q (). Alem disso, se mdc(k, n) = 1 entao T rK/Q () =
T rK/Q ( k ).
A seguir apresentamos alguns resultados que irao auxiliar na prova do resultado principal
desta secao que sera o Teorema (2.2.1).
59
(n)
j/d
T rQ(n/d )/Q ( n/d ).
(n/d)
j/d
Como j e um n
umero inteiro entao jn Q(n ). Mas, jn = n/d , logo
j/d
j/d
mdc(j, n) = d, segue que mdc(j/d, n/d) = 1, o que implica que n/d e um gerador do conjunto
j/d
das razes n/d-esimas da unidade. Deste modo temos que Q( n/d ) = Q(n/d ) e por propriedades
da funcao traco vistas na Secao (1.3.2) temos que
j/d
j/d
j/d
j/d
j/d
j/d
e como [K : Q( n/d )] =
(n)
, segue o resultado.
(n/d)
Demonstra
c
ao:
1, se ai = 1.
0,
se ai > 1.
uensegue que pi e jpi sao conjugados. Logo sao razes do mesmo polinomio minimal e conseq
temente possuem o mesmo traco, ou seja,
T rQ(pi )/Q ( jpi ) = T rQ(pi )/Q (pi ) = 1.
Se ai > 1, entao irrQ (pi ai ) = x(pi 1)pi
T rQ(p ai )/Q (pi ai ) = 0, pois o coeciente de x
ai 1
+ x(pi 2)pi
(pi 1)pi ai 1 1
ai 1
+ . . . + xpi
ai 1
+ 1, e assim
como mdc(j, pi ai ) = 1, segue que pi ai e jpi ai sao conjugados, e portanto possuem o mesmo traco,
ou seja,
T rQ(p ai )/Q ( jpi ai ) = T rQ(p ai )/Q (pi ai ) = 0,
i
60
ao
Deni
c
ao 2.2.1 Seja n = pa11 pa22 . . . pas s , onde ak 1, para k = 1, 2, . . . , s. Considere a func
(n) =
, se n = 1.
(n)
(n/d),
(n/d)
onde e a func
ao de M
obius.
Demonstra
c
ao:
(n)
j/d
T rQ(n/d )/Q ( n/d ). Logo
(n/d)
61
Assim, como mdc(i, m) = 1, segue que im e um gerador do conjunto das razes m-esimas
da unidade. Logo ( im ) = m, e assim m| abt , ou seja, ab| abt o que e um absurdo. Portanto,
mdc(iu, b) = 1 e analogamente mdc(iv, a) = 1. Por propriedades da funcao traco temos que
T rQ(m )/Q ( im ) = T rQ(a )/Q (T rQ(m )/Q(a ) ( im ))
iv
= T rQ(a )/Q (T rQ(m )/Q(a ) ( iu
b a ))
iu
iv
iu
= T rQ(a )/Q ( iv
a T rQ(m )/Q(a ) ( b ) = T rQ(a )/Q ( a T rQ(b )/Q ( b )
iv
= T rQ(b )/Q ( iu
b )T rQ(a )/Q ( a )
= (1)(1)k
= (1)k+1 .
j/d
Agora, suponhamos que a igualdade e verdadeira para s = k. Deste modo, temos que
T rQ(pa1 ...pak )/Q ( ipa1 ...pak ) = (pa11 . . . pakk ) = 0,
1
k+1
pois existe pelo menos um al maior que 1, para l = 1, 2, . . . , k. Agora, dado m = pa11 . . . pk+1
,
k+1
. Supondo a1 > 1 e como mdc(a, b) = 1, existem u, v Z tais
sejam a = pa11 e b = pa22 . . . pk+1
que au + bv = 1. Assim
ibv
iu iv
= iau
im = i(au+bv)
m
ab = ab = b a .
Com raciocnio analogo ao tem (a) conclui-se que mdc(iu, b) = mdc(iv, a) = 1. Assim, temos
que
T rQ(m )/Q ( im ) = T rQ(a )/Q (T rQ(m )/Q(a ) ( im ))
iv
= T rQ(a )/Q (T rQ(m )/Q(a ) ( iu
b a ))
iu
iv
iu
= T rQ(a )/Q ( iv
a T rQ(m )/Q(a ) ( b ) = T rQ(a )/Q ( a T rQ(b )/Q ( b )
iv
= T rQ(b )/Q ( iu
b )T rQ(a )/Q ( a )
= 0.
j/d
Portanto, dado n/d = pa11 . . . pas s , temos que T rQ(n/d )/Q ( n/d ) = 0 = (n/d), pois pelo menos
um al e maior que 1, para l = 1, 2, . . . , s.
Lema 2.2.4 ([23]) Sejam n um inteiro positivo e K = Q(n ) um corpo ciclot
omico. Se n =
pa11 . . . pas s , onde ak 1, para k = 1, 2, . . . s, e i e um inteiro, onde i < (n), e d = mdc(i, n),
62
ent
ao
T rK/Q ( in ) = 0 d = (n/P )tj e i = (n/P )j,
onde P = p1 . . . ps , tj = mdc(j, P ) e j = 1, 2, . . . , (P ) 1.
Suponhamos T rK/Q ( in ) = 0 com d = (n/P )tj . Por hipotese temos que n/d
Demonstra
c
ao:
nao e livre de quadrados, logo, pela denicao da funcao de Mobius temos que (n/d) = 0, e
portanto T rK/Q ( in ) = 0, o que e um absurdo. Reciprocamente, se d = (n/P )tj e i = (n/P )j,
primeiramente mostremos que mdc(i, n) = d, com j = 1, 2, . . . , (P ) 1. Com efeito, se
mdc(i, n) = d , entao mdc((n/P )j, n) = d . Logo, mdc(((n/P )j)/(n/P ), n/(n/P )) = d /(n/P ),
ou seja, tj = mdc(j, P ) = (P/n)d , o que implica que d = (n/P )tj = d, e j = 1, 2, . . . , (P ) 1,
pois
(n)
(pa11 . . . pas s )
(pa11 ) . . . (pas s )
=
=
(P )
(p1 . . . ps )
(p1 ) . . . (ps )
a1 1
(p1 1)] . . . [ps as 1 (ps 1)]
[p1
=
(p1 1) . . . (ps 1)
n
a1 1
= p1 . . . pas s 1 = .
P
(A prova de que (n) = (p1 . . . ps ) = (p1 ) . . . (ps ) e feita por inducao). Logo, se j (P ),
entao i = (n/P )j = (((n))/((P ))j (((n))/((P ))((P ) = (n), o que e um absurdo,
e portanto j = 1, 2, . . . , (P ) 1.
(n)
(n/d) = 0,
(n/d)
63
(
(P )
m1
(P )1
a2i + 2
i=0
j=1
P
( )(tj )A Pn j
tj
)
,
Temos que
m1
xx =
a2i +
i=0
m1
Ai i ,
i=0
m1
i=0
m1
a2i +
i=0
m1
a2i +
m1
= T rK/Q
Ai i
i=0
m1
a2i
+ T rK/Q
i=0
m1
Ai i
i=0
Ai T rK/Q ( in + i
n ).
i=0
Como in e i
ao conjugados, para todo i = 0, 1, . . . , m1, segue que possuem o mesmo traco,
n s
e assim
T rK/Q (xx) = m
m1
a2i
m1
+ 2
i=0
Ai T rK/Q ( in ).
i=0
(n)
(n/d), onde d = mdc(i, n), e deste modo
(n/d)
m1
a2i
+ 2
i=0
m1
m1
i=0
Ai
(n/d)
m.
(n/d)
(2.2.3)
(n/d)
m e nao nulo quando d = (n/P )tj , onde
(n/d)
i=0
tj = mdc(j, P ) e i = (n/P )j, para j = 1, 2, . . . , (P ) 1, e temos ainda que (n) = (n/P )(P ).
Ai
Temos que mdc((P/tj ), tj ) = 1, pois caso contrario, se mdc((P/tj ), tj ) = t > 1, entao, t | (P/tj )
e t | tj . Logo existem k1 , k2 Z tais que P/tj = tk1 e tj = tk2 , e assim P = t2 k1 k2 , ou seja, t2 |P .
Agora, como t > 1 segue que t2 > 1, e portanto, t2 = p1 . . . pr , onde pk {p1 , . . . ps }, para
k = 1, 2, . . . , r, o que e um absurdo, pois os pk s sao distintos. Assim, (P ) = ((P/tj ).tj ) =
64
(P/tj )(tj ), ou seja, (P/tj ) = (P )/(tj ). Retomando a Equacao (2.2.3) temos que
T rK/Q (xx) = m
m1
i=0
a2i
m1
(P )1
m1
( nd )
P
1
2
+ 2
Ai n m = (n)
ai + 2
A Pn j ( ) P (n)
( d )
tj ( tj )
i=0
i=0
j=1
(P )1
m1
P (tj ) n
n
2
(P )
(P )
ai + 2
A Pn j ( )
=
P
t
(P
)
P
j
i=0
j=1
(
)
(P )1
m1
n
P
=
(P )
a2i + 2
( )(tj )A Pn j .
P
tj
i=0
j=1
65
Captulo 3
Reticulados
Neste captulo faremos um estudo sobre os reticulados, denindo-os e apresentando suas principais propriedades. As denicoes serao feitas na Secao (3.1). Na Secao (3.2), apresentamos a
matriz de Gram de um reticulado e seu determinante. O estudo dos reticulados surgiu a partir
do problema de como cobrir o espaco Rn com esferas de mesmo raio de forma que quaisquer
duas esferas se toquem em apenas um ponto e ocupem o maior espaco possvel. Este e o problema de empacotamento que veremos na Secao (3.3). Assim, estudar empacotamentos equivale estudar os reticulados. Na Secao (3.4) apresentamos dois conceitos muito importantes nesta
teoria, a diversidade e a distancia produto mnima de um reticulado. Apos isto, na Secao (3.5),
apresentamos alguns exemplos de reticulados conhecidos na literatura, entre eles, reticulados
com densidade de centro otima.
3.1 Denicao
Veremos nesta secao a denicao e alguns exemplos de reticulados no Rn e de algumas de suas
propriedades como a sua matriz geradora e o seu volume.
Deni
c
ao 3.1.1 Sejam = {v1 , , vm } um conjunto de vetores do Rn linearmente independentes sobre R, com m n. Chamamos de reticulado de dimensao m e base ao subconjunto
do Rn da forma
(
=
x Rn , tal que x =
)
ai vi , com ai Z .
i=1
Observac
ao 3.1.1 Se m = n, dizemos que e um reticulado completo e que = {v1 , , vn }
e uma base completa do reticulado.
Exemplo 3.1.1 Seja = {(1, 0), (0, 1)} a base canonica de Z2 . Temos que = Z2 e um
reticulado gerado por .
66
6
t t
t -
Z2
Observac
ao 3.1.2 A base de um reticulado n
ao e u
nica, no Exemplo 3.1.1, = {(2, 1), (1, 3)}
tambem e uma base do reticulado Z2 , pois o reticulado gerado por esta contido em Z2 .
Observac
ao 3.1.3 Dado um reticulado no Rn gerado por uma base temos que uma
condic
ao necess
aria e suciente para que um outro conjunto de vetores linearmente independentes de Rn tambem seja uma base deste reticulado e estar contida em e a matriz
mudanca de base de para ter entradas inteiras e determinante 1.
Deni
c
ao 3.1.2 Seja Rn um reticulado, com base = {v1 , , vn }. O conjunto
(
)
n
P = x Rn : x =
i v i , 0 i < 1 ,
i=1
e chamado de regi
ao fundamental de com relacao a base .
Exemplo 3.1.2 Temos que = {(a, b) Z2 ; a + b 0(mod 2)} e um reticulado gerado pelos
ao fundamental dada por
vetores v1 = (2, 0) e v2 = (1, 1) com regi
t
t
t
t
t
v1
67
t
t
-t
t t
t
t
v2
t
t
t
t
A proposicao abaixo nos diz que dado um reticulado , alem da regiao fundamental P ,
tambem existem outras regioes que podem ser obtidas por translacoes de P , tais como P + l,
com l associadas a uma base do reticulado .
Proposi
c
ao 3.1.1 ([27]) Cada elemento do Rn pertence a exatamente um dos conjuntos P +l,
para todo l .
Demonstra
c
ao: Primeiramente mostremos a existencia do conjunto P + l. Se {e1 , . . . , en }
e um conjunto de vetores linearmente independentes do Rn , entao todo elemento x Rn pode
ser escrito como
x=
ai ei , onde ai Rn , para i = 1, 2, . . . , n.
i=1
Mas, podemos separar a parte inteira de cada coeciente ai , ou seja, podemos escrever ai =
i + i , onde i Z, 0 i < 1 e i Rn , para i = 1, 2, . . . , n. Assim, podemos reescrever x
da seguinte maneira:
x=
ai ei =
i=1
(i + i )ei =
i=1
i ei +
i=1
i ei ,
i=1
x=
i=1
i ei +
i=1
i=1
onde a primeira parcela das equacoes pertence a e a segunda parcela sao l1 e l2 , respectivamente. Igualando, obtemos
n
(i + i )ei =
i=1
Assim,
n
i=1
(i + i )ei
(i + i )ei .
i=1
(i + i )ei =
i=1
(i + i i i )ei = 0.
i=1
xj = jx
ji ei ,
(3.1.1)
i=1
r
i=1
i ei
ji ei =
i=1
i=1
i ei , ou seja,
i=1
i=1
como um Z-modulo. Por outro lado, do fato de P ser nito e N ser innito, existem inteiros
j e k, tais que xj = xk . Da Equacao (3.1.1), segue que
xj = xk = jx
ji ei = kx
i=1
r
i=1
69
ki ei
= (j k)x =
= (j k)
i=1
i ei =
i=1
i=1
i=1
i=1
r e os i s sao nao nulos, pois caso contrario d nao teria posto r. Assim os fi s sao linearmente
independentes sobre R, uma vez que {e1 , , er } e linearmente independente sobre R. Portanto,
d e gerado por r vetores linearmente independentes sobre R e consequentemente tambem e
gerado por r vetores linearmente independentes sobre R.
Observac
ao 3.1.6 Segue do Teorema 3.1.1 que qualquer subgrupo discreto do Rn e um reticulado.
Denic
ao 3.1.3 Seja Rn um reticulado, com Z-base = {v1 , , vn }. A matriz geradora do reticulado e denida como sendo a matriz
M =
v11 v12
v1n
,
.. . .
..
..
. .
.
.
Observac
ao 3.1.7 Observe que se for uma outra base para , segue que Vol() = Vol( ),
pois e diferem pelo produto de uma matriz inversvel com entradas inteiras. Dessa forma,
faz sentido denir o volume de como sendo o volume de uma regiao fundamental.
n 1
n+1
e
M =
n + 1 2n + 1
e
G =
2n2 + 2n + 1
2n2 + 2n + 1
2n2 + 2n + 1 2n2 + 2n + 1
2n2 + 2n + 1 4n2 + 4n + 2
.
71
Proposi
c
ao 3.2.1 ([15]) Sejam Rn um reticulado com base e matriz de Gram G. Se
ao det(G) = det(G ), onde G e a matriz de Gram de com
for uma outra base de , ent
relacao a base .
Consideremos as bases = {v1 , v2 , . . . , vn } e = {u1 , u2 , . . . , un } de .
n
Como e base de , podemos escrever ui =
aij vj , para i = 1, 2, . . . , n e aij Z. Sejam M
Demostra
c
ao:
j=1
3.3 Empacotamento no Rn
O problema classico do empacotamento esferico consiste em encontrar um arranjo de esferas
identicas no espaco n-dimensional de forma que a fracao do espaco coberto por essas esferas
seja a maior possvel. Ao estudar a densidade de empacotamento, um dos principais problemas
e a obtencao de reticulados com alta densidade e que sejam ao mesmo tempo manipulaveis.
Dessa forma, estudar os empacotamentos reticulados equivale ao estudo dos reticulados.
Deni
c
ao 3.3.1
1. Um empacotamento esf
erico, ou simplesmente um empacotamento
72
Vol(B())
Vol(B(1))n
Volume da regiao coberta pelas esferas
=
=
.
Volume da regiao fundamental
Vol()
Vol()
n
Vol()
Denic
ao 3.3.4 Seja Rn um reticulado. Denimos a densidade de centro de por
() =
n
,
Vol()
1 0
0 2
73
= 1.2 = 2,
2
1 1
= . =
Vol()
4 2
8
1 1
1
2
= . = .
Vol()
4 2
8
Observac
ao 3.3.3 Uma vez que () = Vol(B(1)).
n
n
e () =
, segue que
Vol()
Vol()
() = Vol(B(1)).() .
Exemplo 3.3.2 Se = Z3 com base = {(4, 0, 0), (0, 3, 0), (0, 2, 1)} entao =
5/2, Vol(B(1)) =
4 0 0
Vol() = 0 3 0
= 4.3 = 12,
0 2 1
a densidade de centro e dada por
2
=
() =
Vol()
2
5
5 5
1
.
. =
2
12
96
e ent
ao, a densidade de empacotamento e dada por
5 5
4 5 5
.
=
.
() = Vol(B(1)).() =
3 96
72
Exemplo 3.3.3 Seja = Zn um reticulado do Rn , gerado pelos vetores v1 = (1, 0, . . . , 0),
atica |v|2 = x21 + + x2n assume o valor
v2 = (0, 1, . . . , 0), . . . , vn = (0, 0, . . . , 1). A forma quadr
1
mnimo quando um dos xi = 1, para i = 1, , n e os demais nulos. Assim |v|2 = 1 e = .
2
Visto que v() = | det B|, e B neste caso e a matriz identidade, temos que o Vol() = 1, e
1
portanto, () = n .
2
Deni
c
ao 3.4.1 Sejam x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) dois vetors no Rn . Denimos a
diversidade, ou a dist
ancia de Hamming, de x e y como
div(x, y) = #{i, xi = yi , i = 1, . . . , n}.
Deni
c
ao 3.4.2 Dado um subconjunto S Rn , a diversidade, ou a distancia mnima de
Hamming, de S e denida por
div(S) = min{div(x, y) | x = y, x, y S}.
Como todo reticulado e um subconjunto do Rn , podemos estender as Denicoes (3.4.1)
e (3.4.2) para reticulados. E, como reticulados tem estrutura de grupo, segue que a soma de
quaisquer dois pontos de esta em , assim, podemos reformular a denicao de distancia de
Hamming entre dois vetores para apenas um vetor.
Deni
c
ao 3.4.3 Seja Rn um reticulado e x = (x1 , . . . , xn ) .
1. A diversidade de x e denida como o n
umero de x,i s nao nulos.
2. A diversidade de e denida como
div() = min{div(x); x , x = 0}.
umero par}.
Exemplo 3.4.1 Consideremos o reticulado = {(x1 , x2 , x3 ) Z3 | x1 +x2 +x3e um n
Temos que uma matriz geradora para este reticulado e dada por
1 1
M =
1
0
1
1
0
.
1
75
Deni
c
ao 3.4.4 Sejam um reticulado em Rn com diversidade l n e x = (x1 , , xn ) .
Denimos:
1. A dist
ancia l-produto de x por dlp (x) =
|xi |.
xi =0
2. A dist
ancia l-produto mnima de por
dlp,min () = min{dlp (x) | x = 0, x }.
Deni
c
ao 3.4.5 Sejam Rn um reticulado com diversidade n e x = (x1 , , xn ) .
1. A dist
ancia produto de x e denida como dp (x) =
|xi |.
i=1
2. A dist
ancia produto mnima de e denida como
dp,min () = min{dp (x) | x , x = 0}.
Exemplo 3.4.2 Temos no Exemplo (3.4.1) que o ponto (3, 1, 3) e um ponto de . Assim,
dp 1 (3, 1, 3) = 3.1.3 = 9.
i=0
76
0 1 1 0 0 0
0
0
1
1
0
0
M =
,
...
.
.
. .
. .
0
0
0 0 1 1
Temos que:
Uma matriz geradora para este reticulado e
M=
O raio de empacotamento e =
1
0
1 1
;
2
;
2
A densidade de centro e
(A2 ) =
n
1
= 22/2 (2 + 1)1/2 = = 0, 28868.
Vol()
2 3
77
1 1
M = 0
0
raio de empacotamento =
1
1
.
0
0 0
0 0
1 0 0 0 ,
.
. . .. . .
0 0 1 1
1 1 0
M = 1 1 0
;
0
1 1
O raio de empacotamento e =
A densidade de centro e
2/2;
1
(D3 ) =
= 0, 17678.
4 2
1 1
1
M =
0
0
o raio de empacotamento e =
1
1
0
0
;
1 0
1 1
0
2/2;
A densidade de centro e
(D4 ) =
1
= 0, 125;
8
79
1 1 0
0
0
1 1 0
0
0
M = 0
1 1 0
0
0
0
1 1 0
0
0
0
1 1
O raio de empacotamento e =
A densidade de centro e
2/2;
1
(D5 ) = = 0, 08839.
8 2
xi 0(mod2)}.
Temos que:
Uma matriz geradora e dada por
M =
0 1 1
0
0
0
0
0
0
0 1 1
0
0
0
0
;
0
0
0 1 1
0
0
0
0
0
0
0 1 1
0
0
0
0
0
0
0 1 1
0
O raio de empacotamento e =
2/2;
1
16
= 0, 06250;
80
M =
O raio de empacotamento e =
2/2;
8 3
= 0, 07217
M =
0
0
1
0
0
0
0
0
0
0
1
0
0
0
;
0
0 1/2 1/2 1/2 0 1/2
81
O raio de empacotamento e =
2/2;
1
16
= 0, 06250.
3 = A3
= D3 ,
2
= A2 ,
4 = D4 ,
5
= D5 ,
7
= E7 ,
6
= E6 ,
8
= E8 .
Captulo 4
Reticulados de dimensoes 2 e 3 via polinomios
Neste captulo apresentamos construcoes de reticulados de dimesoes 2 e 3 a partir de polinomios
irredutveis no corpo dos n
umeros racionais. Deste modo, iremos obter versoes rotacionadas dos
reticulados A2 e D3 , denidos anteriormente, utilizando polinomios de grau 2 e 3 irredutveis em
Q, respectivamente. Na Secao (4.1) apresentamos uma construcao de reticulados de dimensao
2 via polinomios de grau 2 com razes reais e, na Secao (4.2), via polinomios de grau 2 com
razes complexas conjugadas. Na Secao (4.3) apresentamos uma construcao de reticulados de
dimensao 3 via polinomios de grau 3 com razes reais. Em ambos os casos para dimensao 2
e, para a dimensao 3 obtemos exemplos de reticulados com densidade de centro otima para
dimensoes 2 e 3, respectivamente.
.
(4.1.1)
83
2
2
=
.
Vol(f )
|det(M )|
a
e =
2
Logo,
2
2
a +
a
| det(M )| = det
=
2
2
a2 2a + a2 + 2a +
=
4
4
4a
=
= | a | = |a| ,
4
onde = a2 4b > 0, a, b Z. O que prova a proposicao.
Exemplo 4.1.1 Sejam f (x) = x2 + 3x + 1 um polinomio de grau 2 com razes reais e .
Temos que: = 32 4.1 = 5 > 0. Assim, se f e o reticulado com base {(, ), (, )} e
matriz geradora M , segue pela Proposicao (4.1.1) que
| det(M )| = |a| = 3 5.
Pela Observacao (3.3.2), vimos que o maior raio de empacotamento de um reticulado
e =
min
,
2
empacotamento maximo devemos encontrar um vetor de f cuja norma seja mnima. A seguir,
84
veremos uma expressao para o calculo da norma de um vetor de f . Iniciamos com um resultado
mais geral.
Proposi
c
ao 4.1.2 ([26]) Se f e um reticulado de dimensao n gerado pela base {v1 , . . . , vn },
f (x) = xn +an1 xn1 +. . .+a1 x+a0 , com ai Z e v f , tal que v = z1 v1 +. . .+zn vn , zi Q,
ent
ao,
|v| =
2
2an2 )
(a2n1
zi2 + 2
i=1
T r(i j )zi zj ,
1i<jn
onde i , i = 1, . . . , n s
ao as razes de f .
Demonstra
c
ao: Temos que
|v|2 = v.v =
zi vi
i=1
n
zj vj
j=1
vi vi zi2 + 2
i=1
vi vj zi zj .
1i<jn
i j
1i<jn
= a2n1 2an2 .
Logo, a primeira parcela da Equacao (4.1.2) pode ser reescrita da seguinte forma:
n
vi vi zi2
(a2n1
i=1
2an2 )
zi2 .
i=1
i=1
vi vj = T rK/Q (1 k (1 )) Z.
85
(4.1.2)
Da,
T r(i j ) =
l (i j ) =
l=1
n
l=1
l (i (1 ))l (j (1 )) =
l=1
l (i (1 )j (1 ))
i (l )j (l ) =
l=1
i (l (1 ))j (l (1 ))
l=1
i1 i (l )i1 j (l )
l=1
l k (l ) = T r(1 k (1 )).
l=1
Portanto,
|v| =
2
(a2n1
2an2 )
zi2 + 2
i=1
T r(i j )zi zj ,
1i<jn
7
2
e portanto,
( 27 )2
2
7
=
=
(f ) =
= 0, 143.
|det(M )|
3 5
12 5
O resultado que veremos a seguir nos da uma condicao sobre o polinomio f para que o
reticulado f tenha densidade de centro otima para dimensao 2.
Teorema 4.1.1 ([26]) Sejam f (x) = x2 + ax + b Z[x] com razes reais e , f o reticulado
ao
de dimens
ao 2 gerado pela base {v1 , v2 }, onde v1 = (, ) e v2 = (, ). Se f satisfaz a condic
a2
6
= b, ent
ao o reticulado f possui densidade de centro otima.
Demonstra
c
ao: Seja f (x) = x2 + ax + b, a, b Z tal que
a2
6
= b e seja v = z1 v1 + z2 v2 , com
4b
.
2
(4.1.3)
(4.1.4)
Por, (4.1.3) e (4.1.4) segue que a densidade de centro de f sera dada por
(f ) =
4b 2
)
b
1
2
= =
= 0, 28868,
2 3b
2 3b
2 3
24
.
2
=
Temos ainda que
| det(M )| = |a| a2 4b = 6 12 = 12 3.
87
Portanto,
( 224 )
2
24
1
(f ) =
= = = ,
| det(M )|
12 3
48 3
2 3
que e a densidade
otima para dimensao 2.
Exemplo 4.1.4 Sejam f (x) = x2 + 12x + 24, , R as razes de f e v = z1 v1 + z2 v2 f ,
v1 = (, ) e v2 = (, ). Temos que: |v|2 = 144(z1 2 + z2 2 ) 48(z1 z2 )2 assume valor mnimo
48, logo
48
.
2
=
Temos ainda que,
| det(M )| = |a| a2 4b = 12 12 = 24 3.
Com isso
( 48 )
2
12
1
= 2 = = ,
(f ) =
| det(M )|
12 3
2 3
2 3
que e a densidade
otima para dimensao 2.
Observac
ao 4.1.1 Observe que atraves do Teorema (4.1.1) temos uma famliade reticulados
de dimens
ao 2 com densidade de centro otima.
2
2
=
,
Vol(f )
|det(M )|
88
(4.2.5)
a
, onde = a2 4b < 0.
det(M ) =
2
Demonstra
c
ao:
Temos que:
Assim, =
a +
a
1 =
e 2 =
.
2
2
a
2
e=
.
2
Logo,
M=
Entao,
=
a
2
a
2
2
2
.
a
a a
+
=
,
det(M ) =
4
4
2
11
a
=
.
det(M ) =
2
2
Vejamos agora um resultado que nos da uma expressao para o calculo da norma de um
vetor de f .
Proposi
c
ao 4.2.2 ([26]) Se f (x) = x2 + ax + b Z[x] com razes complexas conjugadas
i, , R, = 0, f e o reticulado de dimensao 2 gerado pela base {v1 , v2 }, onde
v1 = (, ) e v2 = (, ), e v f , tal que v = z1 v1 + z2 v2 , com z1 , z2 Q, entao,
|v|2 =
a2 2
4b a2
(z1 + z2 2 ) +
(z1 z2 )2 .
4
4
89
Demonstra
c
ao:
2
=
(z1 + z2 ) +
(z1 z2 )2
2
2
a2
4b a2
2
(z1 + z2 ) +
(z1 z2 )2 ,
=
4
4
como queramos mostrar.
Exemplo 4.2.2 Nas condic
oes do Exemplo (4.2.1), seja v = z1 v1 +z2 v2 f . Pela Proposic
ao
(4.2.2) segue que
|v|2 =
(z1 2 + z2 2 ) + 11(z1 z2 )2
4
1
2
* 1 +2
1
2
= 2 = .
(f ) =
| det(M )|
2 11
211
a2 2
4b a2
2
(z1 + z2 ) +
(z1 z2 )2
=
4
4
b 2
3b
2
(z1 + z2 ) + (z1 z2 )2 .
=
4
4
Observe que esta forma quadratica assume valor mnimo b quando z1 = 1 e z2 = 0. Logo,
b
min
=
.
=
2
2
90
(4.2.6)
| det(M )| =
= b 3b = b 3.
2
(4.2.7)
Por, (4.2.6) e (4.2.7) segue que a densidade de centro de f sera dada por
( 2b )2
2
b
1
(f ) =
=
= =
= 0, 28868,
| det(M )|
b 3
2b 3
2 3
que e a mesma densidade de centro do reticulado 2 . Portanto, f possui densidade de centro
otima para dimensao 2.
Exemplo 4.2.3 Sejam f (x) = x2 + x + 1, i C as razes de f e v = z1 v1 + z2 v2 f ,
onde v1 = (, ) e v2 = (, ). Temos que: |v|2 = 14 (z1 2 + z2 2 ) + 34 (z1 z2 )2 , que assume o
valor mnimo 1, quando z1 = 1 e z2 = 0. Logo
1
= .
2
Temos ainda que
,
a (a2 4b) 3
.
| det(M )| =
=
2
2
Portanto,
=
(f ) =
| det(M )|
1
2
3
2
1
=
= 0, 28868,
2 3
que e a densidade
otima para dimensao 2.
2a 9ab + 27c
3
.
a 3b > 0 e ( a2 3b) >
2
2
91
Demonstra
c
ao:
reais e que sua derivada se anule em dois pontos distintos e que a funcao f aplicada nestes
pontos tenham sinais distintos. Assim, se f (x) = x3 + ax2 + bx + c, com a, b, c Z temos que
sua derivada e dada por f (x) = 3x2 + 2ax + b cujas razes sao
x1 =
a2 3b
a + a2 3b
ex2 =
.
3
3
3
2
a a2 3b
a a2 3b
a a2 3b
=
+c
+a
+b
3
3
3
1
=
(2a3 + 2( a2 3b)3 9ab + 27c)
27
e, portanto, f (x1 ) > 0 se, e somente se,
1
(2a3 + 2( a2 3b)3 9ab + 27c)
27
2a 9ab + 27c
3
,
a 3b > 0 e ( a2 3b) >
2
2
como queramos.
Sejam , , R as razes de f (x) = x3 + ax2 + bx + c Z[x] que satisfazem as condicoes
da Proposicao (4.3.1) e
v1 = (, , )
v2 = (, , ) ,
v = (, , )
3
92
M =
(4.3.8)
3
,
|det(M )|
+ + = a
+ + = b ,
= c
assim,
( + + )2 = 2 + 2 + 2 + 2( + + ) = a2 ,
logo,
2 + 2 + 2 = a2 2b.
(4.3.9)
= 3 + 3 + 3 + ( + ) + ( + ) + ( + )
= 3 + 3 + 3 ( + a) ( + a) ( + a)
= 3 + 3 + 3 3 a( + + )
= a(a2 2b).
Logo,
3 + 3 + 3 3 = a(a2 2b) + ab = a3 + 3ab.
Portanto, det(M ) = a(a2 3b) o que prova a proposicao.
Exemplo 4.3.1 Sejam f (x) = x3 9x2 + 23x 15 um polinomio de grau 3 com razes reais
ao
, , . Se f e o reticulado com base {v1 , v2 , v3 } e matriz geradora M , segue pela Proposic
(4.3.2) que
det(M ) = a(a2 3b) = 108.
Agora, veremos um resultado que nos dara uma expressao para o calculo da norma de um
vetor de f .
Proposi
c
ao 4.3.3 ([26]) Se f (x) = x3 + ax2 + bx + c Z[x] com razes reais , , , f e
o reticulado de dimens
ao 3 gerado pela base {v1 , v2 , v3 }, onde v1 = (, , ), v2 = (, , ),
v3 = (, , ), e v f , tal que v = z1 v1 + z2 v2 + z3 v3 , com z1 , z2 , z3 Q. Entao,
|v|2 = (a2 2b)(z12 + z22 + z32 ) + 2b(z1 z2 + z1 z3 + z2 z3 ).
Demonstra
c
ao: Temos que:
v = z1 v1 + z2 v2 + z3 v3
= z1 (, , ) + z2 (, , ) + z3 (, , )
= (z1 + z2 + z3 , z1 + z2 + z3 , z1 + z2 + z3 ).
Entao,
|v|2 = (z1 + z2 + z3 )2 + (z1 + z2 + z3 )2 + (z1 + z2 + z3 )2
= (2 + 2 + 2 )(z12 + z22 + z32 ) + 2( + + )(z1 z2 + z1 z3 + z2 z3 )
= (a2 2b)(z12 + z22 + z32 ) + 2b(z1 z2 + z1 z3 + z2 z3 ),
como queramos mostrar.
Exemplo 4.3.2 Nas condic
oes do Exemplo (4.3.1), seja v = z1 v1 + z2 v2 + z3 v3 f . Pela
94
Proposic
ao (4.3.3) segue que
|v|2 = 35(z12 + z22 + z32 ) + 46(z1 z2 + z1 z3 + z2 z3 )
e, este vetor assume o valor mnimo 24 quando tomamos z1 = 1 , z2 = 1 e z3 = 0. Logo,
=
24
2
e portanto,
6
( 6)3
3
=
=
.
(f ) =
| det(M )|
108
18
Teorema 4.3.1 ([26]) Sejam f (x) = x3 + ax2 + bx + c Z[x] com razes reais , , , f
o reticulado de dimens
ao 3 gerado pela base {v1 , v2 , v3 }, onde v1 = (, , ), v2 = (, , ),
v3 = (, , ). Se f satisfaz
a 2
2
ent
ao o reticulado f possui densidade de centro otima.
Demonstra
c
ao: Pela Proposicao (4.3.3) temos que
|v|2 = (a2 2b)(z12 + z22 + z32 ) + 2b(z1 z2 + z1 z3 + z2 z3 )
= 2b(z12 + z22 + z32 + z1 z2 + z1 z3 + z2 z3 ).
Observe que esta forma quadratica assume valor mnimo 2b quando z1 = 1 e z2 = z3 = 0. Logo,
min
=
=
2
2b
.
2
(4.3.10)
(4.3.11)
Por, (4.3.10) e (4.3.11) segue que a densidade de centro de f sera dada por
( 22b )3
1
3
(f ) =
=
=
= 0, 17678,
| det(M )|
|ab|
4 2
que e a mesma densidade de centro do reticulado 3 . Portanto, f possui densidade de centro
otima para dimensao 3.
Exemplo 4.3.3 Sejam f (x) = x3 6x2 + 9x 1 com razes reais , , , f um reticulado de
dimens
ao 3 gerado pela base {v1 , v2 , v3 }, onde v1 = (, , ), v2 = (, , ), v3 = (, , ), e
95
18
3 2
=
.
2
2
3 2
2
1
3
(f ) =
= 2 =
=
= 0, 17678,
| det(M )|
54
8
4 2
96
Captulo 5
Reticulados algebricos
No Captulo (3) apresentamos o conceito de reticulados e vimos que podemos classicar os
reticulados quanto a sua densidade de centro. Neste captulo, apresentamos a geracao de
reticulados no Rn a partir do metodo de Minkowski fazendo uso de ideais do anel dos inteiros
algebricos de um corpo de n
umeros. A partir do homomorsmo canonico (ou de Minkowski),
Bayer em [6], deniu outros homomorsmos que neste trabalho chamamos de pertubarcoes
do homomorsmo canonico. Na Secao (5.1) deniremos estes homomorsmos e veremos que
pode-se obter reticulados tanto a partir do homomorsmo canonico quanto a partir de suas
perturbacoes. Na Secao (5.2) apresentamos uma construcao de reticulados rotacionados de
dimensoes 2, 4, 6, 8 e 12 dos reticulados ja conhecidos A2 , D4 , E6 , E8 e K12 , vistos no Captulo
(3), a partir das perturbacoes do homomorsmo canonico. Este metodo e um aperfeicoamento
do metodo utilizado por Ferrari em [11], quando obteve reticulados rotacionados de dimensoes
2, 4, 6 e 8 apartir do homomorsmo canonico.
Uma das aplicacoes deste homomorsmo e a geracao de reticulados no Rn , onde os principais parametros podem ser formalmente obtidos via teoria algebrica dos n
umeros, atraves de
propriedades herdadas de K.
Nos resultados a seguir veremos como obter reticulados utilizando o homomorsmo canonico
e tambem uma formula para calcularmos a densidade de centro destes reticulados.
Teorema 5.1.1 ([24]) Seja K um corpo de n
umeros de grau n. Se M K e um Z-m
odulo
livre de posto n e se (xj )1jn e uma Z-base de M, entao K (M ) e um reticulado no Rn , com
volume dado por:
Vol(K (M )) = 2r2 | det (j (xk ))|,
1j, kn
98
onde r2 e o n
umero de pares de monomorsmos imaginarios.
Demonstra
c
ao:
(5.1.1)
1 (x2 )
1 (x3 )
1 (x1 )
D = (2 (x1 )) (2 (x2 )) (2 (x3 ))
(2 (x1 )) (2 (x2 )) (2 (x3 ))
(5.1.2)
1
2i
1
2
que multiplica
1 (x2 )
1 (x3 )
1 (x1 )
1
1
D=
(x ) + 2 (x1 ) 2 (x2 ) + 2 (x2 ) 2 (x3 ) + 2 (x3 )
2
2i 2 1
2 (x1 ) 2 (x1 ) 2 (x2 ) 2 (x2 ) 2 (x3 ) 2 (x3 )
.
99
1 (x1 ) 1 (x2 ) 1 (x3 )
1
1
2 2 (x1 ) 2 (x2 ) 2 (x3 )
D=
2
2i
2 (x1 ) 2 (x2 ) 2 (x3 )
.
= 1
det (j (xk )).
2i 1j,k3
Como {x1 , x2 , x3 } e uma base de K sobre Q, entao pela Proposicao (1.3.13) segue que det (j (xk )) =
1j, k3
0, e portanto D = 0. Assim, os vetores {K (x1 ), K (x2 ), K (x3 )} do R3 sao linearmente independentes e geram K (M ). Como por hipotese, {x1 , x2 , x3 } formam uma Z-base de M entao
3
dado m M , temos que m =
aj xj , aj Z. E, da
j=1
K (m) =
aj K (xj ), aj Z.
j=1
3
Logo, K (M ) = {
aj K (xj ) : aj Z} e um reticulado do R3 , com volume dado por:
j=1
o que prova o resultado para n = 3. Veremos agora que o resultado e valido para todo n. Para
cada j xo, as coordenadas de K (xj ) com respeito a base canonica do Rn sao dadas por
K (xj ) = (1 (xj ), . . . , r1 (xj ), r1 +1 (xj ), r1 +1 (xj ), . . . , r1 +r2 (xj ), r1 +r2 (xj )).
(5.1.3)
Agora calculemos o determinante D da matriz que tem a j-esima coluna dada pela Equacao
(5.1.3) fazendo uso das formulas dadas em (5.1.2) e das transformacoes elementares no determinante, a saber, pela adicao da (r1 + 2l)-esima linha a sua anterior e em seguida pela subtracao
da (r1 + 2l 1)-esima linha da sua posterior, para l = 1, . . . , r2 . E, como r1 +r2 +j = r1 +j , j =
1, , r2 , temos que
100
D =
=
1 (x1 )
. . . 1 (xj )
. . . 1 (xn )
2 (x1 )
..
.
...
..
.
...
..
.
r1 (x1 )
. . . r1 (xj )
. . . r1 (xn )
(r1 +1 (x1 ))
. . . (r1 +1 (xj ))
. . . (r1 +1 (xn ))
(r1 +1 (x1 ))
..
.
...
..
.
2 (xj )
..
.
(r1 +1 (xj ))
..
.
...
..
.
2 (xn )
..
.
(r1 +1 (xn ))
..
.
2 (xn )
..
.
r1 (xn )
1
[
(x
)
+
(x
)]
r
+1
n
r
+1
n
1
1
2
1
[
(x ) r1 +1 (xn )]
2i r1 +1 n
..
.
1
[
(x
)
+
(x
)]
n
r1 +r2
n
2 r1 +r2
1
[
(xn ) r1 +r2 (xn )]
2i r1 +r2
1 (x1 )
. . . 1 (xj )
. . . 1 (xn )
2 (x1 )
..
.
. . . 2 (xj )
. . . ..
.
...
...
r1 (x1 )
. . . r1 (xj )
...
1
[
(x ) + r1 +1 (x1 )]
2 r1 +1 1
1
[
(x ) r1 +1 (x1 )]
2i r1 +1 1
...
1
[
(x1 ) + r1 +r2 (x1 )]
2 r1 +r2
1
[
(x1 ) r1 +r2 (x1 )]
2i r1 +r2
...
..
.
r2
1
=
2i
1
[
(x ) + r1 +1 (xj )]
2 r1 +1 j
1
[
(x ) r1 +1 (xj )]
2i r1 +1 j
...
1
[
(xj ) + r1 +r2 (xj )]
2 r1 +r2
1
[
(xj ) r1 +r2 (xj )]
2i r1 +r2
...
...
. . . ..
.
...
...
...
...
1 (x1 )
. . . 1 (xj )
. . . 1 (xn )
2 (x1 )
..
.
. . . 2 (xj )
. . . ..
.
. . . 2 (xn )
. . . ..
.
r1 (x1 )
. . . r1 (xj )
. . . r1 (xn )
r1 +1 (x1 )
. . . r1 +1 (xj )
. . . r1 +1 (xn )
r1 +1 (x1 )
..
.
. . . r1 +1 (xj )
. . . ..
.
. . . r1 +1 (xn )
. . . ..
.
101
(x )
1 1
2 (x1 )
..
.
r2
1
r1 (x1 )
=
r1 +1 (x1 )
2i
r1 +2 (x1 )
..
.
r +2r (x1 )
1
2
...
1 (xj )
...
...
..
.
2 (xj )
..
.
...
..
.
...
r1 (xj )
...
...
r1 +1 (xj )
...
...
..
.
r1 +2 (xj )
..
.
...
..
.
. . . r1 +2r2 (xj ) . . .
2 (xn )
..
.
r1 (xn )
r1 +1 (xn )
r1 +2 (xn )
..
.
r1 +2r2 (xn )
1 (xn )
com aj Z, ou seja, K (M ) =
2r2 | det1j, kn (j (xk ))|.
( n
j=1
j=1
Corol
ario 5.1.1 ([24]) Seja K um corpo de n
umeros de grau n. Se DK e o discriminante de
ao
K, OK e o anel dos inteiros de K e a e um ideal nao nulo de OK , entao K (OK ) e K (a) s
reticulados, com volumes dados respectivamente por:
1
Da, pelo Teorema (5.1.1), segue que K (a) e K (OK ) sao reticulados do Rn e, dada uma Z-base
{x1 , , xn } de OK , o seu volume sera
1
102
K (OK ) = ([1 (a + b(
))], [1 (a + b(
2
3b
3b
b
b
= ([a + +
i], [a + +
i])
2
2
2
2
3b
b
).
= (a + ,
2 2
1+
3
))])
2
3
),
2
com regi
ao fundamental descrita na gura abaixo
1 (1) 1 ( 1+ 2 3 ) 1
1
1
=
det
Vol(K (OK )) = det
2
1
2 (1) 2 ( 1+ 2 3 ) 2
1+ 3
2
1 3
2
1
3.
=
2
e totalmente imagin
ario, segue que r1 = 0 e r2 = 1. Seja a = 2 i um ideal principal de Z[i].
Assim, dado x a, temos que x = (2 i)(a + bi) = (2a + b) + (2b a)i, onde a, b Z. Logo,
a imagem do homomorsmo can
onico K (a) R2 e dado por
K (a) = ([1 ((2a + b) + (2b a)i)], [1 ((2a + b) + (2b a)i)])
= (2a + b, 2b a).
Portanto, K (a) e um reticulado de posto 2 do R2 , gerado pelos vetores v1 = (2, 1) e v2 = (1, 2),
com regiao fundamental descrita na gura abaixo
|DK | 2 N (a)
1
min{|K (x)|, x a, x = 0}.
2
104
(5.1.4)
Nosso objetivo nos resultados que veremos a seguir e melhorar a expressao (5.1.4).
Proposi
c
ao 5.1.1 ([8]) Se K e um corpo de n
umeros de grau n e x K, entao
|K (x)|2 = cK .T r(xx),
onde
Demonstra
c
ao: Sejam 1 , , n os n monomorsmos de K de tal forma que r1 + 2r2 = n,
onde r1 sao os monormorsmos reais e r2 a metade dos monomorsmos imaginarios. Assim,
para x K temos pelo homomorsmo canonico que
K (x) = (1 (x), , r1 (x), r1 +1 (x), , r1 +r2 (x)).
Como K (x) Rn , segue que
|K (x)|2 = (1 (x))2 + + (r1 (x))2 + (r1 +1 (x))2 + + (r1 +r2 (x))2 .
Observe que
2
1
1
1
1
j (x) + j (x) +
j (x) j (x)
=
2
2
2i
2i
= j (x)j (x)
= j (xx),
para r1 + 1 j r1 + r2 . Assim,
|K (x)|2 = (1 (x))2 + + (r1 (x))2 + r1 +1 (xx) + + r1 +r2 (xx).
Se r1 = 0, ou seja, K for totalmente imaginario, entao
|K (x)|2 = 1 (xx) + + r2 (xx) = r2 +1 (xx) + + r2 +r2 (xx)
e, uma vez que e a conjugacao complexa, temos que r2 +j (xx) = ( j )(xx) = j (xx), para
j = 1, , r2 . Logo,
2|K (x)| = 1 (xx) + + r2 (xx) + r2 +1 (xx) + + r2 +r2 (xx) =
2
n
i=1
105
i (xx)
1
T r(xx). Agora, se r2 = 0,
2
i (xx) = T r(xx),
i=1
1
min{|K (x)|, x a, x = 0}
2
,
1
min{ cK T r(xx), x a, x = 0},
2
Na Proposicao (5.1.2) veremos que a densidade de centro do reticulado K (a) sera a mesma
tanto se K for totalmente real ou totalmente imaginario.
Proposi
c
ao 5.1.2 ([11]) Seja K um corpo de n
umeros totalmente real ou totalmente imaginario. Se OK e o anel dos inteiros de K, DK o discriminante de K e a e um ideal nao nulo
ao a densidade de centro do reticulado K (a) e dada por:
de OK , ent
n
t2
,
(K (a)) =
1
2n |DK | 2 N (a)
1
106
( 12 t)n
2n ( t)n
t2
=
=
.
(K (a)) =
1
1
1
|DK | 2 N (a)
|DK | 2 N (a)
2n |DK | 2 N (a)
1
Agora, suponhamos que K seja um corpo totalmente imaginario. Pela Observacao (5.1.2) temos
que
1
(K (a)) = min{
2
1
1
T r(xx), x a, x = 0} =
2
2
1
t.
2
Alem disso, como r1 = 0 e = r1 + 2r2 segue que r2 = n2 . Assim, pela Equacao (5.1.4) temos que
n
22
1 n
1
1
t
2
2
2 2 ( 12 )n ( 2t ) 2
( 12 )n t 2
t2
=
=
=
.
(K (a)) =
1
1
1
1
|DK | 2 N (a)
|DK | 2 N (a)
|DK | 2 N (a)
2n |DK | 2 N (a)
1
Portanto, se K for um corpo totalmente real ou totalmente imaginario temos que a densidade
de centro do reticulado K (a) sera dada por
n
t2
,
(K (a)) =
1
2n |DK | 2 N (a)
1
x = a + b 17 = a + b 17i
e
*1+
1
= 2 = 0, 06.
68
2 17
4 17
107
5.1.2 Perturbacao
Sejam K um corpo de n
umeros de grau n e 1 , , n os homomorsmos de K em C, ordenados
de modo que i e real para i = 1, , r1 e r1 +r2 +j = r1 +j para j = 1, , r2 , onde r2
representa a metade dos homomorsmos imaginarios e r1 + 2r2 = n. Nesta secao apresentamos
a perturbacao do homomorsmo canonico. Temos que esta perturbacao tambem ira gerar
reticulados no Rn e, partir dela, iremos obter reticulados rotacionados de dimensoes 2, 4, 6, 8
e 12.
Deni
c
ao 5.1.2 Sejam K um corpo de n
umeros de grau n e 1 , , n os monomorsmos
de K em C. Um elemento K tal que i () R+ , para todo i = 1, , n, e chamado de
totalmente positivo.
Deni
c
ao 5.1.3 Seja K totalmente positivo. A perturbac
ao : K Rn do homomorsmo can
onico (ou de Minkowski) e denida como
onde
b =
n
2
e, N () e a norma do elemento .
Demonstra
c
ao: Para cada j xado, as coordenadas de (xj ) com respeito a base canonica
do Rn sao dadas por
(x) = ( i 1 (x), . . . , r1 r1 (x), . . . , ( r1 +r2 r1 +r2 (x)), ( r1 +r2 r1 +r2 (x))), (5.1.5)
onde i = i () > 0, i () R, para todo i = 1, 2, . . . , r1 + r2 e K. O determinante D da
matriz cuja j-esima coluna dada pela Equacao (5.1.5) e dado por:
108
D=
...
1 1 (xj )
..
. . ..
. .
.
r1 r1 (x1 )
...
r1 r1 (xj )
( r1 +1 r1 +1 (x1 )) . . . ( r1 +1 r1 +1 (xj ))
( r1 +1 r1 +1 (x1 )) . . . ( r1 +1 r1 +1 (xj ))
..
. . ..
. .
.
.
...
1 1 (xn )
. . ..
. .
...
r1 r1 (xn )
. . . ( r1 +1 r1 +1 (xn ))
. . . ( r1 +1 r1 +1 (xn ))
. . ..
. .
...
1 1 (xn )
..
. . . ..
.
.
r1 r1 (x1 )
...
r1 r1 (xn )
1
1
r1 +1 [r1 +1 (x1 ) + r1 +1 (x1 )]
. . . 2 r1 +1 [r1 +1 (xn ) + r1 +1 (xn )]
2
1
r1 +1 [r1 +1 (x1 ) r1 +1 (x1 )]
. . . 2i1 r1 +1 [r1 +1 (xn ) r1 +1 (xn )]
2i
..
. . . ..
.
.
1
r1 +r2 [r1 +r2 (x1 ) + r1 +r2 (x1 )] . . . 12 r1 +r2 [r1 +r2 (xn ) + r1 +r2 (xn )]
2
1
r1 +r2 [r1 +r2 (x1 ) r1 +r2 (x1 )] . . . 2i1 r1 +r2 [r1 +r2 (xn ) r1 +r2 (xn )]
2i
1 1 (x1 )
r2 r2
1
1
=
1 r1 r1 +1 r1 +r2 D1 ,
2
2i
onde
D1 =
2 (xn )
..
.
r1 (xn )
r1 +1 (xn ) + r1 +1 (x1 ) .
r1 +1 (xn ) r1 +1 (xn )
..
.
r1 +r2 (xn ) + r1 +r2 (x1 )
r1 +r2 (xn ) r1 +r2 (xn )
1 (x1 )
. . . 1 (xj )
. . . 1 (xn )
2 (x1 )
..
.
. . . 2 (xj )
. . . ..
.
...
...
r1 (x1 )
. . . r1 (xj )
...
r1 +1 (x1 ) + r1 +1 (x1 )
. . . r1 +1 (xj ) + r1 +1 (x1 )
...
r1 +1 (x1 ) r1 +1 (x1 )
..
.
. . . r1 +1 (xj ) r1 +1 (xj )
. . . ..
.
...
...
109
Por propriedades elementares de determinantes, a saber, adicao da (r1 + 2l)-esima linha `a sua
anterior e em seguida colocando 2 evidencia que multiplica a (r1 + 2l 1)-esima linha e, pela
subtracao da (r1 + 2l 1)-esima linha a` sua posterior, onde l = 1, , r2 , temos
r2
1
1 r1 r1 +1 r1 +r2
D=
2i
1 (x1 )
. . . 1 (xj )
. . . 1 (xn )
2 (x1 )
..
.
...
..
.
...
..
.
r1 (x1 )
. . . r1 (xj )
. . . r1 (xn )
r1 +1 (x1 )
. . . r1 +1 (xj )
. . . r1 +1 (xn )
r1 +1 (x1 )
..
.
...
..
.
...
..
.
2 (xj )
..
.
r1 +1 (xj )
..
.
2 (xn )
..
.
r1 +1 (xn )
..
.
.
r1
1
1 r1 r1 +1 r1 +r2
D=
r1 +1 (x1 )
2i
r1 +2 (x1 )
..
.
r +2r (x1 )
1
2
...
1 (xj )
...
...
...
2 (xj )
..
.
...
...
...
r1 (xj )
...
...
r1 +1 (xj )
...
...
...
r1 +2 (xj )
..
.
...
...
. . . r1 +2r2 (xj ) . . .
= (2i)r2 1 r1 r1 +1 r1 +r2
2 (xn )
..
.
r1 (xn )
r1 +1 (xn )
r1 +2 (xn )
..
.
r1 +2r2 (xn )
1 (xn )
1j, kn
Como {x1 , , xn } e uma base de K sobre Q, segue pela Proposicao (1.3.13) que det(j (xk )) =
0, e portanto, D = 0. Assim, os vetores (xj ) do Rn sao linearmente independentes e geram
n
n
(M ) e, para cada m M temos que m =
aj xj , com aj Z. Assim, (m) =
aj (xj ),
com aj Z, ou seja, (M ) =
( n
j=1
aj (xj ); aj Z
j=1
e um reticulado e,
j=1
110
Vol( (M )) =
i=1
1j, kn
1
2
2. Se r1 = 0 entao
Vol( (M )) =
r2
i=1
Vol( (M )) = 2
n
2
Da, pelo Teorema (5.1.2), segue que (a) e (OK ) sao reticulados do Rn e, dada uma Z-base
{x1 , , xn } de OK , o seu volume sera
1
(( (a)))n
1
b |DK | 2 N (a)
(5.1.6)
1
min{| (x)|, x a, x = 0}.
2
Temos como meta melhorar a expressao (5.1.6), para isto, faremos uso da Proposicao
(5.1.3) e da Observacao (5.1.4) que veremos a seguir.
Proposi
c
ao 5.1.3 ([11]) Se K e um corpo de n
umeros de grau n, x K e K totalmente
positivo, ent
ao
| (x)|2 = c T r(xx),
onde
i (xx)
i=1
1
min{| (x)|, x a, x = 0}
2
,
1
min{ c T r(xx), x a, x = 0},
2
1
T r(xx). Agora, se
2
Na Proposicao (5.1.4) veremos que a densidade de centro do reticulado (a) sera a mesma
se K for totalmente real ou totalmente imaginario.
Proposi
c
ao 5.1.4 ([11]) Sejam K um corpo de n
umeros totalmente real ou totalmente imaginario e K totalmente positivo. Se OK e o anel dos inteiros de K, DK o discriminante de
K e a e um ideal n
ao nulo de OK , entao a densidade de centro do reticulado (a) e dada por:
n
t2
,
( (a)) =
1
2n (N ()|DK |) 2 N (a)
1
(5.1.6) temos
( 12 t )n
2n ( t )n
=
1
1
1
(N ()) 2 |DK | 2 N (a)
(N ()|DK |) 2 N (a)
n
t2
1
.
=
1
2n (N ()|DK |) 2 N (a)
( (a)) =
Agora, suponhamos que K seja um corpo totalmente imaginario. Pela Observacao (5.1.4) temos
que
1
( (a)) = min{
2
Alem disso, b = 2
n
2
1
1
T r(xx), x a, x = 0} =
2
2
1
t.
2
1
1
2
1
t
2
n
n
( 12 )n ( 12 ) 2 t2
= n
1
1
1
(N ()) 2 |DK | 2 N (a)
2 2 (N ()|DK |) 2 N (a)
n
n
( 12 )n t2
t2
1
=
.
=
1
1
(N ()|DK |) 2 N (a)
2n (N ()|DK |) 2 N (a)
( (a)) =
n
2
114
n
.
2
Assim, pela
Portanto, se K for um corpo totalmente real ou totalmente imaginario temos que a densidade
de centro do reticulado (a) sera dada por
n
t2
,
( (a)) =
1
2n (N ()|DK |) 2 N (a)
1
5.1.3 Perturbacao 2
Nesta secao apresentamos a perturbacao 2 do homomorsmo canonico. Obteremos reticulados no Rn a partir desta perturbacao e tambem iremos utiliza-la no Captulo (6) para denirmos
um reticulado ideal e para mostrar alguns resultados.
Deni
c
ao 5.1.4 Seja K totalmente positivo. A perturbac
ao 2 :
K Rn do
homomorsmo can
onico (ou de Minkowski) e denida como
,
,
N () e a norma do elemento .
Demonstra
c
ao: Para cada j xado, as coordenadas de 2 (xj ) com respeito a base canonica
do Rn sao dadas por
,
,
2 (x) = ( i 1 (x), . . . , r1 r1 (x), . . . , ( 2r1 +r2 r1 +r2 (x)), ( 2r1 +r2 r1 +r2 (x))),
(5.1.7)
onde i = i () > 0, i () R, para todo i = 1, 2, . . . , r1 + r2 e K. O determinante D da
matriz cuja j-esima coluna dada pela Equacao (5.1.7) e dado por:
115
D=
...
1 1 (xj )
..
. . ..
. .
.
r1 r1 (x1 )
...
r1 r1 (xj )
...
1 1 (xn )
. . ..
. .
...
r1 r1 (xn )
. . . ( 2r1 +1 r1 +1 (xn ))
. . . (2 r1 +1 r1 +1 (xn ))
. . ..
. .
.
...
1 1 (xn )
..
. . . ..
.
.
r1 r1 (x1 )
...
r1 r1 (xn )
1
1
2r1 +1 [r1 +1 (x1 ) + r1 +1 (x1 )]
. . . 2 r1 +1 [r1 +1 (xn ) + r1 +1 (xn )]
2
1
2r1 +1 [r1 +1 (x1 ) r1 +1 (x1 )]
. . . 2i1 2r1 +1 [r1 +1 (xn ) r1 +1 (xn )]
2i
..
. . . ..
.
.
1
2r1 +r2 [r1 +r2 (x1 ) + r1 +r2 (x1 )] . . . 12 2r1 +r2 [r1 +r2 (xn ) + r1 +r2 (xn )]
2
1
1
2
[
(x
)
(x
)]
.
.
.
2r1 +r2 [r1 +r2 (xn ) r1 +r2 (xn )]
r
+r
r
+r
1
r
+r
1
1
2
1
2
1
2
2i
2i
1 1 (x1 )
r2 r2
1
1
=
1 r1 2r1 +1 2r1 +r2 D1 ,
2
2i
onde
D1 =
2 (xn )
..
.
r1 (xn )
r1 +1 (xn ) + r1 +1 (x1 ) .
r1 +1 (xn ) r1 +1 (xn )
..
.
r1 +r2 (xn ) + r1 +r2 (x1 )
r1 +r2 (xn ) r1 +r2 (xn )
1 (x1 )
. . . 1 (xj )
. . . 1 (xn )
2 (x1 )
..
.
. . . 2 (xj )
. . . ..
.
...
...
r1 (x1 )
. . . r1 (xj )
...
r1 +1 (x1 ) + r1 +1 (x1 )
. . . r1 +1 (xj ) + r1 +1 (x1 )
...
r1 +1 (x1 ) r1 +1 (x1 )
..
.
. . . r1 +1 (xj ) r1 +1 (xj )
. . . ..
.
...
...
116
Por propriedades elementares de determinantes, a saber, adicao da (r1 + 2l)-esima linha `a sua
anterior e em seguida colocando 2 evidencia que multiplica a (r1 + 2l 1)-esima linha e, pela
subtracao da (r1 + 2l 1)-esima linha a` sua posterior, onde l = 1, , r2 , temos que
r2
1
1 (x1 )
. . . 1 (xj )
. . . 1 (xn )
2 (x1 )
..
.
...
..
.
...
..
.
r1 (x1 )
. . . r1 (xj )
. . . r1 (xn )
r1 +1 (x1 )
. . . r1 +1 (xj )
. . . r1 +1 (xn )
r1 +1 (x1 )
..
.
...
..
.
...
..
.
2 (xj )
..
.
r1 +1 (xj )
..
.
2 (xn )
..
.
r1 +1 (xn )
..
.
.
r1
1
1 r1 2r1 +1 2r1 +r2
D=
r1 +1 (x1 )
2i
r1 +2 (x1 )
..
.
r +2r (x1 )
1
2
...
1 (xj )
...
...
...
2 (xj )
..
.
...
...
...
r1 (xj )
...
...
r1 +1 (xj )
...
...
...
r1 +2 (xj )
..
.
...
...
. . . r1 +2r2 (xj ) . . .
2 (xn )
..
.
r1 (xn )
r1 +1 (xn )
r1 +2 (xn )
..
.
r1 +2r2 (xn )
1 (xn )
1j, kn
Como {x1 , , xn } e uma base de K sobre Q, segue pela Proposicao (1.3.13), que det(j (xk )) =
0, e portanto, D = 0. Assim, os vetores 2 (xj ) do Rn sao linearmente independentes e geram
n
2 (M ) e, para cada m M temos que m =
aj xj , com aj Z. Assim, 2 (m) =
n
j=1
( n j=1
)
aj 2 (xj ), com aj Z, ou seja, 2 (M ) =
aj 2 (xj ); aj Z e um reticulado e,
j=1
117
Vol(2 (M )) =
i=1
1j, kn
1
2
2. Se r1 = 0 entao
Vol(2 (M )) = 2
r2
r2
i=1
Da, pelo Teorema (5.1.3), segue que 2 (a) e 2 (OK ) sao reticulados do Rn e, dada uma
Z-base {x1 , , xn } de OK , o seu volume sera
1
118
que OK /a 2 (OK )/2 (a). Alem disso, como a regiao fundamental de 2 (a) e a uniao
disjunta de N (a) copias de uma regiao fundamental de 2 (OK ), segue que
1
((2 (a)))n
1
N ()|DK |) 2 N (a)
(5.1.8)
1
min{|2 (x)|, x a, x = 0}.
2
Temos como meta melhorar a Expressao (5.1.8), a partir da Proposicao (5.1.5) e da Observacao (5.1.6) que veremos a seguir..
Proposi
c
ao 5.1.5 ([11]) Se K e um corpo de n
umeros de grau n e K totalmente positivo,
ent
ao
|2 (x)|2 = T r(xx),
onde x K.
Demonstra
c
ao: Sejam 1 , , n os n monomorsmos de K de tal forma que r1 + 2r2 = n,
onde r1 sao os monormorsmos reais e r2 a metade dos monomorsmos imaginarios. Assim,
para x K temos pela perturbacao 2 do homomorsmo canonico que
,
,
2 (x) = ( 1 1 (x), , r1 r1 (x), 2r1 r1 +1 (x), , 2r1 +r2 r1 +r2 (x)).
Como 2 (x) Rn , segue que
,
,
|2 (x)|2 = ( 1 1 (x))2 + +( r1 r1 (x))2 +( 2r1 +1 r1 +1 (x))2 + +( 2r1 +r2 r1 +r2 (x))2 .
Observe que [(j (x))]2 + [(j (x))]2 = j (x)j (x) = j (xx) para r1 + 1 j r1 + r2 . Assim,
|2 (x)|2 = 1 (1 (x))2 + + r1 (r1 (x))2 + 2r1 +1 r1 +1 (xx) + + 2r1 +r2 r1 +r2 (xx).
119
i (xx)
i=1
1
min{|2 (x)|, x a, x = 0}
2
,
1
min{ T r(xx), x a, x = 0}.
2
120
1
T r(xx). Agora, se
2
Na Proposicao (5.1.6) veremos que a densidade de centro do reticulado (a) sera a mesma
se K for totalmente real ou totalmente imaginario.
Proposi
c
ao 5.1.6 ([11]) Sejam K um corpo de n
umeros totalmente real ou totalmente imaginario e K totalmente positivo. Se OK e o anel dos inteiros de K, DK o discriminante de
K e a e um ideal n
ao nulo de OK , entao a densidade de centro do reticulado 2 (a) e dada por:
n
2
t2
,
(2 (a)) =
1
2n (N ()|DK |) 2 N (a)
E, como t2
(5.1.8) temos
( 12 t2 )n
2n ( t2 )n
2
t2
=
=
,
(2 (a)) =
1
1
1
(N ()|DK |) 2 N (a)
(N ()|DK |) 2 N (a)
2n (N ()|DK |) 2 N (a)
1
Para isso, basta igualarmos a formula da densidade de centro do reticulado (a) e
2 3
que teremos novos reticulados com densidade de centro otima. Ja temos que n = 2 e DK = 3.
1
Assim, precisamos encontrar convenientes , a e t para que tenhamos ( (a)) = .
2 3
Na Tabela (5.1), apreentamos algumas combinacoes possveis de N (), N (a) e t que nos
darao o resultado desejado.
N (a) N () t
1
4
4
3
16
24
4
25
40
7
9
42
Tabela 5.1:
Temos que um ideal principal de OK e da forma a =< a0 + a1 6 >, assim a norma deste ideal
e dada pela seguinte expressao:
i=1,5
Alguns ideais de OK que satisfazem a norma N (a) sao dados na Tabela (5.2)
122
(5.2.9)
N (a)
a
1
OK , 6 OK , (1 6 )OK
3
(1 + 6 )OK , (2 6 )OK , (1 26 )OK
4
2OK , 26 OK , (2 26 )OK
7
(3 6 )OK , (3 26 )OK , (2 + 6 )OK , (1 + 26 )OK , (1 36 )OK
Tabela 5.2:
Como estamos trabalhando com a perturbacao do homomorsmo canonico, o elemento
tem que satisfazer as condicoes i () > 0, i () R. Mas, no corpo K = Q(6 ), temos que
estas condicoes irao ocorrer somente quando N. Assim, i () = , com i = 1, 5, e portanto,
N () =
i () = 2 .
i=1,5
2
3
4
5
N ()
4
9
16
25
Tabela 5.3:
Observac
ao 5.2.1 Os valores entre 1 e 7 que n
ao foram colocados na Tabela (5.1), n
ao satisfazem a express
ao da N (a) dada em (5.2.9) e, os valores de N () vistos na mesma tabela
foram tomados de forma arbrit
aria, pois como vimos qualquer n
umero natural poderia ter sido
tomado neste caso.
Utilizando os dados vistos nas Tabelas (5.1), (5.2) e (5.3), veremos na tabela a seguir,
algumas combinacoes de e a para que tenhamos t desejado e entao reticulados com densidade
de centro otima para densidade 2.
N (a)
a
1
OK , 6 OK , (1 6 )OK
3
(1 + 6 )OK , (2 6 )OK , (1 26 )OK
4
2OK , 26 OK , (2 26 )OK
7
(3 6 )OK , (3 26 )OK , (2 + 6 )OK , (1 + 26 )OK
N ()
2
4
16
4
25
5
9
3
Tabela 5.4:
Agora, iremos ilustrar alguns exemplos utilizando os dados da Tabela (5.4).
123
t
4
24
40
42
(t ) 2
1
=
( (a)) =
= 0, 28868
1
n
2 3
2 (|DK |N ()) 2 N (a)
1
(t ) 2
1
=
= 0, 28868
1
2 3
2n (|DK |N ()) 2 N (a)
1
1
8
N (a) N ()
1
4
1
64
2
16
4
4
4
64
t
8
16
16
16
32
N (a) N ()
8
16
9
4
9
64
16
4
16
64
t
32
24
48
32
64
Tabela 5.5:
Temos que um ideal principal de OK e da forma a =< a0 + a1 8 + a2 82 + a3 83 > , onde
a0 , a1 , a2 Z e assim, a norma deste ideal e dada pela seguinte expressao:
N (a) = N (< a0 + a1 8 + a2 82 + a3 83 >)
2
3
= |N
(a0 + a1 8 + a2 8 + a3 8 )|
=
i (a0 + a1 8 + a2 82 + a3 83 )
i=1,3,5,7
a40 + a41
4a0 a21 a2 + 2a20 a22 + a42 + 4a20 a1 a3 4a1 a22 a3 + 2a21 a23 + 4a0 a2 a23 + a43 .
Alguns ideais a que satisfazem a norma N (a) sao dados na Tabela (5.6).
N (a)
1
4
8
16
a
OK , 8 OK , 8 OK , 8 OK , (1 + 8 2 + 8 3 )OK , (8 + 8 2 + 8 3 )OK ,
(1 8 + 8 3 )OK , (1 8 + 8 2 )OK , (1 + 8 + 8 2 )OK , (1 + 8 8 3 )OK ,
(1 + 8 2 8 3 )OK , (8 8 2 + 8 3 )OK ,
(2 + 28 + 8 2 8 3 )OK , (2 + 8 8 2 28 3 )OK , (1 + 8 )OK , (1 + 8 3 )OK ,
(8 2 + 8 3 )OK , (8 + 8 2 )OK , (1 8 + 28 2 28 3 )OK , (1 28 + 28 2 8 3 )OK
(1 + 8 )OK , (1 + 8 3 )OK , (8 + 8 2 )OK , (8 2 + 8 3 )OK
(2 + 8 8 3 )OK , (1 + 28 + 8 2 )OK , (1 + 8 2 )OK , (1 8 2 )OK ,
(8 + 8 3 )OK , (8 8 3 )OK , (1 28 + 8 2 )OK , (8 28 2 + 8 3 )OK
(3 + 38 + 8 2 8 3 )OK , (1 + 38 + 38 2 + 8 3 )OK , (1 + 8 + 8 2 + 8 3 )OK ,
(1 + 8 + 8 2 + 8 3 )OK , (1 + 8 8 2 8 3 )OK , (3 + 8 + 8 2 38 3 )OK ,
(1 + 8 38 2 38 3 )OK , (1 8 + 8 2 8 3 )OK
2
(2 + 28 + 8 )OK , (1 + 28 + 28 2 )OK , (8 + 28 2 + 28 3 )OK , (1 8 8 3 )OK ,
(1 + 8 8 2 )OK , (1 + 8 2 8 3 )OK , (1 8 8 2 )OK , (8 + 8 2 8 3 )OK ,
(8 8 2 8 3 )OK , (8 28 2 + 28 3 )OK , (1 28 2 + 28 3 )OK , (2 28 + 8 3 )OK
(2 + 8 + 28 2 )OK , (2 + 28 8 3 )OK , 2OK , (2 28 2 28 3 )OK ,
(28 + 28 2 + 28 3 )OK , 8 OK , 8 2 OK , 8 3 OK , (2 28 2 + 28 3 )OK ,
(2 + 28 8 2 )OK , (2 + 8 28 3 )OK , (2 + 28 2 28 3 )OK
2
Tabela 5.6:
Observac
ao 5.2.2 Observamos que os ideais da Tabela (5.6) sao apenas alguns ideais, tomados de forma aleat
oria, com estas normas e com os escalares variando entre 3 e 3.
125
(5.2.10)
i=1,3,5,7
Observac
ao 5.2.3 Os valores para N (a) entre 1 e 16 que nao estao na Tabela (5.5) nos
fornecem valores para N () que nao sao convenientes para o nosso estudo, pois estes n
ao
satisfazem a express
ao para N () dada em (5.2.10).
Abaixo veremos alguns elementos s que irao satisfazer a Equacao (5.2.10) e tambem
i = i () > 0, i () R, para todo i = 1, 3, 5, 7:
N ()
1
4
2 (8 + 8 ), 10 7(8 + 81 )
16
6 4(8 + 81 )
64
4 2(8 + 81 )
Tabela 5.7:
Observac
ao 5.2.4 Os valores da Tabela (5.7) foram encontrados variando N () de 1 a 100 e
a
N ()
3
2
3
OK , 8 OK , 8 OK , 8 OK , (1 + 8 + 8 )OK ,
4
2 ,
2
3
2
3
(8 + 8 + 8 )OK , (1 + 8 + 8 )OK , (1 + 8 8 )OK
10 7
2
3
2
3
OK , 8 OK , 8 OK , 8 OK , (1 8 8 )OK ,
64
4 2
(8 + 8 2 + 8 3 )OK , (1 + 8 + 8 2 )OK , (1 + 8 8 3 )OK
(2 + 28 + 8 2 8 3 )OK , (2 + 8 8 2 28 3 )OK ,
16
6 4
3
2
3
2
(1 + 8 )OK , (1 8 )OK , (8 + 8 )OK , (8 + 8 )OK
(1 + 8 28 2 + 28 3 )OK , (1 28 + 28 2 8 3 )OK
16
6 + 4
3
2
2
3
(1 8 )OK , (1 + 8 )OK , (8 8 )OK , (8 8 )OK
(1 28 + 8 2 )OK , (1 + 8 2 )OK , (1 8 2 )OK ,
4
2 + ,
(8 + 8 3 )OK , (8 8 3 )OK , (8 28 2 + 8 3 )OK
10 + 7
(1 28 + 8 2 )OK , (1 + 8 2 )OK , (1 8 2 )OK ,
64
4 + 2
3
3
2
3
(8 + 8 )OK , (8 8 )OK , (8 28 + 8 )OK
2
126
t
8
16
16
16
16
32
(3 + 38 + 8 2 8 3 )OK , (1 + 38 + 38 2 + 8 3 )OK ,
(1 + 8 + 8 2 + 8 3 )OK , (1 + 8 + 8 2 + 8 3 )OK
8
(1 + 8 8 2 8 3 )OK , (3 + 8 + 8 2 38 3 )OK ,
(1 + 8 38 2 38 3 )OK , (1 8 + 8 2 8 3 )OK
9 (2 + 28 + 8 2 )OK , (1 + 28 + 28 2 )OK , (8 + 28 2 + 28 3 )OK ,
(1 8 8 3 )OK , (1 + 8 8 2 )OK , (1 + 8 2 8 3 )OK
9 (2 + 28 + 8 2 )OK , (1 + 28 + 28 2 )OK , (8 + 28 2 + 28 3 )OK ,
(1 8 8 3 )OK , (1 + 8 8 2 )OK , (1 + 8 2 8 3 )OK
16
(2 + 8 28 3 )OK , (2 + 28 2 28 3 )OK , 2OK , 8 OK ,
8 2 OK , 8 3 OK , (2 28 2 + 28 3 )OK , (2 + 28 8 2 )OK
16
(2 + 8 + 28 2 )OK , (2 + 28 8 3 )OK , 2OK , 8 OK ,
(2 28 2 28 3 )OK , 8 2 OK , 8 3 OK , (28 + 28 2 + 28 3 )OK
8
16
6 4
32
16
6 + 4
32
2 ,
10 7
64 4 2
24
32
64
2 + ,
10 + 7
4 2,
48
64
Tabela 5.8:
Agora, apresentaremos alguns exemplos utilizando os dados fornecidos pela Tabela (5.8).
Exemplo 5.2.3 Sejam o corpo K = Q(8 ), a = (38 8 2 +38 3 )OK um ideal de OK = Z[8 ] e
= 6+48 +48 1 OK . Temos que n = [K : Q] = 4, DK = 256, N (a) = 8 e N () = 16. Dado
x a, podemos escrever x = (38 8 2 +38 3 )(a0 +a1 8 +a2 8 2 +a3 8 3 ), onde a0 , a1 , a2 , a3 Z.
ao
Assim, T r(x
x) = 32a20 32a0 a1 + 32a21 32a1 a2 + 32a22 + 32a0 a3 32a2 a3 + 32a23 e, ent
x) : x a, x = 0} = 32, com a0 = 1 e a1 = a2 = a3 = 0. Portanto, a
t = min{T r(x
densidade de centro do reticulado K (a) e dada por
n
(t ) 2
1
= = 0, 125,
( (a)) =
1
8
2n (|DK |N ()) 2 N (a)
1
(t ) 2
1
= = 0, 125,
( (a)) =
1
n
8
2 (|DK |N ()) 2 N (a)
1
127
23 3
9
1
.
23 3
1
.
23 3
t
18
18
18
36
54
54
Tabela 5.9:
Um ideal principal de OK e da forma
a =< a0 + a1 9 + a2 9 2 + a3 9 3 + a4 9 4 + a5 9 5 >,
com a0 , a1 , a2 , a3 , a4 , a5 Z. A norma deste ideal e calculada da seguinte forma:
N (a) = N (< a0 + a1 9 + a2 9 2 + a3 9 3 + a4 9 4 + a5 9 5 >)
= |N (a0 + a1 9 + a2 9 2 + a3 9 3 + a4 9 4 + a5 9 5 )|,
128
i=1,2,4,5,7,8
i (a0 + a1 9 + a2 9 2 + a3 9 3 + a4 9 4 + a5 9 5 ) .
N (a) = a60 a30 a31 + a61 + 3a40 a1 a2 6a0 a41 a2 + 9a20 a21 a22 a30 a32 a31 a32 + 3a0 a1 a42 + a62 3a50 a3
+6a20 a31 a3 15a30 a1 a2 a3 + 3a41 a2 a3 9a0 a21 a22 a3 3a20 a32 a3 6a1 a42 a3 + 6a40 a23 3a0 a31 a23 +
18a20 a1 a2 a23 + 9a21 a22 a23 + 6a0 a32 a23 7a30 a33 a31 a33 15a0 a1 a2 a33 a23 a33 + 6a20 a43 + 3a1 a2 a43
3a0 a53 + a63 3a30 a21 a4 3a51 a4 + 3a40 a2 a4 + 12a0 a31 a2 a4 9a20 a1 a22 a4 + 6a21 a32 a4 6a0 a42 a4
9a20 a21 a3 a4 + 3a30 a2 a3 a4 15a31 a2 a3 a4 + 9a0 a1 a22 a3 a4 + 3a42 a3 a4 + 18a0 a21 a23 a4 9a20 a2 a23 a4
9a1 a22 a23 a4 3a21 a33 a4 + 12a0 a2 a33 a4 6a2 a43 a4 + 6a30 a1 a24 + 6a41 a24 9a0 a21 a2 a24 + 9a20 a22 a24
3a1 a32 a24 9a20 a1 a3 a24 + 18a21 a2 a3 a24 9a0 a22 a3 a24 9a0 a1 a23 a24 + 9a22 a23 a24 + 6a1 a33 a24 a30 a34
7a31 a34 + 3a0 a1 a2 a34 a32 a34 + 6a20 a3 a34 15a1 a2 a3 a34 3a0 a23 a34 a33 a34 + 6a21 a44 + 3a0 a2 a44
+3a2 a3 a44 3a1 a54 + a64 + 3a40 a1 a5 + 3a0 a41 a5 9a20 a21 a2 a5 + 6a30 a22 a5 3a31 a22 a5 + 3a0 a1 a32 a5
3a52 a5 + 3a30 a1 a3a5 + 3a41 a3 a5 + 9a0 a21 a2 a3 a5 9a20 a22 a3 a5 + 12a1 a32 a3 a5 9a20 a1 a23 a5
9a21 a2 a23 a5 9a0 a22 a23 a5 + 12a0 a1 a33 a5 + 6a22 a33 a5 6a1 a43 a5 6a40 a4 a5 15a0 a31 a4 a5
+9a20 a1 a2 a4 a5 9a21 a22 a4 a5 + 12a0 a32 a4 a5 + 12a30 a3 a4 a5 + 3a31 a3 a4 a5 9a0 a1 a2 a3 a4 a5
15a32 a3 a4 a5 9a20 a23 a4 a5 + 9a1 a2 a23 a4 a5 + 3a0 a33 a4 a5 + 3a43 a4 a5 + 18a0 a21 a24 a5 9a20 a2 a24 a5
+18a1 a22 a24 a5 9a21 a3 a24 a5 + 9a0 a2 a3 a24 a5 9a2 a23 a24 a5 15a0 a1 a34 a5 3a22 a34 a5 + 12a1 a3 a34 a5
+3a0 a44 a5 6a3 a44 a5 + 9a20 a21 a25 3a30 a2 a25 + 6a31 a2 a25 9a0 a1 a22 a25 + 6a42 a25 9a0 a21 a3 a25
+18a20 a2 a3 a25 9a1 a22 a3 a25 + 9a21 a23 a25 9a0 a2 a23 a25 3a2 a33 a25 9a20 a1 a4 a25 9a21 a2 a4 a25
9a0 a22 a4 a25 + 9a0 a1 a3 a4 a25 + 18a22 a3 a4 a25 9a1 a23 a4 a25 + 9a20 a24 a25 9a1 a2 a24 a25 9a0 a3 a24 a25
+9a23 a24 a25 + 6a2 a34 a25 a30 a35 a31 a35 + 12a0 a1 a2 a35 7a32 a35 3a20 a3 a35 + 3a1 a2 a3 a35
+6a0 a23 a35 a33 a35 + 6a21 a4 a35 + 3a0 a2 a4 a35 15a2 a3 a4 a35 3a1 a24 a35 a34 a35 6a0 a1 a45
+6a22 a45 + 3a1 a3 a45 + 3a0 a4 a45 + 3a3 a4 a45 3a2 a55 + a65
Observac
ao 5.2.5 Os valores de N (a) que estao na Tabela (5.9) sao os u
nicos no intervalo
de 1 a 100 que satisfazem a formula para N (a), variando os escalares a1 s entre 1 e 1,
i = 0, 1, 2, 3, 4, 5 e tambem, que nos darao reticulados com densidades de centro otima.
Alguns ideais a que satisfazem a norma N (a) sao dados na Tabela (5.10)
129
N (a)
1
27
81
a
(1 + 9 + 9 + 9 + 9 )OK , (9 9 2 + 9 4 )OK , (1 + 9 9 5 )OK ,
(1 + 9 9 2 9 3 + 9 4 + 9 5 )OK , (1 9 4 9 5 )OK ,
(9 9 3 + 9 4 + 9 5 )OK , (9 + 9 2 + 9 3 + 9 4 + 9 5 )OK
(1 + 9 + 9 2 + 9 3 9 5 )OK , (1 + 9 9 4 9 5 )OK , (9 + 9 3 + 9 4 )OK ,
(9 2 + 9 4 + 9 5 )OK , (1 9 9 2 + 9 3 + 9 4 9 5 )OK ,
(1 + 9 2 9 3 + 9 4 + 9 5 )OK , (1 + 9 9 2 9 3 )OK
(1 + 9 + 9 2 + 9 3 + 9 4 + 9 5 )OK , (1 + 9 2 + 9 4 )OK , (9 + 9 2 + 9 3 )OK ,
(9 3 + 9 4 + 9 5 )OK , (9 9 2 9 3 + 9 4 )OK , (1 9 9 2 9 4 9 5 )OK ,
(1 + 9 2 + 9 3 9 4 + 9 5 )OK , (1 + 9 9 2 + 9 3 + 9 4 )OK
(1 + 9 9 3 9 4 )OK , (1 9 + 9 2 9 3 + 9 4 9 5 )OK ,
(9 + 9 2 9 4 9 5 )OK , (1 + 9 2 9 3 9 5 )OK
(1 9 2 9 3 + 9 5 )OK , (1 9 9 3 + 9 4 )OK , (9 9 2 9 4 + 9 5 )OK ,
2
Tabela 5.10:
Observac
ao 5.2.6 Observamos que os ideais da Tabela (5.10) sao apenas alguns ideais, tomados de forma aleat
oria, com estas normas e com os escalares variando entre 1 e 1.
Como estamos trabalhando com a perturbacao do homomorsmo canonico, precisamos
ter i () R+ . Para isso tomamos no subcorpo maximal de K = Q(9 ), que e o corpo
L = Q(9 + 91 ), pois este e um corpo totalmente real. Temos que o anel dos inteiros deste
corpo e OL = Z(9 + 91 ) e, {1, 9 + 9 1 , 9 2 + 9 2 } e uma base integral de L. Assim, o
elemento pode ser escrio da seguinte forma
= b0 + b1 (9 + 91 ) + b2 (9 2 + 9 2 )
e, a norma desse elemento e dada por
N () =
i (b0 + b1 (9 + 91 ) + b2 (9 2 + 9 2 )),
i=1,2,4,5,7,8
N ()
1
9
64
81
2 + (9 + 91 ), 2 + (9 2 + 9 2 ), 2 (9 + 91 ) (9 2 + 9 2 ),
3 2(9 + 91 ) + (9 2 + 9 2 ), 3 + 3(9 + 91 ) + 2(9 2 + 9 2 )
2 (9 + 91 ), 2 (9 2 + 9 2 ), 2 + (9 + 91 ) + (9 2 + 9 2 ),
5 3(9 + 91 ) + 2(9 2 + 9 2 ), 5 2(9 + 91 ) 5(9 2 + 9 2 ),
5 + (9 + 91 ) 2(9 2 + 9 2 ), 5 + 5(9 + 91 ) + 3(9 2 + 9 2 )
4 + 2(9 + 91 ), 4 + 2(9 2 + 9 2 ), 4 2(9 + 91 ) 2(9 2 + 9 2 )
3 + 2(9 + 91 ) + (9 2 + 9 2 ), 3 (9 + 91 ) 2(9 2 + 9 2 ),
3 (9 + 91 ) + (9 2 + 9 2 )
Tabela 5.11:
Observac
ao 5.2.7 Os valores da Tabela (5.11) foram encontrados variando N () de 1 a 100
a
(1 + 9 + 9 + 9 3 + 9 4 )OK ,
(9 9 2 + 9 4 )OK , (1 + 9 9 5 )OK ,
(1 9 4 9 5 )OK , (9 9 3 + 9 4 + 9 5 )OK ,
(9 + 9 2 + 9 3 + 9 4 + 9 5 )OK ,
(1 + 9 9 2 9 3 + 9 4 + 9 5 )OK
(1 + 9 + 9 2 + 9 3 9 5 )OK ,
(1 + 9 9 4 9 5 )OK , (9 + 9 3 + 9 4 )OK ,
(9 2 + 9 4 + 9 5 )OK ,
(1 9 9 2 + 9 3 + 9 4 9 5 )OK ,
2
(1 + 9 + 9 2 + 9 3 + 9 4 + 9 5 )OK ,
(1 + 9 2 + 9 4 )OK , (9 + 9 2 + 9 3 )OK ,
(9 3 + 9 4 + 9 5 )OK , (9 9 2 9 3 + 9 4 )OK ,
(1 9 9 2 9 4 9 5 )OK ,
(1 + 9 2 + 9 3 9 4 + 9 5 )OK ,
(1 + 9 + 9 2 + 9 3 + 9 4 + 9 5 )OK ,
(1 + 9 2 + 9 4 )OK , (9 + 9 2 + 9 3 )OK ,
(9 3 + 9 4 + 9 5 )OK , (9 9 2 9 3 + 9 4 )OK ,
(1 9 9 2 9 4 9 5 )OK ,
(1 + 9 2 + 9 3 9 4 + 9 5 )OK ,
131
N ()
81
3 1 22 ,
3 1 + 2 ,
3 + 21 + 2
18
64
2 1 , 2 2 ,
2 + 1 + 2 ,
5 31 + 22 ,
5 21 52 ,
5 + 1 22 ,
5 + 51 + 32
2 + 1 , 2 + 2 ,
2 1 2 ,
3 + 31 + 22
3 21 + 2 ,
4 + 21 ,
4 + 22 ,
4 21 22
18
18
36
(1 9 + 9 2 9 3 + 9 4 9 5 )OK ,
27
(1 + 9 9 3 9 4 )OK ,
(9 + 9 2 9 4 9 5 )OK
(1 + 9 2 9 3 9 5 )OK
81
(1 9 9 3 + 9 4 )OK ,
(9 9 2 9 4 + 9 5 )OK
81
3 + 21 + 2 ,
3 1 22 ,
3 1 + 2
54
5 31 + 22 ,
54
Tabela 5.12:
Agora, veremos alguns exemplos de reticulados via ideais principais e utilizando a perturbacao , a partir dos dados fornecidos na Tabela (5.12).
Exemplo 5.2.5 Sejam o corpo K = Q(9 ), a = (1 + 9 + 9 2 + 9 3 9 5 )OK , um ideal de
OK = Z[9 ] e = 2+9 +91 +9 2 +9 2 OK . Temos que n = [K : Q] = 6, DK = 39 , N (a) = 3
e N () = 9. Dado x a, podemos escrever x = (1 + 9 + 9 2 + 9 3 9 5 )(a0 + a1 9 + a2 9 2 +
x) = 108c20 + 162c0 c1 +
a3 9 3 + a4 9 4 + a5 9 5 ), onde a0 , a1 , a2 , a3 , a4 , a5 Z. Assim, T r(x
108c21 + 36c0 c2 + 162c1 c2 + 108c22 108c0 c3 + 36c1 c3 + 162c2 c3 + 108c23 198c0 c4 108c1 c4 +
ao
36c2 c4 + 162c3 c4 + 108c24 198c0 c5 198c1 c5 108c2 c5 + 36c3 c5 + 162c4 c5 + 108c25 e, ent
x) : x a, x = 0} = 18, com c0 = 0, c1 = 1, c2 = 1, c3 = 0, c4 = 1, c5 = 0.
t = min{T r(x
Portanto, a densidade de centro do reticulado K (a) e dada por
6
(t ) 2
18 2
1
1
=
=
( (a)) =
= 0, 07217,
1
1
23 3
2n (|DK |N ()) 2 N (a)
26 (39 .9) 2 3
1
(t ) 2
54 2
1
1
=
=
( (a)) =
= 0, 07217,
1
1
3
2 3
2n (|DK |N ()) 2 N (a)
26 (39 .81) 2 27
1
2
3
4
5
6
7
por OK = Z(20 ), uma base integral e {1, 20 , 20
, 20
, 20
, 20
, 20
, 20
}, discriminante DK = 28 56
i
e, os monormorsmos sao: i (20 ) = 20
, com i = 1, 3, 7, 9, 11, 13, 17, 19. Assim, a perturbacao
1
16
1
.
16
i=1,3,7,9,11,13,17,19
7
j=1
j
aj 20
e, fazendo os caculos obtemos uma expressao para N (a). Alguns ideais que satisfazem esta
expressao sao dados na Tabela (5.14)
133
N (a)
16
80
256
a
5
7
(1 220 20
+ 220
)OK ,
3
4
6
7
(1 20 + 20 20 20
)OK
2
4
6
7
(2 20 + 220 220 + 20 )OK ,
2
3
4
6
(1 20
20
20
20
)OK
4
6
(2 + 20 + 220 20 )OK ,
2
3
4
(1 + 20 + 20
+ 20
+ 20
)OK
Tabela 5.14:
N () =
i=1,3,7,9,11,13,17,19
(5.2.11)
N (a)
16
a
N ()
t
5
7
(1 220 20
+ 220
)OK ,
25 2 1 + 2 40
3
4
6
7
(1 20
+ 20
20
20
)OK
2
4
6
7
80 (2 20 + 220 220 + 20 )OK , 1
3 2
40
2
3
4
6
(1 20
20
20
20
)OK
4
6
256
(2 + 20 + 220
20
)OK ,
25 2 1 + 2 40
2
3
4
(1 + 20 + 20 + 20 + 20
)OK
Tabela 5.15:
Observac
ao 5.2.8 Observe que para dimensao 8, encontramos menos exemplos, isso se deve
134
(t ) 2
40 2
1
1
=
=
( (a)) =
= 0, 06250,
1
1
16
2n (|DK |N ()) 2 N (a)
28 (28 56 .25) 2 16
1
Como dissemos, para dimensao 12, o reticulado com densidade de centro recorde e o K12 ,
cuja densidade de centro e
reticulado K (a) e
1
27
1
.
27
que n = 12 e |DK | = 36 710 . Assim, precisamos encontrar convenientes a e t para que tenhamos
(K (a)) =
1
.
27
com ai Z, para todo i = 0, , 11. A norma deste ideal e calculada da seguinte forma
N (a) = N
<
11
j
aj 21
>
j=1
11
j
= N
aj 21 ,
j=1
i=1,2,4,5,8,10,11,13,16,17,19,20
11
j=1
j
aj 21
e, fazendo os calculos obtemos uma expressao para N (a). Na Tabela (5.16) apresentamos
alguns ideais a que possuem N (a) = 7.
N (a)
7
a
6
8
4
6
(1 + 21
21
)OK , (1 21
+ 21
)OK ,
2
6
2
8
(1 21 + 21 )OK , (1 21 + 21 )OK ,
2
4
8
(21
21
+ 21
)OK
Tabela 5.16:
Observac
ao 5.2.9
28a1 a8 14a10 a8 14a11 a8 + 28a3 a8 14a4 a8 14a5 a8 14a6 a8 + 28a28 14a0 a9 14a11 a9
28a2 a9 + 28a4 a9 14a5 a9 14a6 a9 14a7 a9 + 28a29
e, ent
ao t = min{T r(x
x) : x a, x = 0} = 28, com a0 = 0, a1 = 0, a2 = 0, a3 = 0, a4 =
0, a5 = 0, a6 = 0, a7 = 1, a8 = 0, a9 = 0, a10 = 0, a11 = 0. Portanto, a densidade de centro do
reticulado K (a) e dada por
12
t2
28 2
1
1
=
= 3
(K (a)) =
= 0, 037037,
1
1
3
2n |DK | 2 N (a)
212 |36 710 | 2 7
1
137
Captulo 6
Reticulados Ideais
No Captulo (5) apresentamos reticulados a partir das perturbacoes do homomorsmo canonico
e denominamos estes por reticulados algebricos. Neste captulo apresentamos os reticulados
ideais, que sao denidos a partir de um ideal fracionario e uma forma bilinear simetrica, como
veremos na Secao (6.1), onde veremos tambem algumas propriedades destes reticulados. Na
Secao (6.2), veremos tambem que os reticulados ideais sao obtidos a partir do homomorsmo
2 . Na Secao (6.3) veremos os conceitos de diversidade e distancia produto mnima de um
reticulado ideal. Vimos que o interessante e ter reticulados com diversidade e distancia produto
mnima alta. Assim, na Secao (6.4) iremos procurar reticulados rotacionados do reticulado Zn
com esta propriedade. Para estas construcoes de Zn -reticulados rotacionados, utilizaremos o
umero primo e r e um
subcorpo maximal dos corpos ciclotomicos Q(p ) e Q(2r ), onde p e um n
inteiro positivo.
6.1 Denicao
Nesta secao veremos a denicao de reticulado ideal e de alguns de seus parametros.
Deni
c
ao 6.1.1 Um reticulado inteiro e um par (L, b), onde L e um Z-modulo livre de
posto n, e b : L L Z e uma forma Z-bilinear simetrica. Se {v1 , v2 , . . . , vn } e uma base de L
ent
ao a matriz que representa a forma bilinear b e dada por (b(vi , vj ))ni,j=1 e, o determinante
de b e o determinante da matriz de b em alguma base de L.
Observac
ao 6.1.1 Temos que b pode ser diagonalizada sobre os n
umeros reais e, b e isomorfa
a soma ortogonal de r c
opias de 1 e s copias de 1, para inteiros n
ao negativos r e s.
Deni
c
ao 6.1.2 Denimos a assinatura de b pelo par (r,s) e denotamos esta assinatura por
sign(b) = (r, s).
138
Deni
c
ao 6.1.3 Dizemos que o reticulado (L, b) e par se b(x, x) e um n
umero par para todo
x L. Caso contr
ario, dizemos que o reticulado (L, b) e mpar.
Deni
c
ao 6.1.4 O reticulado (L, b) e positivo se b(x, x) > 0 para todo x L, x = 0. Nesse
caso, o mnimo de (L, b) e denido por min(L, b) = min{b(x, x) tal que x L, x = 0 }. O
valor b(x, x) e chamado de comprimento quadr
atico de x.
Sejam K um corpo de n
umeros totalmente real ou um CM-corpo, : K K a conjugacao
complexa com corpo xo dado por F = {x K|(x) = x} = Q e [K : F] = 2, I um ideal
fracionario nao nulo de OK e F tal que I(I) (K/Q)1 , onde (K/Q)1 = {x
K|T r Z} e o codiferente de K/Q como denido em (1.5.1).
Proposi
c
ao 6.1.1 ([22]) Nas condicoes anteriores, se b : I I Z e tal que b (x, y) =
a bem denida e e uma forma bilinear simetrica.
T r(x(y)), ent
ao b est
Demonstra
c
ao: Como I(I) (K/Q)1 = {x K|T r Z} segue que T r(x(y)) Z,
para todo (x, y) I I. Logo, b esta bem denida. Para mostrar que b e uma forma bilinear
simetrica observe que como K e totalmente real ou um CM-corpo segue que a conjugacao
complexa comuta com todos os homomorsmos de K em C. Assim,
b (x, y) = T r(x(y)) = T r((()(x)y))
= (T r(()(x)y)) = T r((x)y)
= b (y, x),
como queramos demonstrar.
Atraves das condicoes dadas acima podemos denir um reticulado ideal.
Deni
c
ao 6.1.5 Sejam K um corpo de n
umeros totalmente real ou um CM-corpo, I um ideal
fracionario de K, F = {x K|(x) = x} tal que I(I) (K/Q)1 , onde e a
conjugacao complexa. Um reticulado ideal e um reticulado inteiro (I, b ), onde b : II Z
e tal que b (x, y) = T r(x(y)). Dizemos que o par (I, b ) e um OK -reticulado, ou que e
obtido por uma construc
ao traco escalonada.
Deni
c
ao 6.1.6 Quando = 1, dizemos que (I, b) e obtido por uma construcao traco ou que
e do tipo traco.
Proposi
c
ao 6.1.2 ([5]) Sejam K um corpo de n
umeros, OK seu anel dos inteiros e a conjugac
ao complexa. Se existe OK tal que + () = 1, entao o OK -reticulado e par.
139
Demonstra
c
ao: Mostremos que o OK -reticulado (I, b ) e par, onde I e um ideal fracionario
de OK e b : I I Z e tal que b (x, y) = T r(x(y)), com F e I(I) (K/Q)1 .
Seja x I e OK tal que + () = 1. Temos que:
b (x, x) = T r(x(x)) = T r(( + ())(x(x)))
= T r(x(x) + ()x(x)) = T r(x(x)) + T r(()x(x))
= T r(x(x)) + T r((()(x)x)) = T r(x(x)) + (T r((x)x))
= 2(T r(x(x))) 2Z.
umero par.
Portanto, b (x, x) e um n
Proposi
c
ao 6.1.3 ([5]) Sejam K um corpo de n
umeros, uma involucao sobre K e F o corpo
xo da involuc
ao. Suponhamos que F seja totalmente real e K totalmente imaginario. Se I
OK e um ideal fracionario e (I, b) e um OK -reticulado do tipo traco, entao min(I, b) [K : Q].
Demonstra
c
ao: Por hipotese (I, b) e um OK -reticulado do tipo traco. Assim, se x I entao
b(x, x) = T r(x(x)). Sejam n = [K : Q] e 1 , , n os n homomorsmos distintos de K em
C. Pela desigualdade entre as medias aritmetica e geometrica dos homomorrmos aplicados no
elemento x(x) I(I), temos que
n
(x(x))
i=1
n
e entao
n
i=1
n
1/n
(x(x))
i=1
(x(x)) n
1/n
(x(x))
i=1
Assim, se {w1 , , wn } for uma Z-base de I OK , entao temos pelo resultado (5.1.3) que
a imagem de 2 (I) em Rn e um reticulado com base { (w1 ), , (wn )} e matriz geradora
dada por:
(w )
1 1 1
1 1 (w2 )
M =
..
1 1 (wn )
n n (w1 )
2r1 +1 r1 +1 (w1 )
n n (w2 )
2r1 +1 r1 +1 (w2 )
..
..
..
.
.
.
n n (wn )
2r1 +1 r1 +1 (wn )
(6.2.1)
r1
k k (wi ) k k (wj ) +
k=1
r2
,
,
2r1 +k (r1 +k (wi )) 2r1 +k (r1 +k (wj )) +
k=1
r2
,
,
2r1 +k (r1 +k (wi )) 2r1 +k (r1 +k (wj ))
k=1
r1
k=1
r2
k k (wi wj ) +
2r1 +k [(r1 +k (wi ))(r1 +k (wj )) + (r1 +k (wi ))(r1 +k (wj ))].
(6.2.2)
k=1
Proposi
c
ao 6.2.1 ([22]) Se K um corpo de n
umeros totalmente real ou um CM-corpo, ent
ao
o reticuado 2 (I) e um reticulado ideal.
Demonstra
c
ao:
mostrar que a forma bilinear associada e do tipo traco. Vimos que a matriz de Gram associada
a este reticulado tem entradas dadas por (6.2.2). Como por hipotese K e totalmente real ou
um CM-corpo temos que a conjugacao complexa comuta com todos os i , para i = 1, , n.
Assim,
gij =
=
=
r1
k=1
r1
k=1
r1
k=1
k k (wi wj ) +
k k (wi wj ) +
k k (wi wj ) +
r2
k=1
r2
k=1
r2
k=1
r2
k=1
141
r1 +k r1 +k (wi wj )
= T rK/Q (wi wj ).
Logo, a matriz de Gram e do tipo traco e portanto, sua matriz geradora M dene um reticulado
ideal.
Observac
ao 6.2.2 Para que o reticulado ideal 2 (I) seja denido positivo, basta que K
seja positivo.
A seguir apresentamos uma expressao para calcularmos o determinante do reticulado ideal
(I, b ) que e denotado por det(b ).
Proposi
c
ao 6.2.2 ([22]) Sejam K um corpo de n
umeros totalmente real ou um CM-corpo, I
um ideal fracion
ario n
ao nulo de OK , DK o discriminante de K e b a forma bilinear simetrica
associada. Se (I, b ) e um reticulado ideal, entao
|det(b )| = N ()N (I)2 |DK |.
Demonstra
c
ao: Se I e um ideal fracionario de OK entao pelo Lema (1.3.6) existe d Z{0}
tal que dI OK . Denotemos por a = dI. Como OK e um Z-modulo livre de posto n e a e um
Z-submodulo de OK , pelo Teorema (1.1.3) segue que existe uma Z-base {w1 , , wn } de OK
e inteiros a1 , , an tais que {a1 w1 , , an wn } e uma Z-base de a. Como a = dI segue que
I d1 a e entao {a1 d1 w1 , , an d1 wN } e uma Z-base de I. Assim, a matriz de b e dada
por:
T r(a1 d1 w1 a1 d1 w1 )
.
...
..
T r(an d1 wn a1 d1 w1 )
a21 T r((d1 )2 w1 w1 )
.
...
.
=
.
a1 an T r((d1 )2 wn w1 )
T r(a1 d1 w1 an d1 wn )
..
1
1
T r(an d wn an d wn )
a1 an T r((d1 )2 w1 wn )
..
.
.
2
1 2
an T r((d ) wn wn )
T r((d1 )2 w1 w1 )
..
...
det(b ) = (a1 an )2 det
.
T r((d1 )2 wn w1 )
T r(w1 w1 )
.
...
2
1 2 n
.
= (a1 an ) ((d ) ) det
.
T r(wn w1 )
142
T r((d1 )2 w1 wn )
..
1 2
T r((d ) wn wn )
T r(w1 wn )
..
.
.
T r(wn wn )
onde
T r(w1 w1 )
.
..
.
H=
.
.
T r(wn w1 )
(6.2.3)
T r(w1 wn )
..
.
.
T r(wn wn )
1 (w1 )
.
..
.
M = ST =
.
.
1 (wn )
,
n (w1 )
1 ()
0
..
..
..
..
.
.
.
.
,
0
n (wn )
n ()
DK .
(6.2.4)
(6.2.5)
143
= (
i 1 1 (wi ), ,
i 2r1 +1 (r1 +1 (wi )), ,
i 2r1 +r2 (r1 +r2 (wi )))
i=1
i=1
i=1
n
n
n
,
,
i wi ), , 2r1 +1 (r1 +1 (
i wi )), , 2r1 +r2 (r1 +r2 (
i wi )))
= ( 1 1 (
i=1
i=1
i=1
i=1
x = (y) = ( 1 1 (y), , 2r1 +1 (r1 +1 (y)), , 2r1 +r2 (r1 +r2 (y))),
onde y I OK . Como tomamos x = 0 segue que y = 0 e, sendo assim, temos que i (y) = 0,
para todo i = 1, , n. Logo, podemos armar que os primeiros r1 coecientes de x sao nao
nulos. Asim, o n
umero mnimo de coecientes nao nulos dos 2r2 que restaram e r2 , pois as
144
n
se K e totalmente complexo.
2
Demonstra
c
ao: Segue diretamente da Proposicao (6.3.1).
Segue Rn um reticulado com diversidade n e x . Como vimos, a distancia produto
n
, onde x , x = 0. O
mnima de e denida como a menor das distancias dp (x) =
i=1
resultado que veremos a seguir fornece uma expressao para calcularmos a distancia produto
mnima de um reticulado ideal = (I, b ).
Teorema 6.3.1 ([22]) Se K e um corpo de n
umeros totalmente real de grau n com discriminante DK e I e um ideal fracion
ario de OK , entao a distancia produto mnima de um reticulado
ideal e dada por:
dp,min () = min(I)
|det(b )|
,
DK
|N (y)|
.
0=yI N (I)
0=x
145
n
i=1
|xi |
n
n
n
,
,
min
()
(y)
=
()
min
|i (y)|
i
i
i
0=yI
0=yI
i=1
i=1
, i=1
N () min |N (y)| .
=
0=yI
2
Pela
Proposicao (6.2.2), temos que |det(b )| = N ()N (I) |DK |, e deste modo
|det(b )|
. Assim,
N (I)
,
N () =
|DK |
,
|det(b )|
,
dp,min () =
min |N (y)|
N (I) |DK | 0=yI
,
min |N (y)|
|det(b )| 0=yI
,
=
N (I)
|DK,
|
|det(b )|
= min(I) ,
,
|DK |
como queramos provar.
Lema 6.3.1 ([13]) Nas condic
oes do Teorema (6.3.1), se I e um ideal principal de OK , ent
ao
min |N (x)| = N (I).
0=xI
Demonstra
c
ao:
assim, N (I) = |N (a)|. Se x I, com x = 0, temos que x = ay, para algum y OK . Assim,
|N (x)| = |N (a)||N (y)| N (I)
e, esta igualdade e verdadeira se, e somente se, N (y) = 1 e, isto ocorrera se, e somente se,
y e uma unidade de OK . Logo, |N (x)| = N (I) quando x = ay, com y sendo uma unidade de
OK . Portanto, min |N (x)| = N (I).
0=xI
Corol
ario 6.3.2 ([22]) Nas condicoes do Teorema (6.3.1), se I e um ideal principal de OK
ent
ao a dist
ancia produto mnima de um reticulado ideal = (I, b ) e dado por
2
dp,min () =
| det(b )|
.
|DK |
Demonstra
c
ao: Segue imediatamente do Teorema (6.3.1) e do Lema (6.3.1).
146
6.4.1 O reticulado Zn
Deni
c
ao 6.4.1 O reticulado Zn e um reticulado n-dimensional denido por
Zn = {(x1 , , xn ); xi Z; i = 1, , n}.
Temos que a base canonica = {(1, 0, . . . , 0), (0, 1, 0, . . . , 0), . . . , (0, . . . , 0, 1)} e uma base
para o reticulado Zn . Assim, a matriz identidade Idn e uma matriz geradora M deste reticulado.
Uma matriz de Gram para Zn e dada por G = M t M = Idn . E, portanto, pela Denicao (3.2.2)
segue que det(Zn ) = 1.
Como vimos no Corolario (6.3.1) os corpos de n
umeros totalmente reais tem diversidade
maxima. Assim, para obtermos um reticulado ideal semelhante ao reticulado Zn , n 2, com
alta diversidade e distancia produto mnima maxima, iremos trabalhar com corpos de n
umeros
totalmente reais.
Sejam L um corpo de n
umeros totalmente real de grau n e OL seu anel de inteiros. Queremos encontrar um reticulado ideal = (OL , b ) que seja um Zn -reticulado rotacionado, ou seja,
um reticulado com as mesmas propriedades de Zn .
c Z teremos um outro reticulado ( cZ)n que sera uma versao escalar de Zn , e que =
{( c, 0, . . . , 0), . . . , (0, . . . , 0, c)} e uma base para o reticulado ( cZ)n e, como det(Zn ) = 1
Da, nas duas construcoes que apresentamos nas secoes posteriores em vez de trabalharmos
com o reticulado Zn , iremos trabalhar com sua versao escalar ( cZ)n . Para isso, primeiramente
147
iremos encontrar L totalmente positivo tal que o reticulado ideal = (OL , b ) seja isomorfo
ao reticulado ( cZ)n . Apos encontrarmos tal reticulado multiplicamos sua matriz geradora por
p1
2
= n.
onde cn = det(( cZ)n ), o que equivale a dizer que det() = cn . Como I = OL , segue pela
Proposicao (1.3.9) que devemos ter
NL/Q ()|DL | = cn .
(6.4.6)
Queremos encontrar L totalmente positivo que satisfaca a Equacao (6.4.6). Pela Proposicao
(1.4.7), temos que DL = p
p3
2
. Assim,
NL/Q ()|DL | = NL/Q ()p
p3
2
=c
p1
2
(6.4.7)
148
pois,
|p + p1 | = |2 cos
2
| < 2, p 5
p
NL/Q ()|DL | = cn n
ao garante que = (OL , b ) seja isomorfo a ( cZ)n , ou seja, esta e apenas
uma condic
ao necessaria.
Agora, atraves de uma construcao explcita, iremos mostrar que = (OL , b ) e isomorfo
p1
2
e uma Z-base de OL = Z[p + p1 ].
a Z . Pelo Teorema (1.4.3), temos que {ej = pj + pj }j=1
i=j
].
Demonstra
c
ao: Mostremos que {e1 , , en } e linearmente independente sobre Z. De fato,
n
n
seja
ai ei = 0; ai Z. Temos que
ai ei = a1 e1 + (a1 + a2 )e2 + + (a1 + + an1 )en1 +
i=1
i=1
Mostremos agora que {e1 , , en } gera OL = Z[p + p1 ]. Seja x Z[p + p1 ]. Temos que
n
n
x =
ai ei ; ai Z. Seja b1 = a1 . Temos que x =
(ai a1 )ei + a1 (e1 + + en ) =
n
i=1
i=2
i=2
i=3
bi ei .
i=1
Proposi
c
ao 6.4.1 ([13]) Se = 2 (p + p1 ) L e b (x, y) = T rL/Q (xy), para todo
ao:
x, y OL = Z[p + p1 ], ent
(
p, se i = n;
1. b (ei , ei ) =
2p, caso contr
ario.
(
p, se |i j| = 1;
2. b (ei , ej ) =
0, caso contr
ario
Demonstra
c
ao: Para simplicar a notacao vamos denotar por k (p ) e por j = j (), os
conjugados de p e , respectivamente. Temos que
T rL/Q (pk + pk ) = 1, para k = 1, . . . , n.
149
pk ))
j ()j (pk + pk )
j=1
j j (pk + pk )
j=1
(2 j (p p1 ))j (pk + pk )
j=1
= 2
(
=
j=1
2 + 1 2n = p, se k = 1(mod p)
2 + 1 + 1 = 0,
caso contrario.
T rL/Q (e2i )
n
j j (p2i + p2i + 2)
j=1
j j (p2i + p2i ) + 2
j=1
(
p, se i = n;
2p,
(2 j ( + p1 ))
j=1
caso contrario.
e assim,
b (ei , ej ) = T rL/Q (ei ej ) =
(
=
(j j (pi+j
j=1
p,
p(i+j) ))
(j j (pij + p(ij) ))
j=1
se |i j| = 1;
0, caso
contrario,
150
.
..
.
..
1
..
.
..
.
2
..
.
..
.
..
.
..
.
..
.
1
0
..
.
..
.
.
0
(6.4.8)
Demonstra
c
ao: Segue diretamente da Proposicao (6.4.1).
Proposi
c
ao 6.4.2 ([22]) Se en = en e ej =
n
i=j
1
ei , para j = 1, , n1, entao T rL/Q (ei ej ) =
p
T =
1 1 1
1 1
.
.. . . ..
. .
.
0 0 1
0
..
.
1
Temos que T GT t = In . Agora, G = M M t , onde M = N A, com
p
,
1 ()
0
1 (e1 ) n (e1 )
.
.
.
..
.
.
eA=
..
..
..
..
..
N =
.
,
1 (en ) n (en )
0
n ()
ei ; j = 1, , n 1 uma
i=j
1
1 (e1 ) n (e1 )
..
..
...
=
.
.
..
.
1 (en ) n (en )
0
1 1
1 1
.. . . ..
. .
.
0 1
1 (e1 ) n (e1 )
..
..
...
.
.
(e ) (e )
1 n
n n
1
t
Desta forma, M = T N A e uma matriz geradora do reticulado = (OL , b ). Como M M =
p
151
1
1
T N A At N t T t = T M M t T t = In , segue que T rL/Q (ei ej ) = ij , onde ij e o delta de
p
p
Kronecker.
1
Da Proposicao (6.4.2), segue que o reticulado ideal = (OL , b ), com = 2 (p + p1 ),
p
kj
kj
, k, j = 1, . . . , n e matriz
homomorsmos de L dados por k (ej ) = p + p = 2 cos 2kj
p
1
geradora M = T N A, com T, N e A sao como na demonstracao da proposicao, e isomorfo ao
p
reticulado Zn . Logo, seguindo os passos da demonstracao da Proposicao (6.4.2), pode-se construir Zn -reticulados rotacionados para n = 2, 3, 5, 6, 8, 9, 11, 14, 15, 18, 20, 21, 23, 26, 29, 30, . . ..
O resultado que veremos a seguir fornece uma expressao para calcularmos a distancia
produto mnima desses reticulados.
Proposi
c
ao 6.4.3 ([22]) Sejam L = Q(p + p1 ) o subcorpo maximal real de K = Q(p ), onde
p 5, e OL = Z[p + p1 ] o anel dos inteiros de L. Se = (OL , p1 b ), com = 2 (p + p1 ),
3p
p1
, entao dp,min () = p 4 .
e um reticulado ideal de dimens
ao n =
2
Demonstra
c
ao: Pelo Corolario (6.3.2), temos que a distancia produto mnima de e dada
por
2
dp,min () =
| det()|
1
=,
,
|DL |
|DL |
3p
4
p3
2
.
A tabela a seguir fornece a distancia produto mnima desta construcao ciclotomica em
algumas dimensoes.
p n dp,min ()
1
5 2
5
1
7 3
7
1
11 5
112
1
13 6
135
1
17 8
177
1
19 9
194
1
23 11
235
,
n
dp,min
0, 66870
0, 522757
0, 383215
0, 343444
0, 289520
0, 27187
0, 240454
52k + 52k ; k = 1, 2. Consideremos o reticulado ideal (OK , 15 b ), onde b (x, y) = T rK/Q (xy).
Vimos que (OK , 15 b ) e um Z2 -reticulado rotacionado com matriz geradora M =
N=
1 (e1 ) 2 (e1 )
,
1 (e2 ) 2 (e2 )
Logo,
1
M=
5
Tal reticulado possui dp,min =
T =
1 ,
5
1 1
0 1
,
e
A=
1, 175570506 1, 902113035
1 ()
1 T N A,
5
0
2 ()
onde
.
1, 902113034 1, 175570503
n1
e o anel dos inteiros de L e {1, 2r + 21
+ 2r
OL = Z[2r + 21
r ]
r , , 2r
} e uma Z-base
de L. Pelo Corolario (1.4.1), segue que [K : L] = 2. Assim, pela Observacao (1.2.1), tem-se que
[L : Q] = 2r2 = n.
Seja = (OL , b ) um reticulado ideal, com L totalmente positivo e b a forma
bilinear simetrica associada a . Como na Secao (6.4.2), para que = (OL , b ) seja isomorfo
(6.4.9)
e totalmente positivo
Logo, tomando = (1 2r )(1 2r 1 ) = 2 (2r + 21
r ), temos que L
153
pois,
|2r + 21
r | = |2 cos
2r1
| < 2, r 3
r
r1
0, se mdc(k, 2 ) < 2 ;
T rK/Q (2kr ) =
2r1 , se mdc(k, 2r ) = 2r1 ;
r1
+ 1.
Desta forma, segue que T rK/Q (2kr ) = 0, para todo k tal que mdc(k, 2r ) = 1, pois se mdc(k, 2r ) =
1, entao 2kr e conjugado de 2r . Agora, seja k tal que mdc(k, 2r ) > 1. Temos tres casos para
analisar:
1o caso: mdc(k, 2r ) < 2r1 .
s
Seja mdc(k, 2r ) = 2s , onde s < r 1. Assim, k = 2s j; j Z e 2kr = 22r j = 2jrs . Segue entao
que
T rK/Q (2kr ) = T rK/Q (2jrs ) = T rQ(2rs )/Q (T rK/Q(2rs ) (2jrs ))
= T rQ(2rs )/Q (ps 2jrs ) = ps T rQ(2rs )/Q (2jrs ) = 0,
pois mdc(j, 2r1 ) = 1.
2o caso: mdc(k, 2r ) = 2r1 .
Temos que o polinomio minimal de 2 sobre Q e 2 (x) = x+1. Desta forma, T rQ(2 )/Q (2k ) = 1,
r1 j
entao, que
T rQ(2r )/Q (2j ) = T rQ(2 )/Q (T rQ(2r )/Q(2 ) (2j )) = 2r1 T rQ(2 )/Q (2 ) = 2r1 .
Assim,
T rK/Q (2kr ) = T rK/Q (2j ) = 2r1 .
154
r
r1
0, se mdc(k, 2 ) < 2 ;
T rL|Q (2kr + 2k
r ) =
2r1 , se mdc(k, 2r ) = 2r1 ;
Proposi
c
ao 6.4.4 ([13]) Sejam e0 = 1 e ei = 2i r +2i
r , para i = 1, , n1 e b : OL OL
Z tal que b (x, y) = T rL/Q (xy). Tem-se que:
(
1. Se i = 0, 1, , n 1, ent
ao b (ei , ei ) =
(
2. Se i = 0, ent
ao b (ei , e0 ) =
2n, se i = 0;
4n, se i = 0.
2n, se i = 1;
0, se i = 1.
(
3. Se i = 0, j = 0 e i = j, ent
ao b (ei , ej ) =
2n, se |i j| = 1;
0, caso contr
ario.
Demonstra
c
ao: Vamos calcular b (ei , e0 ), para i = 0, 1, , n 1. Para i = 0, temos que
r2
) = 2r1 ,
b (e0 , e0 ) = T rL/Q (e20 ) = T rL/Q () = T rL/Q (2) T rL/Q (2r + 21
r ) = 2(2
155
pois, pelo Lema (6.4.3), temos que mdc(1, 2r ) < 2r1 . Agora, para todo i = 1, , n 1, temos
que
i
i
b (ei , e0 ) = T rL/Q (ei ) = T rL/Q ((2 (2r + 21
r ))(2r + 2r ))
i+1
21i
2i1
21i
)
= T rL/Q (22i r + 22i
r 2r
r
r
r
(i+1)
i+1
+ 2r
= 2T rL/Q (2i r + 2i
r ) T rL/Q (2r
(
2n, se i = 1
=
0, caso contrario.
(i1)
) T rL/Q (2i1
+ 2r
r
2i+1
+ 2r
= 2T rL/Q (22ir + 22i
r ) + T rL/Q (4) T rL/Q (2r
+
T rL/Q (22i1
r
(2i1)
2r
)
= 4n.
Finalmente, para todo i = 0, j = 0 e i = j, como mdc(i + j, 2r ), mdc(i j, 2r ), mdc(i + j +
1, 2r ), mdc(i + j 1, 2r ) < 2r1 , segue que
j
j
i
i
b (ei , ej ) = T rL/Q (ei ej ) = T rL/Q ((2 (2r + 21
r ))(2r + 2r )(2r + 2r ))
(i+j)
+ 2r
= 2T rL/Q (2i+j
r
T rL/Q (2ij+1
r
(
(ij)
) + 2T rL/Q (2ij
+ 2r
r
(ij+1)
2r
)
T rL/Q (2i+j+1
r
(i+j+1)
T rL/Q (2i+j+1
+ 2r
r
(i+j+1)
2r
)
T rL/Q (2i+j1
r
2n, se |i j| = 1
0, caso contrario,
1
T rL/Q (xy),
2r1
1 1
1
2 1
0
0 1
..
G=
.
2
1
0
..
. 1
2 1
..
.
0 1
2
Demonstra
c
ao: Segue diretamente da Proposicao (6.4.4).
156
)
(i+j1)
+ 2r
Proposi
c
ao 6.4.5 ([2]) Se {f0 , f1 , , fn1 }, onde fi =
ao
1, e uma Z-base de OL , ent
1
2r1
n1i
j=0
ej , para todo i = 0, 1, , n
Demonstra
c
ao: Sejam G a matriz do Corolario (6.4.2) e
T =
1 1 1 1
1 1 1
.. . .
.
..
. ..
.
.
0
..
.
1
Temos que T GT t = In . Agora, como G e a matriz de Gram do reticulado = (OL , 2r1
b ),
1
temos que G = M M t , onde M =
N A, com
2r1
,
1 ()
0
1 (e0 ) n (e0 )
.
.
.
..
.
.
eA=
..
..
..
..
..
N =
.
,
1 (en1 ) n (en1 )
0
n ()
Assim, In = T M M t T t = (T M )(T M )t . Seja agora fi =
n1i
j=0
ej ; j = 0, 1, , n 1, uma
1 1 1 1
1 (e0 ) n (e0 )
1 (f0 ) n (f0 )
1 1 1 0
.
.
..
..
.
...
..
..
..
.
.
..
.. . .
..
..
.
.
.
.
.
(e ) (e )
1 (fn1 ) n (fn1 )
1 n1
n n1
1 0 0
0
Logo, M =
1
2r1
1
T N A e uma matriz geradora do reticulado = (OL , 2r1
b ).
Como
1
1
t
M M = T N AAt N t T t = T M M t T t = In , segue que T rL/Q (ei ej ) = ij , onde ij e o delta de
p
p
Kronecker.
1
Da Proposicao (6.4.5), segue que o reticulado ideal = (OL , r1 b ), com = 2 (2r +
2*
+
2r1 ), homomorsmos de L dados por k (ej ) = pkj + pkj = 2 cos 2kj
r1 , k, j = 0, . . . , n 1 e
1
matriz geradora M =
T N A, com T, N e A sao como na demonstracao da proposicao, e
2r1
isomorfo ao reticulado Zn .
Logo, seguindo os passos da demonstracao da Proposicao (6.4.5), pode-se construir Zn reticulados rotacionados para n = 2, 4, 8, 16, 32, 64, 128, 256, 512, .
Proposi
c
ao 6.4.6 ([2]) Sejam L = Q(2r + 21
r ) o subcorpo maximal real de K = Q(2r ), onde
1
r 3, e OL = Z[2r +21
b ), com = 2(2r +21
r ] o anel dos inteiros de L. Se = (OL ,
r ),
r1
2
157
1
e um reticulado ideal de dimens
ao n = 2r2 , entao dp,min () = , onde = (r 1)2r2 1.
2
Demonstra
c
ao: Pelo Corolario (6.3.2), temos que a distancia produto mnima de e dada
por
2
dp,min () =
| det()|
1
=,
,
|DL |
|DL |
uma vez que det() = 1. Como o disriminante de L satisfaz |DL | = 2 , onde = (r 1)2r2 1,
1
segue que dp,min () = .
2
A tabela a seguir fornece a distancia produto mnima desta construcao ciclotomica em
algumas dimensoes.
r
n
3
2
4
4
5
8
6
16
7
32
8
64
9 128
10 256
11 512
12 1024
,
n
dp,min
0, 594604
0, 385553
0, 261068
0, 180648
0, 126361
0, 0888683
0, 0626695
0, 044254
0, 0312712
0, 0221046
1 1 1 1
1 1 1
T =
1 1 0
1 0
0
158
0
,
0
1 (1)
3 (1)
1 ( + p1 ) 3 ( + p1 )
M =
( 2 + 2 ) ( 2 + 2 )
1 p
3 p
p
p
3
3
3
1 (p + p ) 3 (p + p3 )
,
1 ()
0
,
3 ()
0
A=
0
0
0
0
5 (1)
7 (1)
7 ( + p1 )
e
5 (p2 + p2 ) 7 (p2 + p2 )
3
3
3
3
5 (p + p ) 7 (p + p )
0
0
0
0
.
,
7 ()
0
,
7 ()
0
5 ( + p1 )
159
Conclusao
Este trabalho foi dedicado ao estudo de metodos para obter famlias de reticulados com boas
densidades de centro e, com diversidade e distancia produto mnima alta. Para isso, inicialmente
zemos um estudo sobre a teoria algebrica dos n
umeros que nos forneceu uma base teorica para
este trabalho, as formas quadraticas, que nos possibilitaram obter uma expressao para o calculo
da forma traco e, a denicao de reticulado e de seus principais parametros.
O primeiro metodo apresentado foi o de obter reticulados via polinomios irredutveis no
corpo dos n
umeros racionais. Neste trabalho abordamos os casos para dimensao 2, utilizando
polinomios irredutveis de grau 2 com razes reais e razes complexas conjugadas e, para dimensao 3, utilizando polinomios irredutveis de grau 3 com razes reais. Atraves deste metodo
encontramos reticulados com as mesmas densidades de centro dos reticulados A2 e D3 , ou seja,
reticulados com densidade de centro otima para dimensoes 2 e 3, respectivamente. Acreditamos
que, a partir deste metodo, pode ser encontrado reticulados com densidade de centro otima para
dimensoes maiores. O grande desao e determinar a matriz geradora do reticulado atraves das
razes do polinomio e tambem minimizar a forma quadratica.
Para apresentar o segundo metodo, inicialmente zemos um estudo sobre o homomorsmo
canonico e suas perturbacoes e, vimos que, podemos obter reticulados via estes homomorsmos.
Da, apresentamos uma construcao de reticulados rotacionados de dimensoes 2, 4, 6, 8 e 12 dos
reticulados conhecidos A2 , D4 , E6 , E8 e K12 . Ja que sabemos que a densidade de centro destes
reticulados sao otimas, este metodo consiste em igualar a formula da densidade de centro a estes
valores sabidos e trabalhar para encontrar convenientes valores de seus parametros para que
tenhamos os resultados desejados. Para dimensoes mpares, por falta de tempo, zemos apenas
alguns testes, e nao encontramos resultados satisfatorios. Mas acreditamos que seja possvel
encontrar reticulados rotacionados de dimensoes mpares utilizando esta mesma teoria.
Os dois casos vistos acima visam obter bons reticulados com relacao a` sua densidade
de centro pois, como vimos, encontrar empacotamentos reticulados densos e equivalente a
encontrar codigos corretores de erros ecientes. Mas, no u
ltimo caso apresentado, nosso objetivo
foi classicar os reticulados quanto a sua diversidade e distancia produto mnima. Pois, como
pode ser visto em [22], para termos uma transmissao com pequena probabilidade de erros,
devemos utilizar reticulados com diversidade e distancia produto mnima alta. E, como foi visto
160
161
Referencias Bibliogracas
[1] ALVES, C. Reticulados via corpos ciclot
omicos. 2005, 125f. Dissertacao (Mestrado em
Matematica), Instituto de Biociencias, Letras e Ciencias Exatas, Universidade Estadual
Paulista, Sao Jose do Rio Preto, 2005.
[2] ANDRADE, A. A.; ALVES, C.; CARLOS, T. B. Rotated lattices via the cyclotomic
eld Q(2r ). International Journal of Applied Mathematics, Soa, v. 19, n. 3, p. 321-331,
2006.
[3] ANDRADE, A.A.; FERRARI, A,J.; BENEDITO, C.W.O.; COSTA, S.I.R. Constructions of algebraic lattices. Submetido `a revista CAM - Computational and Applied
Mathematics, 2010.
[4] BAYER-FLUCKIGER, E. Ideal lattices. In: Conference in honor of Alan Baker, 2002,
Cambridge. Proceedings ... Cambridge: Cambridge University Press, 2002, p.
[5] BAYER-FLUCKIGER, E. Lattices and number elds. Contemporary Mathematics,
Providence, v. 241, p. 69-84, 1999.
[6] BAYER-FLUCKIGER, E.; OGGIER, F.; VITERBO, E. New algebraic constructions
of rotated Zn -lattice constellations for the Rayleigh fading channel. IEEE Transactions on Information Theory, New-York, v. 50, n. 4, p. 702-714, Apr. 2004. 2003.
[7] BOUTROS, J.; VITERBO, E.; RATELLO, C.; BELFIORE, J. C. Good lattice constellations for both Rayleigh fading and Gaussian channels. IEEE Transactions
Information Theory, New-York, v. 42, No. 2, p. 502-517, 1996.
[8] CONWAY, J. H.; SLOANE, N. J. A. Sphere packing, lattices and groups. New-York:
Springer-Verlag, 1999.
[13] JORGE, G.C. Reticulados ideais via corpos abelianos. 2008, 176f. Dissertacao
(Mestrado em Matematica), Instituto de Biociencias, Letras e Ciencias Exatas, Universidade Estadual Paulista, Sao Jose do Rio Preto, 2008.
[14] LANG, S. Algebra. New York: Addison-Wesley, 1972.
[15] LAVOR, C.C., ALVES, M.M.S, SIQUEIRA, R,M., COSTA, S.I.R. Uma Introdu
c
ao `
a
Teoria de C
odigos. Notas em Matematica Aplicada, Sao Carlos, SP - SBMAC, , 2006.
[16] LOPES, J. O. D. Discriminants of subelds of Q(2r ). Journal of Algebra and Its
Applications, New Jersey, v. 2, p. 463-469, 2003.168-184.
[17] MARCUS, D. A. Number elds. New-York: Springer-Verlag, 1977.
[18] MELO, F. D. Uma forma quadr
atica no corpo de condutor primo. 2005, 59f.
Dissertacao (Mestrado em Matematica), Instituto de Biociencias, Letras e Ciencias Exatas,
Universidade Estadual Paulista, Sao Jose do Rio Preto, 2005.
[19] MILIES, F. C. P. An
eis e m
odulos. Sao Paulo: L.P.M, 1972.
[20] MONTEIRO, L. H. J. Teoria de Galois. In: Coloquio Brasileiro de Matematica, 7, 1969.
Pocos de Caldas. Atas ... Rio de Janeiro: Impa, 1969.
[21] NOBREGA, T. P. C
ubicas reais, algumas aplica
c
oes, In: Encontro de Algebra,
6,
1997. Campinas. Anais ... Campinas: Unicamp, 1997.
[22] OGGIER, F. Algebraic methods for channel coding. 2005, 125f. Tese (Doutorado em
163
Indice Remissivo
anel, 18
anel de Dedekind, 42
anel dos inteiros, 30
anel integralmente fechado, 30
anel quociente, 19
assinatura, 138
divisor de zero, 18
elemento inteiro, 27
elemento totalmente positivo, 108
empacotamento esferico, 72
empacotamento reticulado, 72
extensao, 25
base, 21
extensao galoisiana, 26
base complementar, 54
extensao separavel, 26
base integral, 31
classe de equivalencia, 19
CM-corpo, 26
codiferente, 52
congruencia, 19
funcao de Mobius, 60
grau da extensao, 25
grupo, 17
grupo de Galois, 26
corpo, 18
homomorsmo canonico, 98
corpo ciclotomico, 48
homomorsmo de aneis, 20
corpo de n
umeros, 25
homomorsmo de modulos, 21
corpo de razes, 26
homomorsmo imaginario, 26
corpo xo, 26
homomorsmo real, 26
corpo quadratico, 46
corpo totalmente imaginario, 26
corpo totalmente real, 26
ideal, 19
ideal fracionario, 43
ideal maximal, 19
densidade de centro, 73
ideal primo, 19
densidade de empacotamento, 73
ideal principal, 19
determinante de um reticulado, 72
inteiro algebrico, 30
discriminante, 39
involucao, 26
modulo livre, 21
modulo noetheriano, 22
matriz de Gram, 71
matriz geradora, 70
monomorsmo, 20
n
umero algebrico, 25
n
umero transcendente, 25
norma de um elemento, 31
norma de um ideal, 36
norma mnima de um reticulado, 73
perturbacao 2 do homomorsmo canonico,
115
perturbacao do homomorsmo canonico, 108
polinomio ciclotomico, 48
raz n-esima primitiva da unidade, 48
raio de empacotamento, 73
regiao fundamental, 67
reticulado, 66
reticulado mpar, 139
reticulado algebrico, 119
reticulado ideal, 139
reticulado inteiro, 138
reticulado par, 139
reticulado positivo, 139
sequencia estacionaria, 22
subanel, 18
subcorpo, 18
submodulo, 20
traco, 31
volume de um reticulado, 70
165