Nemo PDF

Contedo
1 Preliminares
5
1.1 Polinmios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Extenses de Corpos . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Teoria de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . 20
25
2 Sn como grupo de Galois
2.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2 Elementos algebricamente independentes sobre Q . . . . . . . 26
2.3 Polinmios cujo grupo de Galois Sn . . . . . . . . . . . . . . 30
3 Nmeros Construtveis
35
3.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2 Extenses quadrticas . . . . . . . . . . . . . . . . . . . . . . 39
4 Polinmios com razes no exprimveis por radicais
45
4.1 Extenses por radicais . . . . . . . . . . . . . . . . . . . . . . 45
4.2 Polinmios sem zeros exprimveis por radicais . . . . . . . . . 54
5 Problema Inverso de Galois
59
5.1 Extenses das Sries Formais de Laurent . . . . . . . . . . . . 60
5.2 Extenses de K(x) . . . . . . . . . . . . . . . . . . . . . . . . 70
CONTEDO
CONTEDO
Em 1830, Galois associa um grupo, o qual hoje conhecido como sendo

o grupo de Galois, a uma dada equao polinomial f (x) = 0. Dado f (x) =
xn + an1 xn1 + ... + a0 , com coeficientes a0 , a1 , ..., an1 K e razes 1 , ..., n
nalguma extenso de K, formamos um corpo tal que o menor corpo
que contm K e 1 , ..., n . Assim construdo, a d-se o nome de corpo de
decomposio de f (x). O grupo de Galois de f sobre K o grupo de todos
os K-automorfismos de e nota-se por G( : K). Mostra-se que , a menos
de isomorfismo, um subgrupo de Sn , o grupo simtrico em n elementos.
Um grupo simples se no tem subgrupos normais. Um subgrupo H de
um grupo G normal se para todo g G, gHg 1 = H. Nota-se por H G
o facto de H ser subgrupo de G e por H E G o facto de H ser subgrupo
normal de G. Todo o grupo finito pode ser expresso da forma
id = H1 E H2 E ... E Hr = G,
onde cada Hi /Hi1 simples. Se cada um dos grupos quocientes simples
obtidos for cclico, ento G diz-se solvel. Se para G tomarmos o grupo
G( : K), onde e f so como acima, dizemos que equao
f (x) = 0
resolvel por radicais se possvel calcular os zeros de f (x) a partir dos
coeficientes de K atravs um nmeros finito de adies, diferenas, produtos,
quocientes e extraces de razes. Galois demonstra que a equao f (x) = 0
resolvel por radicais se e s se G( : K) um grupo solvel. Galois observa
que o grupo simtrico S5 no tem essa propriedade, o que explica o facto
de a equao geral do 5 grau no ser resolvel por radicais, ou, por outras
palavras, de no existir uma frmula resolvente geral com radicais para as
equaes do 5 grau. A teoria dos grupos, criada por Galois no decurso
da sua investigao sobre a resolubilidade de equaes, teve posteriormente
enorme desenvolvimento noutras reas. Tambm a teoria dos corpos e das
suas extenses se veio a revelar fundamental noutras reas da matemtica.
A dificuldade em calcular o grupo de Galois de certos polinmios um dos
aspectos desta teoria que se mantm insatisfatrio. Assim, a correspondncia
entre equaes polinomiais de grau n e subgrupos de Sn s vivel para
valores muito pequenos de n. Como impossvel compreender completamente
esta correspondncia, para todo n, natural levantar a seguinte questo:
Ser que todos os subgrupos de Sn ocorrem, pelo menos uma vez, nesta
correspondncia, isto , ser que todo o subgrupo de Sn corresponde a algum
CONTEDO
polinmio de grau n? Esta questo uma formulao do Problema Inverso da

Teoria de Galois. Hilbert foi pioneiro no estudo deste problema. Ele comeou
por mostrar, atravs do seu teorema da irredutibilidade, que suficiente que
grupos ocorram como grupos de Galois de polinmios sobre o corpo Q(x).
O facto de existirem vrias extenses de Galois de determinado tipo no
isomorfas leva introduo do conceito de rigidez. Este garante-nos que,
sob determinadas condies, um dado grupo finito ocorre como grupo de
Galois sobre Q, e que a extenso de Galois associada nica, a menos de
isomorfismo.
Comeamos no captulo 1, por rever alguns conceitos bsicos sobre polinmios,
extenses e teoria de Galois necessrios para o desenvolvimento do trabalho.
A maioria das demonstraes ser omitida.
No captulo 2, ser demonstrado que, para todo o inteiro positivo n, existe
um polinmio em Q cujo grupo de Galois isomorfo a Sn . Neste captulo
ser essencial a utilizao do Teorema de Hilbert. Este permite-nos, dado um
polinmio irredutvel f (x1 , x2 , ..., xn , y) em n + 1 variveis sobre Q, concluir
que existem valores racionais para x1 , x2 , ..., xn para os quais o polinmio
resultante em y seja irredutvel sobre Q.
Os nmeros construtveis so a base do captulo 3. Um nmero real
diz-se construtvel se existe um segmento de comprimento || obtido a partir de um segmento de recta unitrio num nmero finito de passos usando
apenas uma rgua no graduada e um compasso. Veremos que, sendo um
real construtvel, ento o seu grau sobre Q, degQ , uma potncia de 2.
No entanto, tambm ser visto que esta no uma condio suficiente, uma
vez que existem reais tais que degQ uma potncia de 2 e no construtvel. A demonstrao deste teorema assentar no Teorema demonstrado
no captulo 2.
No captulo 4 ser dada uma condio necessria e suficiente para um dado
polinmio ser resolvel por radicais. Mostra-se tambm que, para todo n 5,
existem polinmios em que nenhuma das suas razes pode ser exprimvel por
radicais.
No captulo 5 comeamos por introduzir o conceito de pontos de ramificao e de classes de conjugao de uma dada extenso de Galois. Introduzimos custa destes conceitos certas classes de equivalncia, formadas por um
grupo de Galois, os pontos de ramificao e o conjunto das classes de conjugao associadas aos pontos de ramificao, e demonstra-se que, a menos de
isomorfismo, para cada classe de equivalncia dada, existe uma nica extenso de Galois finita de C(x). A existncia de tais extenses -nos garantida
CONTEDO
pelo teorema de Riemann, o qual ser apenas enunciado, no se conhecendo

demonstrao algbrica.
CONTEDO
Captulo 1
Preliminares
Comeamos por relembrar alguns conceitos importantes para o trabalho.
Neste captulo muitas das demonstraes sero omitidas. Os resultados podem ser encontrados em [3], [4] e [8].
1.1
Polinmios
Todos os anis considerados neste trabalho so unitrios e associativos. Um

anel comutativo A diz-se um domnio de integridade se, para todo a, b
A, sempre que ab = 0 ento a = 0 ou b = 0.
Relembramos agora o conceito de caracterstica.
Definio 1.1.1 Seja A um anel. Consideremos o conjunto
An = {a A : na = 0} ,
para cada n N. Se para qualquer natural n, se tem An 6= A, diz-se que
A tem caracterstica zero e escrevemos car(A) = 0. Caso contrrio, se
existe algum natural n tal que An = A, ento a caracterstica de A o
menor natural n0 tal que An0 = A e escrevemos car(A) = n0 .
Definio 1.1.2 Dizemos que K um corpo se K um anel comutativo
onde K\ {0} no vazio e (K\ {0} , ) um grupo abeliano.
Definio 1.1.3 Seja A um anel comutativo com identidade. Designamos
por polinmio em A na incgnita x a expresso
n
P
f (x) = an xn + an1 xn1 + ... + a0 = ai xi ,
i=i
CAPTULO 1. PRELIMINARES
onde ai A e n N. Aos elementos ai (i = 0, 1, ..., n) chamamos coeficientes de f (x). Ao maior expoente de x que tem coeficiente no nulo em
f (x) chamamos o grau de f (x) e escrevemos deg f(x) para designar este
grau. Dizemos que o polinmio nulo tem grau . Seja n o maior inteiro tal
que an 6= 0. Ao elemento an chamamos coeficiente principal. Se an = 1,
dizemos que f (x) um polinmio mnico.
fcil verificar que o conjunto de todos os polinmios com coeficientes
num anel A numa incgnita x forma um anel, o qual notaremos por A[x], o
anel de polinmios em x com coeficientes em A.
Dado D um domnio de integridade, D[x] tambm o . O seu corpo das
fraces
f (x)
D(x) =
: f (x), g(x) D[x], g(x) 6= 0 .
g(x)
O teorema seguinte permite-nos a diviso de polinmios semelhante diviso
conhecida para os naturais.
Teorema 1.1.4 (Teorema da Diviso) Sejam K um corpo e f (x), g(x)
K[x], com f (x) 6= 0. Ento existem polinmios nicos q(x), r(x) K[x], com
deg r(x) < deg f (x) tais que
g(x) = q(x)f (x) + r(x).
Demonstrao [3, Teoema I.2.5]
Definio 1.1.5 Sejam K um corpo e f (x), g(x) K[x].
(a) Dizemos que f (x) divide g(x) se existe q(x) K[x] tal que g(x) =
q(x)f (x). Neste caso escrevemos f (x) | g(x); caso contrrio, f (x) g(x).
(b) Dizemos que d(x) um mximo divisor comum em K[x] de f (x) e
de g(x) se d(x) divide f (x), d(x) divide g(x) e, se, sempre que algum
h(x) K[x] divida f (x) e g(x), ento h(x) divide d(x). Neste caso,
escrevemos m.d.c(f(x),g(x)) = d(x).
(c) Dizemos que f (x) e g(x) so primos entre si se 1 o mximo divisor
comum de f (x) e g(x), isto , se m.d.c(f (x), g(x)) = 1.
1.1. POLINMIOS
Definio 1.1.6 Sejam A um anel comutativo com identidade e f (x) A[x]

tal que deg f (x) 1. Dizemos que f (x) um polinmio irredutvel em
A[x] se no existem g(x), h(x) A[x] tais que deg g(x), deg h(x) < deg f (x)
e f (x) = g(x)h(x).
Relembramos que se f (x) D[x] for um polinmio mnico sobre um
domnio de integridade D de grau 1, f (x) irredutvel em D[x] se e s se
irredutvel em F [x] onde F o corpo das fraces de D.
Definio 1.1.7 Sejam K um corpo e f (x) K[x]. Dizemos que um elemento K uma raiz de f (x) em K se f () = 0.
Lema 1.1.8 Sejam K um corpo e f (x) K[x]. Um elemento K uma
raiz de f (x) se e s se x divide f (x).
Demonstrao Suponhamos que x divide f (x). Ento,
f (x) = (x )g(x),
para algum g(x) K[x]. Assim,
f () = ( )g () = 0,
isto , raiz de f (x).
Por outro lado, suponhamos que f () = 0. Pelo Teorema da Diviso
(Teorema 1.1.4) existem polinmios nicos q(x), r(x) K[x], tais que
f (x) = q(x)(x ) + r(x)
com deg r(x) < deg (x ) = 1. Logo, r(x) um polinmio constante em
K[x], digamos r. Assim,
0 = f () = q()( ) + r.
Portanto r = 0, de onde conclumos que x divide f (x).
Definio 1.1.9 Dizemos que uma raiz de multiplicidade m de f(x)
se (x )m | f (x) mas (x )m+1 - f (x). Se for raiz de multiplicidade m
onde m 2, dizemos que uma raiz mltipla de f (x).
Definio 1.1.10 Dizemos que um corpo K algebricamente fechado se

todo o polinmio f (x) K[x] de grau positivo admite uma raiz em K.
O teorema que se segue ser de maior importncia no prximo captulo;
se um polinmio em n + 1 variveis sobre Q for irredutvel ento podemos
construir a partir deste um polinmio irredutvel em Q[x]. A demonstrao
feita por induo em n e ser omitida; pode no entanto ser encontrada em
[7, Teorema 36].
Teorema 1.1.11 (Hilbert) Seja f (t1 , t2 , ..., tn , x) um polinmio irredutvel
sobre Q em n + 1 variveis. Ento, existe um nmero infinito de conjuntos
de valores racionais 1 , 2 , ..., n tais que f (1 , 2 , ..., n , x) irredutvel em
Q[x].
Recorde-se que um domnio de factorizao nica (DFU) um domnio
de integridade, no qual todo o elemento no nulo e que no seja invertvel pode ser escrito como produto de primos a menos do produto por uma
unidade e que esta decomposio nica a menos da ordem dos factores.
Relembramos agora um critrio importante que nos garante a irredutibilidade de alguns polinmios.
Teorema 1.1.12 (Critrio de Eisenstein) Seja K um corpo quociente de
um domnio de factorizao nica A e p(x) = an xn + an1 xn1 + ... + a1 x + a0
um polinmio sobre A de grau n. Se existe um primo p A tal que
1. p no divide an ,
2. p divide a0 , a1 , ..., an1 ,
3. p2 no divide a0
ento p(x) um polinmio irredutvel sobre K.
Demonstrao [14, Teorema 37.5]
1.2. EXTENSES DE CORPOS
1.2
Extenses de Corpos
Neste pargrafo revemos conceitos da teoria de corpos que sero necessrios.

Definio 1.2.1 Sejam K, L corpos. Dizemos que L uma extenso de K
se K um subcorpo de L. O smbolo L/K designa a extenso L de K.
O lema seguinte bvio atendendo definio de caracterstica:
Lema 1.2.2 Seja K um corpo de caracterstica zero. Ento qualquer extenso L de K tambm tem caracterstica zero.
Definio 1.2.3 Sejam K, L corpos tais que L uma extenso de K. O
grau da extenso L/K a dimenso de L quando considerado como espao
vectorial sobre K e escrevemos [L : K] para designar este grau. Dizemos que
L uma extenso finita de K se o grau [L : K] for finito. Caso contrrio,
dizemos que L uma extenso infinita de K.
Dados K e F subcorpos de um corpo E tais que F K E e v1 , v2 , ..., vn
uma base de E sobre K e u1 , u2 , ..., um uma base de K sobre F, facilmente se
demonstra que
{ui vj : i = 1, 2, ..., m; j = 1, 2, ...n}
base de E sobre F. Temos assim que :
Teorema 1.2.4 Sejam K e F subcorpos de um corpo E tais que F K E.
Se E uma extenso finita de K e K uma extenso finita de F, ento
[E : F] = [E : K] [K : F] .
Demonstrao [3, Teorema II.1.5]
Definio 1.2.5 Seja L uma extenso do corpo K e seja L. Dizemos que
algbrico sobre K se raiz de algum polinmio no nulo p (x) K [x];
caso contrrio, dizemos que transcendente sobre K.
Definio 1.2.6 Seja L uma extenso do corpo K. Dizemos que L uma
extenso algbrica de K se todo o elemento de L algbrico sobre K. Caso
contrrio, dizemos que L uma extenso transcendente de K.
10
Proposio 1.2.7 Seja L uma extenso do corpo K e seja L um elemento algbrico sobre K. Existe um e um s polinmio irredutvel mnico
f (x) K[x] tal que f () = 0, ou seja, tal que raiz de f (x). Tem-se ainda
que qualquer polinmio de K[x] que admita a raiz mltiplo de f (x), isto
, f (x) o polinmio de grau mnimo entre os polinmios que admitem a
raiz .
Definio 1.2.8 Seja L uma extenso do corpo K e seja L um elemento
algbrico sobre K. O polinmio mnimo de sobre K o nico polinmio
mnico m (x) K[x] de grau mnimo de sobre K.
Definio 1.2.9 Seja m (x) K[x] o polinmio mnimo de sobre K.
Define-se grau de sobre K como sendo o grau de m (x), isto ,
degK := degK m (x)
Dado um corpo e uma sua extenso construmos agora subcorpos intermdios.
Definio 1.2.10 Seja L uma extenso do corpo K e S um subconjunto de
L. Ao menor subcorpo de L que contm K S d-se o nome de subcorpo de
L gerado por K S e representa-se por K(S).
Definio 1.2.11 Seja L K e uma aplicao : K[x] L dada
por (p (x)) = p(). Ento designamos (K [x]) por K [].
A aplicao introduzida na definio 1.2.11 um homomorfismo de anis.
Como K [] , por definio, a imagem de K [x] por um homomorfismo de
anis, K [] um anel. Mais, podemos demonstrar que K [] o menor anel
que contm K {}.
Definio 1.2.12 Seja L uma extenso de K. Dizemos que L uma extenso simples de K se existe L tal que L = K ().
Teorema 1.2.13 Seja L uma extenso do corpo K e seja L. Ento
K[] = {f () : f (x) K[x]}
e
p()
K() =
: p(), q() K[x], q() 6= 0 .
q()
Tem-se tambm que K() o corpo das fraces de K[].
11
Demonstrao A imagem da aplicao

: K[x] L
f (x) 7 f ()
um subanel de L. Seja R um subanel de L que contm K e . Ento, por ser fechado para a adio e para a multiplicao, f () R, para
todo f (x) K[x]. Deste modo, {f () : f (x) K[x]} est contido em todos os subanis de L que contm K e . Como K Im e Im f ,
K[] = {f () : f (x) K[x]}. O ocorpo das fraces de K[] o conjunto
n
p()
: p(), q() K[x], q() 6= 0 , que est contido em qualquer subcorpo
q()
de L que contenha K[], logo igual a K().
A proposio seguinte d-nos uma descrio de K() quando L K
um elemento algbrico sobre K.
Proposio 1.2.14 Seja L K um elemento algbrico sobre K,
/K
e m (x) o seu polinmio mnimo sobre K. Ento:
(a) K(), o subcorpo de L gerado por K e , isomorfo ao corpo das
fraces K[x]/ hm (x)i;
(b) K() ' K [];
(c) K() o conjunto dos elementos da forma an1 n1 + ... + a1 + ao ,
onde n o grau de m (x).
Proposio 1.2.15 Se L uma extenso de K e L transcendente
sobre K, ento K() ' K[x] como anis.
A proposio seguinte indica-nos o grau de uma extenso simples e algbrica:
Proposio 1.2.16 Seja K() uma extenso simples do corpo K, onde
algbrico com polinmio mnimo m (x) sobre K. Ento, {1, , 2 , ..., n2 , n1 }
uma base de K() sobre K e [K () : K] = deg m (x).
Demonstrao [3, Corolrio II.2.5]
Relacionamos agora o conceito de extenso algbrica com o de extenso
finita.
12
Proposio 1.2.17 Toda a extenso finita algbrica.

