Monografia PDF

Clculo do Grupo de Galois
Danilo Elias Castro nUSP 3100230

3 de dezembro de 2007
2
Sumrio
I Parte Objetiva 5
1 Introduo 7
1.1 Teoria de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 O Trabalho proposto . . . . . . . . . . . . . . . . . . . . . . . . . 8
2 Extenses de Corpos e Morsmos 9
2.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 Extenses de Corpos . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.3 Extenses Algbricas . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.4 Existncia do Fecho Algbrico . . . . . . . . . . . . . . . . . . . . 16
2.5 Extenses de Morsmos . . . . . . . . . . . . . . . . . . . . . . . 18
2.6 Corpos de Decomposio . . . . . . . . . . . . . . . . . . . . . . . 19
2.7 Extenses Separveis . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.8 Elemento Primitivo . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3 Teorema Fundamental da Teoria de Galois 29
3.1 Denies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.2 Teorema Fundamental . . . . . . . . . . . . . . . . . . . . . . . . 31
4 Algoritmos 37
4.1 Resolventes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.2 Esquema geral dos algoritmos . . . . . . . . . . . . . . . . . . . . 43
4.3 Algoritmo para polinmios do 3
o
grau . . . . . . . . . . . . . . . 45
4.4 Prova do Algoritmo 3 . . . . . . . . . . . . . . . . . . . . . . . . 45
4.5 Prova do Algoritmo 4 . . . . . . . . . . . . . . . . . . . . . . . . 47
4.6 Algoritmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
5 Transformaes de Tschirnhausen 59
5.1 Resultantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
5.2 Transformao de Tschirnhausen . . . . . . . . . . . . . . . . . . 61
6 Software 63
6.1 Testes Bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
6.2 Testes de alcance . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3
4 SUMRIO
II Parte Subjetiva 69
7 Sobre o TCC 71
7.1 Desaos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
7.2 Frustraes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
7.3 Concluso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
A Representao dos grupos de Galois 75
Parte I
Parte Objetiva
5
Captulo 1
Introduo
Si lquation propose a tous ses
coecients rationnels, lquation
auxiliaire qui donne cette fonction
les aura tous aussi, et il sura de
reconnatre si cette quation
auxiliaire du degr 1.2.3...(n 2)
a ou non une racine rationnelle,
ce que lon sait faire.
variste Galois
1.1 Teoria de Galois
Em 1831 variste Galois resolveu, em seu artigo, "Mmoire: Sur les conditions
de rsolubilit des quations par radicaux", o problema de solubilidade por
radicais de polinmios irredutveis de grau primo e encontrou condies para
um polinmio ser ou no solvel por radicais.
Na epgrafe acima Galois escreve "Se a equao proposta tiver seus coe-
cientes racionais, sua equao auxiliar tambm ter, e ser suciente determi-
nar se a equao auxiliar de grau (n 2)! tem ou no uma raiz racional. E isso
sabe-se como fazer."
A equao proposta , obviamente, dada pelo polinmio cujas razes Galois
queria saber se eram solveis ou no, por radicais. A equao auxiliar o que
ns chamaremos de polinmio resolvente, e a ltima frase refere-se ao fato j
conhecido na poca que sempre que temos polinmios com coecientes em Z,
suas razes racionais so do tipo q/p onde p e q so os coecientes do primeiro
termo e do termo independente respectivamente. Na citao do Galois aparece
a palavra "racional"que no tem exatamente o mesmo signicado que para ns,
mas isso deixaremos de lado.
7
8 CAPTULO 1. INTRODUO
Galois, em seu trabalho, utilizou uma estrutura associada ao polinmio ori-
ginal que faz o servio de nos contar se o dado polinmio ou no solvel por
radicais. Essa estrutura era chamada de "grupo de permutaes"(groupe de per-
mutations) que, possuindo certas propriedades, indicava se o polinmio era de
fato solvel por radicais. Esse grupo ser justamente chamado de Grupo de Ga-
lois e sempre um subgrupo do grupo de permutaes do conjunto 1, 2, . . . , n
chamado de S
n
onde n o grau do polinmio dado.
Na verdade, o que foi descoberto que existe uma correspondncia bije-
tora entre o reticulado de subcorpos do corpo das razes do polinmio original
e o reticulado de subgrupos do grupo de Galois. Dentre outras coisas, essa
correspondncia nos traz informaes sobre a natureza algbrica das razes e
isso permitiu a Galois inferir sobre sua construo(das razes) pela utilizao de
radicais.
1.2 O Trabalho proposto
No contexto acima, este trabalho visa estudar o algoritmo que fornece o grupo
de Galois de qualquer polinmio mnico irredutvel com coecientes inteiros de
grau menor ou igual a 7.
Para isso, se utiliza fortemente do "Teorema Fundamental da Teoria de Ga-
lois", que trata da correspondncia mencionada acima, e tambm de polinmios
resolventes que nos do informaes sobre qual o grupo de Galois. Em suma,
para cada grau, h um resolvente particular que, sob certas condies, determina
qual o grupo em questo.
O mtodo utilizado aqui chama-se "mtodo do resolvente"que foi exposto
por Henry Cohen em [5].
Os captulos 2 e 3 tratam da teoria de Galois do ponto de vista moderno.
O captulo 4 d a teoria por trs dos algoritmos e demonstra a validade dos
algoritmos para se encontrar o grupo de Galois dos polinmios do 3
o
,4
o
e 5
o
graus. Para os outros casos a demonstrao anloga e depende apenas das
particularidades do reticulado de subgrupos do S
n
.
Alm do algoritmo, este trabalho deve produzir um pacote na linguagem do
programa Mathematica que recebe um polinmio irredutvel com coecientes
racionais e devolve uma representao do grupo de Galois correspondente. Como
o algoritmo deve receber um polinmio mnico com coecientes inteiros, ento
uma transformao no polinmio original deve ser feita.
No apndice A, h uma tabela que relaciona as representaes do grupo de
Galois com sua respectiva descrio.
Captulo 2
Extenses de Corpos e
Morsmos
2.1 Preliminares
Nesta primeira seo, pretendo expor conhecimentos bsicos de lgebra abstrata
que sero frequentemente usados neste trabalho. Apesar disso, supomos que o
leitor j possua nesse momento alguns conhecimentos prvios adquiridos em
algum curso introdutrio de lgebra abstrata, como por exemplo na disciplina
lgebra II do IME-USP.
Tais conhecimentos prvios so:
Estrutura de anis, domnios de integridade e corpos.
Homomorsmos de anis e anis quociente.
Ideais primos e maximais.
Espao Vetorial sobre um corpo.
Grupos.
Aes de grupos.
Usaremos frequentemente o seguinte resultado, que trata da avaliao de um
polinmio de um anel F[x] no elemento corpo E.
Teorema 2.1.1 (Avaliao). Seja F um subcorpo de um corpo E e seja
elemento de E. A funo
: F[x] E denida por:
(a
0
+a
1
x + +a
n
x
n
) = a
0
+a
1
+ +a
n
n
com a
i
F um homomorsmo de anis de F[x] em E. O homomorsmo
uma avaliao em .
9
10 CAPTULO 2. EXTENSES DE CORPOS E MORFISMOS
Demonstrao.
est claramente bem denida e agora vamos mostrar que

de fato um homomorsmo de anis. Considere ento f(x) = a
0
+a
1
x+ +a
n
x
n
e g(x) = b
0
+b
1
x + +b
m
x
m
com m n. Assim:
(f(x) +g(x)) =
((a
0
+b
0
) + (a
1
+b
1
)x + + (a
m
+b
m
)x
m
+a
m+1
x
m+1
+ +a
n
x
n
) =
(a
0
+b
0
) + (a
1
+b
1
) + + (a
m
+b
m
)
m
+a
m+1
m+1
+ +a
n
n
=
a
0
+a
1
+ +a
n
n
+b
0
+b
1
+ +b
m
m
=
f() +g() =
(f(x)) +
(g(x))
E tambm:
(f(x)g(x)) =
(d
0
+d
1
x + +d
n
x
n
) =
d
0
+d
1
+ +d
n
n
=
(a
0
+a
1
+ +a
n
n
)(b
0
+b
1
x + +b
m
x
m
) =
f()g() =
(f(x))
(g(x))
onde d
i
=
i
j=0
a
j
b
ij
E pela denio
(a) = a e isso termina a prova.

Neste trabalho, utilizaremos o tempo todo, principalmente a partir de ex-
tenses de morsmos, o conceito de homomorsmos de corpos. Esses morsmos
mostram o que h de mais importante por trs da teoria de Galois que a
relao entre a simetria algbrica das razes de um polinmio e a solubilidade
por radicais.
Denio 2.1.2 (Morsmo de Corpos). Se F e L so corpos, uma funo
: F L um homomorsmo de corpos se valem, para todo x, y F:
1. (x +y) = (x) +(y)
2. (xy) = (x)(y)
Note que o ideal de um corpo ou nulo, ou todo o corpo. Assim o kernel da
um ideal de F e portanto todo morsmo de corpos ou o morsmo nulo,
ou injetor. Daqui para frente sempre vamos considerar o segundo caso.
2.2. EXTENSES DE CORPOS 11
2.2 Extenses de Corpos
Denio 2.2.1 (Extenso de Corpos). Um corpo E uma extenso de um
corpo F se F E.
Precisamos mostrar que todo polinmio tem uma raiz em algum lugar, ou
seja, se F um corpo e f(x) um polinmio em F[x], ento existe uma extenso
de F onde esse polinmio tenha uma raiz. Temos assim o seguinte teorema:
Teorema 2.2.2 (Kronecker). Seja F um corpo e seja f(x) um polinmio no
constante em F[x]. Ento existe uma extenso E de F e um E tal que
f() = 0.
Demonstrao. Sabemos que f(x) se fatora em F[x] num produto de polin-
mios que so irredutveis. Seja p(x) um polinmio irredutvel em tal fatorao.
Basta ento encontrar uma extenso E de F que contm um elemento tal que
p() = 0. Como p(x)) um ideal maximal em F[x], ento F[x]/p(x)) um
corpo. Queremos mostrar que F pode ser identicado como um subcorpo de
F[x]/p(x)) atravs da incluso natural : F F[x]/p(x)) dada por
(a) = a +p(x))
para a F. Esta funo injetora, pois, se (a) = (b), ou seja, se a+p(x)) =
b +p(x)) para certos a, b F, ento (a b) p(x)), portanto, a b deve ser
mltiplo do polinmio p(x), de grau 1. Mas a, b F implica que a b est
em F. Assim, devemos ter a b = 0 e, ento a = b. Podemos escolher a
como sendo um elemento da classe (a + p(x))). Assim um isomorsmo
de F em um subcorpo de F[x]/p(x)). Assim, identicamos F como sendo
a +p(x)) [ a F por meio de . Agora podemos ver E = F[x]/p(x)) como
uma extenso de F. Tendo j criado a extenso E de (F), cpia isomorfa de F,
pode-se ento produzir uma extenso E
de F por um argumento conjuntista.

Falta mostrar que E contm um zero de p(x). Denimos
= x +p(x)),
com E. Considere agora a avaliao
: F[x] E tal que
(p(x)) = p().
Se p(x) = a
0
+a
1
x + +a
n
x
n
, onde a
i
F, ento temos
(p(x)) = a
0
+a
1
(x +p(x))) + +a
n
(x +p(x)))
n
em E = F[x]/p(x)).
(p(x)) = p() = (a
0
+a
1
x+ +a
n
x
n
) +p(x)) = p(x) +p(x)) = p(x)) = 0
em F[x]/p(x)). Encontramos um elemento em E = F[x]/p(x)) tal que
p() = 0, e ,portanto, f() = 0.
Provamos acima que sempre existe um corpo E, contento F, e contendo a raiz
de um polinmio qualquer f(x) F[x] dado, mas se E for um corpo qualquer,
nem sempre acontece de todo elemento de E ser uma raiz de algum polinmio
em F[x]. Podemos agora denir elementos algbricos e transcendentes.
Denio 2.2.3. Um elemento de uma extenso E de um corpo F dito
algbrico sobre F se f() = 0 para algum polinmio no nulo f(x) de F[x].
Se no for algbrico, dizemos que transcendente sobre F.
Como exemplo considere a extenso R de Q. Sabemos que

3 algbrico
sobre Q sendo raiz de x
2
3. Claramente

3 tambm raiz de x
3
3x e de
x
4
3x
2
+ 2. Assim razovel imaginar que todos os polinmios em Q[x] que
tenham

3 como raiz sejam mltiplos de x
2
3. Temos ento:
Teorema 2.2.4. Seja E uma extenso de F, e seja E, algbrico sobre
F. Ento existe um polinmio irredutvel p(x) F[x] tal que p() = 0. Esse
polinmio univocamente determinado a menos de uma constante multiplicativa
em F e um polinmio de grau mnimo 1 em F[x] tendo como raiz. Se
f() = 0 com f(x) ,= 0 F[x], ento p(x) divide f(x).
Demonstrao. Seja
a avaliao de F[x] em E. Sabemos que o kernel de
um ideal principal gerado por algum p(x) F[x]. Assim o ideal p(x)) consiste
precisamente de todos os elementos de F[x] que tem como raiz. Assim, se
f() = 0 com f(x) ,= 0 F[x], ento f(x) p(x)) e portanto p(x) divide f(x).
Portanto, p(x) de grau mnimo e qualquer outro polinmio de mesmo grau
tendo como raiz deve ser da forma ap(x) para algum a F.
Falta provar que p(x) irredutvel. Para isso Suponha que p(x) = r(x)s(x)
onde os graus de r e s devem ser maiores ou iguais a 1 e menores que o grau de
p. Ento se p() = 0, r()s() = 0 implicando que ou r() = 0 ou s() = 0,
pois E um corpo e no tem divisores de zero. Mas isso um absurdo pois
p(x) de grau mnimo. Conclumos que p(x) irredutvel.
Sempre podemos escolher um polinmio tal que o coeciente do termo de
maior grau 1. Tal polinmio chamado polinmio mnico.
Denio 2.2.5 (irr(, F)). Seja E uma extenso do corpo F, e seja E
algbrico sobre F. O nico polinmio mnico p(x) do teorema anterior o
polinmio irredutvel de sobre F e ser denotado por irr(, F).
Seja E uma extenso de F, seja E. Seja
a avaliao de F[x] em E
como j denimos antes.
Suponha que algbrico sobre F. Ento como no teorema 2.2.4, o kernel
de
irr(, F)) que j sabemos que ideal maximal de F[x]. Portanto,

F[x]/irr(, F)) corpo e isomorfo a imagem
(F[x]) em E. Pode-se mostrar

que este subcorpo
(F[x]) em E o menor subcorpo de E contendo F e e

ser denotado por F().
Denio 2.2.6 (Extenses Simples). Uma extenso E de um corpo F dita
uma extenso simples de F se E = F() para algum E.
2.3. EXTENSES ALGBRICAS 13
Teorema 2.2.7. Seja E = F() uma extenso simples de um corpo F, e seja
algbrico sobre F. Se o grau do irr(, F) n 1, ento todo elemento de
E se escreve de modo nico como:
= b
0
+b
1
+ +b
n1
n1
,
onde os b
j
esto em F.
Demonstrao. Considerando a avaliao
, todo elemento de F() da forma
(f(x)) = f(), ou seja, um polinmio em com coecientes em F. Seja:

irr(, F) = p(x) = x
n
+a
n1
x
n1
+ +a
0
E ento como p() = 0, temos
n
= a
n1
n1
a
0
Esta equao mostra que podemos expressar todo monmio
m
para m n em
termos de potncias de menores ou iguais a n. Assim claro que todo pode
ser expresso na forma desejada. Para vericar a unicidade basta ver que se:
b
0
+b
1
+ +b
n1
n1
= b
0
+b
1
+ +b
n1
n1
para b
j
F, ento
g(x) = (b
0
b
0
) + (b
1
b
1
)x + + (b
n1
b
n1
)x
n1
um polinmio em F[x] que tem como raiz. Mas como o grau de g menor
que o grau do irr(, F) que por sua vez o polinmio minimal, ento g(x) = 0.
Assim b
j
= b
j
e a representao nica.
2.3 Extenses Algbricas
Denio 2.3.1 (Extenso Algbrica). Uma extenso E de um corpo F uma
extenso algbrica se todo elemento de E for algbrico sobre F.
Denio 2.3.2 (Extenso Finita). Se uma extenso E de um corpo F tem
dimenso nita n como espao vetorial sobre F, ento E uma extenso nita
de grau n sobre F. Esse grau ser denotado por [E : F].
Teorema 2.3.3. Se considerarmos a torre de corpos F K E, ento:
[E : F] = [E : K][K : F]
Demonstrao. Sejam
1
,
2
, . . . ,
n
e
1
,
2
, . . . ,
m
bases de E/K e K/F
respectivamente. Vamos provar que o conjunto:
(i,j)
uma base de E/F. Primeiro vamos mostrar que esses vetores geram E sobre
F. Seja ento E. Como
i
a base de E sobre K ento:
=
n
i=1
a
i
i
para a
i
K. E como
j
a base de K sobre F ento:
a
i
=
m
j=1
ij
j
para
ij
F. Ento nalmente:
=
n
i=1
(
m
j=1
ij
j
)
i
=
i,j
ij
(
j
i
)
e portanto
i
(i,j)
geram E sobre F. Falta agora mostrar que esses vetores
so todos l.i.
Assim se por contradio

i,j

ij
x
i
y
j
= 0 para certos
ij
F no todos
nulos, ento podemos escrever:
i
(
ij
y
j
)x
i
= 0
Como
j