Demonstrao Seja L/K uma extenso finita. Ento, por definio de
extenso finita, [L : K] = n < , isto , L tem dimenso finita quando
visto como espao vectorial sobre K. Assim, o conjunto de quaisquer n + 1
vectores no nulos linearmente dependente. Seja L e consideremos
1, , 2 , ..., n . Ento, existem c0 , c1 , ..., cn K, no todos nulos, tais
P
P que
ci i = 0. Deste modo, raiz do polinmio no nulo f (x) =
ci xi .
Logo algbrico sobre K.
Observao 1.2.18 O recproco da Proposio 1.2.17 falso.
Tem-se que toda a extenso finita algbrica. Extenses da forma K(1 , 2 , ..., n )
onde os i s so algbricos sobre K so finitas.
Proposio 1.2.19 Se L = K(1 , 2 , ..., n ) onde os i s so algbricos sobre K ento [L : K] finita.
Demonstrao [3, Lema II.2.6]
Combinando as Proposies 1.2.17 e 1.2.19 obtm-se:
Proposio 1.2.20 A extenso L/K finita se e s se L algbrico sobre
K e existem n N e 1 , ..., n L tais que L = K(1 , ..., n ).
Demonstrao [3, Lema II.2.6]
Definio 1.2.21 Seja K uma extenso de F. Dizemos que K um fecho

algbrico de F se
(i) K/F uma extenso algbrica, e
(ii) K algebricamente fechado.
Neste caso, escrevemos K = F.
13
A existncia dos fechos algbricos -nos garantida por [4, Corolrio 7.3.5],
sendo que a existncia das extenses algebricamente fechadas de F so asseguradas por [4, Teorema 7.3.4].
Mostramos agora que, dado um elemento algbrico sobre um corpo K,
raiz de um polinmio f (x) K[x], podemos construir um novo polinmio
cujos coeficientes pertencem ao anel gerado pelos coeficientes de f (x), mnico, que admite uma raiz do tipo an que gera a mesma extenso simples que
.
Lema 1.2.22 Seja algbrico sobre um corpo L e f (x) =
n
P
ai xi um polinmio
i=0
sobre L de grau n > 0 tal que f () = 0. Ento

n
g(x) = x +
n1
X
ai ani1
xi
n
i=0
um polinmio mnico de grau n tal que g(an ) = 0. Tem-se que ainda que:
a) L() = L(an );
b) se f for irredutvel, g tambm o .
Demonstrao Seja algbrico sobre L, e f e g tais como na hiptese do
Lema. Uma vez que
g(an ) =
ann n +
n1
X
ai ani1+i
i
n
i=0
ann n
an1
n f (),
an1
n
n1
X
ai i
i=0
g(an ) = 0. Como an L e L(), L(an ) L(). Como = a1

n an ,
por argumento anlogo tem-se a restante incluso. Se f for irredutvel,
algbrico sobre L de grau n, logo
n = [L() : L] .
14
Como L() = L(an ), n = [L(an ) : L], isto , an tem grau n sobre L.

Como g(x) de grau n sobre L, mnico e g(an ) = 0, g irredutvel sobre
L.
Introduzimos agora um novo conceito necessrio:
Definio 1.2.23 (a) Dizemos que um polinmio irredutvel f (x) K[x]
separvel quando no tem razes mltiplas em qualquer corpo de
decomposio.
(b) Dizemos que um polinmio qualquer separvel sobre K quando todos os seus factores irredutveis o so.
(c) Seja L/K uma extenso de corpos. Um elemento L algbrico
sobre K diz-se separvel sobre K quando o seu polinmio mnimo o .
(d) Uma extenso algbrica L diz-se separvel sobre K quando todos os
seus elementos so separveis sobre K.
Teorema 1.2.24 Seja K um corpo de caracterstica zero e f (x) um qualquer
polinmio irredutvel sobre K[x]. Ento f (x) no tem razes mltiplas em
qualquer extenso de K.
Demonstrao Suponhamos que f (x) tem uma raiz mltipla . Ento,
numa certa extenso de K, poderamos escrever
f (x) = (x )2 q(x),
para algum polinmio q(x) com coeficientes nessa extenso. Assim, a derivada do polinmio f (x),
f 0 (x) = 2(x )q(x) + (x )2 q 0 (x),
admite como raiz. Seja p(x) o polinmio mnimo de sobre K. Dado que
raiz de f (x) e de f 0 (x), p(x) divide ambos os polinmios. Ora, sendo f (x)
irredutvel, assim como p(x), temos que p(x) = f (x), para algum K\ {0}
e, deste modo, f (x) | f 0 (x). No entanto, f 0 (x) tem grau inferior a f (x), logo
f 0 (x) = 0. Considerando
f (x) = c0 + c1 x + ... + cn xn ,
15
com cn 6= 0, temos que

f 0 (x) = c1 + 2c2 x + ... + ncn xn1 .
Ento, ncn = 0 com n N. Como K tem caracterstica zero e qualquer sua
extenso tambm a tem, chegamos a uma contradio. Portanto, f (x) no
pode ter razes mltiplas.
Uma vez que o corpo Q tem caracterstica zero, o corolrio seguinte
consequncia imediata do Teorema anterior:
Corolrio 1.2.25 Seja f (x) um polinmio irredutvel em Q[x]. Ento, f (x)
no tem razes mltiplas em qualquer extenso de Q.
Demonstramos agora que uma extenso finita e separvel uma extenso
simples:
Teorema 1.2.26 (Teorema do Elemento Primitivo) Seja E uma extenso finita de um corpo F de caracterstica zero. Ento, existe E tal que
E = F().
Demonstrao Seja E = F(1 , ..., n ). Para demonstrar que E uma extenso simples de F usaremos induo em n. Se n = 1, E = F(1 ), logo
no h nada a provar. Suponhamos que E1 = F(1 , ..., n1 ). Por hiptese
de induo podemos admitir que E1 uma extenso simples de F, isto ,
que E1 = F(), para algum E1 . Ento, E = E1 (n ) = F(, n ). A
demonstrao fica assim reduzida ao caso em que n = 2. Digamos que E
gerado por dois elementos e . Sejam f (x) e g(x) os polinmios sobre F irredutveis que admitem as razes e , respectivamente, e seja E0 o corpo de
decomposio destes polinmios. Sejam = 1 , ...m e = 1 , ..., n as suas
razes. Pelo Teorema 1.2.24, as razes i s so todas distintas. Consideremos
as seguintes equaes em x
i + x j = + x,
com 1 i m e 2 j n. Estas equaes tm exactamente uma soluo
em F,
i
.
x=
j
16
Seja k um elemento de F que no seja soluo destas equaes e tomemos

= + k. Demonstramos de seguida que a extenso E gerada pelo
elemento = + k, isto , vamos ver que F(, ) = F(). Ora, uma vez
que F(, ), temos que F() F(, ). Para mostrar que F(, ) F()
basta mostrar que , F(). Comecemos por ver que F(). Para tal,
iremos ver que raiz de um polinmio de grau 1 sobre F(). Consideremos
os polinmios f (x) e g(x) como anteriormente. Temos que f (x) e h(x) =
g( kx) so polinmios sobre F() (note-se que g(x) F[x] F()[x]).
Dada a forma como k, g(x) e h(x) foram escolhidos, raiz de ambos os
polinmios. Assim, o mximo divisor comum destes polinmios divisvel
pelo factor x em F[x], admitindo portanto a raiz . Como f (x) no tem
razes mltiplas, o seu mximo divisor comum tambm no as tem, ou seja,
a raiz aparece apenas uma vez. Mas, pela escolha de k, os polinmios f (x)
e g( kx) no tm outra raiz em comum, dado que as razes de f (x) so
da forma i , com 1 i m, e ki 6= j , para todo o j. Portanto, o
mximo divisor comum de f (x) e g( kx) tem grau 1. Mas, o mximo
divisor comum um polinmio sobre F(), o corpo dos coeficientes de f (x)
e g( kx). Portanto, a raiz de um polinmio de grau 1 sobre F(), ou
seja, F(). Como F() um corpo e = k, F(). Portanto,
F(, ) = F().
Definio 1.2.27 Seja L um corpo. Dizemos que o polinmio f (x) L[x] se

decompe em L se f (x) = (x1 )...(xn ), para alguns , 1 , ..., n L.
Definio 1.2.28 Seja f (x) um polinmio com coeficintes num corpo K.
Um corpo de decomposio de f(x) uma extenso L de K em que:
(a) f (x) se decompe em L num produto de termos de grau 1, e
(b) L = K(1 , ..., n ) onde 1 , ..., n so as razes de f (x) em L.
O teorema seguinte garante-nos a existncia de um corpo de decomposio
de um polinmio f (x) K[x] de grau n 1, onde K um corpo.
Teorema 1.2.29 Seja K um corpo e f (x) um polinmio de grau n 1.
Existe uma extenso L de K que um corpo de decomposio de f (x).
17
Demonstrao [4, Teorema 7.3.1]

Os corpos de decomposio de polinmios sobre corpos K no so necessariamente nicos, no entanto, quaisquer corpos de decomposio de um
mesmo polinmio sobre um corpo so isomorfos.
Proposio 1.2.30 Seja f (x) um polinmio sobre um corpo K. Dois corpos
de decomposio de f (x) so isomorfos.
Demonstrao [4, Teorema 7.4.3]
Pela Proposio 1.2.20 conclumos que dado um polinmio f (x) sobre
um corpo K o seu corpo de decomposio uma extenso finita de K. A
proposio seguinte diz-nos que o grau dessa extenso necessariamente inferior a n!, onde n o grau do polinmio.
Proposio 1.2.31 Seja K um corpo e seja L um corpo de decomposio
sobre K do polinmio f (x) K[x]. Ento, L uma extenso finita de K e
[L : K] (deg f )!
Demonstrao [3, Lema III. 1.4]
Definio 1.2.32 Seja L uma extenso do corpo K. Dizemos que L/K

uma extenso normal se cada polinmio irredutvel f (x) K[x] que tem
pelo menos uma raiz em L se decompe em L.
O teorema seguinte caracteriza algumas extenses normais.
Teorema 1.2.33 A extenso L/K finita e normal se e s se L um corpo
de decomposio de algum polinmio sobre K.
Demonstrao [3, Teorema III.1.10]
Proposio 1.2.34 Seja L uma extenso finita e normal de um corpo K e

M um corpo intermdio. Ento L uma extenso finita e normal de M.
18
Demonstrao Pelo Teorema 1.2.33, L o corpo de decomposio de algum

polinmio em K[x], f (x). Mas f (x) M[x], pois K M L. Assim, L o
corpo de decomposio de f (x) M[x].
Introduzimos agora a noo de discriminante de um polinmio sobre K.
Este conceito d-nos uma forma de verificar se o polinmio tem razes mltiplas.
Definio 1.2.35 Dado p(x) K[x] de grau n e mnico com razes r1 , ..., rn
nalguma extenso de K, define-se o discriminante de p(x) como sendo o
produto
Y
Dp(x) =
(ri rj )2
i<j
A proposio seguinte bvia atendendo definio de discriminante:

Proposio 1.2.36 Seja K um corpo, p(x) K[x] um polinmio irredutvel
e 1 , ..., n as razes de p(x) em alguma extenso de K. Ento Dp(x) = 0 se
e s se p(x) tem razes mltiplas.
Note-se que a Proposio anterior equivalente a dizer que Dp(x) = 0 se
e s se p(x) no um polinmio separvel.
Introduzimos agora o conceito de polinmio simtrico.
Definio 1.2.37 Dizemos que um polinmio em n variveis f (x1 , x2 , ..., xn )
K[x1 , x2 , ..., xn ] simtrico se se mantm invariante atravs das n! permutaes das suas variveis.
Existem polinmios simtricos fceis de identificar: os polinmios simtricos elementares.
Definio 1.2.38 Seja D um domnio de integridade e x1 , x2 , ..., xn n variveis sobre D. Chamamos polinmios simtricos elementares nas incgnitas x1 , x2 , ..., xn aos polinmios ei D[x1 , x2 , ..., xn ] definidos do seguinte
modo
e1 (x1 , x2 , ..., xn ) = x1 + x2 + ... + xn ,
e2 (x1 , x2 , ..., xn ) = x1 x2 + x1 x3 + ... + x1 xn + x2 x3 + ... + xn1 xn ,
..
.
en (x1 , x2 , ..., xn ) = x1 x2 ...xn .
19
Dado um domnio de integridade D, podemos, em D[x1 , x2 , ..., xn ], escrever todos os polinmios simtricos custa dos elementares definidos antes:
Teorema 1.2.39 (Teorema Fundamental de Polinmios Simtricos)
Seja D um domnio de integridade. Ento cada polinmio simtrico em
D[x1 , x2 , ..., xn ] pode ser escrito como um polinmio sobre D nos polinmios
simtricos elementares e1 , e2 , ..., en .
Demonstrao [3, Teorema I.6.3]
Lema 1.2.40 Seja K um corpo e seja f (x) = xn + a1 xn1 + ... + an K[x].
Sejam 1 , 2 , ..., n as razes de f (x) numa extenso L de K, pelo que f (x) =
(x 1 ) (x 2 ) ... (x n ) L[x]. Ento,
ai = (1)i ei (1 , 2 , ..., n ),
onde as funes e1 (1 , 2 , ..., n ) representam o i-simo polinmio simtrico
elementar nas incgnitas 1 , 2 , ..., n .
Proposio 1.2.41 Seja f (x) um polinmio sobre F de grau n com razes
1 , 2 , ..., n . Se f (x1 , x2 , ..., xn ) um polinmio simtrico sobre F em n
variveis, ento f (1 , 2 , ..., n ) um elemento de F.
Demonstrao Pelo Teorema 1.2.39, o polinmio f (1 , 2 , ..., n ) pode ser
escrito como um polinmio sobre F nos polinmios simtricos elementares.
Se f (x) = an xn + an1 xn1 + ... + a0 , ento demonstra-se facilmente pelo
Lema 1.2.40 que
ei (1 , ..., n ) = ani /an F.
Consequentemente, f (1 , 2 , ..., n ) F.
Usando o Lema 1.2.40, o Teorema Fundamental de Polinmios simtricos

e um raciocnio da demonstrao da Proposio 1.2.41 pode-se demonstrar
que:
Proposio 1.2.42 Seja K um corpo e p(x) K[x] de grau n. Tem-se que
Dp(x) K. Mais, se K for o corpo de fraces de um domnio de integridade
R e p(x) R[x], ento Dp(x) R.
Demonstrao [14, pgina 567]
20
1.3
Teoria de Galois
Neste pargrafo revemos alguns resultados bem conhecidos da teoria de Galois. A partir de extenses de corpos formamos grupos; os grupos de Galois
associados a uma extenso. As propriedades dos grupos de Galois dependem
das propriedades das extenses.
Definio 1.3.1 Sejam L e M duas extenses de um corpo K. Um Kisomorfismo de M para L um isomorfismo de corpos : M L tal que
(k) = k, para todo k K. Um K-automorfismo de L um K-isomorfismo
: L L.
Duas extenses F e F0 de K dizem-se isomorfas se existir um K-isomorfismo
entre elas.
Consideramos agora o conjunto de todos os K-automorfismos de uma
extenso L do corpo K.
Teorema 1.3.2 Seja L uma extenso de um corpo K. O conjunto de todos
os K-automorfismos de L um grupo, relativamente operao de composio de aplicaes.
Definio 1.3.3 O grupo constitudo por todos os K-automorfismos de L
designado por grupo de Galois da extenso L de K, e ser denotado por
G(L : K).
Definio 1.3.4 Seja G um grupo de automorfismos de um corpo K. O
conjunto de elementos de K que ficam fixos por todos os automorfismos de
G formam um subcorpo, chamado o corpo fixo de G. Este corpo fixo ser
denotado por KG :
KG = { K : () = , para todo G} .
Definio 1.3.5 Seja f (x) um polinmio sobre F e E o seu corpo de decomposio sobre F. Dizemos que G(E : F) o grupo de Galois de f sobre
F.
Definio 1.3.6 Seja L uma extenso do corpo K. Dizemos que L/K uma
extenso de Galois se for uma extenso finita, normal e separvel sobre
K.
1.3. TEORIA DE GALOIS
21
A proposio seguinte relaciona extenses de Galois, corpos de decomposio e corpos fixos:

Proposio 1.3.7 Seja L uma extenso de K e G o grupo de K-automorfismos
de L. As seguintes afirmaes so equivalentes:
1. L uma extenso de Galois de K;
2. L um corpo de decomposio de um polinmio separvel sobre K;
3. LG = K.
Se qualquer uma destas condies se verifica, ento |G(L : K)| = [L : K].
Demonstrao [4, Proposio 7.7.4]
Proposio 1.3.8 Seja f (x) K[x] um polinmio de grau n. Ento, o seu

grupo de Galois isomorfo a um subgrupo de Sn .
Demonstrao [3, Proposio V.1.6]
A seguir enunciamos a correspondncia existente entre subgrupos de determinadas extenses de um corpo K, as de Galois, e os corpos intermdios
dessa mesma extenso. A bijeco existente permite-nos caracterizar corpos
intermdios que so extenses normais de K em funo dos subgrupos de
alguns grupos de Galois.
Teorema 1.3.9 (Teorema da Correspondncia de Galois) Seja L/K uma
extenso de Galois e consideremos
S(G(L : K)) = {G : G G(L : K)} , o conjunto dos subgrupos de G(L : K)
e
CI(L/K) = {M : K M L} , o conjunto dos corpos intermdios entre K e L.
Considerem-se tambm as aplicaes
G(L : ) : CI(L/K) S(G(L : K))

M
7
G(L : M), M : K M L
f ix() : S(G(L/K)) CI(L/K)
G
7 f ix(G), G : G G(L : K).
22
(a) As aplicaes so bijeces, cada uma inversa uma da outra, que invertem incluses.
(b) Tem-se que |G(L : K)| = [L : K] e |G| = |L : f ix(G)|, M CI(L/K), G
S(G(L : K)).
1. Tem-se que G E G(L : K) se e s se a extenso f ix(G)/K
normal; e
2. Tem-se que a extenso M/K normal se e s se G(L : M) E
G(L : K).
(c) Se a extenso M/K for normal ento G(L : K)/G(L : M) ' G(M : K).
Demonstrao [3, Teorema V.2.6]
Teorema 1.3.10 (Artin) Seja K um corpo e seja G um grupo finito de
automorfismos de K, de ordem n. Seja L = KG o corpo fixo de G. Ento
K/L uma extenso de Galois e o seu grupo de Galois G. Tem-se que
[K : L] = n.
Demonstrao [8]
Como aplicao da teoria de Galois podemos demonstrar propriedades do
discriminante de um dado polinmio sobre um corpo K.
Proposio 1.3.11 Seja K um corpo e p(x) K[x] um polinmio separvel
e irredutvel. Sejam 1 , ..., n as razes de p(x) num corpo de decomposio
E de p(x). Ento Dp(x) K.
Demonstrao Seja G = G(E : K). Note-se que Dp(x) = Dp(x) , logo

Dp(x) EG . Como E corpo de decomposio de um polinmio separvel
sobre K, pela Proposio 1.3.7, EG = K, deduzindo-se o pretendido.
Proposio 1.3.12 Seja K um corpo e p(x) K[x] um polinmio separvel
e irredutvel. Sejam 1 , ..., n as razes de p(x) num corpo de decomposio
E. Ento Dp(x) um quadrado perfeito em K se e s se o grupo de Galois
de p(x), G(E : K), um subgrupo de An .
1.3. TEORIA DE GALOIS

Demonstrao Seja G = G(E : K) e d =
23
p
Q
Dp(x) =
(ri rj ).
i<j
Pela Proposio 1.3.8 podemos pensar em como sendo uma permutao

do conjunto dos zeros de p(x). Tal como na demonstrao da Proposio
1.3.11, EG = K. Tem-se ento que d K se e s se d EG , isto , se e s se
(d) = d. Mas tal s acontece se for uma permutao par, logo, G um
subgrupo de An .
24
Captulo 2
Sn como grupo de Galois
Neste captulo demonstramos que dado n N e Sn , o grupo simtrico em n
elementos, existe um polinmio em Q[x] cujo grupo de Galois isomorfo a
Sn (Teorema 2.3.5).
Comeamos por verificar na seco 1 que dado um corpo K, se o grupo de
Galois de um polinmio f (x) K[x] de grau n isomorfo a Sn , ento f irredutvel sobre K. Na seco 2 estudamos elementos 1 , ..., n algebricamente
independentes sobre Q. Mostramos que dado n elementos algebricamente
independentes sobre Q, as suas n! permutaes induzem Q-automorfismos
na extenso gerada por estes elementos. Finalmente na seco 3 tomamos
elementos 1 , ...n algebricamente independentes sobre Q e custa destes
definimos f (x) e b1 , ..., bn Q(1 , ..., n ) que permitiro demonstrar o resultado pretendido.
2.1
Preliminares
Sabemos pela Proposio 1.3.8 que o grupo de Galois de um polinmio f de

grau n sobre um corpo K isomorfo a um subgrupo de Sn . Por definio, o
corpo de decomposio de f no mais que = K(1 , ...n ) onde 1 , ..., n
so as razes de f (x). Sabemos tambm que zeros de factores irredutveis
de f (x) so transformados sob aco de elementos de G( : K) em zeros
desses mesmos factores. Note-se ainda que os automorfismos de G( : K)
so determinados pelas imagens das razes de f (x).
Definio 2.1.1 Seja E uma extenso algbrica de um corpo F. Dois elementos 1 , 2 E dizem-se conjugados se so zeros do mesmo polinmio
25
26
CAPTULO 2. SN COMO GRUPO DE GALOIS
irredutvel de F[x].
Proposio 2.1.2 Seja f (x) um polinmio de grau n sobre um corpo K cujo
grupo de Galois isomorfo a Sn . Ento f irredutvel sobre K.
Demonstrao Seja f (x) um polinmio nas condies do enunciado e suponhamos, por reduo ao absurdo, que f (x) no irredutvel, isto , que se pode
escrever como produto de dois polinmios distintos no constantes. Assim,
podemos tomar num corpo de decomposio do polinmio duas razes, ai e
aj , que pertencem a factores irredutveis distintos, no sendo portanto conjugadas. Consequentemente, o grupo de Galois de f (x) sobre K no conteria
nenhum automorfismo que envia ai em aj , uma vez que este envia razes de
factores irredutveis em razes desses mesmos factores. Deste modo no poderia conter todas as permutaes dos zeros de f (x), logo no seria isomorfo a
Sn .
2.2
Elementos algebricamente independentes

sobre Q
Na seco 1.2. introduzimos a definio de elemento algbrico. Dada F

extenso de Q e F, dizemos que algbrico sobre Q se existir p(x)
Q[x], no nulo, tal que p() = 0. Podemos agora demonstrar que o conjunto
dos elementos algbricos sobre Q numervel, isto , que existe uma bijeco
entre este conjunto e N.
Proposio 2.2.1 O conjunto dos nmeros algbricos sobre Q nmervel.
Demonstrao Notemos que todo o nmero algbrico a raiz de algum
polinmio de coeficientes inteiros. Comecemos por ver que o conjunto de tais
polinmios numervel. Consideremos a sequncia de primos p1 , p2 , p3 , ....
A cada polinmio an xn + an1 xn1 + ... + a0 no trivial associamos o racional
n
. Atendendo decomposio dos naturais como propositivo pa10 pa21 pa32 ...pan+1
duto de potncias de primos, estabelecemos uma bijeco entre os racionais
positivos diferentes de 1 e o conjunto dos polinmios sobre Q. Como o conjunto dos racionais positivos diferentes de 1 numervel, o conjunto dos
polinmios com coeficientes inteiros numervel, podendo os polinmios ser
2.2. ELEMENTOS ALGEBRICAMENTE INDEPENDENTES SOBRE Q27

listados como f1 , f2 , f3 , ... . Para obter o conjunto dos nmeros algbricos em
Q, basta listar as razes de f1 , de f2 , e assim sucessivamente, obtendo-se no
final um conjunto numervel.
Definio 2.2.2 Dizemos que n elementos a1 , a2 , ..., an so algebricamente
independentes sobre Q se no existe um polinmio p(x1 , x2 , ..., xn ) Q[x1 , x2 , ..., xn ]
tal que
p(a1 , a2 , ..., an ) = 0,
ou seja, se no existe uma relao algbrica entre eles.
Lema 2.2.3 Para todo o n, existem n elementos algebricamente independentes sobre Q.
Demonstrao Comecemos por reparar que, pelo Lema 2.2.1, o conjunto
dos nmeros algbricos sobre Q numervel. Uma vez que C no numervel, sabemos que existe um nmero a1 transcendente sobre Q, isto , tal que
a1 no raiz de qualquernpolinmio de Q[x].
o
(a1 )
:
f
(x)
,
g
(x)
Q[x],
g
(x)
=
6
0
e f (a1 ), g(a1 ) 6=
Note-se que Q (a1 ) = fg(a
1)
0 uma vez que a1 transcendente sobre Q. Assim, cada elemento da forma
n an1 + n1 an1 + ... + 0
m1
m am
+ ... + 0
1 + m1 a1
Logo, Q (a1 ) um conjunto numervel.
Portanto, tal como anteriormente, podemos escolher um elemento a2
transcendente sobre Q(a1 ); de seguida um elemento a3 transcendente sobre Q(a1 , a2 ) e assim sucessivamente, at obtermos uma sequncia a1 , a2 , ...,
an , onde an transcendente sobre Q(a1 , a2 , ..., an1 ).
Vejamos agora, por reduo ao absurdo, que os elementos encontrados
so algebricamente independentes sobre Q. Para tal, suponhamos que existe
um polinmio em Q[x1 , x2 , ..., xn ] tal que p(a1 , a2 , ..., an ) = 0. Seja k o maior
ndice que aparece nesta relao (1 k n). Ento, ak seria algbrico
sobre Q(a1 , a2 , ..., ak1 ), o que uma contradio, atendendo escolha dos
ai s. Portanto a1 , a2 , ..., an so algebricamente independentes sobre Q como
se pretendia demonstrar.
Mostramos agora, de que modo permutaes de elementos algebricamente
independentes sobre Q originam automorfismos das extenses geradas por
esses elementos.
28
Lema 2.2.4 Sejam a1 , a2 , ..., an n elementos algebricamente independentes

sobre Q e E = Q(a1 , a2 , ..., an ). Ento, cada uma das n! permutaes do
conjunto a1 , a2 , ..., an induz um automorfismo em E que mantm fixo Q.
Demonstrao Note-se que toda a permutao (a1 a2 ... an ) se pode escrever
como uma sequncia de transposies (a1 an )(a1 an1 )...(a1 a2 ).
Como a composio de automorfismos um automorfismo, basta mostrar
que toda a transposio (c, d) do conjunto {a1 , ..., an } induz um automorfismo
de Q(c, d) que mantm Q fixo.
Note-se que a extenso E obtida de Q se mantm invariante, quando
trocamos a ordem dos ai s. Consideremos a transposio que permuta ai
e aj , e K a extenso de Q gerada por todos os outros ai s, isto , K =
Q(a1 , ..., ai1 , ai+1 , ..., aj1 , aj+1 , ..., an ). Assim, E = K(ai , aj ).
Sejam c = ai e d = aj . Ento E ( = K(c, d)) pode ser representado por
p(c, d)
: p, q K[x1 , x2 ]; q 6= 0 .
q(c, d)
O candidato natural para o automorfismo induzido pela transposio que
permuta os elementos c e d a aplicao
: K(c, d) K(c, d)
p(c,d)
7 p(d,c)
.
q(c,d)
q(d,c)
Verificamos agora que esta aplicao est bem definida, que bijectiva,
que preserva a adio e a multiplicao e que mantm os elementos de Q
invariantes.
Com vista a mostrar que est bem definida, consideramos
p2 (c, d)
p1 (c, d)
=
K.
q1 (c, d)
q2 (c, d)
(1)
Queremos ver que as imagens por destas duas representaes so iguais,

isto , que
p2 (d, c)
p1 (d, c)
=
.
(2)
q1 (d, c)
q2 (d, c)
Da equao (1) tem-se que x = c e y = d soluo da equao polinomial
p1 (x, y)q2 (x, y) p2 (x, y)q1 (x, y) = 0
2.2. ELEMENTOS ALGEBRICAMENTE INDEPENDENTES SOBRE Q29

Como (c, d) so algebricamente independentes, no poder existir um
polinmio no trivial p K[x1 , x2 ] tal que p(c, d) = 0. Portanto,
p1 (x, y)q2 (x, y) p2 (x, y)q1 (x, y)
ter de coincidir com o polinmio nulo. Assim, qualquer par ordenado
soluo desta equao. Em particular, (d, c) tambm soluo deste
polinmio, ou seja, p1 (d, c)q2 (d, c) p2 (d, c)q1 (d, c) = 0, deduzindo-se assim
a equao (2).
Para mostrar que injectiva, isto , que
p1 (c, d)
q1 (c, d)
p2 (c, d)
=
q2 (c, d)
p1 (c, d)
p2 (c, d)
=
q1 (c, d)
q2 (c, d)
ou seja, que
p2 (d, c)
p1 (c, d)
p2 (c, d)
p1 (d, c)
=
=
=
,
q1 (d, c)
q2 (d, c)
q1 (c, d)
q2 (c, d)
basta usar um argumento anlogo ao anterior.
Atendendo forma como est definida, obviamente sobrejectiva.
(c,d) p2 (c,d)
, q2 (c,d) K quaisquer. Tem-se que
Sejam pq11(c,d)
p1 (c,d)
q1 (c,d)
e que
p2 (c,d)
q2 (c,d)
p1 (c,d)
q1 (c,d)
=
=
p2 (c,d)
q2 (c,d)
p1 (c,d)q2 (c,d)+p2 (c,d)q1 (c,d)

q1 (c,d)q2 (c,d)
p1 (d,c)q2 (d,c)+p2 (d,c)q1 (d,c)
q1 (d,c)q2 (d,c)
p1 (d,c)
(d,c)
+ pq22(d,c)
q1 (d,c)
=
=
=
2 (c,d)
pq11 (c,d)p
(c,d)q2 (c,d)
p1 (d,c)p2 (d,c)
q1 (d,c)q2 (d,c)
p1 (d,c)
(d,c)
pq22(d,c)
,
q1 (d,c)
assim preserva a adio e a multiplicao.

Para concluir apenas notamos que esta aplicao mantm os elementos de
Q invariantes uma vez que s impe transformaes a c e d, que so elementos
de E\Q.
30
2.3
Polinmios cujo grupo de Galois Sn
Consideremos n elementos a1 , a2 , ..., an algebricamente independentes sobre

Q e seja f (x) o polinmio definido do seguinte modo
f (x) =
n
Q
i=1
n
(x ai )
= x + b1 xn1 + ... + bn ,
onde os bi s so dados por:
b1 = (a1 + ... + an )
b2 = a1 a2 + ... + an1 an
..
.
bi = (1)i (soma de todos os produtos de i diferentes ai s)
..
.
bn = (1)n a1 a2 ...an ,
isto ,
bi = (1)i ei (a1 , ..., an )
onde ei a i-sima funo simtrica de n variveis.
Ento:
Lema 2.3.1 O polinmio f (x) definido antes irredutvel sobre Q (b1 , b2 , ..., bn ) .
O grupo de Galois de f (x) sobre Q (b1 , b2 , ..., bn ) isomorfo a Sn .
Demonstrao Seja E = Q(a1 , a2 , ..., an ) e K = Q (b1 , b2 , ..., bn ). Note-se
que, atendendo definio de f e dos bi s, E o seu corpo de decomposio.
Pelo Lema 2.2.4, cada permutao dos ai s induz um automorfismo de E
que fixa todos os elementos K = Q (b1 , b2 , ..., bn ), e portanto, induz um elemento de G(E : K), pelo que, |G(E : K)| n!. Uma vez que o grupo de Galois do polinmio f , de grau n, isomorfo a um subgrupo de Sn (Proposio
1.3.8), temos que
G(E : K) ' Sn .
Pela Proposio 2.1.2, f irredutvel sobre K.
Como E = Q(a1 , a2 , ..., an ) uma extenso finita de K = Q (b1 , b2 , ..., bn ),

E uma extenso simples de K. No prximo lema mostramos de forma
simples tal facto.
2.3. POLINMIOS CUJO GRUPO DE GALOIS SN
31
Lema 2.3.2 Sejam a1 , a2 , ..., an algebricamente independentes sobre Q e E =

Q(a1 , a2 , ..., an ). Ento existem inteiros m1 , m2 , ..., mn tais que E = K(m1 a1 +
m2 a2 + ... + mn an ).
A soma m1 a1 + m2 a2 + ... + mn an assume n! valores distintos, que correspondem s n! permutaes possveis dos ai s, onde K = Q (b1 , b2 , ..., bn ).
Demonstrao Uma vez que E corpo de decomposio do polinmio
f (x) K[x], pela Proposio 1.3.7, E extenso de Galois de K, logo
finita. Note-se que atendendo definio dos bi s, E = Q(a1 , a2 , ..., an ) =
K (a1 , a2 , ..., an ). Pelo Teorema do Elemento Primitivo (Teorema 1.2.26), esta extenso pode ser escrita como uma extenso simples. NoTeorema1.2.26
n
P
demonstra-se que existem inteiros m1 , ..., mn tais que E = K
mi ai . Pei=1
lo Lema 2.3.1 e Teorema 1.3.9,
Assim, o grau de
sobre K do qual
n
P
i=1
n
P
[E : K] = |G(E : K)| = n!.

mi ai sobre K n!, ou seja, o grau do menor polinmio
mi ai raiz n!. Ento,
i=1
os quais no so mais do que imagens de
n
P
i=1
de G(E : K). Tais automorfismos associam a
n
P
mi ai ter n! conjugados
i=1
mi ai pelos n! automorfismos
n
P
mi ai somas idnticas com
i=1
os ai s permutados. Estes conjugados so todos distintos, uma vez que so

razes de polinmios irredutveis que, pelo Teorema 1.2.24, no podem ter
razes mltiplas. Portanto, todas estas somas so distintas.
Denotemos por c1 , c2 , ..., cn! os n! valores distintos obtidos de
n
P
mi ai
i=1
permutando os ai s.
n!
Q
Seja g(x) = (xci ). Note-se que as permutaes dos ai s correspondem
i=1
a permutaes dos ci s, no alterando portanto g(x). Portanto, os coeficientes

de g(x) so polinmios simtricos avaliados em (a1 , a2 , ..., an ). Como estes
ai s so razes de um polinmio sobre K, por 1.2.41, os coeficientes de g(x)
pertencem a K. O corpo de decomposio de g(x) ser ento K(c1 , ..., cn ).
Pela demonstrao do Lema 2.3.2, K(c1 , ..., cn ) = E, logo o grupo de Galois
de g(x) G(E : K) ' Sn . Assim, pela Proposio 2.1.2, g (x) irredutvel.
32
Lema 2.3.3 O grupo de g(x) sobre K isomorfo a Sn e o polinmio g(x)

irredutvel sobre K = Q (b1 , b2 , ..., bn ).
Acbamos de ver que tanto o grupo de Galois de f como o de g sobre K
so isomorfos a Sn .
Construmos agora dois polinmios F (t1 , t2 , ..., tn , x) e G(t1 , t2 , ..., tn , x)
de n + 1 variveis sobre Q. O grau de cada um destes polinmios ser n e
n!, respectivamente, tal como f e g.
Comecemos por tomar n variveis s1 , s2 , ..., sn e definir n funes ti do
seguinte modo:
ti = (1)i ei (s1 , s2 , ..., sn ) ,
onde ei corresponde ao i-simo polinmio simtrico de (s1 , s2 , ..., sn ).
Definamos tambm n! funes ui da seguinte forma
ui =
n
P
mi si
i=1
e todas as somas obtidas permutando os si s.

Construmos agora F e G;
F (t1 , t2 , ..., tn , x) = xn + t1 xn1 + ... + tn
n
Q
=
(x si )
i=1
G(t1 , t2 , ..., tn , x) =
n!
Q
i=1
(x ui ) .
Enquanto que para a funo F temos uma representao explcita em

termos de t1 , t2 , ..., tn e x, para G no temos. Sabemos que os coeficientes
das potncias de x em G podem ser escritas como polinmios em si s e que
so simtricos como funes dos si s. Assim, pelo Teorema Fundamental
dos Polinmios Simtricos (Teorema 1.2.39) sabemos que G representa uma
funo nas variveis t1 , t2 , ..., tn e x. Note-se que F (b1 , b2 , ..., bn , x) = f (x) e
G(b1 , b2 , ..., bn , x) = g(x).
Lema 2.3.4 Os polinmios F e G so irredutveis em Q.
Demonstrao Consideremos os polinmios G(t1 , t2 , ..., tn , x) e F (t1 , t2 , ..., tn , x)
sobre Q definidos anteriormente.
2.3. POLINMIOS CUJO GRUPO DE GALOIS SN
33
Suponhamos que F no irredutvel sobre Q, isto , que existem polinmios