ij
y
j
est em K, e pela hiptese dos x
i
serem l.i temos:
ij
y
j
= 0 para todo i
e novamente pela hiptese dos y
i
serem l.i, ento
ij
= 0 para todo par (i, j).
Os elementos
i
(i,j)
so linearmente independentes sobre F e, como j
vimos, geram E sobre F.
E
Base{i}{
K
Base{j}{
F
Corolrio 2.3.4. Se F F
1
F
2
F
n
uma torre de corpos, ento:
[F
n
: F] = [F
n
: F
n1
][F
n1
: F
n2
] . . . [F
2
: F
1
][F
1
: F
0
]
Demonstrao. A prova sai direto do teorema 2.3.3 por induo.
2.3. EXTENSES ALGBRICAS 15
Corolrio 2.3.5. Se F K E uma torre de corpos, ento E/F uma
extenso nita se e somente se E/K e K/F forem extenses nitas. Alm disso,
se E/F for nita, ento os graus de E/K e K/F dividem o grau de E/F.
Demonstrao. A prova sai novamente do teorema 2.3.3.
Se E uma extenso de um corpo F e
1
elemento de E, j vimos que o
corpo obtido pela adjuno de
1
a F denotado por F(
1
). Da mesma forma,
podemos adjuntar
2
a F(
1
) tomando a avaliao
2
: F(
1
)[x] E obtendo
como imagem F(
1
)(
2
). F(
1
)(
2
) o menor corpo contendo F(
1
) e
2
e
ser denotado por F(
1
,
2
).
Denio 2.3.6. E/F uma extenso nitamente gerada se existirem
1
,
2
,
. . . ,
n
E tais que E = F(
1
,
2
, . . . ,
n
).
Lema 2.3.7. E/F uma extenso nita se, e somente se, for algbrica e
nitamente gerada.
Demonstrao. () Se E/F uma extenso nita e
1
, . . . ,
m
uma base
de E como espao vetorial sobre F, ento se E temos:
= a
1
1
+a
2
2
+ +a
m
m
com a
i
F. E, portanto, E F(
1
, . . . ,
m
). Como os
i
esto em E,
claro que F(
1
, . . . ,
m
) E e, assim, E/F uma extenso nitamente gerada.
Alm disso E/F algbrica pois se E, o conjunto 1, ,
2
, . . . no pode
ser l.i pois dimE
F
< e, portanto deve ser algbrico sobre F.
() Suponhamos que E/F seja algbrica e nitamente gerada. Ento E =
F(
1
, . . . ,
m
) para certos
i
. Assim:
F F(
1
) F(
1
,
2
) F(
1
, . . . ,
m
)
E pelo corolrio 2.3.5 como cada extenso intermediria nita, ento E/F
nita.
Algumas propriedades sero teis daqui pra frente e devo exp-las agora:
Lema 2.3.8. Considere a torre de corpos F K E, ento E/F algbrica
se, e somente se, E/K e K/F forem algbricas.
Demonstrao. () Se E/F algbrica ento se E raiz de um polinmio
com coecientes em F, claro que raiz de um polinmio com coecientes em
K, assim E/K algbrica, e, se os elementos de E so algbricos sobre F,
claro que os elementos de K so tambm algbricos sobre F.
() Se E/K e K/F so extenses algbricas, ento se E algbrico
sobre K, ento existe um polinmio em K que tem como raiz a saber k(x) =
k
0
+k
1
x+k
2
x
2
+ +k
n
x
n
com os k
i
em K. Assim, considere a torre de corpos:
F F(k
0
, k
1
, . . . , k
n
) F(, k
0
, k
1
, . . . , k
n
)
Sendo assim como K/F algbrica, F(k
0
, k
1
, . . . , k
n
)/F algbrica e nita-
mente gerada, e portanto nita pelo lema 2.3.7. Da mesma forma como E/K
algbrica, F(, k
0
, k
1
, . . . , k
n
)/F(k
0
, k
1
, . . . , k
n
) tambm nita.
F(, k
0
, k
1
, . . . , k
n
) E
<
F(k
0
, k
1
, . . . , k
n
) K
<
<
F
<
E portanto [F(, k
0
, k
1
, . . . , k
n
) : F] < e, logo algbrico sobre F.
2.4 Existncia do Fecho Algbrico
Do corolrio 2.3.5 seque que se E uma extenso de um corpo F e , E so
algbricos sobre F, ento +, , e

, ,= 0 tambm so algbricos.
J vimos no teorema 2.2.2 que sempre existe uma extenso que possui uma
raiz de um polinmio dado. Precisamos mostrar que dado um corpo F, ento
tambm existe uma extenso que possui todas as razes de seus polinmios em
F[x]. Essa extenso ser chamada de fecho algbrico.
Corolrio 2.4.1. Se F um corpo e f F[x] um polinmio de grau n 1,
ento existe um corpo L contendo F onde f possui todas as suas razes.
Demonstrao. Para provar, basta utilizar o resultado do Kronecker repetidas
vezes. Assim, se f(x) F[x], ento existe uma extenso de F que possui uma
raiz
1
de f, e j vimos que esta extenso (a menos de isomorsmo) F(
1
).
Agora fazemos o seguinte; fatoramos f em F(
1
)[x] e tomamos o resultado
digamos f
(1)
(x) e sabemos que possui grau no mximo n 1.
Assim, basta repetir o procedimento a m de encontrar uma extenso que
tenha uma raiz de f
(1)
(x), digamos
2
, e tomarmos a extenso F(
1
,
2
) e assim
por diante. fcil perceber que no mximo em n passos construmos a extenso
F(
1
,
2
, . . . ,
m
), cujo grau , no mximo, n!.
2.4. EXISTNCIA DO FECHO ALGBRICO 17
F(
1
,
2
, . . . ,
m
)
F(
1
,
2
)
n1
F(
1
)
n
n1
F
n
Corolrio 2.4.2. Se F um corpo e f
1
, f
2
, . . . , f
n
F[x] so polinmios de
grau 1, ento existe um corpo L contendo F onde f
1
, f
2
, . . . , f
n
possuem todas
as suas razes.
Demonstrao. Construmos da mesma maneira que no corolrio anterior F
(1)
que tenha todas as razes de f
1
. Assim, basta repetir o procedimento n 1
vezes para f
i
, i = 2, ..., n e assim obter uma extenso que tenha todas as razes
desejadas.
Denio 2.4.3. Um corpo E diz-se algebricamente fechado se todo po-
linmio f(x) E[x] possui raiz em E e, portanto, possui todas as razes em
E.
Denio 2.4.4 (Fecho Algbrico). Uma extenso E de um corpo F chamada
de fecho algbrico de F se E/F for algbrica e E for um corpo algebricamente
fechado.
Denio 2.4.5 (Corpo de Decomposio). Uma extenso E de um corpo F
chamada de corpo de decomposio para um polinmio f F[x] se E
contm todas as razes
1
,
2
, . . . ,
n
de f e da forma E = F(
1
,
2
, . . . ,
n
).
Teorema 2.4.6. Seja F um corpo. Ento existe uma extenso de corpos E/F
com E algebricamente fechado. Podemos tambm escolher E de modo que E/F
seja algbrica e contruir assim o fecho algbrico de F denotado F.
Demonstrao. A prova pode ser encontrada em [1].
2.5 Extenses de Morsmos
Na seo 2.2 denimos uma extenso de corpos como sendo simplesmente um
corpo que contm outro corpo dado. A partir de agora precisamos denir ex-
tenses de homomorsmos de corpos.
Denio 2.5.1. Sejam : F L e : E L homomorsmos de corpos
tais que F E L e restrito a F ([
F
= ), ou seja, se x F, ento
(x) = (x). Alm disso, se for a identidade, ento diremos que est sobre
F.
Nesse caso diremos ento que uma extenso de .
Lema 2.5.1. Se E/F for uma extenso algbrica e : E E um morsmo
de corpos cuja restrio a F a identidade ( est sobre F), ento um
isomorsmo.
Demonstrao. O ponto importante que, como est sobre F, se g F[x] for
um polinmio e E, ento vai xar os coecientes que esto em F. Assim:
(g()) = (f
0
+f
1
+ +f
n
n
) =
= f
0
+f
1
() + +f
n
()
n
= g(())
temos ento a seguinte equao:
(g()) = g(()) (2.1)
Seja E um elemento qualquer e g(x) = irr(, F)(x). Seja R = E :
g() = 0 o conjunto das razes de g e assim claro que R. Vamos ento
utilizar 2.1 para ver o que o morsmo faz com .
(g()) = 0 = g(())
E portanto leva uma raiz de g em outra raiz de g.
Temos ento que (R) R, e, como R nito e injetora, pois todo
homomorsmo de corpos injetor, (R) = R, o que prova o lema.
Se E for o corpo de decomposio de um polinmio irredutvel f F[x],
ento o isomorsmo de corpos : E E sobre F , essencialmente, uma
permutao das razes de f.
Teorema 2.5.2. Sejam F e L dois corpos, com L algebricamente fechado, se
E = F(), com algbrico sobre F e : F L um morsmo de corpos. Ento
existe uma extenso de , ou seja, existe um morsmo : E L tal que
[
F
= .
Demonstrao. Seja f(x) = Irr(, F)(x) F[x]. Denotaremos por f
L[x]
o polinmio obtido pela aplicao de coeciente a coeciente. Como L
algebricamente fechado, existe L raiz de f
. Deno : F() L assim:

(g()) := g
()
2.6. CORPOS DE DECOMPOSIO 19
onde g(x) F[x]. Primeiro, vamos mostrar que est de fato bem denida.
Se g() = h() para certo h(x) F[x], ento raiz de t(x) = g(x) h(x),
pois g() h() = 0 e, portanto, o polinmio irredutvel f(x) deve dividir t(x).
Portanto, temos, para um certo h(x) F[x]:
t(x) = f(x)h(x)
t(x) f(x)h(x) = 0
aplicando como denida.
t
(x) f
(x)h
(x) = (0)
e como um homomorsmo temos.
t
(x) = f
(x)h
(x)
Assim, f
(x) divide t
(x). o que prova que a denio de independe do

particular polinmio g escolhido. Para mostrar que homomorsmo de corpos
basta ver que:
(g()h()) = (gh())
gh
() = g
()h
()
= (g())(h())
e fazendo o mesmo para a soma vemos que claramente um morsmo de
corpos e [
F
= o que termina a prova.
Corolrio 2.5.3. Sejam F e L dois corpos com L algebricamente fechado, se
E/F for uma extenso nita e : F L um morsmo de corpos. Ento existe
uma extenso : E L de .
Demonstrao. Toda extenso nita algbrica e nitamente gerada, isto ,
E = F(
1
, . . . ,
n
), com os
j
algbricos sobre F. Uma simples induo no
nmero de geradores prova o corolrio.
Teorema 2.5.4. Sejam F e L dois corpos com L algebricamente fechado, se
E/F for uma extenso algbrica e : F L um morsmo de corpos. Ento
existe uma extenso : E L de .
Demonstrao. A prova pode ser encontrada em [1].
2.6 Corpos de Decomposio
Denimos, na seo 2.4, corpo de decomposio de um determinado polinmio,
mas, em geral, podemos denir corpos de decomposio para uma famlia de
polinmios como abaixo.
Denio 2.6.1. Seja F um corpo e = f
J
uma famlia de polinmios de
F[x], todos de graus 1. Um corpo K/F diz-se um corpo de decomposio
dessa famlia se:
1. Todo polinmio f
possui todas as suas razes em K

2. K = F(Z), onde Z K o conjunto de todos os zeros de todos os
elementos de .
Tomemos a famlia = f constituda por um nico polinmio f(x).
Ento, se
1
, . . . ,
n
so as razes de f em K, temos K = F(
1
, . . . ,
n
). J
sabemos pelo corolrio 2.4.1, que tais corpos de decomposio existem.
Teorema 2.6.2. Seja : F F
um isomorsmo de corpos e F[x] uma

famlia de polinmios com graus 1. Se E/F um corpo de decomposio para
e E
um corpo de decomposio para
= f
: f F
[x], ento o
isomorsmo se estende a um isomorsmo : E E
.
Demonstrao. Seja F
um fecho algbrico de F
contendo E
. Assim, pode
ser vista como um homomorsmo de F em F
. Pelo Corolrio 2.5.3, existe um

morsmo : E F
estendendo . Se E for um zero de algum f ,

ento, como
0 = (f()) = f
(()),
vemos que () um zero de f
, ou seja: () E
Mas E = F(Z), onde

Z o conjunto dos zeros de , de modo que (E) E
. Para provar que

um isomorsmo, tomo um fecho algbrico F de F e construmos : E
F,
estendendo
1
. Observe que
1
est bem denida pois bijetora e alm
disso novamente
1
pode ser vista como um morsmo de F
em F justicando
assim a extenso .
O mesmo raciocnio, usado para , demonstra que (E
) E. Agora consi-
dere as composies e .
: E E : E
so morsmos sobre F e assim, pelo lema 2.5.1, so automorsmos de E e E
respectivamente e portando isomorsmo.

E
//
E
oo
F
//
F
1
oo
Corolrio 2.6.3. Se f F[x], ento dois quaisquer corpos de decomposio
para f so isomorfos.
2.6. CORPOS DE DECOMPOSIO 21
Teorema 2.6.4. Seja K/F uma extenso algbrica e F um fecho algbrico de
F contendo K. So equivalentes:
1. Todo morsmo : K F sobre F verica: (K) = K.
2. K o corpo de decomposio de alguma famlia de polinmios de F[x].
3. Se um polinmio irredutvel de F[x] possui uma raiz em K, ento ele
possui todas as razes em K.
Demonstrao.
(2) (1). Seja, ento K = F(Z), onde Z o conjunto da razes dos
polinmios da famlia , e : K F um morsmo sobre F. Ento, se Z,
f() = 0 para algum f ,
0 = (f()) = f(())
ou seja, se (Z) Z. Logo (K) K. Assim, podemos enxergar : K K
sobre F e como Lema 2.5.1 garante que um isomorsmo, ento (K) = K.
(1) (3). Seja f um polinmio irredutvel em F[x] que possui uma raiz
K. Seja F uma raiz qualquer de f em F. Como f irredutvel,
j sabemos que existe um isomorsmo : F() F() F sobre F com
() = . Assim temos a seguinte situao:
K
alg

!!
C
C
C
C
C
C
C
C
C
() =
F()

//
F
Nessa situao, podemos estender o morsmo a um morsmo : K F
usando o teorema 2.5.4. Ento, como restrito a F que por sua vez sobre
F, ento sobre F e pela hiptese (1), (K) = K, donde
() = () = .
O que acarreta K.
(3) (2). Seja a famlia dos polinmios f
(x) = Irr(, F)(x) F[x]

para todo K. Assim, claro que todo polinmio f tem todas as suas
razes em K. Falta mostrar que K = F(Z). Isso imediato dado que K/F
uma extenso algbrica.
Ento como K/F algbrica, imediato por (3) que vale (2).
Denio 2.6.5. Uma extenso algbrica K/F satisfazendo uma das condies
equivalentes do Teorema 2.6.4 chamada uma extenso normal.
Se F E K uma torre de corpos com K/E e E/F normais, a extenso
K/F no necessariamente normal, como mostra o exemplo: F = Q, E =
Q(
2), e K = Q(
_
2) = Q(
4
2).
2.7 Extenses Separveis
Teorema 2.7.1. Seja L um corpo algebricamente fechado e : F L um
morsmo de corpos. Se algbrico sobre F, o nmero de extenses de a
morsmos : F() L igual ao nmero de razes distintas do irr(, F)(x).
Demonstrao. Seja R o conjunto das razes distintas do polinmio irr(, F)
(x)
= (irr(, F)(x)) em L. Como L algebricamente fechado, irr(, F)
(x) tem
todas as suas razes em L. claro que [R[ igual ao nmero de razes distintas
de irr(, F)(x) em algum fecho algbrico de F. Seja o conjuntos das extenses
de : S
(L) = : F() L : [
F
= e seja : S
R a funo dada por

() = ().
Observe que (irr(, F)()) = 0 = irr(, F)
(()) e portanto () R.
est bem denida pois se:
= () = () () = ()
e claramente injetora j que s precisamos nos preocupar com o que os mor-
smos fazem com .
() = () () = () =
Por outro lado, se R, sabemos que
(g()) := g
()
dene um elemento de S. Como () = () = , uma bijeo.
Seja E/F uma extenso algbrica de corpos xada e : F L um morsmo
de corpos, com L algebricamente fechado. J vimos que o conjunto S
(L) =
: E L : [
F
= no vazio. Pode-se mostrar que a cardinalidade de
S
(L) depende somente da extenso algbrica E/F. Ser denotada por [E : F]

S
e ser chamado grau de separabilidade de E sobre F.
Teorema 2.7.2. Seja K F E uma torre nita de corpos. Ento
[E : K]
S
= [E : F]
S
[F : K]
S
e, alm disso, se L/M for uma extenso nita, ento
[L : M]
S
[L : M].
Demonstrao. Para provar a primeira parte, basta observar que se : K L,
ento para cada extenso : F L de , teremos [E : F]
S
extenses de .
Como temos [F : K]
S
morsmos , ento vamos ter [E : F]
S
[F : K]
S
extenses
: E L.
2.7. EXTENSES SEPARVEIS 23
Se L/M nita, ento L = M(
1
, . . . ,
n
), para certos elementos algbricos
1
, . . . ,
n
L. Ento
M M(
1
) M(
1
,
2
) M(
1
, . . . ,
n
) = L.
Como [M(
1
, . . . ,
j+1
) : M(
1
, . . . ,
j
)]
S
igual ao nmero de razes distintas
do polinmio Irr(
j+1
, M(
1
, . . . ,
j
))(x), pela multiplicatividade dos graus
temos o teorema.
interessante observar que, como o grau de separabilidade de uma extenso
F()/F depende do nmero de razes distintas do polinmio irredutvel de
em F, nos casos em que pudermos garantir que os polinmios irredutveis no
possuem razes mltiplas, ento o grau de separabilidade ser igual ao grau do
polinmio irredutvel e portanto igual ao grau da extenso.
Corolrio 2.7.3. Seja K F E uma torre de extenses nita. Ento
[E : K]
S
= [E : K] [E : F]
S
= [E : F] e [F : K]
S
= [F : K]
Denio 2.7.4. Seja E/F uma extenso nita. E/F diz-se uma extenso
separvel se [E : F]
S
= [E : F]
Denio 2.7.5. Seja E/F uma extenso qualquer. O elemento E, alg-
brico, diz-se separvel sobre F se a extenso F()/F for separvel.
Denio 2.7.6. Se f F[x], f diz-se um polinmio separvel se o nmero de
razes distintas for igual ao grau de f.
Se E/F for uma extenso nita separvel e E, o corolrio acima garante
que F()/F ser uma extenso separvel, e, assim, todo elemento de E ser
se-parvel sobre F. Logo, irr(, F)(x) ser um polinmio separvel. Por outro
lado, se f(x) F[x] for um polinmio separvel e F for raiz de f, ento
como irr(, F)(x) divide f(x), ser um elemento separvel sobre F. Vamos
resumir essas observaes num lema:
Lema 2.7.7. Uma extenso nita E/F separvel se e somente se cada ele-
mento de E for separvel sobre F. Alm disso, se E/F for uma extenso nita
gerada por elementos separveis sobre F, ento ela ser separvel.
Denio 2.7.8. Seja f F[x] um polinmio e E/F uma extenso de corpos
onde f possui uma raiz E. Ento f(x) = (x )
m
g(x) em E[x], onde
(x ) no divide g(x). Dizemos que uma raiz mltipla de f se m 2.
Caso contrrio, dizemos que uma raiz simples. claro que todas as razes
de f so simples (num corpo de decomposio para f) se e somente se o nmero
de razes distintas de f for igual ao grau de f.
Precisamos de um critrio simples que nos diga quando um polinmio
separvel, ou seja, quando um polinmio possui apenas razes simples. Para
isso, vamos trazer a idia de derivada da Anlise para a lgebra. Podemos
comear com o seguinte exemplo:
1. F = R.
Se f(x) = (x )
2
g(x) R[x], ento a derivada ser f
(x) = 2(x
)g(x) +(x)
2
g
(x) e portanto (x) divide f(x) e f
(x). Nesse caso,

vemos que f(x) possui uma raiz dupla e f
(x) possui uma raiz simples.

Portanto ca claro que se um polinmio tem uma raiz mltipla , ento
a sua derivada tambm ter como raiz.
Na anlise a derivada denida tomando-se o limite lim
h0
f(x+h)f(x)
h
,
mas aqui nem sempre para todo corpo F faz sentido tomar h to perto de zero
quanto se queira (h 0). Portanto faamos o seguinte.
Seja f(x) F[x] um polinmio de grau 1. Tomemos h outra varivel
independente sobre F[x]. O polinmio f(x +h) F[x, h] pode ser escrito:
f(x +h) = f
0
(x) +f
1
(x)h + +f
n
(x)h
n
,
onde f
j
(x) F[x]. Fazendo h = 0 percebemos que f
0
(x) = f(x). Isso implica
que h divide f(x +h) f(x), donde
f(x +h) f(x)
h
= f
1
(x) +f
2
(x)h + +f
n
(x)h
n1
.
Como exemplo, seja f(x) = ax
2
, ento:
f(x +h) = a(x +h)
2
= x
2
+ 2axh +h
2
f(x +h) x
2
= 2axh +h
2
(2.2)
f(x +h) f(x)
h
= 2ax +h
Repare que podemos dividir os dois lados de 2.2 por h j que o segundo lado
claramente divisvel por h. E assim bastante conveniente denir a derivada
de ax
2
como sendo 2ax.
Podemos, ento, denir a derivada de f(x) como sendo o polinmio f
1
(x).
Usaremos a notao usual para a derivada: f
(x). claro que vale a congrun-

cia:
f(x +h) f(x) +f
(x)h mod h
2
E essa congruncia determina univocamente a derivada: se, para algum po-
linmio g(x) F[x] tivermos f(x + h) f(x) + g(x)h mod h
2
ento f
(x)h
g(x)h mod h
2
donde f
(x) g(x) mod h. Isso acarreta f
(x) = g(x), pois h

transcendente sobre F[x]. Uma aplicao direta da congruncia acima garante
que:
1. (f +g)
= f
+g
, f, g F[x].
2. (fg)
= f
g +fg
, f, g F[x].
2.7. EXTENSES SEPARVEIS 25
3. (af)
= af
, a F, f F[x].
4. Se f(x) = x, ento f
= 1.
Lema 2.7.9. Se f(x) = x
n
um polinmio em F[x], ento f
(x) = nx
n1
,
para todo natural n 1.
Demonstrao. Vamos provar por induo sobre n. Claramente vale para n = 1.
Ento suponha que vale para n 1, assim:
(x
n
)
= [x(x
n1
)]
= x
n1
+x(n 1)(x
n2
) = x
n1
+ (n 1)x
n1
= nx
n1
Alm disso, como 1
2
= 1, se f(x) = 1, ento (ff)
= f
= f
f + ff
= 2f
,
ou seja, 1
= 0. Portanto, se f(x) = a
0
+a
1
x + +a
n
x
n
, com a
j
F,
f
(x) = a
1
+ 2a
2
x + +na
n
x
n1
.
Agora que temos tal critrio, podemos enunciar o seguinte teorema:
Teorema 2.7.10. Seja f F[x] um polinmio de grau 1. Ento todas as
razes de f so simples (num corpo de decomposio para f) se, e somente se,
o maior divisor comum de f e f
for 1.
Demonstrao. Seja E/F um corpo de decomposio para f. Suponhamos que
todas as razes de f sejam simples. Ento, em E, temos
f(x) =
n
j=1
(x
j
),
com
i
,=
j
se i ,= j. Para provar que a derivada de f no possui nenhum dos
fatores (x
i
) basta notar que:
f
(x) =
_
(x
i
)
n
j=1,j=i
(x
j
)
_
= [(x
i
)g(x)]
= (x
i
)
g(x) + 1g
(x)
vemos que como g(x) no possui fator do tipo (x
i
) ento g
(x) certamente
tambm no ter. Assim vemos que (x
i
) no divide f
(x) para todo i. Logo,

(f, f
) = 1. Se f(x) possuir uma raiz mltipla E, ento f(x) = (x)

m
g(x),
com m 2. Derivando obtemos:
f
(x) = m(x )
m1
g(x) + (x )
m
g
(x).
Assim f
() = 0, donde (f, f
) ,= 1, (x) divide tanto f quanto f
. Isso prova
o teorema.
Corolrio 2.7.11. Seja F um corpo de caracterstica zero e f F[x] um
polinmio irredutvel de grau 1. Ento f separvel.
Demonstrao. O importante aqui perceber que a derivada de um polinmio
irredutvel no pode ter um fator comum com esse irredutvel, pois j vimos pelo
teorema 2.2.4 que o irredutvel um polinmio de grau mnimo que possui uma
dada raiz. Se (f, f
) ,= 1 em F[x] ento, como f irredutvel, (f, f
) = f, o que
acarreta f divide f
. Como em caracterstica zero f
no pode ser identicamente

nula e o grau de f
menor que o grau de f, isso impossvel.

Corolrio 2.7.12. Se F um corpo de caracterstica zero, ento toda extenso
nita E/F separvel.
Demonstrao. Seja E. Como raiz do polinmio irr(, F)(x), que
separvel, pelo corolrio acima, o Lema 2.7.7 garante que E/F separvel.
2.8 Elemento Primitivo
Seja E/F uma extenso de corpos. Um elemento E diz-se um elemento
primitivo de E sobre F se E = F().
Teorema 2.8.1. Se E/F for nita e separvel, ento existe E tal que
E = F().
Demonstrao. Basta considerar o caso em que E = F(, ), com , separ-
veis sobre F e F um corpo innito, pois se E = F(
1
,
2
, . . . ,
n
) ento podemos
tomar os
i
s dois a dois para reduzir o nmero de geradores. Por outro lado,
se F for nito, ento E tambm ser e pode-se mostrar que existe um elemento
que gera todo E, exceto o zero, mas esse caso no interessa a esse trabalho.
Suponhamos ento, que [E : F] = n. Por hiptese, existem n morsmo
distintos
1
, . . . ,
n
de E em F sobre F. Consideremos o polinmio na varivel
x:
f(x) =
i=j
(
i
()
j
() +x[
i
()
j
()]).
Ento f(x) , 0 pois seno
i
() =
j
() e
i
() =
j
() para certos i ,= j. Isso
acarretaria
i
=
j
. Assim, existe c F tal que f(c) ,= 0 (o corpo F innito,
e um polinmio no nulo s possui um nmero nito de razes), e, portanto, os
elementos de
j
( +c) so todos distintos, pois:
f(c) =
i=j
(
i
()
j
() +c[
i
()
j
()]) ,= 0
=
i=j
(
i
( +c)
j
( +c)) ,= 0
e assim o nmero de morsmo de F( +c) em F pelo menos n. E ento:
[F( +c) : F] = [F( +c) : F]
S
n = [F(, ) : F]
2.8. ELEMENTO PRIMITIVO 27
j que esses elementos distintos so razes do Irr(+c, F)(x). Como F(+c)
F(, ), temos a igualdade.
Captulo 3
Teorema Fundamental da
Teoria de Galois
3.1 Denies
Denio 3.1.1. Uma extenso algbrica K/k dita uma extenso de Galois
se for normal e separvel.
Denio 3.1.2. O grupo de todos os automorsmos de K que so sobre k,
denotado Gal(K/k), chamado o Grupo de Galois da extenso K/k.
No Teorema fundamental encontra-se o cerne da base terica para o presente
trabalho. A propriedades necessrias para a prova dos algoritmos do captulo
4 so quase que conseqcias diretas dos resultados expostos aqui. Portanto, o
entendimento desse teorema imprescindvel para a compreenso dos algorit-
mos.
Observe que o grupo dos automorsmos de K que so sobre k, so as ex-
tenses da identidade : k k pois, pelo teorema 2.6.4, toda extenso desse
tipo um automorsmo.
K
galois
Gal(K/k)
=
=
=
=
=
=
=
=
(K) = K
k

//
k
Tudo o que zemos at agora serve para construir extenses da identidade
passo a passo. Sabemos exatamente quantas extenses temos, pois o corpo de
base ser sempre Q, de caracterstica zero, e, portanto, separvel. Assim:
[Gal(K/k)[ = [K : k]
S
= [K : k]
De maneira grosseira, o teorema fundamental estabelece uma relao de
correspondncia entre o reticulado de subcorpos de um corpo de decomposio
29
30 CAPTULO 3. TEOREMA FUNDAMENTAL DA TEORIA DE GALOIS
de um polinmio irredutvel e o reticulado dos subgrupos do grupo de Galois.
A seguir daremos uma ilustrao desse fato:
O corpo K = Q(
2, i) o corpo de decomposio da famlia = x

2
2, x
2
+ 1 e, portanto, normal sobre k = Q (teorema 2.6.4). Como o corpo Q
possui caracterstica 0, K/k uma extenso separvel de k (corolrio 2.7.11).
Alm disso, como Q(
2) R, x
2
+ 1 irredutvel sobre Q(
2) de onde [K :
k] = [K : k]
s
= 4. Temos exatamente duas extenses da identidade : k k,
para morsmos
j
: Q(
2) k, a saber:
1
(
2) =

2 e
2
(
2) =
2.
Cada um dos morsmos,
i
, possui duas extenses
i
, pois [Q(
2, i) :
Q(
2)] = 2 que permutam as razes de x

2
+ 1 = 0.
Tabela 3.1: Automorsmos do Gal(Q(
2, i)/Q
1 2 3 4
2 i i
2 i i
2 i i
2

2 i i
2

2 i i
Os automorsmos
i
permutam as razes da famlia e, portanto, podemos
identicar as razes na segunda linha da tabela acima com 1, 2, 3 e 4 respecti-
vamente para criar a incluso Gal(K/k) S
4
dada por
1
= 1,
2
= (34),
3
= (12),
4
= (12)(34),
e, se pusermos H
1
=< (12) >, H
2
=< (34) >, H
3
=< (12)(34) >, o reticulado
dos subgrupos o seguinte:
1
H
1
I
I
I
I
I
I
I
I
I
u
u
u
u
u
u
u
u
u
u
H
3
H
2
u
u
u
u
u
u
u
u
u
I
I
I
I
I
I
I
I
I
I
Gal(K/k)
Como j foi dito, o grupo de Galois permuta as razes do corpo de decom-
posio e vale a pena frisar algumas de suas propriedades.
1. As permutaes no mexem nos elementos do corpo de base, Q, e dizemos,
nesse caso, que o grupo xa Q. Essa propriedade vem da prpria denio.
3.2. TEOREMA FUNDAMENTAL 31
2. Por outro lado, com algum esforo pode-se mostrar que todas as funes
das razes
2,
2, i, i que cam xas pelo grupo de Galois so ele-

mentos de Q.
3. Cada subgrupo do grupo de Galois, no caso (H
1
, H
2
, H
3
), xam determi-
nados subcorpos de K = Q(
2, i).
Vamos agora nos concentrar na propriedade 3. Antes precisamos da seguinte
denio:
Denio 3.1.3. Seja K um corpo e H um grupo de automorsmos de K.
Ento K
H
ser o conjunto de elementos de K xos por H, ou seja, K
H
= x
K [ (x) = x H. fcil ver que K
H
subcorpo de K.
Assim, tentaremos encontrar os subcorpos xos por cada um dos subgrupos
H
1
, H
2
e H
3
). Como H
1
=< (12) >, ento no fundo H
1
permuta a primeira
raiz (
2) com a segunda (
2), deixando o i xo. Portanto parece razovel

que H
1
xe Q(i). Para mostrar que Q(
2, i)
H1
= Q(i) basta observar que
no existe nenhum subcorpo de Q(
2, i) que contenha i alm de Q(i), pois

[Q(
2, i) : Q(i)] = 2.
Da mesma forma, H
2
=< (34) > xa claramente

2 e pela mesma razo
Q(
2, i)
H2
= Q(
2).
Agora, no caso do grupo H
3
=< (12)(34) >, temos que ter um pouco mais
de habilidade. Esse grupo permuta a raiz 1 com 2 e a raiz 3 com a raiz 4. Assim
claro que H
3
leva

2i (
2)(i) =

2i Q(
2, i) raiz de x
2
+ 2 = 0.
Novamente no h corpos intermedirios entre Q(
2, i) e Q(
2i).
Como os elementos da extenso Q(
2, i) so da forma a
2 + b
2i + ci
, pode-se mostrar que no h mais corpos intermedirios entre Q(
2, i) e Q.
Assim temos o seguinte reticulado de corpos:
K = Q(
2, i)
K
H1
= Q(i)
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
n
n
n
n
n
n
n
n
n
n
n
n
K
H3
= Q(
2i) K
H2
= Q(
2)
m
m
m
m
m
m
m
m
m
m
m
m
m
m
m
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Podemos agora partir para a formalizao do teorema fundamental.
3.2 Teorema Fundamental
Teorema 3.2.1 (Teorema Fundamental). Seja K/k uma extenso de Galois
nita. Ento existe uma correspondncia bijetora entre o conjunto o
C
dos sub-
corpos E de K/k e o conjunto o
G
dos subgrupos H de G = Gal(K/k), dada
por
E Gal(K/E).
A funo inversa dada por H K
H
. Essa correspondncia entre subcorpos
e subgrupos possui as seguintes propriedades:
1. H
1
H
2
K
H1
K
H2
2. [H[ = [K : K
H
], e [G : H] = [K
H
: k].
3. H G K
H
/k normal. Nesse caso,
Gal(K
H
/k)

= G/H.
4. H
1
H
2
corresponde ao compositum K
H1
K
H2
5. E
1
E
2
corresponde ao subgrupo < Gal(K/E
1
), Gal(K/E
2
) >
Para auxiliar na demonstrao do teorema fundamental, primeiramente pro-
varemos as seguintes proposies:
Proposio 3.2.2. Seja K/k uma extenso de Galois nita e G = Gal(K/k) o
seu grupo de Galois. Ento k = K
G
o corpo xo pelo grupo de Galois. Alm
disso, se k F K, a extenso K/F de Galois e a funo ( : o
C
o
G
dada por:
((F) := Gal(K/F)
injetora.
Demonstrao. Como G o conjunto dos automorsmos de K que xam k,
ento claro que k est contido no corpo xo por G, assim k K
G
. Por
outro lado, seja K
G
e : k() k um morsmo sobre k. Podemos tomar
uma extenso : K k de . Como K/k normal e separvel, temos que
Gal(K/k) = G e portanto xa e assim tambm xa e temos que
[k() : k]
S
= [k() : k] = 1 e por conseqncia k. Um diagrama pode
ajudar nessa difcil demonstrao.
K
Gal(K/k)
//
k
k()
1
88
p
p
p
p
p
p
p
p
p
p
p
p
p
() = () = [k() : k]
S
= 1
k
@@
Com o mesmo argumento pode-se perceber que, se k F K, ento

F = K
Gal(K/F)
.
Pelo corolrio 2.7.3 temos que K/F separvel e pelo teorema 2.6.4 normal,
e portanto, de Galois.
Pela observao acima, se Gal(K/F
1
) = Gal(K/F
2
) ento:
F
1
= K
Gal(K/F1)
= K
Gal(K/F2)
= F
2
o que mostra que ( injetora.
Proposio 3.2.3. Seja K um corpo qualquer e G um grupo nito de auto-
morsmos de K, [G[ = n. Seja k = K
G
o corpo xo por G. Ento K/k uma
extenso de Galois nita de grau n e Gal(K/k) = G.
Demonstrao. O grupo G age naturalmente em K e se K, ento a rbita
de sob ao de G o() =
1
(),
2
(), . . . ,
r
(), onde
1
a identidade
de G. Assim raiz do seguinte polinmio separvel.
f(x) =
r
i=1
(x
i
())
Pode-se ver que se G, ento os conjuntos (
1
()), (
2
()), . . . , (
r
())
e o() so o mesmo, exceto pela ordem e, portanto, (f(x)) = f(x), o que im-
plica que os coecientes de f(x) esto em k. Alm disso, o irr(, k) divide
f(x) que separvel, e, portanto, separvel sobre k e [k() : k] r. Pelo
lema 2.7.7, temos que K/k separvel. E Pelo teorema 2.6.4, vemos que K/k
tambm normal e, portanto, de Galois.
Para mostrar que K/k nita, basta observar que como vimos acima, todo
elemento de K tem grau no mximo n e, se K/k fosse innita, algum elemento
teria grau maior que n.
Ento seja o elemento primitivo de K/k. Ento K = k() e [k() : k] n.
Por outro lado, G Gal(K/k) e o nmero de automorsmos de K sobre k
pelo menos n. Portanto [K : k]
S
= [K : k] n. Assim K/k uma extenso de
Galois de grau n e G = Gal(K/k). Podemos obviamente concluir tambm que
[G[ = [K : K
G
]
S
= [K : K
G
]
Prova do Teorema Fundamental. Consideremos a funo
( : o
G
o
C
dada por H K
H
. A Proposio 3.2.2 mostrou que
((((F)) = F,
ou seja, ( injetora e ( sobrejetora. Pela Proposio 3.2.3, se H o
G
, ento
K/K
H
uma extenso de Galois cujo grupo de Galois H, ou seja
((((H)) = ((K
H
) = Gal(K/K
H
) = H.
Assim, estabelecemos a bijeo de que fala o teorema fundamental. Vejamos as
propriedades bsicas.
1. Se H
1
H
2
ento claro que K
H1
K
H2
, pois se K
H1
, xo por
H
1
e, portanto xo por H
2
donde K
H2
. Reciprocamente, se K
H1
K
H2
, e H
2
= Gal(K/K
H2
), ento um automorsmo de K que
xa K
H2
e, consequentemente xa K
H1
donde Gal(K/K
H1
) = H
1
.
2. A Proposio 3.2.3 implica [H[ = [K : K
H
]. Como [G : H] = [G[/[H[,
podemos escrever
[G : H] =
[G[
[H[
=
[K : k]
[K : K
H
]
=
[K : K
H
][K
H
: k]
[K : K
H
]
= [K
H
: k].
Vamos resumir os resultados obtidos at agora no seguinte diagrama:
K
[K:K
H
]
)
2
<
e
|H|
<
2
)
E Gal(K/E)
K
H
[K
H
:k]
H
[G:H]
k G = Gal(K/k)
3. G = Gal(K/k) e j vimos que H = Gal(K/K
H
). Assim, K
H
normal
sobre k se e s se K
H
corpo de decomposio sobre k e isso ocorre se e
s se todo morsmo : K
H

k verica (K
H
) = K
H
.
Como os morsmos de Gal(K/k) so extenses dos morsmos de Gal(K
H
/k)
ento Gal(K/k) temos que se K
H
, ento () K
H
.
Portanto, K
H
/k normal se e s se Gal(K/k) e K
H
temos
() K
H
.
Se Gal(K/K
H
), xa K
H
e, portanto, K
H
/k normal se e s se
(()) = ()

1
() =

1
Gal(K/K
H
)
Gal(K/K
H
) Gal(K/k)
H G.
4. Seja H
1
H
2
. Ento xa F
1
= K
H1
e xa F
2
= K
H2
, ou seja,
xa o compositum F
1
F
2
. A recproca clara.
5. Sejam E
1
e E
2
corpos intermedirios, E
1
= K
H1
e E
2
= K
H2
. Se x
E
1
E
2
ento x xo por H
1
e xo por H
2
, donde x xo por < H
1
, H
2
>.
Se y K ca xo por < H
1
, H
2
>, ento, em particular y ca xo por H
1
e por H
2
, donde y E
1
E
2
. Isso termina a prova do teorema fundamental
da teoria de Galois.
O resultado do teorema pode ser entendido pelo diagrama abaixo:
K
{e}
= K
e = Gal(K/K)
E
1
E
2
u
u
u
u
u
u
u
u
u
u
N
N
N
N
N
N
N
N
N
N
N
H
1
H
2
p
p
p
p
p
p
p
p
p
p
p
p
S
S
S
S
S
S
S
S
S
S
S
S
S
S
E
1
I
I
I
I
I
I
I
I
I
I
E
2
= K
H2
p
p
p
p
p
p
p
p
p
p
p
H
1
N
N
N
N
N
N
N
N
N
N
N
N
H
2
= Gal(K/E
2
)
k
k
k
k
k
k
k
k
k
k
k
k
k
k
E
1
E
2
< H
1
, H
2
>
k G = Gal(K/k)
Podemos, agora, estudar um exemplo importante que ser utilizado no prximo
captulo.
Corolrio 3.2.4. Se s
1
, s
2
, . . . , s
n
so variveis independentes sobre Q e f(x) =
x
n
s
1
x
n1
+ s
2
x
n2
+ (1)
n
s
n
Q(s
1
, . . . , s
n
)[x] o polinmio geral de
grau n. Ento, seu grupo de Galois o S
n
.
Demonstrao. Sejam x
1
, x
2
, . . . , x
n
as razes de f e sabemos por Girard que:
s
1
= x
1
+x
2
+ +x
n
s
2
= x
1
x
2
+x
1
x
3
+ +x
n1
x
n
.
.
.
.
.
.
s
n
= x
1
x
2
. . . x
n
Portanto, claro que k = Q(s
1
, . . . , s
n
) K = Q(x
1
, . . . , x
n
). K o corpo
de decomposio de f(x) e K/k uma extenso normal e separvel. E sabemos
que seu grupo de Galois Gal(K/k) pode ser visto como um subgrupo de S
n
.
Pode-se mostrar que x
1
, x
2
, . . . , x
n
so algebricamente independentes sobre
Q. Assim, se S
n
, vamos mostrar que induz um automorsmo de K que
xa k. Se f(x
1
, x
2
, . . . , x
n
) K, ento denimos:
f(x
1
, x
2
, . . . , x
n
)
.
= f(x
(1)
, x
(2)
, . . . , x
(n)
)
Por Girard, temos que (s
i
) = s
i
. E ento, basta ver que est bem denida.
Assim, se:
f(x
1
, x
2
, . . . , x
n
) = g(x
1
, x
2
, . . . , x
n
)
ento,
f(x
1
, x
2
, . . . , x
n
) g(x
1
, x
2
, . . . , x
n
) = 0
Como, as razes x
1
, x
2
, . . . , x
n
so algebricamente independentes sobre Q,
ento isso s possvel se f = g.
Portanto, Gal(Q(x
1
, . . . , x
n
)/Q(s
1
, . . . , s
n
)) = S
n
. Podemos, representar
esse fato no diagrama abaixo:
Q(x
1
, x
2
, . . . , x
n
)
n!
e
n!
Q(s
1
, s
2
, . . . , s
n
) S
n
Captulo 4
Algoritmos
4.1 Resolventes
Consideremos f(x) = x
n
s
1
x
n1
+s
2
x
n2
+(1)
n
s
n
com n razes a saber
x
1
, x
2
, . . . , x
n
algebricamente independentes, como feito em 3.2.4. Considere
ento a extenso Q(x
1
, . . . , x
n
)/Q(s
1
, . . . , s
n
) e considere o subgrupo A
n
S
n
e vamos estudar o subcorpo xo de Q(x
1
, . . . , x
n
) por A
n
.
Queremos encontrar um elemento de Q(x
1
, . . . , x
n
), que ca xo pela ao
do A
n
. Lembremos que se S
n
, ento induz um automorsmo dado por:
h(x
1
, x
2
, . . . , x
n
)
.
= h(x
(1)
, x
(2)
, . . . , x
(n)
)
Assim natural considerarmos o discriminante de f:
= (x
1
, . . . , x
n
) =
i<j
(x
j
x
i
) =
1 1 . . . 1
x
1
x
2
. . . x
n
x
2
1
x
2
2
. . . x
2
n
.
.
.
.
.
.
.
.
.
.
.
.
x
n1
1
x
n1
2
. . . x
n1
n
pois, se aplicarmos uma transposio = (ij) a teremos como resultado a

mesmo determinante com as colunas i e j trocadas e, portanto, seu determinante
ser multiplicado por (1) e assim teremos que = . Assim, sempre que
aplicarmos um nmero par de transposies, no ser alterado; caso contrrio,
se for mpar, ento = .
Portanto, pela correspondncia de Galois, temos:
37
38 CAPTULO 4. ALGORITMOS
Q(x
1
, x
2
, . . . , x
n
) e
Q(s)()
2
A
n
2
Q(s
1
, s
2
, . . . , s
n
) S
n
Podemos concluir que, como [S
n
: A
n
] = 2, ento [Q(s)() : Q(s)] = 2 e,
assim, o irr(, Q(s)) tem grau 2, a saber: (x
2

2
) = (x )(x + ), Pois
2
Q(s
1
, . . . , s
n
).
Agora vamos fazer o mesmo com o corpo de decomposio de p(x) Q[x]
polinmio com n razes complexas distintas
1
,
2
, . . . ,
n
. Seja Gal(p) =
Gal(Q(
1
, . . . ,
n
)/Q).
Novamente consideremos
p
= (
1
, . . . ,
n
) =

i<j
(
j

i
) e agora
queremos saber quem o subgrupo de Gal(p) que xa
p
.
Como A
n
xava , o candidato natural para xar
p
Gal(p) A
n
.
Como as razes so todas distintas, temos que
p
,= 0 e, portanto, se
Gal(p) e se (
p
) =
p
ento A
n
pois seno, se / A
n
(
p
) =
()(
1
, . . . ,
n
) = (
1
, . . . ,
n
) =
p
=
p
que um absurdo pois
p
,=
0.
claro que se Gal(p) for par, (
p
) =
p
.
Portanto temos a correspondncia:
Q(
1
,
2
, . . . ,
n
) e
Q(
p
)
2
Gal(p) A
n
2
Q Gal(p)
Chamaremos, R
Sn
(, p) = (x
1
(
1
, . . . ,
n
))(x
2
(
1
, . . . ,
n
)) onde
i
so representantes das coclasses de A
n
em S
n
, o polinmio resolvente com
respeito a , S
n
e p. Nesse caso, podemos tomar
1
= e e
2
qualquer permu-
tao impar.
Temos assim R
Sn
(, p) = (x
p
)(x+
p
) = x
2
2
p
que tem coecientes
racionais. Podemos notar que se
p
estiver em Q, ento
p
ser xo por todo
Gal(p) e, portanto, Gal(p) A
n
. Podemos ento enunciar o seguinte teorema:
Proposio 4.1.1. Seja A
n
o grupo alternado correspondente s permutaes
pares e p(x) Q[x] um polinmio com n razes distintas. Ento Gal(p) A
n
se e somente se o discriminate de p(x), denominado
p
for um quadrado em
Q.
4.1. RESOLVENTES 39
Demonstrao. A prova imediata das observaes acima.
O discriminante vai nos servir para vericar se o grupo de Galois tem apenas
permutaes pares ou no. Agora vamos ver mais um caso, onde o polinmio
proposto possui 4 razes distintas.
Seja f(x) = x
4
s
1
x
3
+s
2
x
2
s
3
x+s
4
com razes x
1
, x
2
, x
3
, x
4
algebricamente
independentes.
Novamente consideremos a extenso Q(x
1
, . . . , x
4
)/Q(s
1
, . . . , s
4
) e seja V
S
4
o grupo de Klein dado por V
4
= (12)(34), (1), (13)(24), (14)(23). Vamos
estudar o subcorpo xo de Q(x
1
, . . . , x
4
) por V
4
. natural portanto considerar
o elemento T = T
1
= x
1
x
2
+x
3
x
4
.
Pode-se mostrar facilmente que a rbita de T o(T
1
) = T
1
, T
2
= x
1
x
3
+
x
2
x
4
, T
3
= x
1
x
4
+ x
2
x
3
. E tambm pode-se ver que V
4
o grupo que xa o
conjunto T
1
, T
2
, T
3
e assim Q(x
1
, . . . , x
4
)
V
= Q(T
1
, T
2
, T
3
) e novamente pela
correspondncia de Galois:
Q(x
1
, x
2
, x
3
, x
4
) e
Q(s)(T
1
, T
2
, T
3
)
3
V
4
3
Q(s
1
, s
2
, s
3
, s
4
) S
4
Seja ento p(x) Q[x] um polinmio com 4 razes distintas
1
,
2
,
3
,
4
e seja Gal(p) = Gal(Q(
1
,
2
,
3
,
4
)/Q). Se t
1
= T
1
(
1
,
2
,
3
,
4
), t
2
=
T
2
(
1
,
2
,
3
,
4
) e t
3
= T
3
(
1
,
2
,
3
,
4
), ento o candidato natural para xar
Q(t
1
, t
2
, t
3
) Gal(p) V .
Armo que se as razes de p so distintas, ento t
1
,= t
2
,= t
3
, pois se, por
exemplo, t
1
= t
2

1
2
+
3
4
=
1
3
+
2
4
(
2
3
)(
1
4
) = 0 que
um absurdo.
Da mesma forma que zemos para
p
, seja Gal(p) e suponha que xe
t
j
para j = 1, 2, 3. Assim temos que t
j
= t
j
, j = 1, 2, 3 e, portanto, V , pois
seno teramos t
j
= t
i
para algum j com i ,= j, e t
j
= (T
j
)(
1
,
2
,
3
,
4
) =
T
i
(
1
,
2
,
3
,
4
) = t
i
= t
j
, que um absurdo.
Por outro lado claro que se Gal(p)V , ento xar os T
j
e, portanto,
vai xar os t
j
.
Portanto Q(
1
,
2
,
3
,
4
)
Gal(p)V
= Q(t
1
, t
2
, t
3
).
Temos pela correspondncia de Galois:
Q(
1
,
2
,
3
,
4
) e
Q(t
1
, t
2
, t
3
)
3
Gal(p) V
4
3
Q Gal(p)
Utilizando o mesmo raciocinio de 4.1.1, sabemos que se t
1
, t
2
, t
3
Q, ento
Gal(p) V
4
.
Podemos perceber que quando tomamos um subgrupo H de S
n
e encontra-
mos o subcorpo de Q(x
1
, . . . , x
n
) xo por H podemos ter informaes sobre o
grupo de Galois de um polinmio qualquer com n razes distintas. Vamos agora
denir o nosso principal objeto, e provar um resultado importante.
Denio 4.1.2. Seja p(x) Z[x] um polinmio com n razes distintas
1
,
2
,. . . ,
n
e G S
n
um grupo que contm o grupo de Galois de p(x),(Gal(p)
G). Seja tambm T um polinmio nas variveis x
1
, x
2
, . . . , x
n
com coecientes
inteiros. Se H o estabilizador de T em G, i.e:
H = G [ T(x
(1)
, x
(2)
, . . . , x
(n)
) = T(x
1
, x
2
, . . . , x
n
)
denimos o polinmio resolvente R
G
(T, p) com respeito a G, T e o polinmio
original p como sendo:
R
G
(T, p)(x) =
iG/H
(x T(
i(1)
,
i(2)
, . . . ,
i(n)
)),
onde os
i
so representantes das coclasses de H em G.
Lema 4.1.3. Seja H um subgrupo do S
n
e Q(x
1
, . . . , x
n
)
H
o subcorpo de
Q(x
1
, . . . , x
n
) xo por H. Ento, existe sempre T polinmio em x
1
, . . . , x
n
um elemento primitivo da extenso Q(x
1
, . . . , x
n
)
H
/Q(s
1
, . . . , s
n
).
Demonstrao. Seja T um elemento de Q(x
1
, . . . , x
n
)
H
/Q(s
1
, . . . , s
n
) denido
por:
T =
iSn/H
i
(x
1
x
2
2
. . . x
n
n
)
onde os
i
so representantes das coclasses de H em S
n
.
Se H, ento temos que (T) = T, pois:
(T) =
1
(x
1
x
2
2
. . . x
n
n
) + +
k
(x
1
x
2
2
. . . x
n
n
)
onde k o ndice de H em S
n
.
4.1. RESOLVENTES 41
E como os conjuntos
1
,
2
, . . . ,
k
e
1
,
2
, . . . ,
k
so o mesmo,
ento H xa T.
Por outro lado, se alguma S
n
xar T, ento (T) = T e como os
monmios de T so todos distintos, vai apenas permut-los. Assim:
(x
1
x
2
2
. . . x
n
n
) =
i
(x
1
x
2
2
. . . x
n
n
)
para algum i 1, 2, ..., k. E, portanto,
1
i
xa (x
1
x
2
2
. . . x
n
n
), o que implica
i
= e e H.
Portanto, H o estabilizador de T em S
n
.
Teorema 4.1.4. Seja H um subgrupo do S
n
e Q(x
1
, . . . , x
n
)
H
o subcorpo de
Q(x
1
, . . . , x
n
) xo por H. Seja T = T
1
um polinmio em x
1
, . . . , x
n
o elemento
primitivo da extenso Q(x
1
, . . . , x
n
)
H
/Q(s
1
, . . . , s
n
). Se p(x) um polinmio
em Q[x] com razes distintas
1
, . . . ,
n
e se o polinmio resolvente R
Sn
(T, p)(x)
for separvel, ento Q(
1
, . . . ,
n
)
Gal(p)H
= Q(T(
1
, . . . ,
n
)).
Queremos provar que, quando R
Sn
(T, p) for separvel teremos a seguinte
relao entre as correspondncias de Galois do corpo de decomposio das in-
determinadas x
1
, . . . , x
n
e do corpo das razes de p(x)
1
, . . . ,
n
.
Q(x
1
, x
2
, . . . , x
n
) e Q(
1
,
2
, . . . ,
n
) e
Q(s)(T) H Q(T(
1
,
2
, . . . ,
n
)) Gal(p) H
Q(s
1
, s
2
, . . . , s
n
) S
n
Q Gal(p)
Demonstrao. Primeiramente vamos denotar a rbita de T por S
n
por T
1
=
T, T
2
, . . . , T
k
onde k o ndice de H em S
n
. Sendo assim, t
i
= T
i
(
1
, . . . ,
n
).
Portanto:
R
Sn
(T, p) =
k
i=1
(x t
i
)
ento claro que se Gal(p) H, ento xa T, pois est em H e, portanto,
xa t = T(
1
, . . . ,
n
).
Por outro lado, se Gal(p) xar t ento (T)(
1
, . . . ,
n
) = T(
1
, . . . ,
n
)
e deve estar em H pois seno (t) = (T)(
1
, . . . ,
n
) = T
j
(
1
, . . . ,
n
) =
t
j
= t, que um absurdo pois R
Sn
(T, p) separvel. Portanto H e
Gal(p) H como queramos demonstrar.
No primeiro caso o era elemento primitivo de Q(x
1
, . . . , x
n
)
An
e quando
R
Sn
(, p) tinha alguma raiz racional o Gal(p) estava contido no A
n
. Vamos
ver o que acontece em geral.
Teorema 4.1.5. Nas condies do teorema anterior, se Gal(p) H
1
para
algum , ento R
Sn
(T, p) possui uma raiz racional. Por outro lado se R
Sn
(T, p)
for separvel e possuir uma raiz racional, ento Gal(p) H
1
para algum
.
Demonstrao. Podemos tomar um representante das coclasses de H em S
n
,
e em particular, podemos tomar os mesmos representantes que usamos em
R
Sn
(T, p), pois se H = H ento H
1
= H
1
e, portanto, o nmero
de conjugados de H menor ou igual ao nmero de coclasses de H em S
n
.
() Se Gal(p) H
1
, ento se Gal(p), temos:
(T)(
1
, . . . ,
n
) = h
1
(T)(
1
, . . . ,
n
) =
h(T)(
1
, . . . ,
n
) = (T)(
1
, . . . ,
n
)
e portanto, xa (T)(
1
, . . . ,
n
) = t
i
para algum i e assim t
i
Q.
() Se R
Sn
(T, p) possui uma raiz racional ento (T)(
1
, . . . ,
n
) Q para
algum e se Gal(p) ento xa (T)(
1
, . . . ,
n
). Assim
(T)(
1
, . . . ,
n
) = (T)(
1
, . . . ,
n
)
e como R
Sn
(T, p) separvel
(T) = (T)
1
(T) = T
1
xa T
1
H = h
1
H
1
Portanto Gal(p) H
1
.
Observao:
Se Gal(p) H
1
, para algum H/
n
, ento podemos reordenar as
razes por . Assim, o novo vetor das razes car assim:
(
1
,
2
, . . . ,
n
)
(
(1)
,
(2)
, . . . ,
(n)
)
Portanto, teremos o novo polinmio resolvente:
R
Sn
(T, p) = (x T(
(1)
,
(2)
, . . . ,
(n)
)) . . . (x (
k
T)(
(1)
,
(2)
, . . . ,
(n)
))
= (x (T)(
1
,
2
, . . . ,
n
)) . . . (x (
k
T)(
(1)
,
(2)
, . . . ,
(n)
))
E como (T)(
1
,
2
, . . . ,
n
)) era a raiz de R
Sn
(T, p) antes da reorde-
nao, agora teremos (T)(
(1)
,
(2)
, . . . ,
(n)
) como raiz e, portanto,
agora Gal(p) H. Assim, a menos da ordem das razes
1
, . . . ,
n
,
Gal(p) H.
4.2. ESQUEMA GERAL DOS ALGORITMOS 43
Nos algoritmos da prxima seo veremos que se tivermos o conhecimento
de que o grupo de Galois est contido em algum grupo G S
n
, ento podere-
mos tomar um polinmio resolvente de grau menor do que o que seria tomado
utilizando o teorema anterior. Para isso segue a seguinte proposio:
Proposio 4.1.6. Se Gal(p) G S
n
, ento R
G
(T, p) um polinmio com
coecientes em Q e alm disso um fator de R
Sn
(T, p).
Demonstrao. Por denio R
G
(T, p) um fator de R
Sn
(T, p) pois temos:
R
G
(T, p) =
G/H
(x T(
(1)
,
(2)
, . . . ,
(n)
))
R
Sn
(T, p) =
Sn/H
(x T(
(1)
,
(2)
, . . . ,
(n)
))
E portanto basta mostrar que se G/H, ento posso escolher como sendo
representante de S
n
/H. Para isso basta ver que se G e H =
H em
S
n
/H ento H =
H em G/H. Em particular o grau de R

G
(T, p) divide o
grau de R
Sn
(T, p).
Para ver que os coecientes de R
G
(T, p) esto emQ basta observar a seguinte
correspondncia:
Q(x
1
, x
2
, . . . , x
n
) e Q(
1
,
2
, . . . ,
n
) e
Q(s)(T) H Q(T(
1
,
2
, . . . ,
n
)) Gal(p) H
Q(s)(F) G Q(F(
1
,
2
, . . . ,
n
))
1
Gal(p) G
1
Q(s
1
, s
2
, . . . , s
n
) S
n
Q Gal(p)
E como Gal(p) G, ento [Q(F(
1
,
2
, . . . ,
n
)) : Q] = 1 e portanto
R
G
(T, p) tem coecientes em Q(F(
1
,
2
, . . . ,
n
) = Q.
4.2 Esquema geral dos algoritmos
Agora que temos toda a teoria, podemos dar a idia por trs dos algoritmos da
seo 4.6.
Primeiramente, necessrio dizer que como o polinmio dado irredutvel,
ento pode-se mostrar que seu grupo de Galois um subgrupo transitivo de S
n
,
onde n o grau do polinmio. Esses subgrupos j foram tabelados em [4] e esto
representados no apndice A. Portanto, temos um nmero nito e relativamente
pequeno de candidatos a grupo de Galois para cada grau de polinmio dado.
O principal objeto deste trabalho o polinmio resolvente. Pode-se mostrar
que esse polinmio tem coecientes inteiros e sua fatorao em Z[x] vai ajudar
a determinar o grupo de Galois do polinmio original.
Para determinar o polinmio resolvente precisamos das razes do polinmio
dado, de um polinmio T(x
1
, x
2
, . . . , x
n
) e de seu estabilizador H como denido
em 4.1.2. A idia fazer o grupo H ser um dos candidatos a grupo de Galois
e tendo um elemento T estabilizado por ele, determinar o polinmio resolvente.
A partir da, fatora-se o resolvente e conclumos qual o grupo de Galois do
polinmio original.
Temos ento o esquema abaixo:
Algoritmo 1: Esquema geral dos algoritmos
se p(x) Q[x] ento 1
Aplicar a transformao de Tschirnhausen, e trocar o polinmio 2
p(x) original por outro mnico em Z[x]
Determinar as razes de p(x) 3
Determinar o polinmio resolvente R
Sn
(T, p)(x) 4
se Resolvente no for separvel ento 5
Aplicar a transformao de Tschirnhausen, mudar o polinmio 6
p(x)
Volte para o passo 3 7
Verica como R
Sn
(T, p)(x) se fatora em Z[x] e conclui 8
Como teorema 4.1.4 exige que o resolvente seja separvel, temos que aplicar
uma transformao de Tschirnhausen, descrita em 5, caso ele no seja. Essa
transformao simplesmente muda o polinmio original, sem alterar o corpo
denido pelas suas razes.
Alm disso, os algoritmos devem receber um polinmio mnico com coe-
cientes inteiros e, portanto, uma transformao de Tschirnhausen deve ser
aplicada para todo polinmio de entrada que tiver seus coecientes em Q[x].
Utilizamos os teoremas 4.1.5 e 4.1.6, para concluir ou tomar outro resolvente
se for necessrio.
Nos algoritmos da seo 4.6, vamos supor que o polinmio de entrada seja
mnico com coecientes inteiros j que em todos os algoritmos o polinmio
de entrada dever ser transformado para ter essa caracterstica. Nas prximas
sees vamos demonstrar a validade dos algoritmos para polinmios de grau 3,4
e 5. Para polinmios de grau 6 e 7, as demonstraes so anlogas.
4.3. ALGORITMO PARA POLINMIOS DO 3
o
GRAU 45
4.3 Algoritmo para polinmios do 3
o
grau
Para polinmios do terceiro grau, basta saber que os subgrupos transitivos do
S
3
so o S
3
e o grupo alternado A
3
. Assim, pelo teorema 4.1.1 provamos o
algoritmo seguinte:
Algoritmo 2: Grupo de Galois de um polinmio de grau 3
Sada: Representao usual do grupo de Galois de um polinmio p(x)
irredutvel de grau 3.
disc Discriminante(p) 1
se disc quadrado perfeito em Q ento 2
devolve A
3
3
seno 4
devolve S
3
5
4.4 Prova do Algoritmo 3
Agora, vamos demonstrar a validade do algoritmo para o clculo do grupo de
Galois de um polinmio mnico irredutvel p(x) Z[x] do 4
o
grau descrito na
seo 4.6.
Os subgrupos transitivos a menos de conjugao de S
4
dados no Apndice
A so:
1. S
4
2. A
4
. O subgrupo das permutaes pares.
3. V
4
. O subgrupo de Klein dado por (1), (12)(34), (13)(24), (14)(23).
4. D
4
. O subgrupo das simetrias do quadrado gerado por (1234), (24).
5. C
4
. O subgrupo cclico gerado por (1234).
Algumas incluses importantes so:
C
4
D
4
V
4
A
4
D
4
Agora podemos demonstrar a validade do algoritmo 4 dado.
Demonstrao.
Lema 4.4.1. O subgrupo H de S
4
que estabiliza T = X
1
X
3
+X
2
X
4
o D
4
.
Demonstrao. Para isso, basta testar as permutaes de D
4
= (1), (1234), (24),
(13)(24), (12)(34), (14)(23), (1432), (13) e ver que elas xam T. E, portanto, D
4
est contido no estabilizador de T.
D
4
(S
4
)
T
e assim:
[(S
4
)
T
[ [D
4
[ = 8
Por outro lado, se testarmos os representantes das coclasses de D
4
/S
4
, ve-
remos que a rbita de T tem pelo menos 3 elementos.
D
4
/S
4
= (1), (12), (14) o(T) X
1
X
3
+X
2
X
4
, X
2
X
3
+X
1
X
4
, X
1
X
2
+X
3
X
4
[o(T)[ =
[S
4
[
[(S
4
)
T
[
ento,
[(S
4
)
T
[ =
[S
4
[
[o(T)[

24
3
= 8
Portanto, como [D
4
[ = [(S
4
)
T
[ = 8 temos que:
D
4
= (S
4
)
T
Vamos agora construir o polinmio resolvente e ver que informaes ele nos
traz. Pode-se mostrar que esse polinmio possui coecientes inteiros e clara-
mente mnico. Alm disso, se o resolvente possuir alguma raiz racional, ento
essa raiz ser inteira j que ser um divisor do termo independente.
R
S4
(T, p)(x) = (xT(
1
, . . . ,
4
))(x(12)T(
1
, . . . ,
4
))(x(14)T(
1
, . . . ,
4
))
onde
1
, . . . ,
4
so as razes de p.
Se o polinmio no for separvel, ento aplicamos uma transformao de
Tschirnhausen como descrito no captulo 5. Portanto, podemos supor que o
polinmio resolvente separvel.
Pelo teorema 4.1.5, onde H = D
4
, G = S
4
e T dado acima, se R
S4
(T, p)(x)
possuir uma raiz inteira, ento o grupo de Galois de p estar contido no D
4
.
Assim, podemos concluir:
1. Se o resolvente no possuir uma raiz inteira, ento Gal(p) = A
4
ou
Gal(p) = S
4
. Pelo teorema 4.1.1, temos que Gal(p) = A
4
se o discri-
minante for um quadrado em Q e Gal(p) = S
4
caso contrrio.
4.5. PROVA DO ALGORITMO 4 47
2. Se o resolvente possuir uma raiz inteira, ento Gal(p) D
4
, o que signica
que Gal(p) = D
4
, Gal(p) = C
4
ou Gal(p) = V
4
. Como apenas o V
4
est contido no grupo alternado, se o discriminante for um quadrado,
ento Gal(p) = V
4
. Se o discriminante no for um quadrado em Q, ento
Gal(p) = D
4
ou Gal(p) = C
4
. Para decidir, tomamos outro resolvente,
onde:
H = C
4
G = D
4
T = x
1
x
2
2
+x
2
x
2
3
+x
3
x
2
4
+x
4
x
2
1
onde G/H = (1), (13).
Utilizando o mesmo argumento acima, fcil mostrar que H o estabili-
zador de T. Portanto, se R
D4
(T, p)(x), de grau 2, possuir uma raiz inteira,
ento Gal(p) = C
4
e Gal(p) = D
4
caso contrrio.
4.5 Prova do Algoritmo 4
Vamos agora demonstrar a validade do algoritmo para o clculo do grupo de
Galois de um polinmio irredutvel do 5
o
grau descrito na seo 4.6.
Nesse caso, os subgrupos transitivos a menos de conjugao de S
5
so:
1. S
5
2. A
5
. O subgrupo das permutaes pares.
3. F
20
. O subgrupo de Frobenius gerado pelas permutaes (12345), (2354).
4. D
5
. O subgrupo das simetrias do pentagrama gerado por (12345), (25)(34).
5. C
5
. O subgrupo cclico gerado por (12345).
Algumas incluses importantes so:
C
5
D
5
F
20
A
5
Agora nalmente podemos demonstrar a validade do algoritmo 4 dado:
Demonstrao.
Lema 4.5.1. O subgrupo H de S
5
que estabiliza T = X
1
X
2
+X
2
X
3
+X
3
X
4
+
X
4
X
5
+X
5
X
1
X
1
X
3
X
1
X
4
X
2
X
4
X
2
X
5
X
3
X
5
o D
5
.
Demonstrao. Observe inicialmente o seguinte pentagrama. As suas simetrias
so operaes que no alteram a sua estrutura, ou seja, os vrtices numera-
dos ligados por arestas continuam os mesmos. Queremos mostrar que as suas
simetrias so as permutaes de D
5
.
5 2
4
1
3
Assim, se reetirmos utilizando um espelho teremos o seguinte:
5 2
4
1
3
2 5
3
1
4
E se girarmos teremos:
4 1
3
5
2
E, portanto, essas operaes no alteram o pentagrama na sua estrutura.
Agora observe que essas simetrias so, no caso da rotao, a permutao (12345)
e, no caso da reexo, a permutao (25)(34) que geram justamente o grupo
D
5
.
Agora note que os vrtices ligados so (1, 3), (1, 4), (2, 4), (2, 5), (3, 5) que
formam os fatores negativos de T. E os vrtices que no esto ligados formam os
fatores positivos de T. Portanto claro que D
5
xa T. Se (S
5
)
T
o estabilizador
de T em S
5
. Ento:
D
5
(S
5
)
T
e assim:
[(S
5
)
T
[ [D
5
[ = 10
Falta mostrar que nenhuma outra permutao xa T e para isso vamos
descobrir um limitante inferior para o nmero de elementos na rbita de T.
Podemos ento tentar desenhar outros pentagramas:
T
5 2
4
1
3
T
2
2 3
4
1
5
T
3
2 4
3
1
5
T
4
3 4
2
1
5
T
5
3 5
2
1
4
T
6
4 5
2
1
3
T
4 3
2
1
5
T
2
4 5
3
1
2
T
3
3 5
4
1
2
T
4
2 5
4
1
3
T
5
2 5
4
1
3
T
6
2 3
5
1
4
Ento, fcil ver que todos esses pentagramas so distintos e, portanto, a
rbita de T tem pelo menos 12 elementos e como:
[o(T)[ =
[S
5
[
[(S
5
)
T
[
ento,
[(S
5
)
T
[ =
[S
5
[
[o(T)[

120
12
= 10
Portanto como [D
5
[ = [(S
5
)
T
[ = 10 e ento:
D
5
= (S
5
)
T
Portando estamos nas condies do teorema 4.1.5 onde H = D
5
, G = S
5
,T foi dado acima e R
Sn
(T, p) livre de quadrados e assim separvel. Como
j foi dito, R
Sn
(T, p) possui coecientes inteiros. Por conseguinte temos duas
possibilidades para o polinmio R
Sn
(T, p).
1. R
Sn
(T, p) no possui razes inteiras e nesse caso vamos mostrar que h
trs fatoraes possveis para o polinmio resolvente.
2. R
Sn
(T, p) possui uma raiz inteira e nesse caso o grupo de Galois de p(x)
est contido em algum conjugado de D
5
. Nesse caso podemos trocar as
razes de maneira que Gal(p) D
5
.
1. Nesse caso temos trs possibilidades para o grupo de Galois.
Gal(p) = S
5
Como j vimos, o estabilizador de T o D
5
e portanto o
estabilizador de T(
1
,
2
, . . . ,
n
) D
5
Gal(p). Pelo teorema 4.1.4
temos o seguinte:
Q(S)(T) H Q(T(
1
,
2
, . . . ,
n
))
12
S
5
D
5
12
Q(S
1
, S
2
, . . . , S
n
) S
n
Q S
5
E assim, como [Q(T(
1
,
2
, . . . ,
n
)) : Q] = 12, T(
1
,
2
, . . . ,
n
)
raz de um polinmio irredutvel de grau 12 e esse polinmio
justamente R
Sn
(T, p).
Gal(p) = A
5
Nesse caso temos novamente o seguinte diagrama:
Q(S)(T) H Q(T(
1
,
2
, . . . ,
n
))
6
A
5
D
5
6
Q(S
1
, S
2
, . . . , S
n
) S
n
Q A
5
E assim, como [Q(T(
1
,
2
, . . . ,
n
)) : Q] = 6, T(
1
,
2
, . . . ,
n
)
raz de um polinmio irredutvel de grau 6 que um fator de
R
Sn
(T, p). Para descobrir o grau dos outros fatores precisaremos
preceder da seguinte forma:
Para cada S
5
/D
5
temos que calcular o grau de Gal(p)/Gal(p)
D
5
pois agora o estabilizador de T D
5
1
= D
5
. Temos para
cada o seguinte diagrama:
Q(S)(T) H
Q(T(
(1)
,
(2)
, . . . ,
(n)
))
x
A
5
D
5
x
Q(S
1
, S
2
, . . . , S
n
) S
n
Q A
5
Agora obtemos cada como representante das coclasses de D
5
em
S
5
.
S
5
/D
5
= (1), (12), (13), (14), (15), (25), (123), (132), (125), (124), (134), (2354)
Temos a seguir a tabela com subgrupos conjugados de D
5
.
D
5
[A
5
D
5
[ [F
20
D
5
[
(1) (1), (25)(34), (12)(35), (12345), (13)(45) 10 10
(13524), (14)(23), (14253), (15432), (15)(24)
(12) (1), (23)(45), (12)(35), (12543), (13452) 10 2
(13)(24), (14235), (14)(25), (15)(34), (15324)
(13) (1), (24)(35), (12)(34), (12354), (13)(45) 10 2
(13425), (14532), (14)(25), (15)(23), (15243)
(14) (1), (24)(35), (12)(45), (12534), (13245) 10 2
(13)(25), (14352), (14)(23), (15)(34), (15423)
(15) (1), (23)(45), (12)(34), (12453), (13542) 10 2
(13)(25), (14)(35), (14325), (15234), (15)(24)
(25) (1), (25)(34), (12)(45), (12435), (13)(24) 10 2
(13254), (14)(35), (14523), (15342), (15)(23)
(123) (1), (25)(34), (12)(45), (12435), (13)(24) 10 2
(13254), (14)(35), (14523), (15342), (15)(23)
(132) (1), (23)(45), (12)(34), (12453), (13542) 10 2
(13)(25), (14)(35), (14325), (15234), (15)(24)
(125) (1), (24)(35), (12)(45), (12534), (13245) 10 2
(13)(25), (14352), (14)(23), (15)(34), (15423)
(124) (1), (24)(35), (12)(34), (12354), (13)(45) 10 2
(13425), (14532), (14)(25), (15)(23), (15243)
(134) (1), (23)(45), (12)(35), (12543), (13452) 10 2
(13)(24), (14235), (14)(25), (15)(34), (15324)
(2354) (1), (25)(34), (12)(35), (12345), (13)(45) 10 10
(13524), (14)(23), (14253), (15432), (15)(24)
Portanto se Gal(p) = A
5
ento para todo teremos que o grau da
extenso Q(T(
(1)
,
(2)
, . . . ,
(n)
))/Q 60/10 = 6. Conclumos
ento que o resolvente se fatora nesse caso em dois polinmios de
grau 6.
Gal(p) = F
20
Nesse caso como visto na tabela acima temos dois graus distintos para
a fatorao do resolvente. O grau da extenso Q(T(
1
,
2
, . . . ,
n
))/Q
20/10 = 2 e a extenso Q(T(
(1)
,
(2)
, . . . ,
(n)
))/Q 20/2 = 10
para ,= (1), (2354). Portanto o resolvente se fatorar em dois poli-
nmios de graus 10 e 2.
2. R
Sn
(T, p) possui uma raiz inteira e nesse caso existe uma ordenao das
razes onde o grupo de Galois de p(x) est contido no grupo D
5
. O primeiro
passo reordenar as razes de tal modo que o grupo de Galois esteja contido
no D
5
. Agora falta descobrir se o grupo de Galois de fato o D
5
ou seu
subgrupo C
5
.
Assim, agora vamos considerar outro resolvente.
Lema 4.5.2. O grupo H que estabiliza T = X
1
X
2
2
+ X
2
X
2
3
+ X
3
X
2
4
+
X
4
X
2
5
+X
5
X
2
1
o C
5
.
Demonstrao. Observe inicialmente o seguinte pentgono e vamos mos-
trar que as suas simetrias so as permutaes de C
5
.
5
1
2
3 4
Note ento que as rotaes do pentgono correspondem s permutaes
geradas por (12345). E essas rotaes no alteram o pentgono de maneira
que os vrtices ligados pelas setas continuam os mesmos. Agora considere
os representantes das coclasses de:
S
5
/C
5
= (1), (45), (34), (345), (354), (35)
(23), (23)(45), (234), (2345), (2354), (235)
(243), (2453), (24), (245), (24)(35), (2435)
(2543), (253), (254), (25), (2534), (25)(34)
Podemos ento vericar uma por uma que todas as permutaes alteram
a congurao do pentgono exceto a (1). um trabalho simplesmente
de testar essas 23 permutaes.
Portando novamente estamos nas condies dos teoremas 4.1.5 e 4.1.6 onde
H = C
5
, G = D
5
e T dado acima. Assim as coclasses de C
5
em D
5
tem
dois representantes e R
D5
(T, p) tem portanto grau 2.
Contudo o polinmio resolvente livre de quadrados se e s se as razes
forem distintas. Essa condio corresponde no algoritmo ao d ,= 0.
Ento, nalmente se R
D5
(T, p) tiver razes inteiras ento o grupo de Galois
ser C
5
, caso contrrio ser D
5
. Essa condio corresponde no algoritmo
ao d
2
ser um quadrado ou no em Q.
4.6. ALGORITMOS 53
4.6 Algoritmos
[Clculo do Resolvente]
i
Razes(p) 1
T X
1
X
3
+X
2
X
4
2
R R
S4
(T, p) 3
se !ResolventeLivreQuadrados(R) ento 4
p Tschirnhausen(p) 5
volte para o passo 1 6
[Verifica se R possui raiz inteira e conclui]
se !PossuiRaizInteira(R) ento 8
se disc quadrado perfeito ento 9
devolve A
4
10
seno 11
devolve S
4
12
seno 13
devolve V
4
15
[Reordenao das razes]
PermutaoDaRaizInteira(R) 16
i

(i)
17
d ((
1

3
)(
2

4
)(
1
+
3

2

4
))
2
18
enquanto d = 0 faa 19
i
Razes(p) 21
R R
S4
(T, p) 22
i

(i)
26
d ((
1

3
)(
2

4
)(
1
+
3

2

4
))
2
27
se d ,= 0 ento 28
se d quadrado perfeito ento 29
devolve C
4
30
seno 31
devolve D
4
32
i
Razes(p) 1
T X
1
X
2
+X
2
X
3
+X
3
X
4
+X
4
X
5
+X
5
X
1
X
1
X
3
X
1
X
4
2
X
2
X
4
X
2
X
5
X
3
X
5
R R
S5
(T, p) 3
[Verifica se R possui raiz inteira, fatora o resolvente e
conclui]
se !PossuiRaizInteira(R) ento 7
l ListaDosGraus(R) 8
caso l 9
(6, 6) devolve A
5
10
(2, 10) devolve F
20
11
(12) devolve S
5
12
seno 13
[Reordenao das razes]
i

(i)
15
d (
1
2
(
2

1
) +
2
3
(
3

2
) +
3
4
(
4

3
) 16
+
4
5
(
5

4
) +
5
1
(
1

5
))
2
enquanto d = 0 faa 17
i
Razes(p) 19
R R
S5
(T, p) 20
i

(i)
25
d (
1
2
(
2

1
) +
2
3
(
3

2
) +
3
4
(
4

3
) +
4
5
(
5
26
4
) +
5
1
(
1

5
))
2
se d quadrado perfeito ento 27
devolve C
5
28
seno 29
devolve D
5
30
4.6. ALGORITMOS 55
i
Razes(p) 1
T X
2
1
X
2
5
(X
2
X
4
+X
3
X
6
)+X
2
2
X
2
4
(X
1
X
5
+X
3
X
6
)+ 2
X
2
3
X
2
6
(X
1
X
5
+X
2
X
4
)+ X
2
1
X
2
6
(X
2
X
5
+X
3
X
4
)+
X
2
2
X
2
5
(X
1
X
6
+X
3
X
4
)+X
2
3
X
2
4
(X
1
X
6
+X
2
X
5
)+
X
2
1
X
2
3
(X
2
X
6
+X
4
X
5
)+X
2
2
X
2
6
(X
1
X
3
+X
4
X
5
)+
X
2
4
X
2
5
(X
1
X
3
+X
2
X
6
)+X
2
1
X
2
4
(X
2
X
3
+X
5
X
6
)+
X
2
2
X
2
3
(X
1
X
4
+X
5
X
6
)+X
2
5
X
2
6
(X
1
X
4
+X
2
X
3
)+
X
2
1
X
2
2
(X
3
X
5
+X
4
X
6
)+X
2
3
X
2
5
(X
1
X
2
+X
4
X
6
)+
X
2
4
X
2
6
(X
1
X
2
+X
3
X
5
)
R R
S6
(T, p) 3
[Fatora o resolvente]
se l ,= (6) [Caso redutvel] 8
ento 9
caso l 10
(1, 2, 3) 11
f
3
FatorResolvente(R, 3) 12
disc Discriminante(f
3
) 13
devolve C
6
15
seno 16
devolve D
6
17
(3, 3) 18
f
1
f
2
disc
1
Discriminante(f
1
) 21
disc
2
Discriminante(f
2
) 22
se disc
1
e disc
2
no so quadrados perfeitos ento 23
devolve D
3
D
3
24
seno 25
devolve C
3
D
3
26
(2, 4) 27
f
2
disc
2
Discriminante(f
2
) 30
devolve S
+
4
32
seno 33
se disc
2
quadrado perfeito ento 34
devolve A
4
C
2
35
seno 36
devolve S
4
C
2
37
ento 45
caso l 46
(1, 1, 4) 47
devolve A
4
50
seno 51
devolve S
4
52
(1, 5) 53
devolve A
5
56
seno 57
devolve S
5
58
(1, 1, 1, 3) 59
devolve S
3
60
seno 61
[Clculo de um novo resolvente]
F X
1
X
2
X
3
+X
4
X
5
X
6
62
R R
S6
(T, p) 63
i
Razes(p) 66
[Verifica se R possui raiz inteira e conclui]
se PossuiRaizInteira(R) ento 69
devolve C
2
3
C
4
71
seno 72
devolve C
2
3
D
4
73
seno 74
devolve A
6
76
seno 77
devolve S
6
78
4.6. ALGORITMOS 57
i
Razes(p) 1
2
R
1i<j<k7
(x (
i
+
j
+
k
))
[Verifica se R possui raiz inteira, fatora o resolvente e
conclui]
ento 8
caso l 9
(7, 28) devolve PSL
2
(F
7
) 10
(14, 21) devolve F
42
11
(7, 7, 21) devolve F
21
12
(7, 7, 7, 14) devolve D
7
13
(7, 7, 7, 7, 7) devolve C
7
14
seno 15
devolve A
7
18
seno 19
devolve S
7
20
Algoritmo 7: Transformao de Tschirnhausen
Entrada: Recebe um polinmio p(x) k[x] irredutvel denindo um
corpo k().
Sada: Um polinmio T(x) de mesmo grau denindo o mesmo corpo.
[Polinmio Aleatrio]
n grau(p) 1
A Polinmio aleatrio em Z[x] de grau n 1 2
[Resultante]
T Res(p(x), y A(x), y) 3
[Verifica se T possui apenas razes simples]
se LivreQuadrados(T) ento 4
devolve T 5
seno 6
Captulo 5
Transformaes de
Tschirnhausen
Como pde ser visto no captulo 4, em todos os algoritmos, trocamos o poli-
nmio original p(x) por outro polinmio de mesmo grau, e esperamos que o
corpo denido pelas novas razes continue o mesmo. Neste captulo, o objetivo
principal ser exibir a transformao de Tschirnhausen e mostrar que sob certas
condies, o corpo original no se altera.
5.1 Resultantes
Nesta seo, queremos decidir quando dois polinmios f, g k[x] , com k um
corpo qualquer, possuem um fator comum em k[x], isto , se h k[x], h
1 [ h[f, h[g em k[x]. h denota o grau do polinmio h(x).
Lema 5.1.1. Sejam f, g k[x] polinmios tais que, f = l 1 e g = m 1.
Ento f e g possuem um fator comum em k[x] se, e s se, A, B k[x] com as
seguintes propriedades:
1. A e B no so nulos.
2. A m1, B l 1
3. Af +Bg = 0
Demonstrao. () Se h k[x] fator comum, ento f = hf
1
e g = hg
1
, com
f
1
l 1 e g
1
= m1. Temos, portanto:
f
f
1
=
g
g
1
g
1
f = gf
1

g
1
f + (f
1
)g = g
1
(hf
1
) f
1
(hg
1
) = g
1
f + (f
1
)g = 0
Se tomarmos A = g
1
e B = f
1
e assim, (1), (2), (3) valem.
59
60 CAPTULO 5. TRANSFORMAES DE TSCHIRNHAUSEN
() Suponhamos que A, B k[x] valendo (1), (2), (3), e, portanto, vale:
Af +Bg = 0 Bg = Af
e que f e g no tenham fator comum em k[x]. Ento mdc(f, g) = 1 e, por
Bzout, existem

A,

B k[x], tais que:
Af +

Bg = 1
multiplicando os dois lados por B, temos:
ABf +

BgB = B
ABf +

B(Af) = B
B = (B
A

BA)f
como B ,= 0, B f = l, o que contradiz (2).
Precisamos agora, traduzir esse lema num critrio prtico que determine
quando dois polinmios tm fator comum. Sejam ento:
f(x) = a
0
x
l
+a
1
x
l1
+ +a
l
a
0
,= 0
g(x) = b
0
x
m
+b
1
x
m1
+ +b
m
b
0
,= 0
A(x) = c
0
x
m1
+c
1
x
m2
+ +c
m1
(5.1)
B(x) = d
0
x
l1
+d
1
x
l2
+ +d
l1
(5.2)
De 5.1 e 5.2 temos m+l incgnitas
c
0
, c
1
, . . . , c
m1
, d
0
, d
1
, . . . , d
l1
.
Devemos procurar A(x), B(x) k[x], A m 1, B l 1 no ambos
nulos, vericando:
Af +Bg = 0
Isso equivalente a procurar (c
0
, c
1
, . . . , c
m1
, d
0
, . . . , d
l1
) ,=

0 em k
m+l
tal que:
(a
0
x
l
+ +a
l
)(c
0
x
m1
+ +c
m1
)+(b
0
x
m
+ +b
m
)(d
0
x
l1
+ +d
l1
) = 0
Analisando os coecientes, temos:
coef x
l+m1
a
0
c
0
+b
0
d
0
= 0
coef x
l+m2
(a
0
c
1
+a
1
c
0
) +b
0
d
1
+b
1
d
0
= 0
coef x
l+m3
(a
0
c
2
+a
1
c
1
+a
2
c
0
) +b
0
d
2
+b
1
d
1
+b
2
d
0
= 0
.
.
.
coef x
0
a
l
c
m1
+b
m
d
l1
= 0
5.2. TRANSFORMAO DE TSCHIRNHAUSEN 61
Resolver essas equaes equivalente a resolver o seguinte sistema:
1 2 3 . . . m 1 2 3 . . . l
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
a
0
b
0
a
1
a
0
b
1
b
0
a
2
a
1
a
0
b
2
b
1
b
0
.
.
.
.
.
.
.
.
.
.
.
.
a
l
a
0
b
m
b
0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
a
l
b
m
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
c
0
c
1
.
.
.
.
.
.
c
m1
d
0
.
.
.
.
.
.
d
l1
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
0
0
.
.
.
.
.
.
0
0
.
.
.
.
.
.
0
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
Essa matriz (m+l) (m+l) chamada matriz de Sylvester e ser denotada
por Sylv(f, g). Deniremos o resultante dos polinmios f e g com relao
varivel x como o determinante da matriz.
Res(f, g, x) = det Sylv(f, g)
Lema 5.1.2. Se f, g k[x], so tais que f = l 1, g = m 1. Ento
Res(f, g) Z[a
0
, a
1
, . . . , a
l
, b
0
, b
1
, . . . , b
m
] e f, g possuem uma raiz comum em
k[x] se, e somente se, Res(f, g) = 0.
Demonstrao. claro que se f, g tm uma raiz em comum em k[x], ento f, g
possuem fator comum. Assim, a prova clara pela construo da matriz.
Lema 5.1.3. Se f, g k[x], so tais que f = l 1, g = m 1. Seja
k o fecho de k. Ento f e g tm uma raiz comum em k se, e somente se,
Res(f, g) = 0.
Demonstrao. f e g possuem uma raiz comum em k se, e s se, irr(, k)
k[x] divide f e g. Portanto, irr(, k) um fator comum a f e g e pelo lema
5.1.1 est provado.
5.2 Transformao de Tschirnhausen
Como visto na seo 4.6, a transformao de Tschirnhausen consiste em alterar
o polinmio original p(x) de grau n, por outro polinmio irredutvel dado por:
T(y) = Res(p(x), y A(x), y)
onde A(x) Z[x] um polinmio de grau menor ou igual a n 1 escolhido
aleatriamente. Queremos mostrar que sob certa condio, os corpos de decom-
posio de p(x) e T(x) so iguais.
62 CAPTULO 5. TRANSFORMAES DE TSCHIRNHAUSEN
Primeiramente devemos observar que:
p(x) = x
n
+a
1
x
n1
+ +a
n1
x +a
n
(5.3)
y A(x) = x
m
b
1
x
m1
b
m1
x +y b
n
E portanto, o determinante da matriz de Sylvester :
Res(p(x), yA(x), y) =
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
1 1
a
1
1 b
1
1
a
2
a
1
.
.
. b
2
b
1
.
.
.
.
.
. a
2
1
.
.
. b
2
1
a
n
.
.
. a
1
y b
m
.
.
. b
1
a
n
a
2
y b
m
b
2
.
.
.
.
.
.
.
.
.
.
.
.
a
n
y b
m
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
com zero nas posies livres.
Pode-se mostrar que o polinmio T(y) resultante dado por:
T(y) = y
n
+c
1
y
n1
+ +c
n1
y +c
n
onde os coecientes c
j
so funes dos coecientes a
j
e b
j
conhecidos e inteiros.
Observe agora, que pelo lema 5.1.3, as razes y
i
de T foram o sistema abaixo
a ter uma raiz comum:
_
x
n
+a
1
x
n1
+ +a
n1
x +a
n
= 0
y
i
= A(x)
(5.4)
Assim, podemos enunciar o seguinte teorema.
Teorema 5.2.1. Sejam x
1
, x
2
, . . . , x
n
razes de p(x) e seja T(y) = Res(p(x), y
A(x), y) o polinmio que anula y
i
= A(x
i
), ou seja, x
i
uma raiz comum de
5.4. Se T(y) for separvel, ento x
i
= r(y
i
), onde r(z) um polinmio com
coecientes como sendo funes dos coecientes de p e A.
Demonstrao. Tomemos uma raiz y
i
= A(x
i
) de T(y). Armo que as equaes
de 5.4 tem apenas uma raiz comum, pois se tivesse duas, digamos, x
i
e x
j
,
teramos y
i
= A(x
i
) = A(x
j
) = y
j
e y
i
teria multiplicidade maior que 1, o que
impossvel pois T(y) separvel.
Portanto, d
i
(x) = MDC(p(x),y
i
A(x)) um polinmio na varivel x de
grau 1. Assim, fazendo d
i
(x
i
) = 0, obtemos x
i
= r(y
i
).
Portanto, o corpo de decomposio original Q(x
1
, x
2
, . . . , x
n
) igual ao corpo
de decomposio transformado Q(y
1
, y
2
, . . . , y
n
), pois x
i
= r(y
i
) e y
i
= A(x
i
).
Captulo 6
Software
Alm de estudar os algoritmos do captulo 4, este trabalho fornece um programa
para o clculo do grupo de Galois. Nesse captulo, vamos analisar brevemente
o software produzido. O programa consiste em um pacote de nome, GrupoDe-
Galois, escrito na linguagem do conhecido software Mathematica verso 6.0.
O programa deve receber um polinmio irredutvel, com coecientes racio-
nais, de grau menor ou igual a 7, e devolve o grupo de Galois correspondente.
Os testes realizados nesse captulo devem avaliar a corretude e ecincia dos
algoritmos. Alm disso, vamos comparar o tempo de execuo com outros pro-
gramas tradicionais que se propem a resolver o mesmo problema como por
exemplo, o GAP e o PARI.
Os testes foram realizados em uma mquina com processador Pentium 4,
3.0GHz e memria RAM de 512MB.
6.1 Testes Bsicos
Nessa seo, utilizaremos como entrada os polinmios de teste fornecidos em
[5] para vericar a corretude e ecincia para os casos bsicos. Apesar de os
polinmios terem, em geral, coecientes pequenos, foram o programa a reali-
zarem as transformaes de Tschirnhausen descritas no captulo 5. Portanto,
esses polinmios testam de maneira completa os algoritmos propostos.
Para cada polinmio de [5], a tabela a seguir mostra, na ordem, o polinmio
testado, o grupo de Galois de resposta, o tempo de execuo do programa deste
trabalho, e os tempos medidos pelos programas GAP e PARI. importante
salientar que ambos os programas utilizam o mesmo mtodo proposto aqui. Os
tempos foram medidos em milisegundos e qualquer tempo menor que 0, 5ms
ser anotado como zero na tabela.
63
64 CAPTULO 6. SOFTWARE
Polinmio Galois Programa GAP PARI
x S
1
0ms 0ms 0ms
x
2
+x + 1 S
2
0ms 0ms 0ms
x
3
+x
2
2x 1 C
3
0ms 16ms 0ms
x
3
+ 2 S
3
0ms 0ms 0ms
x
4
+x
3
+x
2
+x + 1 C
4
7ms 125ms 0ms
x
4
+ 1 V
4
5ms 94ms 0ms
x
4
2 D
4
10ms 47ms 0ms
x
4
+ 8x + 12 A
4
7ms 16ms 0ms
x
4
+x + 1 S
4
6ms 15ms 0ms
x
5
+x
4
4x
3
3x
2
+ 3x + 1 C
5
18ms 203ms 0ms
x
5
+ 20x + 16 A
5
15ms 16ms 0ms
x
5
+ 2 F
20
35ms 3532ms 5ms
x
5
5x + 12 D
5
15ms 93ms 0ms
x
5
x + 1 S
5
15ms 16ms 5ms
x
6
+x
5
+x
4
+x
3
+x
2
+x + 1 C
6
36ms 125ms 0ms
x
6
+ 108 S
3
35ms 203ms 5ms
x
6
+ 2 D
6
33ms 157ms 16ms
x
6
3x
2
1 A
4
32ms 234ms 0ms
x
6
+ 3x
3
+ 3 C
3
D
3
33ms 157ms 5ms
x
6
3x
2
+ 1 A
4
C
2
28ms 172ms 10ms
x
6
4x
2
1 S
+
4
30ms 172ms 5ms
x
6
3x
5
+ 6x
4
7x
3
+ 2x
2
+x 4 S
4
30ms 17031ms 16ms
x
6
+ 2x
3
2 D
3
D
3
31ms 391ms 5ms
x
6
+ 6x
4
+ 2x
3
+ 9x
2
+ 6x 4 C
2
3
C
4
23ms 156ms 10ms
x
6
+ 2x
2
+ 2 S
4
C
2
34ms 187ms 5ms
x
6
2x
5
5x
2
2x 1 A
5
18ms 282ms 0ms
x
6
+ 2x
4
+ 2x
3
+x
2
+ 2x + 2 C
2
3
D
4
23ms 125ms 0ms
x
6
x
5
10x
4
+ 30x
3
31x
2
+ 7x + 9 S
5
19ms 1547ms 0ms
x
6
+ 24x 20 A
6
22ms 31ms 10ms
x
6
+x + 1 S
6
23ms 16ms 5ms
x
7
+x
6
12x
5
7x
4
+ 28x
3
+ 14x
2
9x + 1 C
7
25ms 344ms 5ms
x
7
+ 7x
3
+ 7x
2
+ 7x 1 D
7
41ms 265ms 16ms
x
7
14x
5
+ 56x
3
56x + 22 F
21
25ms 657ms 0ms
x
7
+ 2 F
42
37ms 547ms 5ms
x
7
7x
3
+ 14x
2
7x + 1 PSL
2
(F
7
) 40ms 656ms 10ms
x
7
+ 7x
4
+ 14x + 3 A
7
32ms 15ms 11ms
x
7
+x + 1 S
7
36ms 16ms 10ms
6.2. TESTES DE ALCANCE 65
6.2 Testes de alcance
Os polinmios da seo anterior possuem, em geral, coecientes pequenos e, por-
tanto, no medem a utilizao de alta preciso pelos programas. Alm disso,
podemos perceber que os tempos medidos foram relativamente baixos, o que
indica que as contas feitas, de fato no requerem grandes recursos de processa-
mento.
A medida do tamanho dos coecientes ser dada pelo seu termo indepen-
dente, pois, quanto maior for, maior ser o valor do produto das razes. Essa
medida razovel, pois os resolventes utilizados em geral so somas de produtos
das razes do polinmio original(seo 4.6).
Pretendemos assim, medir como o tempo varia com o aumento dos coe-
cientes para determinar quanto a preciso utilizada inuencia a ecincia do
programa. Para isso, a tabela a seguir relaciona o nmero de dgitos do termo
independente do polinmio original, a preciso utilizada pelo programa proposto
e o tempo medido. Os polinmios testados em uma mesma tabela possuem o
mesmo grupo de Galois associado e, ento, as tabelas sero organizadas pelo
grupo de seus polinmios.
1. Grupo de Galois: D
4
Polinmio: x
4
2
N
o
dgitos Preciso utilizada tempo
1 10 10ms
2 20 9ms
4 40 9ms
8 40 9ms
16 80 10ms
32 150 12ms
64 300 27ms
128 600 67ms
256 1200 166ms
512 2400 568ms
1024 4700 1309ms
2048 10000 7384ms
Com os dados acima, podemos gerar o seguinte grco:
n
o
de dgitos
tempo(ms)
60
120
180
240
300
360
420
480
540
64 32 128 256 512
+ + + + +
Podemos, atravs do grco e da tabela, inferir que a ecincia do pro-
grama varia com a preciso utilizada e no, diretamente, com o tamanho
do polinmio de entrada. Isso se deve claramente ao algoritmo interno do
software utilizado.
6.2. TESTES DE ALCANCE 67
2. Grupo de Galois: F
20
Polinmio: x
5
+ 2
N
o
1 30 22ms
2 60 28ms
4 100 27ms
8 170 40ms
16 370 55ms
32 660 89ms
64 1300 300ms
128 2500 1193ms
256 2600 885ms
512 10000 24510ms
1024 20000 100602ms
3. Grupo de Galois: S
3
Polinmio: x
6
+ 108
N
o
3 80 30ms
4 150 36ms
8 240 47ms
16 600 102ms
32 1000 200ms
64 2000 598ms
128 4000 1818ms
256 8000 6562ms
512 16000 18859ms
1024 32000 70825ms
4. Grupo de Galois: D
7
Polinmio: x
7
+ 7x
3
+ 7x
2
+ 7x 1
N
o
1 30 38ms
2 30 38ms
4 40 38ms
8 60 43ms
16 100 48ms
32 170 63ms
64 330 91ms
128 640 191ms
256 1300 758ms
512 2600 2179ms
1024 5200 7093ms
Nos testes acima, no foi vericado um tamanho para o polinmio de entrada
que gerasse uma resposta errada. Acreditamos que 1024 dgitos para o termo
independente do polinmio original seja bastante satisfatrio. Para a maioria
dos casos, com esse tamanho, o tempo de resposta no mais confortavelmente
rpido.
Parte II
Parte Subjetiva
69
Captulo 7
Sobre o TCC
7.1 Desaos
O projeto foi dividido em duas partes bem denidas:
1. Parte terica:
Essa foi certamente a parte mais difcil. Em 2005, z o curso de lgebra
II e foi nesse momento que comecei a me interessar por lgebra abstrata.
No semestre seguinte, z lgebra III e com muito esforo consegui ter
uma pequena noo da Teoria de Galois. Ainda em 2006 fui monitor de
lgebra II e nalmente em 2007 comecei a estudar o tema do TCC.
Portanto, foram 2 anos estudando o mesmo assunto e posso dizer que essa
matria realmente difcil. No apenas uma questo de conhecimento e
treino, mas principalmente de maturidade.
Para essa parte do projeto, algumas matrias do curso foram fundamen-
tais:
Programao Linear:
Pois foi a primeira oportunidade em que experimentei a matemtica
como sendo ferramenta fundamental para a computao. Esse curso
talvez seja o mais importante para a minha formao da maneira
como eu concebi.
lgebra II:
Apesar dessa matria sozinha no servir para muita coisa, ela desper-
tou em mim a vontade de entender matemtica mais profundamente.
Nessa disciplina, alguns conceitos relativamente intuitivos so abs-
trados e isso me fez pensar seriamente no porqu de tal forma de
conduzir o pensamento.
71
72 CAPTULO 7. SOBRE O TCC
lgebra III:
Apesar de no ter entendido muito bem o que eu estava fazendo, per-
cebia que havia muita coisa por trs que precisava ser compreendida.
Nessa matria posso dizer que entendi tudo, mas no compreendi
nada. Mas serviu muito bem para que depois a teoria toda zesse
todo o sentido apesar de ter levado um ano para isso.
No acho que essa matria deveria ser obrigatria para computao,
mas acho que aquele que deseja e gosta de entender bem as coisas
que faz deve cursar essa disciplina. Foi nessa matria que eu aprendi
como se deve escrever matemtica e porque se deve escrever dessa
forma.
2. Programa:
Nessa parte, tive uma diculdade principal que est relacionada com o
fato de no conhecer a linguagem do Mathematica em que o programa
deveria ser feito. Ento, gastei um bom tempo entendendo como o software
funcionava para depois comear a escrever o cdigo propriamente dito.
Essa parte sempre entediante, mas acho que o currculo do BCC nos d
uma viso bastante abrangente de linguagem de programao e ento a
diculdade era mais associada sintaxe do que losoa de programao.
Por outro lado, todos ns, cedo ou tarde, vamos passar por professores
que no nos ajudam muito e nos fazem descobrir as coisas sozinhos. Esse,
certamente no foi o primeiro trabalho em que tive que decifrar cdigos
de outras pessoas.
Em suma, as matrias que mais me auxiliaram nessa etapa foram:
MAC122:
Essa matria d boa parte da base necessria para se produzir algo-
ritmos. Foi nesse momento do curso que aprendi a diferena entre
programar muito mal e programar mal. Acho que uma das matrias
mais importantes do BCC.
Conceitos de Linguagem de Programao:
Essa disciplina mostra outras linguagens de programao pouco in-
tuitivas e apresenta outras formas de resolver problemas. Acho que
foi por conta dessa matria que eu no estranhei a linguagem do
Mathematica.
7.2 Frustraes
Eu no tive frustrao alguma relacionada ao TCC e acho que isso se deve ao
fato de ter esticado meu curso e poder ter me dedicado quase integralmente ao
projeto. Se no fosse assim, esse trabalho seria completamente invivel.
7.3. CONCLUSO 73
7.3 Concluso
Considero esse projeto a atividade mais importante que realizei durante todo
o curso. Foi uma experincia nica estudar um determinado tema por 2 anos
intensamente e aplicar o conhecimento em algum lugar da mesma forma que eu
pude ver sendo feito em Programao Linear. Acho apenas que deveria ser dado
mais tempo ao aluno para fazer o trabalho, mas no sei como isso poderia ser
feito. Pretendo continuar estudando lgebra e no prximo ano inicio o mestrado
em matemtica.
Nesse trabalho, eu pude entender razoavemente bem a teoria de Galois e
compreender quase que completamente tudo o que cerca o meu trabalho. As
poucas dvidas que tenho esto bem delimitadas e certamente no representam
problemas para o projeto.
A parte do algoritmo do 5
o
grau foi inteiramente feita por mim desde a
confeco do algoritmo at a sua demonstrao. Isso mostra o quanto eu com-
preendi do trabalho.
Alm disso, a maior mostra de que realmente aproveitei o trabalho foi ter
compreendido mais profundamente Teoria de Galois. Essa matria que permane-
ceu incompreensvel por mais de 1 ano cou bastante clara depois de exatamente
2 anos. Esse ganho eu considero de valor inestimvel pois, pela primeira vez eu
realmente entendi tudo o que estava fazendo e principalmente o que Galois fez.
74 CAPTULO 7. SOBRE O TCC
Apndice A
Representao dos grupos de
Galois
Grupo de Galois Ordem Geradores
Grau 1
S
1
1 (1)
Grau 2
S
2
2 (12)
Grau 3
S
3
6 (12), (13)
A
3
3 (123)
Grau 4
S
4
24 (12), (13), (14)
A
4
12 (123), (134)
V
4
4 (12)(34), (14)(23)
D
4
8 (1234), (24)
C
4
4 (1234)
Grau 5
S
5
120 (12), (13), (14), (15)
A
5
60 (123), (134), (145)
C
5
5 (12345)
D
5
10 (12345), (25)(34)
F
20
20 (12345), (2354)
75
76 APNDICE A. REPRESENTAO DOS GRUPOS DE GALOIS
Grupo de Galois Ordem Geradores
Grau 6
S
6
720 (12), (13), (14), (15), (16)
A
6
360 (123), (134), (145), (156)
C
6
6 (123456)
D
6
12 (123456), (16)(25)(34)
A
4
12 (25)(36), (135)(246)
S
4
C
2
48 (14), (135)(246), (26)(35)
A
4
C
2
24 (14), (135)(246)
S
+
4
24 (25)(36), (135)(246), (26)(35)
S
4
24 (25)(36), (135)(246), (14)(26)(35)
D
3
D
3
36 (135), (26)(35), (14)(25)(36)
C
3
D
3
18 (135), (14)(25)(36)
C
2
3
C
4
36 (135), (26)(35), (14)(2563)
C
2
3
D
4
72 (135), (35), (14)(25)(36)
S
5
120 (12345), (16)(54)(32)
A
5
60 (12345), (16)(25)
S
3
6 (135)(246), (16)(25)(34)
Grau 7
S
7
5040 (12), (13), (14), (15), (16), (17)
A
7
2520 (123), (134), (145), (156), (167)
C
7
7 (1234567)
D
7
14 (1234567), (27)(36)(45)
F
42
42 (1234567), (243756)
F
21
21 (1234567), (235)(476)
PSL
2
(F
7
) 168 (1234567), (23)(47)
Referncias Bibliogrcas
[1] P.A. Martin, INTRODUO TEORIA DOS GRUPOS E TEORIA DE
GALOIS, IMEUSP.
[2] I.N. Herstein, TPICOS DE LGEBRA, Polgono, So Paulo, 1964.
[3] I. Stewart, GALOIS THEORY, Chapman and Hall, 1989.
[4] G. Butler and J. McKay, The transitive groups of degree up to eleven, Comm.
in Algebra 11 A983), 863-911.
[5] H. Cohen, A COURSE IN COMPUTATIONAL ALGEBRAIC NUMBER
THEORY, Springer.
77

Monografia PDF

Încărcat de

Informații document

Descriere originală:

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Monografia PDF

Încărcat de

Drepturi de autor:

Formate disponibile

Clculo do Grupo de Galois

Danilo Elias Castro nUSP 3100230

: F[x] E denida por:

est claramente bem denida e agora vamos mostrar que

(a) = a e isso termina a prova.

de F por um argumento conjuntista.

: F[x] E tal que

a avaliao de F[x] em E. Sabemos que o kernel de

irr(, F)) que j sabemos que ideal maximal de F[x]. Portanto,

(F[x]) em E. Pode-se mostrar

(F[x]) em E o menor subcorpo de E contendo F e e

, todo elemento de F() da forma

(f(x)) = f(), ou seja, um polinmio em com coecientes em F. Seja:

. Deno : F() L assim:

(x). o que prova que a denio de independe do

possui todas as suas razes em K

um isomorsmo de corpos e F[x] uma

um corpo de decomposio para

. Pelo Corolrio 2.5.3, existe um

estendendo . Se E for um zero de algum f ,

Mas E = F(Z), onde

. Para provar que

so morsmos sobre F e assim, pelo lema 2.5.1, so automorsmos de E e E

respectivamente e portando isomorsmo.

(x) = Irr(, F)(x) F[x]

R a funo dada por

(L) depende somente da extenso algbrica E/F. Ser denotada por [E : F]

(x) e portanto (x) divide f(x) e f

(x). Nesse caso,

(x) possui uma raiz simples.

(x). claro que vale a congrun-

(x) g(x) mod h. Isso acarreta f

(x) = g(x), pois h

(x) para todo i. Logo,

) = 1. Se f(x) possuir uma raiz mltipla E, ento f(x) = (x)

) ,= 1, (x) divide tanto f quanto f

) ,= 1 em F[x] ento, como f irredutvel, (f, f

. Como em caracterstica zero f

no pode ser identicamente

menor que o grau de f, isso impossvel.

2, i) o corpo de decomposio da famlia = x

2)] = 2 que permutam as razes de x

2, i, i que cam xas pelo grupo de Galois so ele-

2), deixando o i xo. Portanto parece razovel

2, i) que contenha i alm de Q(i), pois

Com o mesmo argumento pode-se perceber que, se k F K, ento

pois, se aplicarmos uma transposio = (ij) a teremos como resultado a

H em G/H. Em particular o grau de R

S-ar putea să vă placă și