R e S no triviais de coeficientes racionais tais que
F (t1 , t2 , ..., tn , x) = R(t1 , t2 , ..., tn , x)S(t1 , t2 , ..., tn , x).
Esta factorizao, a existir, seria vlida para quaisquer valores de t1 , t2 , ..., tn ,
em particular, para ti = bi = (1)i ei (a1 , a2 , ..., an ). Tendo R e S graus em
x no inferior a um, esta substituio resultaria numa factorizao de f ,
contrariando o facto de, pelo Lema 2.3.1, f ser irredutvel sobre Q(b1 , ..., bn ).
Suponhamos agora que S tem grau 0 em x. Neste caso,
S(t1 , t2 , ..., tn , x) = s(t1 , t2 , ..., tn ).
Ento, o coeficiente de xn no produto RS ser dado por r(t1 , t2 , ..., tn )s(t1 , t2 , ..., tn ),
sendo r(t1 , t2 , ..., tn ) o coeficiente de xn de R(t1 , t2 , ..., tn , x). Mas como
F (t1 , t2 , ..., tn , x) tem coeficiente de xn igual a 1, o grau do polinmio r(t1 , t2 , ..., tn )s(t1 , t2 , ..., tn )
ter de ser nulo. Visto que o grau do produto de polinmios corresponde
soma dos graus de cada factor, concluimos que r e s tm ambos grau zero
em qualquer uma das variveis, ou seja, r e s reduzem-se a constantes no
nulas. Mas, neste caso, S tambm uma constante e portanto a factorizao
F = RS uma factorizao trivial, ou seja, F irredutvel em Q.
Um argumento anlogo prova a irredutibilidade de G.
Demonstramos agora o resultado principal deste captulo.
Teorema 2.3.5 Para todo o inteiro positivo n, existe um polinmio em Q
cujo grupo de Galois isomorfo a Sn .
Demonstrao Seja n N e G(t1 , t2 , ..., tn , x) =
n!
Q
i=1
(x ui ) o polinmio so-
bre Q construdo antes. Pelo Teorema de Hilbert (Teorema 1.1.11), podemos

escolher racionais 1 , 2 , ..., n tais que o polinmio
e
G(x)
= G( 1 , 2 , ..., n , x)
irredutvel em Q[x].
Pretendemos demonstrar que o grupo de Galois de
Fe(x) = F ( 1 , 2 , ..., n , x) = xn + 1 xn1 + ... + n
isomorfo a Sn .
34
Sejam 1 , 2 , ..., n as razes de Fe. Ento, m1 1 + m2 2 + ... + mn n

pertence ao corpo de decomposio de Fe, Q(1 , 2 , ..., n ). Por definio de
G e de F , m1 1 + m2 2 + ... + mn n um zero de G, o qual um polinmio
irredutvel de grau n! sobre Q. Assim existe em Q(1 , 2 , ..., n ) um elemento
de ordem n! sobre Q. Logo [Q(1 , 2 , ..., n ) : Q] n!. Portanto, o grupo de
Galois de Fe tem ordem no inferior a n!.
Como este grupo corresponde ao conjunto das permutaes dos 1 , 2 , ..., n ,
a sua ordem poder ser, no mximo, n!.
Deste modo, o grupo de Galois de Fe ter, precisamente, ordem n!, ou
seja, isomorfo a Sn .
Captulo 3
Nmeros Construtveis
Um dos problemas da geometria clssica consistia no traado de diversas figuras e na realizao de diversas construes, tendo como nicos instrumentos
uma rgua (no graduada) e um compasso. Um nmero real diz-se construtvel se for possvel construir um segmento de recta de comprimento ||
a partir de um segmento de recta unitrio num nmero finito de passos usando apenas uma rgua e um compasso. Nesta seco, sempre que usarmos
o verbo construir estaremos a falar em construir usando apenas rgua e
compasso.
Neste captulo demonstramos que dado um real , para que ele seja
construtvel necessrio que o grau de sobre Q seja uma potncia de
2. A condio obtida no no entanto suficiente tal como demonstrado na
proposio 3.2.7. Para tal consideramos um polinmio sobre Q cujo grupo
de Galois isomorfo a Sn . A existncia deste polinmio -nos garantida pelo
Teorema 2.3.5.
3.1
Preliminares
Dada uma rgua (no graduada) e um compasso as operaes que podemos

realizar com estes instrumentos so chamadas construes fundamentais e
so:
1. Dados dois pontos, podemos traar uma recta que passa pelos dois
pontos e prolong-la at ao infinito nas duas direces;
35
36
CAPTULO 3. NMEROS CONSTRUTVEIS

2. Dados dois pontos podemos traar o segmento de recta que une os dois
pontos;
3. Dado um ponto e um segmento de recta, podemos traar a circunferncia com centro nesse ponto e raio igual ao comprimento do segmento
de recta.
O lema seguinte diz-nos que a soma e o produto de nmeros reais construtveis ainda um nmero construtvel.
A sua demonstrao ser omitida mas demonstrao anloga feita em
3.1.3.
Lema 3.1.1 Dados segmentos de comprimentos 1, e , com > e
6= 0, possvel construir segmentos de comprimentos + , , e
/.
Definio 3.1.2 Dizemos que um nmero real construtvel se, dado
um segmento de comprimento 1, possvel construir, num nmero finito de
passos, um segmento de comprimento ||.
Pelo Lema 3.1.1 podemos concluir que todos os nmeros racionais so
construtveis.
A proposio seguinte apenas uma reformulao deste Lema usando o
conceito de nmeros reais construtveis:
Proposio 3.1.3 Sejam e dois reais construtveis. Ento tambm
+ , , e /
so construtveis.
Demonstrao Consideremos dois reais construtveis e , com > .
Traamos sobre uma recta s um segmento [AB] de comprimento e um
segmento de recta [CD] de comprimento igual a de modo que B coincida
com C. Construa-se uma circunferncia com centro em B e raio CD. A
circunferncia intersecta a recta s nos pontos D e E tais que B est entre A
e D e E est entre A e B. Ento, o comprimento de [AD], AD, + e o
de [AE] , concluindo-se que + e so construtveis.
3.1. PRELIMINARES
37
B=C
Figura 3.1: Construo da soma e da diferena de dois reais construtveis

Com vista a demonstrar a segunda parte da Proposio, marcamos sobre
uma recta dada s um segmento de recta [AB] de comprimento igual a .
Por A, traamos outra recta r, concorrente com a anterior. Em r marcamos
a partir de A um segmento unitrio, digamos [AC], e o segmento [AD] de
comprimento igual a . De seguida traamos a recta t que contm os pontos
B e C e construmos a recta t0 paralela a t que passa por D. Seja P o ponto
de interseco das rectas t0 e s.
Ento o comprimento de [AP ], AP = , uma vez que, pelo Teorema de
Tales,
AC
AB
=
AD
AP
isto ,
1
.
=
AP
Conclumos assim que construtvel.
Nas mesmas condies do caso anterior, traamos a recta t que contm
os pontos B e D e construmos por C a recta t0 paralela a t que intersecta a
recta s no ponto Q.
Ento AQ = / uma vez que
AC
AQ
=
,
AD
AB
isto ,
1
AQ
=
.
38
t'
t
D
C
A
P
B
Figura 3.2: Construo do produto de dois reais construtveis
Mostramos agora que se construtvel,
tambm o .
Lema 3.1.4 Dados segmentosde comprimentos 1 e possvel construir

um segmento de comprimento .
Demonstrao Consideremos sobre uma recta s o segmento unitrio [AB]
e o segmento [BC] de comprimento BC = . Seja M o ponto mdio do
segmento [AC] e construa-se uma semicircunferncia com centro em M e
dimetro AC. De seguida construa-se a perpendicular s0 a s pelo ponto B e
seja D o ponto de interseco da recta s0 com a semicircunferncia.
Ento, [BD] um segmento de comprimento j que

BC
BD
=
,
BD
AB
isto ,
BD
=
,
1
BD
concluindo-se o pretendido.
3.2. EXTENSES QUADRTICAS
39
t
t'
D
C
s
A
Q
Figura 3.3: Construo do quociente de dois reais construtveis

Definio 3.1.5 Seja F um corpo. Designamos por plano de F o conjunto
dos pares ordenados (x, y), com x, y F.
Entende-se por recta de F a recta que passa por dois pontos distintos do
plano de F e por circunferncia de F a circunferncia cujo centro e algum
ponto da circunferncia pertencem ao plano de F.
Lema 3.1.6 Toda a recta do plano de F pode ser representada por uma
equao do tipo
ax + by + c = 0,
com a, b, c F.
Toda a circunferncia pode ser representada por uma equao do tipo
x2 + y 2 + ax + by + c = 0,
com a, b, c F.
3.2
Extenses quadrticas
Relacionamos agora o conceito de nmero construtvel com a existncia de

certas extenses. Comeamos por introduzir o conceito de extenso quadrtica de um corpo.
40
s'
Figura 3.4: Extraco da raiz quadrada de um real construtvel

Definio 3.2.1 Seja F um corpo. Dizemos que F(k) uma extenso
/ F.
quadrtica de F se k2 F e k
Lema 3.2.2 O ponto de interseco de duas rectas de F pertence a F. Os
pontos de interseco de uma recta com uma circunferncia de F, assim com
os pontos de interseco de duas circunferncias de F pertencem ao plano de
F ou ao plano de alguma extenso quadrtica de F.
Demonstrao O caso da interseco das duas rectas de F equivale soluo
das duas equaes
a1 x + b1 y + c1 = 0
a2 x + b2 y + c2 = 0,
com a1 , a2 , b1 , b2 , c1 , c2 F (Lema 3.1.6). bvio que a resoluo deste
sistema envolve operaes racionais, estando as solues x e y em F, ou seja,
(x, y) pertence ao plano de F, {(x, y) : x, y F}.
O caso da interseco de uma recta com uma circunferncia em F reduz-se
soluo do sistema de equaes em F
a1 x + b1 y + c1 = 0
x2 + y 2 + a2 x + b2 y + c2 = 0,
41
com a1 , a2 , b1 , b2 , c1 , c2 F. Como os coeficientes a1 e b1 no podem ser

simultneamente zero, a primeira equao pode ser resolvida em ordem a
qualquer uma das duas variveis. Sem perda de generalidade consideremos
a equao resolvida em ordem a y:
y=
c1 a1
x.
b1
b1
Substituindo na segunda equao obtemos uma equao do segundo grau

em x com coeficientes em F. Sabemos
que, utilizando a frmula resolvente,
obtemos solues do tipo A B k, com A, B, k F e k 0. Substituindo

estas solues
na primeira equao obtemos uma
soluo para y do tipo
0
0
0
0
A B k, com A , B , k F. Assim,
quando k F os pontos pertencem
a F. Caso
contrrio, isto , quando k
/ F, os pontos pertencem ao plano
de F( k).
No caso da interseco de duas circunferncias, as equaes:
x2 + y 2 + a1 x + b1 y + c1 = 0
x2 + y 2 + a2 x + b2 y + c2 = 0
podem ser subtradas, obtendo-se uma equao linear com coeficientes em F.
A equao obtida pode ser resolvida em simultneo com uma das equaes
da circunferncia, reduzindo este caso ao caso anterior.
Lema 3.2.3 Seja E uma extenso quadrtica de F. Ento [E : F] = 2.
Demonstrao Peladefinio de extenso quadrtica,

E
=
F(
k), para
/ F. Uma vezque k e k no pertencem a F, o

algum k F tal que k
polinmio x2 k irredutvel. Assim k raiz de um polinmio irredutvel
de grau 2 sobre F. Pela Proposio 1.2.16, [E : F] = 2.
Lema 3.2.4 Dado , se existe uma sequncia finita de corpos Q = F0
F1 ... FN , tal que FN , e tal que para todo o j, 0 j N 1, Fj+1
uma extenso quadrtica de Fj , ento construtvel.
Demonstrao A demonstrao faz-se por induo em N.
Se N = 0, F0 = Q, racional e portanto construtvel.
42
Suponhamos que a afirmao se verifica para um dado n. Queremos ver

que ento tambm se verifica para n + 1. Se Fn+1 , como Fn+1
uma
extenso quadrtica de Fn , pode ser escrito na forma an + bn kn , com
an , bn , kn Fn . Por hiptese de induo, an , bn ,
kn so construtveis. Pelos
Lemas 3.1.1 e 3.1.4, conclui-se que = an + bn kn construtvel como se
desejava demonstrar.
O resultado seguinte caracteriza os nmeros construtveis como sendo
aqueles para os quais existe uma sequncia finita de extenses quadrticas de
Q (podemos chamar extenso multi-quadrtica a uma extenso deste tipo).
Teorema 3.2.5 Um nmero construtvel se e s se existe uma sequncia
de corpos Q = F0 F1 ... FN , com FN , tal que para todo o j,
0 j N 1, Fj+1 uma extenso quadrtica de Fj .
Demonstrao Consideremos os pontos (0, 0) e (1, 0) no plano cartesiano e
um nmero construtvel. Por definio, pode ser construdo um segmento
de comprimento ||. claro que podemos usar este segmento, o ponto (0, 0) e
a recta que passa pelos pontos (0, 0) e (1, 0) para construir o ponto P = (, 0).
portanto suficiente mostrar que o ponto P pertence ao plano de um corpo
FN que verifica as condies do enunciado, isto , um corpo obtido a partir
de Q atravs de uma sequncia finita de extenses quadrticas.
A construo do ponto P envolve um nmero finito de passos de construes fundamentais, cada um dando origem a um nmero finito de pontos
novos resultantes de interseces. Listemos todos estes pontos segundo a ordem da sua construo. Se no i-simo passo da construo resultarem, pela
primeira vez, mais do que um ponto, suponhamos m pontos, estes so listados na i-sima, i + 1-sima, etc. posio por qualquer ordem. No i + 1-simo
passo da construo os pontos so listados comeando agora na posio i+m.
Suponhamos que o ponto P se encontra na t-sima posio. Temos ento
P1 , P2 , ..., Pt1 , Pt = P .
Verificamos agora que existe um corpo F, que se pode obter a partir de Q
atravs de uma sequncia de extenses quadrticas, tal que P1 , P2 , ..., Pt1 , Pt
pertencem ao plano de F. Como P1 e P2 so os dois pontos de partida, (0, 0)
e (1, 0), estes pertencem desde logo ao plano de Q, estando a afirmao
provada para t = 1 e t = 2. Suponhamos que um dado Pt1 construtvel
pertence a uma extenso quadrtica. Para mostrar que a afirmao vlida
43
para qualquer t, recordemos que a construo de Pt apenas envolve figuras

construdas usando os pontos P1 , P2 , ..., Pt1 , e portanto, por hiptese de
e que pode ser
induo, figuras que pertencem ao plano de algum corpo F
obtido de Q atravs de uma sequncia de extenses quadrticas.
No entanto,
e
e
pelo Lema
3.2.2, Pt pertence ao plano do corpo F ou F( k), para algum
e
e Em cada um dos casos, Pt , assim como os outros Pi s,
k F e k
/ F.
pertencem ao plano de um corpo do tipo pretendido.
Com o Lema 3.2.4 conclui-se o resultado.
A partir da existncia de extenses quadrticas de um dado nmero real construtvel, demonstra-se que o grau desse nmero sobre Q ser uma
potncia de 2.
Teorema 3.2.6 Seja um real construtvel. Ento degQ uma potncia
de 2.
Demonstrao Seja um nmero construtvel. Ento, existe uma sequncia de corpos
Q = F0 F1 ... FN
tais que FN e para cada j, Fj+1 uma extenso quadrtica de Fj . Deste

modo, para cada j, [Fj+1 : Fj ] = 2. Aplicando sucessivamente o Teorema
1.2.4,
[FN : Q] = 2N .
Como FN , Q() FN . Deste modo,
[FN : Q] = [FN : Q()] [Q() : Q]
2N = [FN : Q()] [Q() : Q] .
Assim, nenhum dos factores do membro direito pode ter factores mpares.
Portanto, [Q() : Q] uma potncia de 2, que pela Proposio 1.2.16 iguala
a degQ .
Usando o Teorema 2.3.5 podemos demonstrar que existe um nmero cujo grau sobre Q uma potncia de 2 mas que no construtvel. Demonstrase assim que o resultado obtido em 3.2.6 no suficiente.
Proposio 3.2.7 Para todo m 2, existe um nmero , tal que
degQ = 2m ,
e tal que no construtvel.
44
Demonstrao Seja n = 2m , para algum m N \ {1}. Pelo Teorema

2.3.5, podemos considerar f (x) um polinmio sobre Q cujo grupo de Galois
isomorfo a Sn . Pela Proposio 2.1.2, f (x) irredutvel. Assim, pelo Teorema
1.2.24, f (x) no tem razes mltiplas de onde, cada uma das suas razes tem
grau n = 2m sobre Q.
Suponhamos que todas estas razes eram construtveis. Ento, todo o
elemento do corpo de decomposio E de f (x) seria construtvel, uma vez
que todos os elementos de E poderiam ser definidos atravs de combinaes
racionais das razes de f (x). O grau de [E : Q] n!, uma vez que igual
ordem do grupo de Galois. Se escrevermos E como uma extenso simples de
Q, E = Q(), ento degQ = n!. Mas m 2 pelo que n 4. Assim, n!
contm o factor mpar 3, ou seja, n! no uma potncia de 2. Pelo Teorema
3.2.6, no construtvel.
Portanto, pelo menos uma das razes de f no construtvel. Seja essa
raiz.
Captulo 4
Polinmios com razes no
exprimveis por radicais
As razes de um polinmio f (x) = ax2 + bx
grau com coefi + c de segundo
2
cientes reais so dadas pela frmula b b 4ac /2a. A mesma frmula
vlida para um polinmio f (x) F[x] onde F um corpo de caracterstica
diferente de 2.
Sobre
Q, o polinmio x2 + 2x 2 Q[x] tem como razes ou zeros

2 4+42
Q
2 . A questo que se pode pr se frmulas anlogas
2
podem ser encontradas para polinmios de grau maior que 2 com coeficientes
em Q, isto , frmulas que envolvam uma sequncia de operaes racionais
e extraces de razes. A resposta afirmativa para polinmios de terceiro e
quarto grau com coeficientes em Q. J para polinmios de grau 5 tal nem
sempre possvel. Mostrar-se- que para cada n 5, existem polinmios
de grau n tais que nenhuma das suas razes pode ser calculada da forma
desejada.
4.1
Extenses por radicais
Comeamos por formalizar a ideia de um elemento se conseguir obter de

elementos de um dado corpo usando sequncias finitas de somas, diferenas,
produtos, quocientes e extraces de razes.
Definio 4.1.1 Um corpo E uma extenso por radicais de um corpo
F se existem elementos 1 , ..., n E e inteiros positivos n1 , ..., nj tais que:
45
46CAPTULO 4. POLINMIOS COM RAZES NO EXPRIMVEIS POR RADICAIS

1. E = F(1 , ..., n )
2. n1 1 F
3. ni i F(1 , ..., i1 ) para 1 < i < n.
Um polinmio f (x) F[x] diz-se resolvel por radicais sobre F se o
seu corpo de decomposio sobre F est contido numa extenso por radicais
de F.
De acordo com a definio anterior um polinmio f (x) F[x] resolvel
por radicais sobre F se conseguirmos obter todos os zeros de f (x) usando
uma sequncia finita de somas, diferenas, produtos, quocientes e n-simas
razes comeando o processo com elementos de F.
Definio 4.1.2 Um elemento diz-se exprimvel por radicais sobre F
quando existem 1 , ..., m tais que F(1 , ..., m , ) uma extenso radical de
F.
Mostramos agora que relaes existem entre um polinmio ser resolvel
por radicais e o grupo de Galois desse polinmio; demonstrar-se- no fim
desta seco que
Teorema 4.1.3 Um polinmio resolvel por radicais se e s se o seu grupo
de Galois for solvel.
Relembramos que um grupo G se diz solvel se existir uma sequncia de
subgrupos G = H0 H1 ... HN = {id} tal que cada Hi+1 um subgrupo
normal de Hi , para cada 0 i N 1 e |Hi | / |Hi+1 | primo. A uma
sequncia como a indicada antes d-se o nome de srie de decomposio
de G com factores primos.
Caso nada em contrrio seja dito, nesta seco consideramos o polinmio
f (x), F o menor corpo que contm os coeficientes de f (x) e E o seu corpo de
decomposio.
Relembramos agora um resultado importante da teoria de grupos; demonstrase que Sn , para n 5, no solvel. Necessitamos porm do seguinte lema:
Lema 4.1.4 Se N um subgrupo normal de um grupo H com ndice primo
p, ento para quaisquer elementos , H, 1 1 N.
4.1. EXTENSES POR RADICAIS
47
Demonstrao Sejam N, H, , nas condies do enunciado do Lema.

Se N, como N E H, 1 N . Como N e N subgrupo de
1 1
H, fechado para o produto, logo
k N.
e = n : n N, k Z . Facilmente se verifica
Se
/ N, considere-se N
e um subgrupo normal de H. Pelo Teorema de Lagrange, como
que N

e
e
N N, |N| divisor de N
, isto ,

e
N = q |N|

e
para algum q. Mas N
| |H| e |H| = p |N|. Logo p |N| = aq |N|, para algum
e j
a. Como p primo, conclui-se que q = 1 ou q = p. Como
/ N, N 6= N
e Logo q 6= 1. Portanto q = p e N
e = H. Podemos assim escrever
que N.
H na forma
= k n
para alguns k Z e n N. Mas ento
1 1 = 1 n1 k k n = 1 n1 n
e uma vez que N E H, 1 n1 N. Como n N, deduz-se que
1 n1 n N,
logo 1 1 N.
Proposio 4.1.5 Se n 5, ento Sn no solvel.
Demonstrao Suponhamos, com vista a um absurdo, que Sn solvel.
Assim, existe uma cadeia de subgrupos
Sn = G = H0 H1 ... HN = {id}
tal que para cada j {0, ..., N 1}, Hj+1 um subgrupo normal de ndice
primo de Hj . Mostrar-se-, por induo em N, que para todo o j, Hj contm
todos os ciclos de comprimento 3. Isto contraria o facto de HN = {id}. Se
N = 0, ento G = H0 = Sn e H0 contm, em particular, todos os ciclos
de comprimento 3. Suponhamos agora que Hj contm todos os ciclos de
comprimento 3. Mostraremos que Hj+1 tambm os contm. Seja (ijk) um

ciclo de comprimento 3 arbitrrio. Uma vez que n 5, podemos escolher
i, j, k, l, m N todos distintos. Sejam = (mji) e = (ilk). Pela hiptese
de induo sabemos que , Hj . Assim, pelo Lema anterior,
1 1 Hj+1 .
Mas 1 1 = (ijm)(kli)(mji)(ilk) = (ijk). Portanto, (ijk) Hj+1 .

Como este ciclo era arbitrrio, conclumos o pretendido.
Atendendo definio de polinmio resolvel tem-se o seguinte:
Corolrio 4.1.6 Todo o polinmio cujo grupo de Galois isomorfo a Sn ,
para algum n 5, no resolvel por radicais.
Apresentamos agora vrios lemas que nos iro permitir demonstrar o resultado desejado.
Lema 4.1.7 Seja F um corpo de caracterstica zero e f (x) F[x] irredutvel
tal que o seu grupo de Galois solvel. Ento existe uma sequncia de corpos
F = F0 F1 ... FN = E tal que, para cada j, 0 j N 1, Fj+1
extenso normal de Fj de grau primo.
Demonstrao Por hiptese, existe uma sequncia de subgrupos
G = H0 H1 ... HN = {id}
tais que cada Hj+1 um subgrupo normal de Hj de ndice primo.
Tomem-se os corpos fixos de E por cada um dos Hj ,
F = F0 F1 ... FN = E
onde Fj = EHj . Como E corpo de decomposio de f (x), E extenso

normal de F logo, pela Proposio 1.2.34, tambm uma extenso normal
de cada um dos corpos Fj . Assim, Hj = G(E : Fj ) (j que E uma extenso
normal e separvel de Fj ). Como Hj+1 um subgrupo normal de Hj , pelo
Teorema 1.3.9 (Teorema da Correspondncia de Galois) Fj+1 uma extenso
normal de Fj cujo grau
|Fj+1 : Fj | =
=
=
=
=
[E : Fj ] / [E : Fj+1 ]
|G(E : Fj )| / |G(E : Fj+1 )|
|Hj | / |Hj+1 |
|Hj : Hj+1 |
p, primo,
49
como se desejava demonstrar.

Mostrar-se- que todo o elemento de uma extenso normal de grau primo
de um corpo K, pode ser obtido a partir de K usando apenas operaes
racionais e extraces de p-simas razes.
Lema 4.1.8 Seja L uma extenso normal de grau primo p sobre um corpo
K de caracterstica zero que contm as p-simas razes da unidade. Ento
existe uma famlia de p 1 elementos a1 , ..., ap1 tais que para cada i, api K
e L K(a1 , ..., ap1 ).
Demonstrao Considere-se G(L : K). Como L normal sobre K e L
separvel sobre K, |G(L : K)| = p, logo como p primo, G(L : K) cclico.
Seja um seu gerador. Pelo Teorema 1.2.26, podemos tomar r L tal que
L = K(r). Como L normal, todos os conjugados de r esto em L. Sabemos
tambm que os automorfismos de G = G(L : K) transformam r nos seus
conjugados. Seja ri = i (r) para cada 1 i p. Se i, j {1, ..., p}, com
i 6= j, ento i 6= j , pelo que ri 6= rj .
Como [L : K] = p, r tem exactamente p conjugados. Seja g o polinmio
mnimo de r sobre K, r1 , ..., rp as suas razes e w uma p-sima raiz primitiva
da unidade. Consideremos, para 0 j p 1,
aj = r1 + wj r2 + w2j r3 + ... + w(p1)j rp ,
isto ,
a0 = r1 + r2 + r3 + ... + rp ,
a1 = r1 + wr2 + w2 r3 + ... + w(p1) rp ,
a2 = r1 + w2 r2 + w4 r3 + ... + w2(p1) rp ,
..
.
2
ap1 = r1 + wp1 r2 + w2(p1) r3 + ... + w(p1) rp .
Podemos considerar estas equaes como um sistema linear de p equaes
em p incgnitas r1 , ..., rp . Note-se que a0 K uma vez que podemos pensar
em a0 como um polinmio simtrico elementar nas incgnitas r1 , ..., rp , que
so as razes de g sobre K. Verificamos agora que, para 0 j p 1, os
(aj )p so invariantes por G(L : K) e que (aj )p K. Tem-se que, para cada

0 j p 1 e para cada G(L : K),
[(aj )p ] = [ (aj )]p
p
= (r1 ) + wj (r2 ) + w2j (r3 ) + ... + w(p1)j (rp )
p
= r2 + wj r3 + w2j r4 + ... + w(p1)j r1
p
= wj aj
= (aj )p ,
portanto (aj )p K.
Calculemos agora o determinante da matriz dos coeficientes do sistema
de equaes acima:
2
3
p1
1
1
1
1
2
3
p1
1 w
w
w
2
3
p1
2
2
2
1 w2
(w
)
(w
)
(w
)
..
2
3
p1
1 wp1 (wp1 ) (wp1 ) (wp1 )
O que se obtm o determinante de Vandermonde o qual

Y
j
w wi .
0i<jp1
Este determinante no nulo uma vez que wj 6= wi , quando 0 i < j p1.

Assim, como a matriz no singular, pela regra de Cramer, os ri s podem ser
obtidos a partir dos aj s e de w atravs de operaes racionais. Deste modo,
para cada i, ri K(a1 , ..., ap1 ), de onde L = K(r) K(a1 , ..., ap1 ).
Lema 4.1.9 Seja K um corpo de caracterstica zero. Se L uma extenso
normal e radical de K ento G(L : K) um grupo solvel.
Demonstrao Seja L = K(1 , ..., n ), com n1 1 K e ni i K(1 , ..., i1 ),
para alguns n1 , ..., nn N. fcil demonstrar que podemos, sem perda de
generalidade, supor que todos os expoentes ni so primos.
Seja p um primo tal que p1 K. A demonstrao efectua-se agora por
induo em n. Se n = 0, L = K e G(L : K) = {id}, logo solvel.
Suponhamos agora o resultado para extenses radicais da forma K( 1 , ..., j )
tal que ni i K( 1 , ..., i1 ) e j < n. Se 1 K ento L = K(2 , ..., n ) e o
51
resultado vlido por hiptese de induo. Supomos agora que 1

/ K. Seja
f (x) o polinmio mnimo de 1 sobre K. Assim deg f (x) 2 e como L uma
extenso normal de K, f (x) decompe-se em factores lineares em L[x]. Como
K um corpo de caracterstica zero, pelo Teorema 1.2.24, todas as razes de
f (x) so distintas. Seja 6= 1 uma raiz de f (x). Como p1 K (onde
p = n1 , primo), 1 raiz de xp a, para algum a K. Consequentemente,
f (x) divide xp a. Como um zero de f (x),
p a = 0.
Logo
= 1.
Como p primo e 6= 1 , 1 tem ordem prima p no grupo (L {0} , ) e

2
p1
1, 1 , 1 , ..., 1
so as p razes distintas do polinmio g(x) = xp 1
em L. O corpo M = K( 1 ) L um corpo de decomposio de g(x) sobre
K. Obtemos assim a seguinte cadeia
K M = K(
1
) M(1 ) L.
Uma vez que as razes de xp p1 so da forma 1 , onde M raiz de

xp 1 (ver, por exemplo, [4, Proposio 7.6.10]), tem-se que M(1 ) corpo
de decomposio de xp p1 sobre M. Mais, cada M-automorfismo de M(1 )
determinado pela imagem do elemento 1 ; para cada G(M(1 ) : M)
i (1 ) = i 1 ,
onde i raiz de xp 1. Assim, G(M(1 ) : M) abeliano. Uma vez que M
corpo de decomposio de xp 1, existem p razes distintas e o conjunto
das razes do polinmio constitui um grupo cclico para o produto. Sendo
um gerador do grupo das razes, qualquer K-automorfismo fica determinado
pela sua imagem, a qual ser j para j {0, ..., p 1}. Assim G(M : K)
cclico.
Temos que L = K(1 , ..., n ) = M(1 , ..., n ) = M(1 )(2 , ..., n ) extenso normal e radical de M(1 ), logo por hiptese de induo, G(L : M(1 ))
solvel.

Como L uma extenso finita, normal e separvel de K, o mesmo acontece
a M, pela Proposio 1.2.34. Pelo Teorema 1.3.9 tem-se que
G(M(1 ) : M)
=
G(L : M)
.
G(L : M(1 ))
Como G(M(1 ) : M) abeliano e G(L : M(1 )) solvel, G(L : M)

solvel [11, Teorema 4.11.14]. Aplicando agora o Teorema 1.3.9 sequncia
de extenses
KML
tem-se
G(L : K)
G(M : K)
.
=
G(L : M)
Como G(M : K) abeliano e G(L : M) solvel, deduz-se que G(L : K)
solvel como se pretendia, [11, Teorema 4.11.14].
Introduzimos agora uma nova definio necessria para o desenrolar do
trabalho
Definio 4.1.10 Seja L uma extenso algbrica de K. Dizemos que uma
extenso N de L um fecho normal de L se:
1. N uma extenso normal de K;
2. Se M um corpo tal que L M N e M extenso normal de K,
ento M = N.
Esto agora reunidos os requisitos necessrios para demonstrar o Teorema
pretendido
Demonstrao do Teorema 4.1.3 Seja f (x) um polinmio sobre um corpo
F de caracterstica zero, E o seu corpo de decomposio e suponhamos que
G(E : F) solvel. Pelo Lema 4.1.7 existe uma sequncia de corpos tais que
F = F0 F1 ... FN = E,
|Fj+1 : Fj | = pj e Fj+1 extenso normal de Fj . Para cada j {0, ..., N 1}
seja wj uma pj -sima raiz primitiva da unidade e considere-se Fj (wj ) e
Fj+1 (wj ). Sabemos que |Fj (wj ) : Fj | = degFj (wj ) pj 1 e
|Fj+1 (wj ) : Fj+1 | |Fj+1 : Fj | = |Fj+1 (wj ) : Fj |
= |Fj+1 (wj ) : Fj (wj )| |Fj (wj ) : Fj | .
53
Como p = |Fj+1 : Fj | e |Fj (wj ) : Fj | pj 1, das igualdades anteriores

conclui-se que p | |Fj+1 (wj ) : Fj (wj )|. Portanto, |Fj+1 (wj ) : Fj (wj )| p.
Mas,
|Fj+1 (wj ) : Fj+1 | = degFj+1 wj degFj wj = |Fj (wj ) : Fj | .
Logo, |Fj+1 (wj ) : Fj (wj )| p, de onde |Fj+1 (wj ) : Fj (wj )| = p.

Como Fj+1 = Fj (aj ) para algum aj , seja gj o polinmio mnimo de aj
sobre Fj . Ento Fj+1 (wj ) o corpo de decomposio de gj (x)(xpj 1) sobre
Fj (note-se que Fj+1 extenso normal de Fj ). Logo Fj (wj ) Fj+1 (wj ) uma
extenso normal de grau p. Pelo Lema 4.1.8, Fj+1 Fj (wj , aj1 , ..., ajpj 1 ) tal
p
que para cada i, aj j Fj . Considere-se
E0 = F(w0 , a0,1 , ..., a0,p0 1 , ..., wN1 , aN1,1 , ..., aN1,pN 1 1 )
extenso por radicais de F. Como E = FN = FN1 (wN1 , aN 1,1 , ..., aN1,pN 1 1 ),

demonstra-se, atendendo construo dos aji , que E E0 . Mas ento, f (x)
resolvel por radicais.
Reciprocamente, suponhamos que f (x) resolvel por radicais. Por
definio, o corpo de decomposio de f (x) sobre F est contido numa extenso de F por radicais, E. Seja M uma extenso radical de F, com F E M,
G = G(E : F), K = EG e N um fecho normal da extenso K. Assim,
F K E M N.
Como M uma extenso radical de K, por definio, M = K(1 , ..., r ),
com n1 1 K e ni i K(1 , ..., i1 ). Seja fi (x) o polinmio mnimo de i
sobre K para cada i {1, ..., r}. fcil verificar que sendo N o fecho normal
de M sobre F, N o corpo de decomposio do polinmio f1 (x) ... fn (x).
Sejam ij os zeros de fi (x), para cada i {1, ..., r}. Para cada ij podemos
estabelecer um isomorfismo
ij : K(i ) K( ij ).
o qual se estende a um K-automorfismo de N. Como cada i exprimvel
por radicais sobre K, ij tambm o . Logo, N uma extenso radical de K.
Pelo Lema 4.1.9, G(N : K) solvel.
Como E uma extenso normal de K (E corpo de decomposio de um
polinmio sobre K), pelo Teorema 1.3.9,
G(N : K)
G(E : K)
.
=
G(N : E)

Assim, G(E : K) solvel. Por [11, Teorema 4.11.14], uma vez que G(E :
F) = G(E : K), tem-se o pretendido.
4.2
Polinmios sem zeros exprimveis por radicais
Pretendemos agora construir polinmios cujos zeros no sejam exprimveis

por radicais. Comeamos por verificar que todos os zeros de polinmios de
terceiro e quarto graus podem ser expressos por radicais.
Considere-se a equao
ax3 + bx2 + cx + d = 0
onde a, b, c, d F corpo de caracterstica zero. Vemos agora que todas as
equaes do terceiro grau so resolveis por radicais. Sem perda de generalidade podemos supor que a = 1. Assim,
x3 + bx2 + cx + d = 0.
Aplicando a seguinte mudana de varivel
x=y+L
para algum L F, obtm-se a equao
y 3 + (3L + b) y 2 + 3L2 + 2bL + c y + L3 + bL2 + cL + d = 0.
Fazendo L = b/3, obtm-se uma equao do tipo

y 3 + By + C = 0,
para alguns B, C F.
Se C = 0, a resoluo evidente. Se C 6= 0, y = 0 no soluo da
equao. Fazendo a substituio y = z + K/z, para algum K, tem-se
z 6 + (3K + B) z 4 + Cz 3 + (3K + B) Kz 2 + K 3 = 0.
Neste caso, dois coeficientes anulam-se quando se substitui K por B/3,
resultando a equao
z 6 + Cz 3 + K 3 = 0.
4.2. POLINMIOS SEM ZEROS EXPRIMVEIS POR RADICAIS
55
Esta equao pode agora ser resolvida do mesmo modo que uma equao
quadrtica, considerando
3 2

z
+ C z 3 + K 3 = 0.
Demonstra-se assim que
Lema 4.2.1 Seja F um corpo de caracterstica zero. Ento, todo o polinmio

p(x) = ax3 + bx2 + cx + d F [x] resolvel por radicais.
Demonstramos que um resultado anlogo vlido para equaes de grau
4.
Lema 4.2.2 Seja F um corpo de caracterstica zero. Ento, todo o polinmio
p(x) = ax4 + bx3 + cx2 + dx + e F[x] resolvel por radicais.
Demonstrao Se a = 0 estamos nas condies do Lema 4.2.1.
Se a 6= 0, podemos, sem perda de generalidade, supor que a = 1. Assim,
x4 + bx3 + cx2 + dx + e = 0.
Da mudana de varivel
x=y
b
4
resulta uma equao do tipo

y 4 + Cy 2 + Dy + E = 0.
Somando a ambos os membros da equao anterior o termo y 2 t +
um elemento do corpo F, obtemos
t
t2
2
2
y +
y (t C) Dy + E = 0.
2
4
t2
,
4
onde t
De forma a que
t2
E
4
seja um quadrado perfeito, escolhemos t tal que o binmio discriminante da
2
equao y 2 (t C) Dy + t4 E = 0 seja nulo, isto ,
2
t
2
(D) 4 (t C)
E = 0,
4
y 2 (t C) Dy +

obtendo a equao do terceiro grau
t3 + Ct2 + 4Et + D2 4CE = 0.
Pelo Lema 4.2.1 esta equao resolvel por radicais. Seja t0 uma das suas
razes. Ento,
2
t20
D
2
.
y (t0 C) Dy + E = (t0 C) y
4
2(t0 C)
Assim,
2
2
t0
D
2
y +
(t0 C) y
= 0.
2
2 (t0 C)
Usando a diferena do quadrado,
p
p
D
D
2
2
y + t0 /2 t0 C y
y + t0 /2 + t0 C y
= 0.
2 (t0 C)
2 (t0 C)
Igualando cada termo a zero obtemos y em funo de radicais, e consequentemente x, como era pretendido.
No lema seguinte demonstramos que se alguma raiz de um dado polinmio

irredutvel pode ser obtida por radicais, ento todas podem.
Lema 4.2.3 Seja f (x) F[x] irredutvel e r uma raiz de f (x) exprimvel
por radicais. Ento f (x) solvel por radicais.
Demonstrao Seja f (x) F[x] irredutvel e r uma raiz de f (x) exprimvel
por radicais. Ento existem 1 , ..., m+1 tais que
1. n1 1 F,
2. ni i F(1 , ..., i1 ),
3. r F (1 , ..., m+1 ),
para alguns n1 , ..., nm , m Z. Seja Fi = F (1 , ..., i1 ). Assim, Fj+1 =
Fj (j ) e r F (1 , ..., m , m+1 ). Tome-se m+2 = r.
n
Seja bj = j j Fj1 e sejam bj = bj1 , bj2 , ..., bjmj os conjugados de bj em
Fe
gj (x) = (xnj bj1 )(xnj bj2 )...(xnj bjmj ).
4.2. POLINMIOS SEM ZEROS EXPRIMVEIS POR RADICAIS
57
Assim definido, g(x) um polinmio cujos coeficientes so os polinmios

simtricos avaliados em bj1 , bj2 , ..., bjmj . Assim, para cada j, gj (x) F[x].
Considere-se
m+1
Q
h(x) =
gj (x) F[x]
j=1
e E o seu corpo de decomposio sobre F. Assim,
E = F(b11 , ..., b1m1 , b21 , ..., b2m2 , ..., bm+1,1 ..., bm+1,mm+1 )
e E uma extenso por radicais de F. Como E corpo de decomposio de
um polinmio, E normal. Uma vez que r E, todas as razes de f (x) esto
em E. Consequentemente, f (x) resolvel por radicais.
Mostra-se assim que se uma raiz de um polinmio irredutvel pode ser
exprimvel por radicais, todas podem.
Caracterizamos agora o grupo de Galois de um polinmio de grau primo
sobre Q dependendo do nmero das suas razes reais.
Lema 4.2.4 Seja f (x) Q[x] um polinmio irredutvel de grau primo p. Se
f (x) tem duas e s duas razes complexas no reais, ento o grupo de Galois
de f (x) o grupo simtrico Sp .
Demonstrao Seja L ( C) o corpo de decomposio de f (x) sobre Q e G
o grupo de Galois de f (x) sobre Q. Uma vez que Q tem caracterstica zero,
p(x) tem exactamente p razes distintas, logo |G| p!.
Note-se que, por construo de corpo de decomposio, p divide [L : Q].
Pelo Teorema 1.3.9, p divide |G|, logo, pelo Teorema de Cauchy, G tem um
elemento de ordem p, isto , um ciclo de comprimento p.
Consideremos o Q-automorfismo de L induzido pela conjugao dos nmeros
complexos. Assim, este mantm invariante os p 2 zeros reais de f (x) e que
permuta os dois zeros no reais. Ento, G contm uma transposio.
Uma vez que G contm um ciclo de comprimento p e uma transposio
G = Sp .
Usando o Lema anterior podemos agora construir um polinmio de grau
5 resolvel por radicais sobre Q.
Consideremos o polinmio
p(x) = x5 6x + 3.

Pelo critrio de Eisenstein, Teorema 1.1.12, p(x) um polinmio irredutvel
em Q[x]. Tem-se que
p(2) = 17
p(1) = 8
p(1) = 2
p(2) = 23
e uma vez que p0 (x) = 5x4 6 tem dois zeros reais, resulta que p(x) tem
exactamente trs razes reais. Uma vez que Q tem caracterstica zero, p(x)
no pode ter razes mltiplas. Portanto p(x) tem duas razes complexas no
reais. Pelo Lema 4.2.4, o grupo de Galois de p(x) ser S5 , que no um
grupo solvel. Logo, pelo Teorema 4.1.3, o polinmio p(x) no resolvel
por radicais sobre Q.
Multiplicando o polinmio p(x) por xk , obtemos um polinmio de grau
5+k o qual no resolvel por radicais. Mostra-se assim o Teorema de Abel.
Teorema 4.2.5 (Teorema de Abel) Para cada n 5, existem polinmios
de grau n no resolveis por radicais.
Isto , mostra-se a existncia de polinmios de grau n, para cada n 5,
para os quais existe pelo menos uma raiz no exprimvel por radicais. Notese que os polinmios construdos para a demonstrao do Teorema de Abel
resultam do produto de um polinmio de grau 5 por uma potncia adequada
de x, logo no so irredutveis.
Usando o Teorema 2.3.5 demonstra-se, para cada n 5, a existncia de
polinmios sobre Q de grau n tal que nenhuma das suas razes exprimvel
por radicais.
Teorema 4.2.6 Para cada n 5, existe um polinmio sobre Q de grau n
tal que nenhum dos seus zeros pode ser exprimvel por radicais.
Demonstrao Seja n 5. Pelo Teorema 2.3.5, existe um polinmio p(x)
sobre Q cujo grupo de Galois Sn . Pelo Lema 4.1.5, Sn no solvel.
Assim, pelo Teorema 4.1.3, p(x) no resolvel por radicais. Porm, como o
grupo de Galois de p(x) Sn , pela Proposio 2.1.2, p(x) irredutvel. Pelo
Lema 4.2.3, conclui-se que nenhuma das suas razes pode ser exprimvel por
radicais.
Captulo 5
Problema Inverso de Galois
O problema inverso da teoria de Galois consiste em descobrir em que condies
podemos encontrar uma extenso de um corpo K com um dado grupo de Galois. Por outras palavras, dado G um grupo finito e K um corpo, a questo
: ser que existe uma extenso de Galois L/K, finita, tal que o grupo de
Galois da extenso isomorfo ao grupo G?
Neste captulo estudaremos extenses de Galois do tipo C(x) L, ou,
mais geralmente, do tipo K(x) L, onde K um corpo algebricamente
fechado de caracterstica zero. Pelo Teorema do Elemento Primitivo (Teorema 1.2.26) existe y L tal que L = C(x)(y) e y algbrico sobre C(x).
Assim, existe F (x, z) C(x)[z] tal que F (x, y) = 0. Tenta-se encontrar y
que seja uma srie de potncias em x, C[[x]]. Comeamos por caracterizar
extenses finitas de K((t)) = , corpo de fraces de K[[t]].
Na segunda seco trabalhamos com extenses de Galois de K(x) e a estas
associamos dois invariantes, o ndice de ramificao e a classe de conjugao.
Fixado um grupo G finito, um subconjunto finito de P1C e uma famlia C de
classes de conjugao no triviais indexadas por P , ao terno = [G, P, C]
damos o nome de tipo de ramificao. A uma extenso de Galois fazemos
corresponder um tipo de ramificao, j que demonstramos que os pontos
de ramificao so finitos. O Teorema da Existncia de Riemann (Teorema
5.2.13) ser apenas enunciado, uma vez que no conhecida alguma demonstrao algbrica. Este teorema d-nos condies necessrias e suficientes
para que existam extenses de Galois de C(x) de determinado tipo. A seco
e o captulo terminado com a demonstrao da unicidade de extenses de
Galois de C(x) de determinado tipo. Para tal introduzimos o conceito de
tipo (fracamente) rgido.
59
60
CAPTULO 5. PROBLEMA INVERSO DE GALOIS
5.1
Extenses das Sries Formais de Laurent
Seja K um corpo algebricamente fechado de caracterstica zero. Nesta seco

construmos o corpo das sries formais de Laurent sobre K e demonstramos
algumas das suas propriedades. Em particular, descrevemos as suas extenses
finitas. Comeamos por definir o conjunto de certas sequncias em K:
Definio 5.1.1 Seja K um corpo. Definimos como sendo o conjunto das
sequncias (ai )iZ , com ai K tal que existe um inteiro n Z tal que ai = 0,
para todo i < n.
Em , define-se uma adio e uma multiplicao da seguinte forma:
(ai ) + (bi ) = (ai + bi )
e
(ai ) . (bj ) = (cn ) =
i+j=n
ai bj
Lema 5.1.2 Seja K um corpo. O conjunto definido na definio 5.1.1,

algebrizado com as operaes definidas antes, um corpo.
Demonstrao O conjunto um anel comutativo, cujo elemento neutro
da adio a sequncia formada apenas por zeros e cujo elemento neutro da
multiplicao a sequncia
1 se i = 0
(ai ) =
0 se i 6= 0
Seja (ai )iZ um elemento no nulo. Ento existe um inteiro N Z

tal que ai = 0 para i < N e aN 6= 0. Seja bj = 0 para j < N e bN = a1
N .
Ento, a equao
X
ai bj = 0, n = 1, 2, ...
i+j=n
pode ser resolvida em bj indutivamente fazendo,, j = N + 1, N + 2, .... A

sequncia (bi ) ser o elemento inverso de (ai ). As restantes propriedades so
facilmente demonstrveis, deduzindo-se que de facto um corpo.
5.1. EXTENSES DAS SRIES FORMAIS DE LAURENT
61
Podemos considerar K um subcorpo de atravs do seguinte mergulho:

K
a
7 (ai ) :=
a0 = a
.
ai = 0, se i 6= 0
Seja t := (ti ) a sequncia tal que

t := (ti ) =
t1 = 1
ti = 0, i 6= 1
e K[t] o subanel de gerado por K e t. K[t] o anel de polinmios sobre

K na varivel t cujos elementos so da forma
M
X
ai ti ,
(ai ) =
i=0
com ai = 0 se i < 0 ou i > M.

Dado (ai )iZ tal que ai = 0 se i < n para algum n Z, podemo-lo
escrever da seguinte forma
X
(ai ) =
ai ti .
i=n
Assim, chamamos a o corpo das sries formais de Laurent sobre K

e notamos = K((t)).
Ao subanel de
(
)
X
i
K[[t]] :=
ai t
i=0
d-se o nome de anel das sries de potncias formais sobre K.

O lema seguinte relaciona-nos os vrios anis introduzidos at ao momento:
Lema 5.1.3 Seja K um corpo. Tem-se que K(t) K((t)), K(t) o corpo
das fraces de K[t] e = K((t)) o corpo das fraces de K[[t]].
Proposio 5.1.4 K[[t]] um domnio de factorizao nica e y n t

irredutvel em K((t))[y] qualquer que seja n N.
62
Demonstrao Note-se que em K[[t]] todo o elemento da forma
ai ti com
i=0
a0 6= 0 invertvel e que t primo. ento fcil concluir que K[[t]] um

domnio de factorizao nica. Como t primo e K[[t]] DFU, pelo critrio
de Eisenstein ( [4, exerccio 3.8.3]) y n t irredutvel em K((t))[y] qualquer
que seja n N.
A aplicao
K[[t]] K
P
ai ti 7 a0
i=0
um homomorfismo de anis. Dado F (y) K[[t]][y] um polinmio com

coeficientes em K[[t]] na incgnita y, podemos construir F0 (y) K[y] da
seguinte forma; se
!
M
P
P
ai,j tji y i ,
F (y) =
i=0
F0 (y) =
M
P
i=0
ji =0
ai,j tji
yi =
M
P
ji =0
ai,0 y i , isto , estendemos a um homo-
i=0
morfismo de K[[t]][y] em K[y].

A proposio seguinte permite-nos relacionar factorizao em K[y] com
factorizao em K[[t]][y].
Proposio 5.1.5 (Lema de Hensel) Seja F um polinmio mnico na varivel y com coeficientes em K [[t]]. Suponhamos que o polinmio associado
a F (y), F0 (y) K [y] se factoriza
F0 = gh,
para g, h K [y] polinmios mnicos tais que m.d.c (g, h) = 1. Ento,
F = GH,
com G, H polinmios mnicos na varivel y e com coeficientes em K [[t]] tais
que G0 = g, H0 = h.
63
Demonstrao Seja F tal como nas hipteses do enunciado do Lema. Podemos escrever
P
F = Fi ti
i=0
com Fi K[y]. Seja M := deg(F ) = deg(F0 ). Ento, deg(Fi ) < M para todo
i > 0. Seja r = deg(g) e s = deg(h). Pretendemos encontrar
G=
Gi ti e H =
i=0
Hi ti
i=0
com G0 = g, H0 = h e Gi , Hi K[y] de graus inferiores que r e s, respectivamente.

A condio F = GH equivalente ao sistema de equaes
P
Fn =
Gi Hj ,
i+j=n
para cada n = 0, 1, .... Estas equaes sero resolvidas por induo. Por
hiptese, para n = 0, F0 = gh = G0 H0 . Suponhamos que para dado n > 0
se tem para qualquer m {1, ..., n 1},
P
Fm =
Gi Hj .
i+j=m
Ento da n-sima equao
Fn =
Gi Hj
i+j=n
deduz-se que
Fn
Seja Un = Fn
n1
P
i=1
n1
P
Gi Hni = G0 Hn + H0 Gn
(1)
i=1
Gi Hni . Assim definido, Un K[y] e tem grau inferior
a m. Como, por hipteses, (G0 , H0 ) = 1, o ideal gerado por eles K[y]. Logo,
existem polinmios P, Q K[y] tais que
G0 P + H0 Q = Un .
Pelo algoritmo da diviso, podemos escrever
P = H0 S + R
64
para alguns polinmios R, S K[y], tais que deg(R) < deg(H0 ) = s. Sejam
Hn = R e Gn = Q + G0 S. Ento, de (1) tem-se
G0 R + H0 (Q + G0 S) =
=
=
=
G0 R + H0 Q + H0 G0 S
G0 (H0 S + R) + H0 Q
G0 P + H0 Q
Un
com deg(Hn ) = deg(R) < s. Uma vez que deg(G0 ) = r, deg(Hn ) < s,
m = rs e
H0 Gn = Un G0 Hn
deduz-se que
deg(H0 Gn ) < m.
Logo, deg(Gn ) < r.
Note-se que K[[y]] um anel local completo ( de facto a completao mdica com m = hyi em K[y], com K algebricamente fechado de caracterstica
zero cujo ideal maximal hyi). A Proposio 5.1.5, exactamente com o
mesmo enunciado, vlida para anis locais completos (em vez de K[[t]] e
em vez do homomorfismo usamos A[y] (A/m) [y] onde m o ideal
maximal do anel local, [2, Exerccio 9]).
Deduzimos agora algumas consequncias do Lema de Hensel (Proposio
5.1.5) que sero necessrias para o desenvolvimento do trabalho.
Corolrio 5.1.6 Seja K um corpo algebricamente fechado de caracterstica
zero e F um polinmio com coeficientes em K [[t]] na varivel y de grau
superior a 1. Se o coeficiente de F0 , de grau n, em y n1 zero e F0 (y) 6= y n ,
ento F factoriza-se em F = GH, com G, H polinmios mnicos na varivel
y com coeficientes em K [[t]].
Demonstrao Como K um corpo algebricamente fechado, o polinmio
F0 K[y] decompem-se num produto de polinmios mnicos lineares. Suponhamos que estes factores lineares no so todos iguais. Ento, F0 = gh, onde
g, h so polinmios no constantes e (g, h) = 1 em K[y]. Neste caso, o resultado segue do lema anterior.
65
Por outro lado, se os factores em que F0 se decompe forem todos iguais,

podamos escrever
F0 = (y a)n , a K
= y n nay n1 + ...
Como, por hiptese, o coeficiente do termo y n1 zero, teramos que a =
0, dado que K um corpo de caracterstica zero. Deste modo teramos
F0 = y n , o que contraria a hiptese inicial. Logo, F = GH, para alguns
G, H K[[t]][y] mnicos.
Corolrio 5.1.7 Seja K um corpo algebricamente fechado de caracterstica
P
ai ti com a0 6= 0. Ento, para qualquer n N,
zero e g K[[t]] da forma
i=0
existe f K[[t]] tal que f n = g.
Demonstrao Seja g K[[t]] nas condies do enunciado do Lema e a0 6= 0.

Considere-se F (y) = y n g K[[t]][y]. Assim, tem-se que F0 (y) = y n a0 .
Como K algebricamente fechado podemos escrever F0 (y) como produto
de polinmios lineares mnicos. Note-se que F0 (y) tem n razes distintas.
Seja a1 uma raiz simples de F0 (y). Ento existe g K[y] tal que F0 (y) =
(y a1 )g e (y a1 , g) = 1. Pelo Lema de Hensel, Proposio 5.1.5, existem
H, G K[[t]][y] mnicos tais que H0 = y a1 , G0 = g e F = HG. Logo,
P
H = y
bi ti onde b0 = a1 , isto , F (y) tem raiz em K[[t]] como se desejava
i=0
demonstrar.
Introduzimos agora um novo conjunto; dado e um nmero natural seja

Z1/e o conjunto de todos os nmeros racionais da forma ei , com i Z, isto ,
Z1/e = {i/e : i Z} .
Proposio 5.1.8 O grupo aditivo Z1/e isomorfo a Z e Z1/e : Z = e.

Demonstrao A aplicao
: Z Z1/e
i 7 i/e
66
representa um isomorfismo entre Z1/e e Z.

Seja e o conjunto das sequncias (aj )jZ1/e com aj K, tais que aj = 0
para quase todos os j < 0. Defina-se a adio e a multiplicao de forma
anloga definida para . Ento:
Lema 5.1.9 e um corpo e a aplicao
:

e
(aj )jZ1/e 7 (bi )
onde bi = ai/e , um
isomorfismo.
a1/e = 1
Tomando :=
, tem-se que ( ) = t.
aj = 0, caso contrrio
O corpo pode ser visto como um subcorpo de e identificando cada
elemento (aj )jZ com (
aj )jZ1/e onde a
j = 0 se j
/ Z, aj = aj se j Z.
e
Verifica-se ento que = t. Note-se tambm que, se e | e0 , ento e
subcorpo de e0 .
Dado (aj ) e , este pode ser escrito da forma
X
X
P
aj tj =
ai i =
bi i ,
(aj ) =
jZ1/e
iZ
iZ

identificamos assim e com K t1/e = K (( )).
Definio 5.1.10 Um elemento K tal que n = 1 diz-se uma n-sima

raiz da unidade. Assim, o conjunto das n razes da unidade coincide com
as razes do polinmio xn 1. Estas razes formam um grupo cclico. s
razes geradoras deste grupo chamamos raiz primitiva da unidade.
Introduzimos agora condies suficientes para o corpo e ser uma extenso de Galois de .
Lema 5.1.11 Suponhamos que K contm e uma e-sima raiz primitiva da
unidade. Ento e Galois sobre de grau e. O grupo de Galois associado
extenso cclico, gerado pelo elemento
P e
: Pe
i
bi 7
bi ie i .
iZ
iZ
Tem-se ainda que e = ( ) com e = t.
67
Demonstrao Note-se que pela observao anterior

enunciado do Lema,
P ao
i
cada elemento de e pode ser escrito na forma
bi .
iZ
: e e um automorfismo de corpos.
Assim definido,
P
Seja x = bi i e qualquer tal que
iZ
bi i
iZ
Assim,
X
iZ
bi ie
X
=
bi i .
iZ
X
bi ie i =
bi i .
iZ
= bi . Assim, bi = 0 ou ie = 1. Se bi 6= 0, como
Logo, para cada i Z,
e uma e-sima raiz primitiva da unidade, e | i, isto , i = je. Ora
e = t
logo
i = je = tj .
Dado que
X
X
X
bi i =
bi i =
bje tj
x=
iZ
bi 6=0e|i
conclui-se quePx e (e )G = onde G = hi.

Dado x = bi i e tem-se que
iZ
X
iZ
bi i
i
bi ie
e =
Logo o() < e.

Seja n N tal que n = id. Assim,
n ( ) =
logo
ne =
concluindo que
ne = 1
bi i = x.
68
e consequentemente que
e | n.
Logo o() = e e G = hi um grupo finito de ordem e.

Pelo Teorema de Artin, Teorema 1.3.10, conclui-se que e de Galois
sobre e o grupo de Galois da extenso hi. Mais, tem-se que
[e : ] = |G(e : )| = e.
O Teorema seguinte descreve-nos as extenses finitas de corpos das sries

formais de Laurent sobre corpos K algebricamente fechados de caracterstica
zero.
Teorema 5.1.12 Seja K um corpo algebricamente fechado de caracterstica
zero. Seja uma extenso de corpos de = K ((t)) de grau finito e. Ento
= () com e = t.
Com vista a demonstrar o Teorema 5.1.12, comeamos por demonstrar
um resultado acerca da existncia de razes para alguns polinmios com coeficientes em K[[t]]. Demonstra-se que todo o polinmio sobre tem uma raiz
em algum e . Mostramos depois que os dois resultados, Lema 5.1.13 e Teorema 5.1.12 so equivalentes, obtendo assim uma demonstrao do resultado
pretendido.
Lema 5.1.13 Seja K um corpo algebricamente fechado de caracterstica zero. Seja F um polinmio mnico no constante com coeficientes em K [[t]]
na varivel y. Ento F tem uma raiz em e , para algum e.
Demonstrao A demonstrao feita por reduo ao absurdo. Suponhamos que existem polinmios no constantes com coeficientes em K[[t]] na
varivel y sem razes em e , qualquer que seja e. Seja F um polinmio
de grau mnimo entre os polinmios sem razes em qualquer e . Ento
n = deg(F ) 2,
F (y) = y n + n1 y n1 + ... + 0
com K [[t]]. Ento o polinmio
Fe(y) = F (y n1
)
n
n1
n
n1
y
+ ... + 0
= y n1
n1
n
n
..
.
= (y n n1 y n1 + ...) + n1 (y n1 ...)
69
tem o coeficiente do termo y n1 nulo. Portanto podemos, sem perda de generalidade escolher um polinmio com coeficiente em y n1 nulo. Suponhamos
que F0 (y) 6= y n . Ento, pelo Corolrio 5.1.6, F (y) decompe-se, contrariando a minimalidade de F (y). Portanto F0 (y) = y n , concluindo-se que todos
os tm os termos constantes nulos.
Sabemos que, para algum = 0, 1, ..., n 2, 6= 0, caso contrrio,
F (y) = y n admitiria a raiz nula. Consideremos apenas tais . Seja m a
menor potncia de t que ocorre com coeficiente no nulo em cada :
= a tm + termos de maior potncia,
onde a K no nulo. Ento m > 0. Seja u o mnimo dos valores
isto ,
m
: = 0, 1, ..., n 2 com = 0 .
u = min
n
m
,
n
Ento u um nmero racional positivo. Tomemos u = de , com d, e N.

Considere-se o mergulho de = K((t)) em e e o polinmio
F (y) = dn F ( d y) = y n +
n2
P
=0
d(n) y e [y].
O coeficiente em y deste polinmio, caso seja diferente de zero, uma srie

de Laurent em da forma
d(n) = atm d(n) + (termos de maior potncia) d(n)
= a E + (termos de maior potncia) d(n)
onde
m
E = e(n )
u 0,
n
e E = 0 para pelo menos um . Deste modo, cada coeficiente de F uma

srie de potncias em , e para, no mnimo um esta srie de potncias tem
termos constantes no nulos. Portanto, F satisfaz as condies do Corolrio
5.1.6 (substituindo t por ), sendo que F = GH, isto , F decompe-se
sobre K[[ ]]. Assim, pela minimalidade de n, H,que tem grau estritamente
0
menor que n, tem uma raiz em algum e 1/e . Portanto tambm F e,
0
consequentemente, F , tm uma raiz em e 1/e = ee0 .
70
Demonstrao (do Teorema 5.1.12) Seja uma extenso de corpos de

= K(( )) de grau finito e. Como K um corpo de caracterstica zero,
existe tal que = (). Deste modo, existe um polinmio irredutvel
F [y] que admite como raiz. Pelo Lema 1.2.22 podemos supor que
tal que F (t) K [[t]] mnico em y. Assim, pelo Lema 5.1.13, F
tem uma raiz e0 , para algum e0 . Uma vez que existe um monomrfismo
de = (), para () e0 , podemos, sem perda de generalidade, supor
que e0 . Uma vez que G(e0 : ) cclico, para cada divisor e de e0
0
0
existe um nico corpo
1/e com e0 de grau e sobre . Pelo Lema
5.1.11, = e = t
. Fica assim demonstrado o Teorema.
5.2
Extenses de K(x)
Tal como foi afirmado no incio do captulo, tomamos K um corpo algebricamente fechado de caracterstica zero.
Dada K(x) L uma extenso de Galois, introduzimos nesta seco dois
invariantes que lhe esto associados; os pontos de ramificao e as classes de
conjugao associadas a um ponto p P1K = K {}.
Comeamos por fixar um sistema ( e )eN de e-simas razes primitivas da
00
unidade tais que se e = e0 e00 ento ee = e0 .
Seja = K((t)) e consideremos uma extenso de Galois de . Suponhamos que [ : ] = e. Pelo Teorema 5.1.12, = () onde e = t. Assim,
G( : ) um grupo cclico cuja ordem e. Note-se novamente que por xe t
ser irredutvel (por 5.1.4),os elementos de G( : ) so determinados pelas
imagens dos elementos da base da extenso, 1, , 2 , ..., e1 . Assim, todo o elemento de G( : ) determinado pela imagem de . Mas, se G( : ),
() satisfaz a equao xe t = 0. As razes de xe t so {z : z e 1 = 0}.
Tome-se G( : ) tal que () = e . Assim definido, gera G( : ).
Chamaremos a o gerador especial de G( : ). Seja 0 tal que
0
e
( 0 ) = t para algum inteiro e0 1. Note-se que xe t um polinmio
irredutvel em K((t))[x]. Assim, e0 = [ ( 0 ) : ] e e0 | [
n : ]0 = e. Portanto
o
e/e0
0
0
e0
soluo de x t = 0. Assim, z e/e : z e 1 = 0 .
e/e Z e
Tem-se que
0
( 0 ) = (z e/e )
5.2. EXTENSES DE K(X)
71
0
= z( e/e )
0
= z( )e/e e/e
0
= ( )e/e ze/e
e/e 0
=
Mas, dada a hiptese do sistema de razes,

0
( e )e/e = e/(e/e0 ) = e0 .
Portanto,
( 0 ) = e0 0 .
Em particular, se 0 ento |0 o gerador especial de G(0 : ).
Seja p P1K . Para cada p P1 define-se
p : K(x) K(t)
7
K
t + p se p 6=
x
7
1/t se p =
um isomorfismo-K de corpos.
Seja K(x) L uma extenso de Galois e um elemento primitivo associado a esta extenso, F (y) K(x)[y] o polinmio mnimo de sobre K(x)
e p (F ) K(t)[y] o polinmio obtido a partir da extenso de p a K(x)[y];
isto
p : K(x)[y]
P i PK(t)[y] i
pi y 7
p (pi )y
Seja h um factor irredutvel qualquer de p (F ) em K((t))[y], hhi o ideal

gerado por h em K((t))[y] e = K((t))[y]/ hhi. Como h irredutvel e
h K((t))[y], anel de polinmios com coeficientes num corpo, hhi maximal.
Logo corpo. Mais, extenso finita de K((t)) = e [ : ] = deg(h).
Seja 0 raiz de h em . Tem-se que = [ 0 ]. Como 0 raiz de
h [y], tambm raiz de p (F ) K(t)[y]. Portanto 0 algbrico sobre
K(t) e K(t)[ 0 ] = K(t)( 0 ) corpo.
Podemos agora comparar as seguintes extenses
K(x)
K(t)
Galois
,
,
L = K(x)[]
L := K(t)[ 0 ] , = K((t))[ 0 ]
72
Consideremos o isomorfismo anterior p : K(x) K(t) e F (y)

K((x))[y] um polinmio irredutvel. Como p : K(x) K(t) um isomorfismo, p (F ) irredutvel. Como raiz de F (y) e 0 raiz de p (F )
tem-se que L = K(x)[] K(t)[ 0 ] = L . Note-se tambm que L corpo de
decomposio de F e, dada a forma como L foi construdo, L corpo de
decomposio de p (F ).
Sabemos que [ : ] = deg(h). Seja e = deg(h). Pelo Teorema 5.1.12,
conclui-se que = ( 0 ) ' e sobre (isto , existe um isomorfismo de
em e ). Pelo Lema 5.1.11 conclui-se que extenso de Galois de .
Assim pelo que foi dito antes, |G( : )| = o(), onde o gerador
especial de G( : ). Logo,
e = [ : ] = |G( : )| = o().
Mais,
G( : ) G(L : K(t))
7
|L
um homomorfismo de grupos injectivo. Assim, o() = o( |L ). Portanto,
[ : ] = |G( : )| = o( |L ).
Antes de enunciar o prximo resultado relembramos o conceito de classe
de conjugao num grupo.
Definio 5.2.1 Dois elementos a e a de um grupo G dizem-se conjugados
se a0 = bab1 , para algum b G.
Definio 5.2.2 A classe de conjugao de um elemento x num grupo G
o conjunto de todos os conjugados de x em G:
Cx = x0 G : gxg 1 = x0 , para algum g G .
Lema 5.2.3 Seja K(x) L, nas condies anteriores, podemos estender

p : K(x) K(t) ao isomorfismo : L L onde L um subcorpo de
uma extenso de Galois de . Mais G( : ) deixa L invariante.
Seja g = 1 G = G(L : K(x)) onde o gerador especial de
e for outra extenso de Galois de
G( : ) construdo anteriormente. Se
e : L Le um isomorfismo que estende p , ento ge e
com subcorpo L e
g esto na mesma classe de conjugao de G.
73
Demonstrao Tome-se = [y]/ hhi como antes e L = K(t)[ 0 ]. A

primeira afirmao foi demonstrada antes. Resta-nos demostrar que G( : )
deixa L invariante assim como a terceira afirmao.
Uma vez que L corpo de decomposio de p (F ), L gerado sobre
K(t) pelas razes de p (F ). Como G( : ) permuta estas razes, tem-se que
L invariante por G( : ).
e extenses de Galois de . Podemos supor que existe 0
Sejam e
e 0 . Temos que uma extenso
extenso finita de Galois tal que ,
Galois se e s se uma extenso finita, normal e separvel de .
e corpo de decomposio de g(x), e
Seja corpo de decomposio de f (x) e
consideremos 1 o corpo de decomposio de f (x)g(x). Como uma extenso
finita e normal se e s se for o corpo de decomposio de algum polinmio e
uma vez que toda a extenso de um corpo de caracterstica zero separvel,
resulta que 1 = 0 uma extenso finita, normal e separvel de , isto ,
0 uma extenso de Galois de . Note-se que todas as extenses de Galois
de so da forma e .
e construdo de forma anloga ao subcorpo L
Seja Le o subcorpo de
e a extenso de p ao isomorfismo de L em Le . Assim, L e Le so
de e
gerados sobre K(t) pelas razes de p F em 0 . Logo L = Le . Seja h =

e G = G(L : K(x)). Como, G(0 : ) = h 0 i e G( : ) = h 0 | i,
1
ento,
e = h1 1 0 h = h1 g h,
e1 0
ge =
isto , ge e g pertencem mesma classe de conjugao de G.
Definio 5.2.4 Dada K(x) L uma extenso de Galois, a classe de

conjugao de g em G nota-se por Cp e designa-se por classe de G
associada a p.
Note-se que Cp depende unicamente de p e de L.
Definio 5.2.5 ordem (comum) dos elementos de Cp d-se o nome de
ndice de ramificao de L em p e nota-se por e = eL,p .
Proposio 5.2.6 Nas condies anteriores, todos os factores irredutveis
de p F em [y] tm o mesmo grau, o qual igual ao ndice de ramificao
de L em p.
74
Demonstrao Seja o gerador especial de G( : ). Como uma

extenso de Galois,
[ : ] = |G( : )| = o().
Uma vez que a restrio induz um monomorfismo
e
Portanto,
G( : ) , G(L : K(t))
,
7
|L
o() = o( |L ) = o(g )
eL,p = [ : ] = deg(h).
Se h0 for um outro factor irredutvel de p F em K((t))[y], 0 = K((t))[y]/ hh0 i

outra extenso de Galois. Pela segunda parte do Lema 5.2.3 sabemos que se
e : L 7 Le um isomorfismo
Le for um subcorpo intermdio da extenso e
que estende p , ento ge e g esto na mesma classe, logo,
deg(h0 ) = [0 : ] = o(ge ) = o(g ) = eL,p = deg(h).
Estabelecemos agora condies suficientes para o ndice de ramificao de

uma extenso L de Galois de K(x) num ponto p, eL,p , ser 1. Note-se que isto
o mesmo que se ter que p F se decompe em factores lineares em K((t))[y].
Proposio 5.2.7 Nas condies anteriores, podemos escolher um elemento
primitivo de L sobre K(x) tal que o polinmio mnimo de sobre K(x)
F (y) = F (x, y) K[x, y] mnico em y. Assim, o discriminante D(x) de
F (y) sobre K(x) um elemento de K[x]. Se p K e D(p) 6= 0 ento eL,p = 1.
Demonstrao Seja tal que L = K(x)() e F (y) K(x)[y] irredutvel
tal que F () = 0. Existe d (x) K [x] tal que d (x) F (y) K[x][y]. Usando a demonstrao do Lema 1.2.22 podemos, sem perda de generalidade,
supor que F (y) K[x, y] e que mnico em y. Considere-se agora o seu
discriminante, para tal, e atendendo forma como a noo de discriminante
foi introduzida, pensamos em F (y) K(x)[y]. Sejam pi (x) as suas razes.
Pela Proposio 1.2.42,
Y
D(x) =
(pi (x) pj (x))2 K[x].
i<j
75
Como F (y) irredutvel em K(x)[y] e K um corpo de caracterstca zero,

F (y) separvel logo, por 1.2.36, D(x) 6= 0.
Considere-se p K e o polinmio em y, F (p, y) K[y]. As suas razes
sero p1 (p), ..., pn (p) e o seu discriminante D(p). Se p K for tal que D(p) 6=
0, ento F (p, y) K[y] separvel. Tem-se que (p F )(y) = F (t + p, y).
Assim p F um polinmio mnico em y com coeficientes em K[t]. Mais,
(p F )0 (y) = F (p, y).
Se F (p, y) separvel, pelo Lema de Hensel, Lema 5.1.5, p F factoriza-se
em produtos de factores lineares em [y]. Logo eL,p = 1 = grau dos factores
irredutveis de p F .
Definio 5.2.8 Seja K(x) L uma extenso de Galois e p P1K . Diz-se
que p um ponto de ramificao da extenso K(x) L se eL,p > 1, isto
, se a classe Cp de G(L : K(x)) no trivial.
A Proposio 5.2.7 d-nos condies suficientes para um ponto no ser
ponto de ramificao. Mais, podemos concluir que o conjunto dos pontos de
ramificao finito.
Seja K(x) L, nas condies anteriores, podemos estender p : K(x)
K(t) ao isomorfismo : L L onde L um subcorpo de uma extenso
de Galois de . Mais G( : ) deixa L invariante. Seja g = 1
G = G(L : K(x)) onde o gerador especial de G( : ) construdo
e for outra extenso de Galois de com subcorpo L e
anteriormente. Se
e : L Le um isomorfismo que estende p , ento ge e g esto na mesma
classe de conjugao de G, pelo Lema 5.2.3.

Proposio 5.2.9 Seja K(x) L uma extenso de Galois e K(x) L0
outra extenso de Galois com L0 L. Ento a aplicao restrio de G =
G(L : K(x)) em G0 = G(L0 : K(x)) envia as classes de conjugao Cp de G
nas classes de Cp0 de G0 associadas a p.
Demonstrao Consideremos o isomorfismo : L L definido no Lema
5.2.3 e g = 1 G = G(L : K(x)) onde o gerador especial de
G( : ). Seja 0 = |L0 . Assim, 0 um isomorfismo de L em 0 (L0 ) .
Uma vez que
1
g0 = (0 ) 0 = 1 |L0
76
tem-se o resultado.
Exemplo Seja K um corpo de caracterstica zero, f (x) K(x), n
N, n 2, g(y) = y n f K(x)[y] e f0 uma raiz de g em alguma extenso
de K(x). Considere-se L = K(x)(f0 ). Como K algebricamente fechado, a
menos de n-simas potncias, podemos supor que
Y
f (x) =
(x pj )mj
j
com pj K distintos doisQ

a dois e 1 mj n 1.
Portanto, g(y) = y n (x pj )mj . Consideremos o isomorfismo definido
j
anteriormente,
p : K(x) K(t)
7
K
.
t + p se p 6=
x
7
1/t se p =
Seja p K. Ento,
pi (y n f (x)) = y n
n
Y
j
= y tmi
Mas g(t) =
j6=i
(t + pi pj )mj
Y
j6=i
(t + pi pj )mj
(t + pi pj )mj K[[t]] e, pelo Corolrio 5.1.7, para algum
h K[[t]], g (t) = hn . Portanto,

pi (y n f (x)) = y n tmj hn
Notemos ei = eL,pi . Deste modo,
ei = (tmi hn )1/n = tmi /n h = tmi /n ,
uma vez que h K[[t]]. Pela demonstrao do Lema 5.1.11 tem-se que
ei = [ei : ] = |G(ei : )|
77
onde ei = (tmi /n
). 1/n
Uma vez que (t ) : = n e como
(tmi /n ) (t1/n ),
ei | n e G((tmi /n ) : ) G((t1/n ) : ). Seja o gerador de G((t1/n ) : ).

Assim, mi o gerador de G((tmi /n ) : ) e
ei = o(G((tmi /n ) : )) =
n
.
m.d.c.(n, mi )
Se p K tal que p 6= pi ento D(p) 6= 0, e pela Proposio 5.2.7,

eL,p = 1. Como, por definio, p um ponto de ramificao se eL,p > 1,
tem-se que apenas os p0i s so pontos de ramificao de L.
No caso em que p = , tomemos o polinmio f (x) na forma f (x) =
am xm + ... + a0 com am 6= 0. Ento
(y n f (x)) = y n (am (1/t)m + ... + a0 )
= y n tm (am + ... + a0 tm ).
Assim, fazendo e = eL, ,
e = f (1/t)1/n = tm/n (am + ... + a0 tm )1/n = tm/n = tm/n .

Por argumento anlogo ao anterior,
e =
n
m.d.c(n, m)
onde m = deg(f ). Tem-se que e > 1 se e s se n no divide deg(f ).

Sabemos que o nmero de pontos de ramificao de uma extenso L de
Galois de K(x) finito.
Pretendemos agora estudar como que os pontos de ramificao e as
classes de conjugao de uma extenso de Galois K(x) L variam quando
passamos para uma determinada extenso de Galois de K(x).
Lema 5.2.10 (Argumento do ciclo da ramificao) Sejam K(x) L
e K(x) L0 extenses de Galois de grau n. Para cada p PK1 , seja Cp
(respectivamente, Cp0 ) a classe de G = G(L : K(x)) (respectivamente, G0 =
78
G(L0 : K(x))) associada a p. Seja Aut (K) e m N tal que 1 ( n ) =

m
n (onde ( e )eN um sistema compatvel de e-simas razes primitivas da
unidade em K). Suponhamos que se estende a um isomorfismo : L L0
tal que (x) = x. Seja o isomorfismo de grupos de G em G0 induzido por
(g G g1 ). Ento
0
C(p)
= (Cp )m .
Note-se que no caso em que L = L0 , pode ser estendido a um isomorfis0

mo de L em L0 tal que (x) = x, temos que C(p)
= Cpm 1 , isto , o Lema
5.2.10, diz-nos como variam as classes de conjugao quando consideramos
as imagens dos pontos por um automorfismo de K.
Demonstrao [do Lema 5.2.10] Seja p PK1 e e = eL,p . Como, por
definio, e a ordem de elementos de G e |G| = n, e | n. Se a N for tal
que n = ae, dada a forma do sistema ( n )nN (sistema compatvel de razes
primitivas da unidade em K), temos que an = e , logo
a
a
a m
m
1 ( e ) = 1 ( an ) = 1 ( e ) = ( m
n ) = ( n ) = e .
Considere-se
= K(( )) P
e : e P
e = K(( ))
.
bi i
7
(bi ) i
fcil verificar que

e um automorfismo que estende aut(K). Considerese a identificao de K((t)) com um subcorpo de e , com t = e . Tal como
no Lema 5.1.11, seja o gerador de G (e : ) tal que ( ) = e . Assim,
tem-se que
m
e 1 e
( ) =
e 1 ( ) = 1 ( e ) = 1 e = m
e = ( ) .
Portanto,
= m.
e 1 e
Seja o isomorfismo de L num subcorpo de e que estende p (existe pelo

Lema 5.2.3). Assim,
0 :=
e 1
um isomorfismo de L0 num subcorpo de e . Tem-se tambm que

0 (x) =
e ((x)) =
e (t + p) = t + (p) , se p 6=
79
1
1
e ((x)) =
e ( ) = , se p = .
0 (x) =
t
t
Uma vez que e
e induzem o automorfismo em K, 0 a identidade
em K e podemos concluir que 0 um isomorfismo que estende (p) de L0 a
um subcorpo de e .
g0 =
=
=
=
=
=
(0 )1 0
(e
1 )1 (e
1 )
e 1 e
1
1
1 m 1
gm 1
(g )m
conclui-se o resultado pretendido.

Associada a K(x) L extenso de Galois temos o grupo dos automorfismos de L que fixam K(x), G = G(L : K(x)), o conjunto finito P P1K de
pontos de ramificao e para cada p P1K , a classe de conjugao Cp de G.
Definio 5.2.11 Considere-se os triplos (G, P, C) onde G um grupo finito, P um subconjunto finito de P1C e C = (Cp )pP uma famlia de classes
de conjugao no triviais de G, indexadas por P . Diz-se que dois triplos
(G, P, C) e (G0 , P 0 , C0 ) so equivalentes se P = P 0 e se existe um isomorfismo de G em G0 tal que (Cp ) = Cp0 , para todo o p P .
A relao ser equivalente a definida no conjunto dos triplos define uma
relao de equivalncia.
Definio 5.2.12 Dado um triplo (G, P, C) onde G um grupo finito, P um
subconjunto finito de P1C e C = (Cp )pP uma famlia de classes de conjugao
no triviais de G, indexadas por P denotamos por = [G, P, C] a classe de
equivalncia de (G, P, C). A damos o nome de tipo de ramificao.
Pelo Lema 5.2.10 concluimos que o tipo de ramificao invariante por
K(x)-isomorfismos de L, onde L uma extenso de Galois de K(x).
Seja G = (L : C(x)). A existncia da extenso de Galois de C(x) do tipo
= [G, P, C], onde P um subconjunto finito de P1C e C = (Cp )pP uma
80
famlia de classes de conjugao no triviais de G, indexadas por P , -nos

garantida no prximo teorema desde que certas condies sejam satisfeitas.
A sua demonstrao ser omitida, mas pode ser encontrada em [13].No
conhecida demonstrao algbrica do resultado que ser apresentado.
Teorema 5.2.13 (Teorema da Existncia de Riemann) Seja = [G, P, C]
um tipo de ramificao, r = |P | e enumeremos os elementos de P , p1 , ..., pr .
Ento existe uma extenso de Galois de C(x) do tipo se e s:
1. se existem geradores g1 , ...gr de G com g1 ... gr = 1;
2. gi Cpi para i = 1, ..., r.
Note-se que se C(x) L for uma extenso de Galois com apenas um ponto
de ramificao, ento L uma extenso do tipo [(G, P, C)] onde P = {p},
G = G(L : C(x)), e C = {Cp }. Pelo Teorema da Existncia de Riemann,
conclui-se que existe um gerador g de G tal que g = Id e g Cp . Ento
G = {Id} e consequentemente L = C(x). Conclui-se assim que no existem
extenses de Galois prprias de C(x) com menos de 2 pontos de ramifcao.
Suponhamos agora que a extenso de Galois de C(x) L tem exactamente dois pontos de ramificao. Assim, C(x) L do tipo [(G, P, C)]
onde P = {p1 , p2 }, G = G(L : C(x)), e C = {Cp1 , Cp2 }. Pelo Teorema da
Existncia de Riemann, existem g1 , g2 geradores de G tais que
1. g1 g2 = Id;
2. g1 Cp1 , g2 Cp2 .
Conclui-se ento que g11 = g2 e que G cclico.
Observao 5.2.14 Todo o grupo finito grupo de Galois de alguma extenso de C(x).
Uma vez que pode existir mais do que uma extenso de Galois de C(x)
com determinado tipo de ramificao sem que estas sejam necessariamente
isomorfas, impomos agora uma nova condio, exigindo que os geradores de
G, grupo de Galois da extenso cuja existncia nos dada pelo Teorema da
Existncia de Riemann, sejam de certa forma nicos.
81
Definio 5.2.15 Seja (C1 , ..., Cr ) um r-uplo de classes de conjugao num

grupo G. Dizemos que o uplo de classes rgido (respectivamente, fracamente rgido) em G se:
1. existem geradores g1 , ..., gr G com g1 ... gr = 1 e gi Ci , para
i = 1, ..., r.
2. Se g10 , ..., gr0 outro conjunto de geradores de G com as mesmas propriedades (dos geradores de 1.), ento existe um nico elemento g G
(respectivamente, um automorfismo de G) tal que ggi g 1 = gi0 (respectivamente, (gi ) = gi0 ), para i = 1, ..., r.
Note-se que no caso de extenses de Galois do tipo onde as classes
formam um conjunto fracamente rgido, o automorfismo nico j que
definido pelas imagens de conjuntos de geradores.
h
i
Definio 5.2.16 Um tipo = G, P, (Cp )pP diz-se rgido (respectivamente, fracamente rgido) se os elementos de P podem ser enumerados por
p1 , ..., pr , com r = |P | tais que as classes Ci = Cpi , i = 1, ..., r formem um
r-uplo rgido (respectivamente, fracamente rgido) em G.
Teorema 5.2.17 Para cada = [G, P, C] tipo fracamente rgido, existe uma
nica extenso de Galois de C(x) do tipo , a menos de isomorfismo.
Demonstrao A existncia consequncia do Teorema da Existncia de
Riemann.
Sejam L1 e L2 duas extenses de Galois fracamente rgidas do mesmo tipo
. Podemos, sem perda de generalidade, supor que L1 e L2 esto contidas em
L, extenso de Galois de C(x). Sejam G = G(L : C(x)), G1 = G(L1 : C(x)) e
G2 = G(L2 : C(x)). Podemos agora definir para cada j {1, 2}, a aplicao
j : G Gj
g
7 g |Lj
um homomorfismo de grupos. Note-se que a aplicao est bem definida j que L, sendo extenso de Galois, corpo de decomposio de algum
polinmio sobre C(x) e as suas razes so transformadas por qualquer elemento de G ainda em razes do mesmo polinmio.
82

(j)
Dado p P1C sejam Cp e Cp as classes de conjugao associadas a G e a

Gj , respectivamente, ento, pela Proposio 5.2.9,
j (Cp ) = Cp(j) .
Sejam p1 , ..., pr os pontos de ramificao de L. Pelo Teorema da Existncia
de Riemann existem geradores g1 , ..., gr de G com g1 ... gr = 1 e gi Cpi ,
para cada i = 1, ..., r. Ento, para cada j {1, 2}, i (g1 ) , ..., i (gr ) so
geradores de Gj e satisfazem propriedades anlogas.
Como L1 e L2 so
do mesmo tipo, existe um isomorfismo :
extenses
(2)
(1)
G2 G1 tal que Cp
= Cp , p P . Assim, (2 (g1 )) , ..., (2 (gr ))
satisfazem as mesmas propriedades que 1 (g1 ) , ..., 1 (gr ).
Uma vez que o tipo fracamente rgido, existe um automorfismo de G1
tal que ( (2 (gi ))) = 1 (gi ), para todo i = 1, ..., r. Considere-se
:= : G2 G1 .
Assim, um isomorfismo tal que (2 (gi )) = 1 (gi ), qualquer que seja
i = 1, ..., r. Assim, 1 = 2 (basta que as imagens dos geradores sejam as
mesmas).
Como um isomorfismo, facilmente se verifica que ker 1 = ker 2 . Uma
vez que G(L : L1 ) = {g G(L : C(x)) : g |L1 = Id} = ker 1 , resulta que
Lker 1 = L1 , pois a extenso L L1 Galois. Analogamente, Lker 2 = L2 .
Como ker 1 = ker 2 , resulta que L1 = L2 .
ndice
anel
das sries de potncias formais,
61
transcendente, 9
elementos
algebricamente independentes,
27
conjugados, 25, 72
extenso, 9
algbrica, 9
dimenso, 9
finita, 9
normal, 17
separvel, 14
simples, 10
transcendente, 9
extenso
de Galois, 20
por radicais, 45
quadrtica, 40
caracterstica, 5
classe
de conjugao, 72
de conjugao de g, 73
de G associada a p, 73
classes
de conjugao
fracamente rgido, 80
rgido, 80
construtvel
nmero, 36
corpo, 5
algebricamente fechado, 8
das sries formais de Laurent,
61
de decomposio, 16
fixo, 20
fecho
algbrico, 12
normal, 52
discriminante, 18
domnio
de factorizao nica, 8
de integridade, 5
Grupo de Galois, 20
elemento
algbrico, 9
exprimvel por radicais, 46
separvel, 14
Lema
Argumento do ciclo da ramificao, 77
de Hensel, 62
K-automorfismo, 20
K-isomorfismo, 20
83
84
polinmio, 5
anel de, 61
grau, 6
irredutvel, 7
mnimo, 10
mnico, 6
raiz, 7
resolvel por radicais, 46
separvel, 14
simtrico, 18
simtrico elementar, 18
raiz, 7
mltipla, 7
n-sima da unidade, 66
primitiva da unidade, 66
ramificao
ndice de, 73
ponto de, 75
tipo de, 79
Teorema
Critrio de Eisenstein, 8
da correspondncia de Galois,
21
da Diviso, 6
da existncia de Riemann, 79
de Abel, 58
de Artin, 22
de Hilbert, 8
do elemento primitivo, 15
fundamental de polinmios simtricos, 19
NDICE
Bibliografia
[1] Michael Artin, Algebra, Englewood Clis, Prentice-Hall, 1991.
[2] M. F. Atiyah, I. G. Macdonald, Introduction to Commutative Algebra,
University of Oxford, Addison-Wesley, 1969.
[3] Owen J. Brison, Teoria de Galois, Textos de Matemtica (3a edio),
Volume 6, Departamento de Matemtica, Faculdade de Cincias da Universidade de Lisboa, Lisboa, 1999.
[4] Rui Loja Fernandes e Manuel Ricou, Introduo lgebra, Ensino da
Cincia e da Tecnologia, Instituto Superior Tcnico, IST Press, 2004.
[5] John B. Fraleigh, A First Course in Abstract Algebra (5a edio),
Addison-Wesley, Reading, Massachusetts, 1967.
[6] Frederick M.Goodman, Algebra, Abstract and Concrete, Prentice Hall,
New Jersey, 1998.
[7] Charles Hadlock, Field Theory and its Classical Problems, The Carus
Mathematical Monographs, Volume 16, The Mathematical Associaion
of America, 1978.
[8] Serge Lang, Algebra (3a edio), Addison-Wesley, Reading, Massachusetts, 1993.
[9] Gunter Malle e B. Heinrich Matzat, Inverse Galois Theory, SpringerVerlag, Berlin, 1999.
[10] John Maxfield, Abstract Algebra and Solutions by Radicals, Dover Publications, Inc., New York, 1992.
85
86
BIBLIOGRAFIA
[11] Antnio Monteiro e Isabel Matos, Algebra, Um primeiro curso, 2a edio,

Escolar Editora, Lisboa, 2001.
[12] Joseph J. Rotman, Advanced Modern Algebra, Prentice Hall, 2002.
[13] Helmut Volklein, Groups as Galois groups: an introduction, Cambridge
University Press, Cambridge, 1996.
[14] Seth Warner, Modern Algebra, Dover Publications, Inc., New York, 1990.

Nemo PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Nemo PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Contedo

Em 1830, Galois associa um grupo, o qual hoje conhecido como sendo

polinmio de grau n? Esta questo uma formulao do Problema Inverso da

pelo teorema de Riemann, o qual ser apenas enunciado, no se conhecendo

Todos os anis considerados neste trabalho so unitrios e associativos. Um

Definio 1.1.6 Sejam A um anel comutativo com identidade e f (x) A[x]

Definio 1.1.10 Dizemos que um corpo K algebricamente fechado se

1.2. EXTENSES DE CORPOS

Neste pargrafo revemos conceitos da teoria de corpos que sero necessrios.

1.2. EXTENSES DE CORPOS

Demonstrao A imagem da aplicao

Proposio 1.2.17 Toda a extenso finita algbrica.

Definio 1.2.21 Seja K uma extenso de F. Dizemos que K um fecho

1.2. EXTENSES DE CORPOS

sobre L de grau n > 0 tal que f () = 0. Ento

g(an ) = 0. Como an L e L(), L(an ) L(). Como = a1

Como L() = L(an ), n = [L(an ) : L], isto , an tem grau n sobre L.

1.2. EXTENSES DE CORPOS

com cn 6= 0, temos que

Seja k um elemento de F que no seja soluo destas equaes e tomemos

Definio 1.2.27 Seja L um corpo. Dizemos que o polinmio f (x) L[x] se

1.2. EXTENSES DE CORPOS

Demonstrao [4, Teorema 7.3.1]

Definio 1.2.32 Seja L uma extenso do corpo K. Dizemos que L/K

Proposio 1.2.34 Seja L uma extenso finita e normal de um corpo K e

Demonstrao Pelo Teorema 1.2.33, L o corpo de decomposio de algum

A proposio seguinte bvia atendendo definio de discriminante:

1.2. EXTENSES DE CORPOS

Usando o Lema 1.2.40, o Teorema Fundamental de Polinmios simtricos

Demonstrao [14, pgina 567]

1.3. TEORIA DE GALOIS

A proposio seguinte relaciona extenses de Galois, corpos de decomposio e corpos fixos:

Demonstrao [4, Proposio 7.7.4]

Proposio 1.3.8 Seja f (x) K[x] um polinmio de grau n. Ento, o seu

G(L : ) : CI(L/K) S(G(L : K))

Demonstrao Seja G = G(E : K). Note-se que Dp(x) = Dp(x) , logo

1.3. TEORIA DE GALOIS

Pela Proposio 1.3.8 podemos pensar em como sendo uma permutao

Sabemos pela Proposio 1.3.8 que o grupo de Galois de um polinmio f de

CAPTULO 2. SN COMO GRUPO DE GALOIS

Elementos algebricamente independentes

Na seco 1.2. introduzimos a definio de elemento algbrico. Dada F

2.2. ELEMENTOS ALGEBRICAMENTE INDEPENDENTES SOBRE Q27

CAPTULO 2. SN COMO GRUPO DE GALOIS

Lema 2.2.4 Sejam a1 , a2 , ..., an n elementos algebricamente independentes

Queremos ver que as imagens por destas duas representaes so iguais,

2.2. ELEMENTOS ALGEBRICAMENTE INDEPENDENTES SOBRE Q29

p1 (c,d)q2 (c,d)+p2 (c,d)q1 (c,d)

assim preserva a adio e a multiplicao.

CAPTULO 2. SN COMO GRUPO DE GALOIS

Polinmios cujo grupo de Galois Sn

Consideremos n elementos a1 , a2 , ..., an algebricamente independentes sobre

Como E = Q(a1 , a2 , ..., an ) uma extenso finita de K = Q (b1 , b2 , ..., bn ),

2.3. POLINMIOS CUJO GRUPO DE GALOIS SN

Lema 2.3.2 Sejam a1 , a2 , ..., an algebricamente independentes sobre Q e E =

lo Lema 2.3.1 e Teorema 1.3.9,

[E : K] = |G(E : K)| = n!.

os quais no so mais do que imagens de

de G(E : K). Tais automorfismos associam a

mi ai somas idnticas com

os ai s permutados. Estes conjugados so todos distintos, uma vez que so

a permutaes dos ci s, no alterando portanto g(x). Portanto, os coeficientes

CAPTULO 2. SN COMO GRUPO DE GALOIS