TEORIA DE GALOIS NOTAS DE CURSO

NIVALDO MEDEIROS

Resumo. Estas so notas para o curso de lgebra III, bacharelado em Matemtica, da

Universidade Federal Fluminense. So uma introduo, algo sucinta, da teoria bsica
de extenses de corpos e da correspondncia de Galois, nfase em extenses finitas, que
formam o ncleo da segunda parte do curso. Procurei escrev-las em sees curtas, de
at trs pginas, que correspondem aproximadamente a cada uma das aulas. Esto em
elaborao e pedem sua compreenso, pacincia.
Quaisquer observaes, consideraes, recomendaes, sugestes, correes (traduo:
estou realmente pedindo ajuda!) so muito bem-vindas. Para contribuir ou encontrar
verses mais recentes, d uma espiada em

www.professores.uff.br/nmedeiros
12 agosto 2013
N.
e

Sumrio


2
2
3
3
5
5
5
7
8
9
9
9
10
10
11
14
15
17
20

1. ignio
1.1. Equaes lineares e quadrticas
1.2. Equaes cbicas
1.3. Equaes de grau superior
2. permutar preciso
2.1. Newton em simtricos
2.2. Discriminantes
2.3. Lagrange em cbicas
3. extenses de corpos
3.1. Corpos
3.2. Adjuno
3.3. lgebra Linear
3.4. O grau em torres de extenses
4. extenses algbricas
5. extenses separveis
6. extenses normais
7. extenses, agora de homomorfismos
8. teoria de Galois
1

NIVALDO MEDEIROS

8.1. A correspondncia de Galois

8.2. Extenses galoisianas
9. razes da unidade
10. solubilidade por radicais
11. corpos algebricamente fechados
11.1. O fecho algbrico
11.2. O teorema fundamental da lgebra
12. a caracterstica de um corpo
12.1. Corpos finitos
13. o teorema do elemento primitivo
14. concorrncia amistosa
Referncias

20
21
25
28
31
31
32
33
33
34
36
36

Anis so comutativos, com unidade e exigimos 1 6= 0. O anel dos inteiros mdulo n

denotado por Zn . Letras gregas (, , , . . . ) indicam homomorfismos. Um homomorfismo
de anis : A B, por definio, satisfaz: (u + v) = (u) + (v), (u v) = (u) (v)
e (1A ) = 1B .
Em geral, k, E, F denotam corpos; elementos de um corpo sero denotados por u, v, w.
Corpos com um nmero finito ` de elementos so denotados por F` . At a Seo 11 apenas
subcorpos dos nmeros complexos so considerados. A palavra: simplicidade.
Escrevo |S| para indicar a cardinalidade do conjunto S.
Para grupos, Dn o grupo diedral das simetrias de um polgono regular de n lados, e
portanto possui 2n elementos; Cn o grupo cclico de ordem n.
Em anis de polinmios, as indeterminadas so sempre denotadas por x, x1 , x2 , etc, em
letras minsculas, como por exemplo em k[x] e k[x1 , . . . , xn ].
No utilizo para indicar incluses estritas e logo F k permite que F seja eventualmente igual a k. Idem para .
1. ignio
Nestas notas tratamos do problema de encontrar razes de polinmios. Para iniciar a
conversa, vamos pensar apenas em polinmios cujos coeficientes so nmeros reais.
Em primeiro lugar, consideramos a questo da existncia de razes. Tendo resolvido isso,
a pergunta seguinte : como determin-las?
A primeira questo tem uma resposta satisfatria, cuja primeira demonstrao foi assunto da tese de doutorado de Gauss:
Teorema Fundamental da lgebra. Todo polinmio no-constante com coeficientes
complexos possui uma raiz nos nmeros complexos.

LGEBRA III - 12 AGOSTO 2013

Passamos ento questo seguinte: gostaramos de uma frmula ou, pelo menos, um
algoritmo para encontrar essas razes. Embora no seja possvel determin-las exatamente
para um polinmio escolhido ao sabor do acaso, bons algoritmos existem e hoje em dia
temos bons computadores que rapidamente nos fornecem boas aproximaes, com preciso
a nosso bel prazer; mas este tema mais afim da Anlise Numrica do que da lgebra.
Nossa busca aqui em outra direo: procuramos frmulas exatas. Tais frmulas existem
para polinmios de grau pequeno e so bem conhecidas. Faamos um passeio breve.
1.1. Equaes lineares e quadrticas. Comeamos com polinmios lineares. No h
muito a dizer aqui: uma equao
ax + b = 0

(a 6= 0)

possui apenas uma soluo, a saber, x = b/a.

Os babilnios possuam mtodos para resolver algumas equaes quadrticas j em 1600
a.C., assunto que hoje tema de longas listas de exerccios no ensino mdio. . . Procuramos
resolver
ax2 + bx + c = 0
(a 6= 0).
(1)
Completamos o quadrado ou, de maneira equivalente, perfazemos a substituio x = y
b/2a, obtendo
b 2
b
b2
b2
b2
) + b(y
) + c = ay2 by +
+ by
+ c = ay2
+c
2a
2a
4a
2a
4a
ou seja, para resolvermos a equao (1) basta resolvermos
a(y

b2
+c=0
4a
e isso,
espero que estejamos de acordo, algo que sabemos fazer: as solues so y =

b2 4ac
2a . Substituindo agora o valor de x, reobtemos a familiar

b b2 4ac
(2)
x=
2a
Eis a nossa frmula. Em retrospectiva, o que fizemos foi transmutar (1) em uma equao
mais simples, da forma y2 u = 0, que declaramos saber resolver. Esta a estratgia que
seguiremos adiante.
ay2

1.2. Equaes cbicas. Mtodos para resolver equaes cbicas so, quando comparadas
ao caso quadrtico, recentes. Frmulas remontam a Scipione del Ferro, Niccolo Fontana
(Tartaglia), Cardano, em verses que datam do sc. XVI. Consideramos agora
ax3 + bx2 + cx + d = 0

(a 6= 0).

(3)

Tome x = y b/3a. Como exerccio: esta substituio elimina o termo de grau 2; somos
levados a ay3 + ry + s = 0. Dividindo por a, chegamos a
y3 + py + q = 0

(4)

NIVALDO MEDEIROS

com p = r/a e q = s/a. Para resolv-la, escrevemos uma raiz como uma soma
y=u+v

(5)

com u, v ambos no-nulos. No h nenhum mal nisso, mas no parece haver bem algum. . . Seja como for, substituindo em (4),
(u + v)3 + p(u + v) + q
= u3 + v3 + q + (3uv + p)(u + v)
e logo para encontrar uma raiz suficiente que

u3 + v3 = q
3uv = p

(6)

e, passe de mgica, temos um sistema que podemos resolver. Fazendo v = p/3u e

substituindo,
p3
p3
6
3
+
q
=
u
+
qu

=0
u3
27u3
27
e fazendo u3 = z, obtemos
p3
z2 + qz
=0
27
q
3
2
q
uma equao quadrtica, com a qual j sabemos lidar: z = 2 q4 + p27 . Escolhendo
s
s
r
r
2
3
3
3
q
q
p
q
q 2 p3
u= +
+
vem de (6) que
v=
+ .
2
4
27
2
4
27
Para obter as outras solues, tomamos uma raiz cbica da unidade, o nmero complexo
= e2i/3 = cos(2/3) + i sen(2/3), que satisfaz 3 = 1. Note que 6 R. Agora
observamos que se u, v so solues de (6) ento os pares u, 2 v e 2 u, v tambm nos
fornecem outras solues distintas. Em resumo, as razes de (4) so
y1 =u + v
y2 =u + 2 v

(7)

y3 =2 u + v
Como todo polinmio real de grau mpar tem uma raiz real, vem que se p, q R, ento
pelo menos uma destas trs razes sempre um nmero real. Curioso, no?
A expresso para as razes de x3 + px + q = 0:
s
s
r
r
2
3
3
3
q
q
p
q
q2 p 3
+
+
+
+
(8)
2
4
27
2
4
27
uma fonte de surpresas. Por exemplo
f = x3 + 3x 14

LGEBRA III - 12 AGOSTO 2013

tem 2 como raiz e logo f = (x 2)(x2 + 2x + 7). As outras razes so 1 i 6, que no

so nmeros reais. Assim, segue de (8) que
p
p

3
3
7 + 50 + 7 50 = 2.
(9)
Elementar, meu caro Watson?
1.3. Equaes de grau superior. Frmulas para razes de equaes de grau 4 foram
descobertas no muito depois da soluo da cbica, e so devidas a Ferrari, Descartes,
Euler, Lagrange, entre outros. Como de se esperar, so um pouco mais complicadas,
mas tem uma caracterstica em comum com as frmulas para graus 2 e 3: as razes so
descritas em termos de radicais aplicados aos coeficientes. Convido voc a dar uma olhada
nas notas de aula da profa. Maria Lcia Villela [Vilella] aqui da UFF ou em [Stillwell94].
Naturalmente, o sucesso levou os matemticos a buscarem solues similares para as
equaes de grau 5. Lagrange tinha um mtodo que unificava a obteno de todas as frmulas para grau 4, mas seu mtodo no produzia resultados para as qunticas. Instalou-se
a dvida: tais frmulas para equaes de grau 5 de fato existem?
Ruffini fez tentativas entre 1799 e 1813, obtendo avanos, mas sem sucesso; e Abel publicou um artigo com a primeira demonstrao da impossibilidade em 1824, resultado por
vezes referido como o teorema de AbelRuffini. Entretanto a teoria definitiva foi estabelecida por variste Galois (18111832), publicada postumamente em 1846. A problema,
dito de maneira precisa, o seguinte: dada uma equao polinomial
ar x r + + a1 x + a0 = 0
como determinar se possvel encontrar
uma expresso para as razes que envolvam so
mente as operaes +, , , , ? aplicadas sucessivamente aos coeficientes? Quando isto
acontece, dizemos que o polinmio solvel por radicais. Para equaes quadrticas, cbicas e qurticas isto sempre ocorre, mas no em geral!
A compreenso das tcnicas para demonstrar isto o assunto do nosso curso: para cada
polinmio sobre o corpo k associa-se um grupo finito, o seu grupo de Galois. O teorema de
Galois : um polinmio solvel por radicais se e somente se seu grupo de Galois possui
uma propriedade especial o nome tcnico solvel. Verificar se dado grupo solvel ou
no, relativamente simples.
Um exemplo concreto: o polinmio de grau 5
f = x5 4x + 2
no solvel por radicais: no existe uma frmula para expressar suas razes utilizando
apenas as operaes aritmticas elementares e razes ?-simas aplicadas aos coeficientes.
Veja o Exemplo 10.7.
2. permutar preciso
2.1. Newton em simtricos. Nosso problema buscar expresses para razes de um
polinmio em termos dos seus coeficientes. Caminhamos aqui no sentido contrrio: dadas
as razes, o que podemos dizer sobre os coeficientes?

NIVALDO MEDEIROS

Sejam u1 , . . . , un indeterminadas sobre um corpo k. Consideramos o polinmio geral

f = (x u1 )(x u2 ) (x un )
onde x uma outra indeterminada sobre k. Expandindo,
f = xn s1 xn1 + s2 xn2 + + (1)j sj xnj + + (1)n sn
vem que os coeficientes de f so dados por:
s1 = u1 + + un
X
s2 =
ui uj = u1 u2 + u1 u3 + + un1 un
i<j

s3 =

ui uj uk

...

(10)

i<j<k

sr =

ui1 uir

...

i1 <<ir

sn = u1 un
expresses que de fato tem uma forma muito particular: se fazemos qualquer permutao
das variveis u1 , . . . , un , estes polinmios no se alteram.
Um polinmio f em k[u1 , . . . , un ] simtrico se f(u1 , . . . , un ) = f(u(1) , . . . , u(n) ) para
qualquer permutao em Sn . Dizendo de outra forma, os polinmios simtricos so os
polinmios invariantes pela ao do grupo de permutaes Sn .
Os polinmios s1 , . . . , sn so os exemplos fundamentais, e so denominados simtricos
elementares. Outros exemplos:
a2 + b2 + c2 ,

4a3 + 4b3 + 4c3 + 7ab + 7ac + 7bc + 12abc

so simtricos em a, b, c.
Teorema 2.1 (Newton). Seja k um corpo. Dado um polinmio simtrico f k[u1 , . . . , un ],
existe um nico polinmio h k[t1 , . . . , tn ] tal que f = h(s1 , . . . , sn ), onde os si s so os
polinmios simtricos elementares.
Por exemplo:
u21 + + u2n = s1 2s2
u31 + + u3n = s31 3s1 s2 + 3s3
u41 + + u4n = s41 4s21 s2 + 4s1 s3 + 2s22 4s4
O teorema de Newton o pilar sobre o qual residem as aplicaes da teoria dos grupos
(permutaes) no estudo algbrico das razes de polinmios.
Vejamos como funciona. Suponha que f = xn + an1 xn1 + + a0 um polinmio com
coeficientes em Q e que os ui s no so indeterminadas, mas sim as razes complexas do
polinmio f. Ento os coeficientes de f so dados pelos polinmios simtricos elementares

LGEBRA III - 12 AGOSTO 2013

avaliados nas razes: aj = (1)j sj (u1 , . . . , un ); ou seja, so sempre obtidos atravs das
equaes (10). Isto para equaes quadrticas
f = x2 (u1 + u2 )x + u1 u2
no nada alm da frase: o termo linear a soma das razes com sinal trocado e o termo
constante produto das razes.
A principal observao que, pelo Teorema de Newton, qualquer expresso simtrica nos
ui s expressa em termos dos coeficientes de f, mesmo que no saibamos explicitamente
quais so as razes! E podemos usar isto para determinar relaes, isto , equaes envolvendo as razes; se as temos em nmero suficiente, podemos resolver e expressar as razes
em termos dos coeficientes. Se o nome do jogo simetria, o nome do jogador : Lagrange.
2.2. Discriminantes. Nossa prxima obsesso procurar por expresses simtricas nas
razes. Entre muitas, h uma particularmente notvel, o discriminante: se u1 , . . . , un so
as razes de f = xn + an1 xn1 + + a0 k[x], observe que
Y
(ui uj )
i<j

invariante por permutaesQ

pares, mas tem seu sinal trocado por uma permutao mpar.
Logo seu quadrado, disc f := i<j (ui uj )2 invariante por qualquer permutao e portanto
pertence ao corpo k. Uma conexo importante que o discriminante pode ser obtido via
a matriz de Vandermonde: disc f = det(V(u1 , . . . , un ))2 , onde

1
1

1
u1
u2 un

2
u1
u22 u2n
V(u1 , . . . , un ) =
.
..
..
.
un1
un1

1
2

un1
n

Vejamos o singelo caso das equaes quadrticas. Tome f = x2 + bx + c. Ento

= disc f = (u1 u2 )2 = (u1 + u2 )2 4u1 u2 = b2 4c.
Eis que temos um sistema linear em funo dos coeficientes de f
u1 + u2 =
b
u1 u2 =
e ao resolv-lo obtemos, mais uma vez,
u1 , u2 =

b2 4c
.
2

Exerccio 2.2. Para cbicas:

disc(x3 + px + q) = 4p3 27q2
Compare com as expresses que aparecem na frmula de Cardano (8).

(11)

NIVALDO MEDEIROS

2.3. Lagrange em cbicas. Considerar apenas o discriminante no suficiente para

encontrar frmulas para razes em grau superior a dois. O mtodo de Lagrange (que foi
expandido amplamente por Galois) consiste em encontrar mais expresses simtricas para
as razes, na tentativa de capturar suas simetrias.
Considere f = x3
+ ax2 + bx + c Q[x] e sejam u1 , u2 , u3 C suas razes. Tome
= e2i/3 = 1/2 + 3/2 uma raiz cbica da unidade. Lagrange nos convida a considerar
u = (u1 + u2 + 2 u3 )3 .
Como 3 = 1, segue que este elemento invariante pelas permutaes pares de S3 , mas as
permutaes mpares o levam a
v = (u1 + 2 u2 + u3 )3
Assim, embora u e v no sejam invariantes separadamente, qualquer expresso simtrica
envolvendo ambos o . Em particular, u + v e u v so invariantes e, pelo Teorema de
Newton, podem ser escritos em termos dos coeficientes a, b, c. Com algum trabalho (1 +
+ 2 = 0 pode ajudar) encontramos
u + v = 2a3 + 9ab 27c
u v = a6 9a4 b + 27a2 b2 27b3 .
Ganhamos um polinmio auxiliar
r(x) = x2 (u + v)x + u v
conhecido como a resolvente de Lagrange; seus coeficientes pertencem ao mesmo corpo
dos coeficientes de f, so nmeros racionais. Seu grau menor do que o de f, e portanto
sabemos resolv-lo, encontrando os valores de u e v.
Finalmente, para obter as razes, acrescentamos a equao linear correspondente ao
coeficiente de x2 s duas que j possumos e obtemos o sistema
u1 + u2 + u3 = a

u1 + u2 + 2 u3 = 3 u

u1 + 2 u2 + u3 = 3 v
Resolvendo, expressamos as razes em termos de radicais nos coeficientes do polinmio f.
Notvel!
Exerccio 2.3. Tomando a = 0, b = p e c = q, encontre u e v, resolva o sistema acima
e recupere as solues em (7), obtidas pelo mtodo de Cardano. Note que os coeficientes

formam a matriz de Vandermonde V(1, , 2 ), cujo determinante 3(2 ) = 27.

Exerccio 2.4. Se f uma cbica e r sua resolvente, ento 27 disc(f) = disc(r).

LGEBRA III - 12 AGOSTO 2013

3. extenses de corpos
3.1. Corpos. Um corpo um anel onde todo elemento no-nulo invertvel. Os exemplos
mais familiares:
O conjunto dos nmeros racionais Q = {p/q | p, q Z, q 6= 0};
Os nmeros reais R;
Os nmeros complexos C = {a + bi | a, b R};
Para p Z primo, o anel Zp dos inteiros mdulo p.
Uma extenso de corpos consiste simplesmente de dois corpos k e F, onde k um subcorpo
de F. Escrevemos F k. O corpo de base de extenso o corpo k. So exemplos: R Q,
C R, C Q.
Estamos interessados no comportamento relativo e no absoluto: estudamos propriedades do par F, k e no somente de um dos corpos.
Exerccio 3.1. Mostre que o conjunto

{a + b 2 | a, b Q}

um corpo que contm Q.

3.2. Adjuno. Dada uma extenso de corpos F k, temos um processo para criar corpos
intermedirios entre k e F: se S F um subconjunto qualquer, a adjuno k(S) o menor
subcorpo de F contendo k e S.
O caso mais simples o da adjuno de um nico elemento, que consideramos agora.
Tomemos u F. Pense bem: qualquer corpo contendo k e u deve conter todas as potncias
de u, bem como combinaes lineares envolvendo essas potncias digamos: an un + +
a1 u + a0 , com os ai s em k; ou seja, polinmios de k[x] avaliados em u. Alm disso, um tal
corpo deve conter tambm quaisquer fraes de elementos desse tipo. E de fato o conjunto
de todos esses elementos j nos fornece um corpo, que portanto o menor contendo k {u}.
Simbolicamente,

f(u)

k(u) =
| f, g k[x], g(u) 6= 0 .
(12)
g(u)
Em tempo: quando S = {u1 , . . . , un } um conjunto finito, denotamos k(S) por k(u1 , . . . , un ).
Exerccio 3.2. Mostre
o conjunto definido em (12) de fato um subcorpo de F. Em
seguida, prove que Q( 2) coincide com o corpo definido no primeiro exerccio.
O caso de um nmero finito de elementos similar:

f(u , . . . , u )

1
n
k(u1 , . . . , un ) =
| f, g k[x1 , . . . , xn ], g(u1 , . . . , un ) 6= 0 .
(13)
g(u1 , . . . , un )
Quando S um conjunto possivelmente infinito, k(S) ainda conjunto das fraes de
polinmios avaliados em elementos de S, com uma ressalva: usamos apenas um nmero
finito indeterminadas para cada polinmio, mas permitimos que este nmero fique arbitrariamentre grande.

Exerccio 3.3. Seja i = 1 C. Ento C = R(i) e Q(i) = {a + bi | a, b Q}.

10

NIVALDO MEDEIROS

3.3. lgebra Linear. Seja F k uma extenso de corpos. Evidentemente podemos

somar elementos de F e tambm realizar produtos de elementos de F com elementos de
k. Sendo operaes dos corpos k e F, elas se comportam decentemente: so comutativas,
associativas, possuem elemento neutro, vale a distributividade, etc. Ou seja, F possui a
estrutura de espao vetorial, com o corpo k fazendo o papel dos escalares.
Sim, um ponto de vista mais abstrato do que o usual. Os escalares so o corpo de
base da extenso e portanto podem variar. Isto, provavelmente, bem diferente do que
voc aprendeu no seu primeiro curso de lgebra Linear, onde os escalares so sempre os
nmeros reais.
A boa notcia essencialmente todos os conceitos e resultados do seu saudoso curso
ainda so vlidos aqui, sem custo, mesmas demonstraes. So exemplos: independncia
linear, geradores, bases, dimenso, etc. Entretanto, estes conceitos agora tem que ser
tomados relativamente ao corpo de base: assim, falamos de k-independncia linear, kbases, transformaes k-lineares, etc.
Este ponto de vista extremamente til no caminho que iremos percorrer. De qualquer
modo, um aviso: a intuio geomtrica tem que ser adaptada.

Exemplo
3.4. O corpo Q( 2) um Q-espao vetorial de dimenso dois: os vetores

1 e 2 formam uma base. De fato, formam um conjunto de geradores, como visto nos
Exerccios 3.1
e 3.2; e so linearmente independentes
sobre Q, visto que se a, b Q so

tais que
a + b 2 = 0, ento a = b = 0, pois 2 no
um nmero racional. Escrevemos

dimQ Q( 2) = 2. Para pensar: quanto vale dimQ( 2) Q( 2)?

uma situao curiosa, no? Ambos os corpos Q( 2) e Q esto contidos na reta R.

Um desenho ingnuo seria: um monte de pontos desconexos contidos na reta real. . . E pode
piorar: os corpos k e F podem ter um nmero finito de elementos.
O grau de uma extenso F k simplesmente a dimenso de F como k-espao vetorial
e a denotamos [F : k]. Assim, o grau a cardinalidade de qualquer base de F sobre k. Uma
extenso dita finita se o seu grau finito, infinita caso contrrio.
Exerccio 3.5. [F : k] = 1 se e somente se F = k.
Exerccio 3.6. Qual a dimenso de R como espao vetorial sobre Q?
3.4. O grau em torres de extenses. Seja F k uma extenso de corpos. Seja E um
corpo intermedirio, F E k (neste caso dizemos que temos uma torre de extenses).
Como vimos, tanto F quanto E tm uma estrutura de k-espao vetorial; mas podemos
tambm considerar F como um espao vetorial tendo E como escalares. Este tipo de
situao nova, no? H uma relao entre os graus de todas estas extenses.
Teorema 3.7 (Multiplicatividade do grau). Dada uma torre k E F, a extenso
k F finita se e somente se as extenses k E e E F so finitas. Precisamente:
se u1 , . . . , um uma base de E sobre k e v1 , . . . , vn uma base de F sobre E, ento ui vj ,
i = 1, . . . , m, j = 1, . . . , n uma base de F sobre k. Em particular:
[F : k] = [F : E][E : k].

LGEBRA III - 12 AGOSTO 2013

11

Demonstrao: Se F k uma extenso finita, ento E k finita pois E um subespao

vetorial de F; e F E tambm finita, uma P
vez que E contm k.
Reciprocamente, dado v F, escreva v =
bj vj , com bj E para P
cada j. Em seguida,
expressamos cada bj em termos da base de E sobre k, digamos bj = i aij ui (aij k), e
obtemos
P P
P
v = j ( i aij ui )vj = i,j aij ui vj
e portanto os mn elementos ui vj geram F como um k-espao vetorial. Afirmamos que estes
elementos so linearmente independentes. De fato, dados aij k,
P
0=
i,j aij ui vj
P P
0=
j(
i aij ui )vj
P
0=
para j = 1, . . . , n
i aij ui ,
0 = aij , para j = 1, . . . , n, i = 1, . . . , m.

sugestivo utilizar diagramas para representar extenses de corpos. Assim, na situao
do enunciado do teorema:
F
n

E
m

k
e o grau de F k m n.
4. extenses algbricas
Seja F k uma extenso de corpos. Um elemento u F algbrico sobre k se existe
um polinmio f k[x] no-nulo que tenha u como raiz. Se no algbrico, u chamado
transcendente sobre k. Sem dvida o caso de maior interesse k = Q, quando falamos
simplesmente
de nmeros algbricos ou nmeros transcendentes.

2
Assim, 2, 3 5, i e e2i/3 so nmeros algbricos,
pois so razes de x
2, x3 5, x2 + 1

4
e x3
Outro exemplo: 2 algbrico sobre Q( 2), pois raiz de
1, respectivamente.

2
x 2 Q( 2)[x]. Por fim, algbrico sobre R; e tambm algbrico sobre Q(),
pois raiz do polinmio x .
Seja u F algbrico sobre k. Dentre os polinmios no-nulos em k[x] que tem u com
raiz, h aqueles cujo grau mnimo. Se p um destes, ento multiplicando-o por constante
adequada obtemos um polinmio mnico (isto , o coeficiente do seu termo de mais alto
grau 1). Estas propriedades determinam unicamente p, como veremos a seguir; ele
chamado o polinmio minimal de u sobre k, simbolizado pu,k .
Exemplo 4.1.

12

NIVALDO MEDEIROS

(1) Uma das razes do polinmio x2 2 2. Como 2 6 Q, ele de fato o polinmio

minimal.

(2) O polinmio f = x3 5 tem u = 3 5 como raiz e , de fato, o seu polinmio minimal

sobre os racionais; com efeito, seja p = pu,Q . Realizamos a diviso euclidiana e
obtemos f = qp + r com r = 0 ou grau r < grau f. Como f(u) = p(u) = 0, vem
que r(u) = 0 e logo devemos ter r = 0, pela minimalidade do grau de p. Sendo
f irredutvel em Q[x] (Eisenstein), vem que q uma constante. Como f e p so
mnicos, q = 1, ou seja, p = f.
(3) Os polinmios minimais de i e e2i/3 sobre os racionais so, respectivamente, x2 + 1
e x2 + x + 1.

(4) O polinmio minimal de 4 2 sobre Q x4 2; j sobre Q( 2) x2 2.

Exerccio 4.2. Prove que um polinmio minimal pu,k irredutvel em k[x].
Teorema 4.3. Seja F k uma extenso de corpos, u F algbrico sobre k e p k[x] seu
polinmio minimal. Ento:
(a) Dado f k[x], ento f(u) = 0 se e somente se p divide f. Em particular, p o nico
polinmio mnico irredutvel em k[x] que tem u como raiz.
(b) Seja n o grau de p. Ento 1, u, u2 , . . . , un1 uma base de k(u) sobre k.
Demonstrao: Provemos o item (a). Realizamos a diviso euclidiana de f por p e encontramos polinmios q, r k[x] tais que
f = qp + r
onde r = 0 ou grau r < grau p. Como f(u) = p(u) = 0, temos r(u) = 0 e logo devemos ter
r = 0, pela minimalidade do grau de p. Assim p divide f. O item (a) agora se segue do
Exerccio 4.2.
Para o item (b), tome uma combinao linear a0 + a1 u + + an1 un1 = 0 sobre
k. Ento todos os ai s so nulos, pois caso contrrio a0 + a1 x + + an1 xn1 seria um
polinmio de grau menor que do que o de p e que anula u. Portanto 1, u, . . . , un1 um
conjunto linearmente independente sobre k.
Mostrar que eles formam um conjunto de geradores requer um pouco mais de trabalho.
Um elemento v em k(u) se escreve como f(u)/g(u), com f, g k[x] e g(u) 6= 0. Do item
(a) vem que p no divide g e logo mdc(p, g) = 1, pois p irredutvel. Assim, existem
s, t k[x] tais que
sp + tg = 1
e como p(u) = 0, temos que t(u) = 1/g(u). Logo h = ft um polinmio com coeficientes
em k e tal que v = h(u). Dividindo h por p, obtemos h = qp + r, onde r = a0 + a1 x +
+ an1 xn1 k[x]. Mais uma vez, como p(u) = 0, obtemos v = r(u) o que conclui a
demonstrao.

Do teorema: se um polinmio mnico e irredutvel anula u, ento ele o seu polinmio
minimal. Se temos a boa fortuna de utilizar algum critrio indireto para determinar a
irredutibilidade (Eisenstein, por exemplo), determinamos ento o polinmio minimal e

LGEBRA III - 12 AGOSTO 2013

13

da o grau da extenso envolvida. Alm disso, para elementos algbricos sobre k no

necessitamos de fraes para descrever o corpo k(u):
Exerccio 4.4. Se u algbrico sobre k, ento k(u) = k[u] onde k[u] := {f(u) | f k[x]}.
O que voc tem a dizer sobre a recproca?
Uma extenso F k algbrica se todo elemento de F algbrico sobre k.
Proposio 4.5. Toda extenso finita algbrica.
Demonstrao. Suponha F k finita, digamos de grau n. Ento, dado u F, os n + 1
elementos 1, u, u2 , . . . , un so necessariamente k-linearmente dependentes, ou seja, existem
a0 , . . . , an k no todos nulos tais que u raiz do polinmio a0 +a1 x+ +an xn k[x]. 
Exerccio 4.6. Uma extenso k(u) k finita se e somente se u algbrico sobre k.
Exerccio 4.7. Uma extenso algbrica necessariamente finita?

Para motivar o prximo resultado considere

a
seguinte
situao:
2
e
3 so nmeros

algbricos e no difcil mostrar que u = 2 + 3 tambm um nmero algbrico. De

fato, u2 5 = 2 6 e logo u4 10u2 + 1 = 0.

6
Q(
3)
e
logo
[Q(
2,
3)
:
Q]
=
4.
Conclua
que
Q(
2+
Exerccio
4.8.
Prove
que

3) = Q( 2, 3) e da que x4 10x2 + 1 o polinmio minimal de 2 + 3 sobre Q.

Esse um exemplo simples, mas se voc se tentar provar que 57 75 + 75 57 um nmero

algbrico tentando encontrar o polinmio que o anule, rapidamente se convencer de que
no um bom negcio. H uma outra maneira.
Proposio 4.9. A soma, diferena, produto e quociente de elementos algbricos so elementos algbricos.
Demonstrao: Sejam u, v F algbricos sobre k. Pelo Exerccio 4.6, as extenses k(u) k
e k(u, v) k(u) so finitas; pela multiplicatividade dos graus, k(u, v) k tambm uma
extenso finita e logo algbrica, pela Proposio 4.5. Portanto, u v, u v e u/v (v 6= 0)
so algbricos sobre k, uma vez que pertencem a k(u, v).
F

k(u, v)
n

k(u)

k(v)
n

k


14

NIVALDO MEDEIROS

Exerccio 4.10. No diagrama acima: [k(u, v) : k(u)] [k(v) : k].

Vem do legado de Cantor que os nmeros algbricos foram um conjunto enumervel, e
portanto so poucos". Por outro lado, no sabemos muitos exemplos explcitos de nmeros
transcendentes. At 1844 a sua existncia era uma questo em aberto, quando Liouville
mostrou que nmeros cuja expanso
contm cadeias cada vez maiores de zeros so
Pdecimal

n!
transcendentes, como por exemplo n=0 10 . Determinar se um dado nmero transcendente ou no uma questo bem mais difcil. Hermite demonstrou que e transcendente
em 1873, usando mtodos analticos; e Lindermann provou o mesmo resultado para em
1882, baseando-se nas ideias de Hermite. Uma demonstrao elegante pode ser encontrada
em [Rowen95, Appendix A].
5. extenses separveis
Esta uma seo curta. Seu objetivo responder ao seguinte desafio: como determinar
se um polinmio tem razes repetidas sem fator-lo?
Tome k um subcorpo de C. Seja u C uma raiz de um polinmio f k[x]. Da diviso
euclidiana vem que f = (x u)g ou seja, x u divide f. Dizemos que u uma raiz simples
se (x u)2 - f. Para detectar razes simples buscamos ajuda do Clculo.
Escreva f = an xn + + a1 x + a0 , com os coeficientes em k. Tomando-se a derivada da
funo definida por f, obtemos um polinmio
f 0 = nan xn1 + + 2a2 x + a1
que ainda tem coeficientes em k. Se f, g k[x], ento
(f + g) 0 = f 0 + g 0

(f g) 0 = f 0 g + f g 0 .

Agora:
Exerccio 5.1. u raiz simples de f f(u) = 0 mas f 0 (u) 6= 0.
Um polinmio f k[x] separvel se todas as suas razes so simples, ou seja, no
possui razes repetidas. De maneira equivalente, se f possui grau n, ento f separvel
se e somente se f possui n razes distintas em C. Observe que a noo de separabilidade
diz respeito somente ao polinmio em questo e independe do corpo onde ele se encontra;
note o contraste com a noo de irredutibilidade.
Usando o critrio da derivada, temos a resposta questo do incio da seo:
Proposio 5.2. Seja k um subcorpo de C. Um polinmio f k[x] separvel se e
somente se mdc(f, f 0 ) = 1. Em particular, se f irredutvel em k[x], ento f separvel.
Demonstrao. A primeira afirmao do enunciado decorre imediatamente do Exerccio
5.1, pois se d = mdc(f, f 0 ) k[x], ento as razes de d em C so razes tanto de f como de
f 0 . Finalmente, se f irredutvel, ento f no divide f 0 j que grau f 0 = grau f 1.

Um elemento de uma extenso F de um corpo k separvel sobre k se seu polinmio
minimal separvel. A extenso separvel se todos seus elementos so separveis sobre
o corpo de base.

LGEBRA III - 12 AGOSTO 2013

15

Para subcorpos dos complexos toda extenso separvel, em virtude da Proposio 5.2.
Isto, porm, no vale para um corpo arbitrrio. A palavra-chave aqui caracterstica zero.
Veja a seo sobre caracterstica para mais informaes.
Exerccio 5.3. Se F k separvel e E um corpo intermedirio, ento F E e E k
so separveis.
6. extenses normais
Nesta seo estudamos homomorfismos em extenses de corpos que fixam o corpo de
base. Este caminho nos leva ao encontro de um tipo particular de extenses, conhecidas
como normais, que examinamos com detalhe.
Mais uma vez, consideramos somente subcorpos dos nmeros complexos.
Comeamos com um aquecimento:
Exerccio 6.1. Seja : A B um homomorfismo de anis. Se A um corpo, ento
injetivo.
Seja F k uma extenso de corpos. Tome u um elemento de F e seja f um polinmio
no-nulo em k[x] que tenha u como raiz. Seja : F F 0 um homomorfismo com uma
propriedade especial: suponha que (a) = a para todo a k. Ento (u) tambm uma
raiz de f. Isto muito simples: se f = an xn + an1 xn1 + + a0 , ento
0 = f(u) = 0 = (f(u)) = (an un + an1 un1 + + a0 )
= (an )(u)n + (an1 )(u)n1 + + (a0 )

(14)

= an (u)n + an1 (u)n1 + + a0

= f((u))
Como o conjunto das razes finito e todo homomorfismo de corpos injetor, segue que
permuta as razes de f. Est aberto o caminho que nos levar ao grupo de Galois.
Comecemos com algumas definies, motivadas pelo vimos.
Sejam F, F 0 extenses de um corpo k. Um k-homomorfismo : F F 0 um homomorfismo que estende a identidade de k, isto , |k = idk (e logo (a) = a para todo a k).
Um k-endomorfismo um k-homomorfismo de F em si mesmo, ou seja, (F) F; e um
k-automorfismo de F um k-isomorfismo, ou seja, (F) = F. Os k-automorfismos de F com
a operao de composio formam um grupo, que denotamos por Galk (F).

Exerccio 6.2. A aplicao Q( 2) C dada por a+b 2 7 ab 2 um homomorfismo.

Exerccio 6.3. Suponha F = k(u1 , . . . , un ). Mostre que todo k-homomorfismo fica completamente determinado pela sua ao nos geradores de F. Precisamente: se : F F 0
um k-homomorfismo, ento
(F) = k((u1 ), . . . , (un )).
(Sugesto: utilize a descrio da equao (13).)

16

NIVALDO MEDEIROS

Exerccio 6.4. Se k um subcorpo de C, ento k Q (pois 1 k). E vale tambm que

todo homomorfismo : k C um Q-homomorfismo (pois (1) = 1).
Para encurtar referncias no futuro: os k-conjugados de um elemento u F so simplesmente as razes (em C) do seu polinmio minimal sobre k.
E uma observao: podemos assumir que todos nossos homomorfismos assumem valores no corpo dos nmeros complexos, uma vez que ali encontramos todas as razes que
necessitarmos.
A equao (14) tem consequncias interessantes. Um k-homomorfismo F C permuta
k-conjugados; se todos eles j esto em F, temos uma aplicao de F em si mesmo, ou seja,
um endomorfismo. Peculiar, no?
Definio 6.5. Sejam f k[x] um polinmio e S C o conjunto de todas as razes de f.
O corpo de decomposio de f sobre k o corpo k(S). O grupo de Galois de f sobre k o
grupo de automorfismos desta extenso: Galk f := Galk k(S).
Uma extenso F k normal se F o corpo de decomposio de algum polinmio
no-nulo em k[x].
Exemplo 6.6.

(1) Q( 2) normal sobre Q.

(2) Se = e2i/n C uma raiz n-sima da unidade, ento Q() o corpo de
decomposio de xn 1, pois suas razes so 1, , . . . , n1 . Logo Q() Q
normal.
(3) A extenso
C R normal.
(4) O corpo Q( 42, i)
normal sobre Q, pois o corpo de decomposio de x4 2, cujas
4
razes so 2, i 4 2.
Exerccio 6.7. Toda extenso de grau 2 normal.
Manfredo Perdigo do Carmo um excelente professor e gemetra, famoso por palestras
memorveis e frases de efeito. Uma delas:
Uma boa definio deve estar grvida de teoremas.
Assim seja.
Proposio 6.8. Se uma extenso F k normal, ento todo k-homomorfismo F C
um endomorfismo.
Demonstrao. Escrevemos F = k(u1 , . . . , ur ) onde os ui s so as razes de f k[x]. Ento
(14) nos diz que um k-homomorfismo : F C permuta estas razes e, em particular,
(ui ) F para cada i = 1, . . . , r. O resultado agora segue do Exerccio 6.3.

Assim, para extenses normais, homomorfismos que fixam o corpo de base no vo a
lugar algum: tudo acontece dentro da prpria extenso.
H mais surpresas. Antes, um resultado auxiliar.
Lema 6.9. Seja F k uma extenso algbrica. Ento todo k-endomorfismo de F um
automorfismo.

LGEBRA III - 12 AGOSTO 2013

17

Demonstrao: Dado u em F, seja S o conjunto das razes do polinmio minimal de u

sobre k que esto em F ,ou seja, S = {k-conjugados de u} F. Um k-endomorfismo leva
o conjunto S em si mesmo e, sendo injetivo, induz uma bijeo em S, uma vez que este
um conjunto finito. Portanto existe v S tal que (v) = u. Conclumos que F = (F). 
Eis a concluso do que provamos at aqui, enunciada como um teorema e no como
corolrio, devido sua importncia.
Teorema 6.10. Se F k uma extenso normal, ento todo k-homomorfismo F C
de fato um automorfismo.
7. extenses, agora de homomorfismos
Seja F k uma extenso algbrica. Buscamos descrever os k-homomorfismos : F C,
isto , as extenses da identidade de k ao corpo F. Se u F, vem da equao (14) que
leva u em algum dos seus k-conjugados. Nossa questo sobre existncia: dado v C um
k-conjugado de u, possvel estender a identidade de modo que u 7 v?
A resposta positiva, e podemos generalizar. De fato, buscamos estender no somente
a identidade, mas qualquer homomorfismo. Assim, dados : k k 0 e um polinmio
f = an xn + an1 xn1 + + a0 em k[x], definimos
f = (an )xn + (an1 )xn1 + + (a0 ) k 0 [x]
que o polinmio obtido aplicando-se aos coeficientes de f. Se u F uma raiz de
f e : F C um homomorfismo que estende , ento (u) uma raiz do polinmio
transformado f . A conta a mesma de (14):
0 = (0) = (an un + an1 un1 + + a0 )
= (an )(u)n + (an1 )(u)n1 + + (a0 )

(15)

= f ((u))
uma vez que (a) = (a) para todo a k.
Temos tambm:
(f + g) = f + g

(f g) = f g .

(16)

Em particular, se um isomorfismo, ento f irredutvel em k[x] se e somente se f

irredutvel em k 0 [x].
Eis a almejada descrio de extenses de homomorfismos em extenses finitas.
Teorema 7.1 (Extenso). Sejam k(u) C uma extenso finita de um corpo k, p o
polinmio minimal de u sobre k, : k C um homomorfismo e v1 , . . . , vr C as distintas
razes de p . Ento possui exatamente r extenses i : k(u) C, dadas por u 7 vi .
Demonstrao: Toda extenso de leva u em uma raiz de p , como vimos em (15).

18

NIVALDO MEDEIROS

Reciprocamente, denote k 0 = (k) e seja v uma das razes de p k 0 [x]. Pelo Teorema 4.3, cada elemento de k(u) pode ser escrito como f(u) para algum f em k[x]. Ento
a aplicao : k(u) k 0 (v) dada por
(f(u)) = f (v)
est de fato bem definida: se f, g k[x] so tais que f(u) = g(u), ento (f g)(u) = 0 e
logo p divide f g; segue da que p divide (f g) e portanto f (v) = g (v). Finalmente,
as igualdades em (16) mostram que um homomorfismo, que evidentemente estende .
A prova est terminada.

Corolrio 7.2. sempre possivel estender homomorfismos em extenses finitas.
Demonstrao. Dada F k finita, temos uma torre
k = F0 F1 Fs = F
onde Fi = Fi1 (ui ) com ui algbrico sobre Fi1 . Agora basta aplicar o Teorema 7.1 sucessivamente a cada passo da torre.

Depois de lavoura feita com tanto cuidado, hora de colhermos frutos.
Corolrio 7.3. Se F k normal e E um corpo intermedirio, ento todo k-homomorfismo
E C se estende a um k-automorfismo de F.
Demonstrao. Segue imediatamente do Corolrio 7.2 e do Teorema 6.10.

fcil construir extenses normais. Decidir se uma dada extenso normal uma outra
estria. . .
Suponha que F uma extenso normal de k. Dado u F, seja v C um k-conjugado
de u. Do Teorema 7.1 existe um k-homomorfismo k(u) C que leva u 7 v; pelo
Corolrio 7.3, podemos estend-lo a um k-automorfismo de F e logo v F. Um resumo do
que acabamos de mostrar:
Corolrio 7.4. Se F k normal, ento os k-conjugados de elementos de F esto em F.
Temos
assim um critrio para mostrar que uma extenso no normal.
Por exemplo,

4
4
Q( 2) Q no uma extenso normal, pois os Q-conjugados de 2
so 4 2, i 4 2; os
dois ltimos no so nmeros reais e logo no pertencem ao corpo Q( 4 2).

Exerccio 7.5. As extenso Q( 3 2, i) Q no normal.

Enfim, vamos calcular nosso primeiro grupo de Galois.

Exemplo 7.6. Sejam u = 3 2 e = e2i/3 C uma raiz cbica da unidade. O polinmio

minimal de u sobre Q f = x3 2, e suas razes so u, u e 2 u. O corpo de decomposio
de f sobre Q F = Q(u, u, 2 u) = Q(u, ). Ento F Q uma extenso normal cujo

LGEBRA III - 12 AGOSTO 2013

19

grau 6, uma vez que 6 Q(u).

Q(u, )

Q(u)

Q()
3

Q
Repetimos o modus operandi da prova do Corolrio 7.2 para descrever os automorfismos
de G = GalQ f. Pelo Teorema 7.1 existem exatamente trs Q-homomorfismos
i : Q(u) C

i = 0, 1, 2

dados por u 7 i u. Como F = Q(u)() e o polinmio minimal de sobre Q(u)

p = x2 + x + 1, vem do Teorema de Extenso que cada i se estende a dois homomorfismos
ij : F C, j = 1, 2, dados por 7 j (note que pi = p). Como [F : Q] = 6, estas
so todas as possveis extenses. Enfim, F Q normal e da cada ij de fato um
automorfismo, pelo Teorema 6.10. Em resumo,
G = {0,1 , 0,2 , 1,1 , 1,2 , 2,1 , 2,2 }
e cada automorfismo ij : F F fica definido pela sua ao no par u, (Exerccio 6.3),
segundo a tabela abaixo:
0,1 : u 7 u,
7
0,2 : u 7 u,
7 2
1,1 : u 7 u, 7
1,2 : u 7 u, 7 2
2,1 : u 7 2 u, 7
2,2 : u 7 2 u, 7 2
Para um grupo de ordem 6, h apenas duas possibilidades: ou cclico, isomorfo a Z6 , ou
isomorfo ao grupo S3 de permutaes de 3 elementos. E agora?
Comparemos os automorfismos 2,1 1,2 e 1,2 2,1 . Mais uma vez, basta calcular a composio no par u, ; temos
(2,1 1,2 )(u) = 2,1 (u) = 2,1 ()2,1 (u) = (2 u) = u
(2,1 1,2 )() = 2,1 (2 ) = 2
e logo 2,1 1,2 = 0,2 ; por outro lado,
(1,2 2,1 )(u) = 1,2 (2 u) = 1,2 ()2 1,2 (u) = (2 )2 (u) = 2 u
(1,2 2,1 )() = 1,2 () = 2
S3 .
ou seja 1,2 2,1 = 2,2 . Assim G no abeliano e, consequentemente, G =
Exerccio 7.7. Calcule as ordens dos elementos do grupo G no exemplo acima.

20

NIVALDO MEDEIROS

Z2 . Note que [Q( 4 2) : Q] = 4 mas o grupo de

Exerccio 7.8. Mostre que GalQ Q( 4 2) =
automorfismos tem ordem 2. . . Qual a origem da discrepncia?
Para terminar esta seo, recorde que se um grupo G age em um conjunto S, ento cada
elemento de G induz uma permutao dos elementos de S. A ao transitiva se cada
rbita igual ao prprio conjunto S, isto : dados u, v S, existe G tal que (u) = v.
Proposio 7.9. Seja f um polinmio irredutvel em k[x], de grau n. Ento Galk f
isomorfo a um subgrupo de Sn que age transitivamente nas razes de f.
Demonstrao. Seja S C o conjunto das razes de f e F = k(S) o corpo de decomposio
de F. Como f separvel (Proposio 5.2), temos |S| = n. Como vimos, cada elemento
de Galk f define uma permutao em S e logo temos um homomorfismo Galk f Sn ;
este homomorfismo injetor, pois = idF se e somente se (u) = u para todo u S.
Finalmente, escolha u, v S. Pelo Teorema 7.1 existe um k-homomorfismo k(u) C
levando u 7 v, que se estende a um automorfismo de F (Corolrio 7.3). Logo a ao
transitiva.

8. teoria de Galois
8.1. A correspondncia de Galois. Seja F k uma extenso de corpos e tome G =
Galk F o grupo de automorfismos desta extenso. Dado um automorfismo G, ento
u F um ponto fixo de se (u) = u.
A cada corpo intermedirio k E F fica associado a um subgrupo de G, a saber
GalE F = { G | (u) = u, u E}
o subgrupo dos automorfismos para os quais todos os elementos de E so pontos fixos.
Reciprocamente, seja H um subgrupo de G. Definimos
FH = {u F | (u) = u, H}
o conjunto dos pontos fixos por todos os automorfismos pertencentes a H. Este corpo
intermedirio na extenso F k: de fato, como s consideramos k-automorfismos, ele
contm k; e se u, v FH , ento
(u + v) = (u) + (v) = u + v

( H)

donde u + v FH . Uma conta anloga funciona para u v, u v e u/v. Denominamos FH

o corpo fixo por H.
A correspondncia de Galois o par de aplicaes


corpos intermedirios
{subgrupos de G}
de F k
E
7
GalE F
FH

H
que, em geral, no desfrutam de quaisquer propriedades especiais, tais como serem injetoras
ou sobrejetoras ou serem inversas uma da outra. Entretanto, sucessivas aplicaes fazem
crescer o corpo ou grupo com o qual comeamos:

LGEBRA III - 12 AGOSTO 2013

21

Exerccio 8.1. Dado um corpo intermedirio E, para H = GalE F temos

E 7 H 7 FH
e vale E FH . Reciprocamente, dado um subgrupo H, para E = FH temos
H 7 E 7 GalE F
e vale H GalE F. Encontre exemplos onde no valem as incluses opostas.
8.2. Extenses galoisianas.
Definio 8.2. Uma extenso galoisiana (ou de Galois) se normal e separvel.
Mais uma vez: como estamos considerando apenas subcorpos dos complexos, nossas
extenses so automaticamente separveis e logo, aqui, uma extenso galoisiana se e
somente se normal.
Proposio 8.3. Se F k galoisiana, ento |Galk F| = [F : k].
Demonstrao. Escreva F = k(u1 , . . . , us ), onde os ui s so algbricos sobre k. Construmos
a torre
k = F0 F1 Fs = F
onde Fi = Fi1 (ui ). Seja pi o polinmio minimal de ui sobre Fi1 . Temos
|{razes de pi em C}| = grau pi = [Fi : Fi1 ]
onde a igualdade da esquerda vem do fato de que cada pi separvel (Proposio 5.2).
Segue ento do Teorema 7.1 que um homomorfismo possui exatamente [Fi : Fi1 ] extenses
no i-simo passo da torre. Assim, se comeamos com a identidade de k, podemos estend-la
a F C de exatamente [F1 : F0 ] [Fs : Fs1 ] = [F : k] maneiras distintas e estes so os
k-automorfismos, uma vez que a extenso normal (Teorema 6.10).

Veremos a seguir que as extenses galoisianas finitas so exatamente aquelas para as
quais a correspondncia de Galois bem comportada, ou seja, as aplicaes da correspondncia de Galois so de fato bijees.
Lema 8.4. Se F k uma extenso separvel tal que [k(u) : k] n para cada u F, ento
a extenso finita e vale [F : k] n.
Demonstrao: Seja v em F escolhido de forma que [k(v) : k] seja mxima. Mostremos que
F = k(v): dado u F, ento k(u, v) k finita e separvel e logo possui um elemento
primitivo, digamos w. Ento as desigualdades
[k(v) : k] [k(u, v) : k] = [k(w) : k] [k(v) : k]
so de fato igualdades e portanto u k(v), como queramos.

Apresentamos agora o principal resultado desta seo, o clebre Teorema Fundamental

da Teoria de Galois, devido a Emil Artin:

22

NIVALDO MEDEIROS

Teorema 8.5 (Artin). Sejam F um corpo e G um subgrupo finito qualquer do grupo de

automorfismos de F. Ento F FG uma extenso galoisiana de grau |G|, cujo grupo de
Galois G.
Demonstrao: Denote k = FG . Dado u F, seja S F o conjunto das diferentes imagens
de uQpelos elementos de G, digamos S = {u = u1 , . . . , ur }; observe que r |G|. Defina
f = i (x ui ), um polinmio em F[x].
Cada elemento de G induz uma permutao no conjunto S das razes. Como os coeficientes de f so os polinmios simtricos elementares (10) nos ui s, segue-se que cada um
destes coeficientes fixado por todos os elementos de G, ou seja, pertencem ao corpo fixo
por G. Assim f de fato um polinmio em k[x], que tem u como raiz.
Em suma, mostramos que todo elemento de F raiz de um polinmio separvel em k[x]
cujas razes esto em F, ou seja, F k separvel e normal. Agora, como G Galk F,
temos
|G| |Galk F| = [F : k] |G|
onde a igualdade vem da Proposio 8.3 e a desigualdade da direita segue do Lema 8.4,
j que [k(u) : k] |G| para cada u F. Portanto as desigualdades acima so de fato
igualdades, concluindo a demonstrao do teorema.

Corolrio 8.6. Se F k uma extenso galoisiana finita, ento a correspondncia de
Galois uma bijeo. De modo preciso, as aplicaes


corpos intermedirios
{subgrupos de Galk F}
de F k
E
7

GalE F
FH

so a inversa uma da outra. Alm disso, |H| = [F : FH ] e [FH : k] = (Galk F : H).

Demonstrao: Por um lado, tome E um corpo intermedirio e seja H = GalE F. Como a
extenso F E galoisiana finita, temos |H| = [F : E]; agora, pelo Exerccio 8.1,
F FH E
e como [F : FH ] = |H| (Teorema de Artin), temos que a incluso da direita de fato uma
igualdade, como desejado.
Por outro lado, sendo Galk F finito, segue do Teorema de Artin que GalFH F = H para
todo subgrupo H, o que prova que a correspondncia de Galois de fato uma bijeo. Para
as igualdades do final do enunciado, apenas a segunda merece nota: uma consequncia
do bom e velho Teorema de Lagrange da teoria de grupos.


LGEBRA III - 12 AGOSTO 2013

23

Um diagrama, mil palavras: para extenses F k galoisianas,

{id}

F
|H|

FH = E

H = GalE F

(G:H)

Exemplo 8.7. Seja = e2i/5 = cos(2/5)+i sen(2/5) C uma raiz 5-sima da unidade,
isto , 5 = 1. As razes do polinmio x5 1 so 1, , . . . , 4 . Temos x5 1 = (x 1)p,
onde p = x4 + + x + 1. Pelo critrio de Eisenstein, p irredutvel em Q[x], pois 5 um
nmero primo. Logo a extenso Q() Q galoisiana de grau 4; os Q-conjugados de
so , . . . , 4 .
Seja G o grupo de automorfismos desta extenso. Cada automorfismo G deve
permutar as razes de p e fica completamente determinado pela sua imagem (). Logo
G = {1 , 2 , 3 , 4 } onde j () = j . Note que 1 = id; e aplicando sucessivamente 2 ,
obtemos
7 2 7 4 7 8 = 3 7 6 =
Z4 .
e logo 2 tem ordem 4. Portanto G =
Sendo cclico de ordem 4, o grupo G possui um subgrupo prprio, que tem ordem 2, a
saber H = h22 i = h4 i. Da, pela correspondncia de Galois, a extenso Q() Q possui
apenas um subcorpo intermedirio no-trivial, o corpo fixo por H. Para determin-lo,
o
tome u = + 4 . Nnote que 4 (u) = u e portanto u Q()H . Como 4 =
conjugado complexo de , vem que u R e da Q() Q(u) uma extenso de grau 2,
= x2 ux + 1 Q(u)[x]. A correspondncia de Galois
pois 6 Q(u) e (x )(x )
bem simples:
{id}

Q()
2

Q(u)

Exemplo 8.8. Revisitamos agora o Exemplo 7.6, usando a mesmo notao ali estabelecida.
Vimos que o corpo F de decomposio do polinmio x3 2 uma extenso de grau 6 sobre
Q, e cujo grupo de Galois sobre isomorfo ao grupo simtrico S3 . O grupo S3 possui
exatamente 3 subgrupos de ordem 2, a saber h0,2 i, h1,2 i, h2,2 i e exatamente um subgrupo
de ordem 3. Da correspondncia de Galois vem que existem exatamente 3 subcorpos
intermedirios E tais que [F : E] = 2; como Q(u), Q(2 u) e Q(u) so extenses de grau
3 de Q, estes so os corpos em questo. O subcorpo restante Q() que fica associado

24

NIVALDO MEDEIROS

ao subgrupo gerado por 1,1 , que um elemento de ordem 3 de G. Eis o diagrama que
descreve a correspondncia:
{id}

Q(u, )
2

2
2

Q(u)

Q(2 u)

Q(u)

h0,2 i

h1,2 i

Q()

h1,1 i

h2,2 i

Exerccio 8.9. Mostre que o diagrama do exemplo anterior est correto, isto , que
Q(3i u) corpo fixo por hi,2 i, para i = 0, 1, 2.
Exerccio 8.10. Um
caso em que a extenso no normal: descreva a correspondncia

4
de Galois para Q( 2) Q.
Duas extenses E, E 0 de um corpo k so chamadas conjugadas se existe um k-isomorfismo
E E 0 . Recorde que dois subgrupos H, H 0 de um grupo G so conjugados se existe G
tal que H 0 = H1 .
Lema 8.11. Seja F k uma extenso galoisiana finita. Ento dois corpos intermedirios
E e E 0 so conjugados se e somente se GalE F e GalE 0 F so subgrupos conjugados em Galk F.
Demonstrao: Comeamos com a seguinte
Afirmao: Dado Galk F, ento Gal(E) F = (GalE F)1 .
De fato,
Gal(E) F ((u)) = (u), u E
(1 )(u) = u, u E
1 GalE F
(GalE F)1 .
Seja agora : E E 0 um k-isomorfismo. Como F k uma extenso finita e normal,
estendemos um k-automorfismo : F F. Ento (E) = E 0 e da Afirmao segue-se que
GalE F e GalE 0 F so conjugados.
Reciprocamente, se GalE F e GalE 0 F so conjugados, ento decorre da Afirmao que
GalE 0 F = Gal(E) F para algum Galk F. Como F k galoisiana finita, vem da
correspondncia de Galois que E 0 = (E), o que termina a prova.

Teorema 8.12 (Segundo Teorema Fundamental). Seja F k uma extenso galosiana
finita e E um corpo intermedirio. Ento a extenso E k normal se e somente se

LGEBRA III - 12 AGOSTO 2013

25

GalE F um subgrupo normal de Galk F. Nesse caso,

Galk F .
Galk E =
GalE F
Demonstrao: Pelo Lema 8.11:
GalE F normal em Galk F (E) = E, Galk F
e esta condio vlida se e somente se E k uma extenso normal. Isto prova a
primeira afirmao do teorema.
Por outro lado, se E k uma extenso normal, ento a restrio de um k-automorfismo
de F ao corpo E induz de fato um automorfismo (Teorema 6.10). Temos portanto um
homomorfismo de grupos
|E : Galk F Galk E
que sobrejetor, uma vez que todo k-automorfismo de E se estende a um k-automorfismo
de F (Corolrio 7.3); seu ncleo evidentemente GalE F, pois estes so os automorfismos que
fixam E. Segue do Teorema dos Homomorfismos que vale o isomorfismo do enunciado. 
Traduzindo em um diagrama: para extenses F k galoisianas,
F

{id}

normal

normal

G/H)
G
(e nesse caso Galk E =

Exemplo 8.13. Denote E = Q( 4 2) e F = Q( 4 2, i). Ento F Q uma extenso normal.

O seu grupo G de automorfismos no abeliano: de fato, como E Q no normal, vem
do Teorema 8.12 que o subgrupo H = GalE F no normal em G.
k

Exerccio 8.14. No exemplo anterior, mostre que |G| = 8 e que GalQ Q(i) cclico de
ordem 4. Mais ainda, encontre , em G tais que
2 = 1 e = 3
D4 , o grupo das simetrias de
(estas so as relaes necessrias para demonstrar que G =
um quadrado).
G = h, i,

4 = 1,

9. razes da unidade
Seja n 1 um inteiro. Um elemento em um corpo F uma raiz n-sima da unidade
se n = 1, ou seja, se uma raiz do polinmio xn 1. A ordem de qualquer raiz n-sima
da unidade como elemento do grupo multiplicativo F , portanto, um divisor de n; a raiz
dita primitiva se sua ordem igual a n.

26

NIVALDO MEDEIROS

O conjunto Un (F) das razes n-simas um subgrupo finito do grupo multiplicativo de

um corpo, sendo portanto cclico e cuja ordem divide n; vale que |Un (F)| = n se e somente
se F possui uma raiz n-sima primitiva.
Exemplo 9.1. claro que U1 (F) = {1} e U2 (F) = {1} para qualquer corpo F. Considere
Zn e uma raiz primitiva da unidade
n 3. Para os nmeros complexos, temos Un (C) =
2i/n
e
= cos(2/n) + i sen(2/n). J para os nmeros racionais ou reais, Un (Q) =
Un (R) = {1} ou {1} caso n seja par ou mpar, respectivamente.
Recordamos alguns fatos sobre grupos cclicos finitos. Se G cclico de ordem n, ento
Zn . Dado um gerador g de G, ento ga um outro gerador se e somente se mdc(a, n) =
G=
1; assim G possui (n) geradores, onde a funo de Euler. Um automorfismo de G
Z .
necessariamente leva um gerador em outro gerador e portanto Aut(G) =
n
Proposio 9.2. Tome k um subcorpo dos nmeros complexos e C uma raiz n-sima
primitiva da unidade. Ento a extenso k() k galosiana e seu grupo de Galois um
subgrupo de Zn , sendo portanto abeliano.
Demonstrao. Como k() o corpo de decomposio do polinmio xn 1, a extenso
k() k normal e logo galoisiana. Seja um automorfismo desta extenso. A restrio
de ao grupo das unidades U = Un (k()) induz um automorfismo deste grupo. Como
Z dado pela restrio,
brinde, ganhamos um homomorfismo Galk k() , Aut(U) =
n
7 |U ; este homomorfismo injetor, pois = id se e somente se () = .
Uma descrio mais concreta: como induz um automorfismo de U, temos () = a
onde mdc(a, n) = 1. Por outro lado, como um k-automorfismo de k() fica determinado
pela sua imagem em , vem que fica determinado este expoente, e denotamos a = a.
. Note que 7 a
a
, pois
O homomorfismo Galk k() Zn fica dado por 7 a
()() = (a ) = a a .

Temos uma descrio mais precisa quando o corpo de base so os nmeros racionais.
Teorema 9.3. Sejam n 1 e C uma raiz n-sima primitiva da unidade. Ento
Z .
[Q() : Q] = (n). Consequentemente, GalQ Q() =
n
Demonstrao. Comeamos com um resultado auxiliar.
Afirmao: Se uma raiz n-sima primitiva da unidade, f seu polinmio minimal sobre
Q e p um primo tal que p - n, ento
f(p ) = 0.
De fato, como f divide xn 1, existe h Q[x] mnico tal que
xn 1 = fh
Pelo Lema de Gauss, f, h Z[x]. Assuma que a Afirmao no valha, ou seja, f(p ) 6= 0.
Ento h(p ) = 0, o que significa que uma raiz de h(xp ). Como f o polinmio
minimal de , temos h(xp ) = fg para algum polinmio g e, como anteriormente, temos
g Z[x]. Considerando essa igualdade mdulo p, temos
p) = h
p = f
g
h(x
em Fp [x]

LGEBRA III - 12 AGOSTO 2013

27

possuem um fator comum. Mas

e como Fp [x] um domnio fatorial, segue-se que f e h
n
n
temos uma contradio, pois o polinmio x 1 separvel uma vez que p - n.
x 1 = fh
Logo nossa Afirmao vale.
Passemos prova de que cada raiz n-sima primitiva uma raiz de f. Com efeito,
tome m com mdc(m, n) = 1 e decomponha m = p1 pr como produto de primos, no
necessariamente distintos. Dado que nenhum dos pi s divide n, segue da Afirmao que
f(p1 ) = 0 e da pp1 ,Q divide f; portanto estes polinmios so iguais, pois so irredutveis.
Agora, tome 1 = p1 ; esta uma raiz n-sima primitiva da unidade, e com o mesmo argumento provamos que p1 ,Q = pp2 ,Q . Assim prosseguindo, conclumos que os polinmios
1
minimais de e m coincidem.
Em resumo, provamos que grau f (n). A outra desigualdade e a ltima afirmao
do enunciado seguem da Proposio 9.2.

Dado um inteiro n positivo, o n-simo polinmio ciclotmico o polinmio minimal,
sobre k, de uma raiz n-sima primitiva. Quando k = Q, o denotamos por n ; vimos no
Teorema 9.3 que este polinmio tem grau (n).
Exerccio 9.4. As razes de n so exatamente as razes n-simas primitivas da unidade.
Exemplo 9.5. Se p um nmero primo, ento p = xp1 + xp2 + + x + 1, pois
este polinmio divide xp 1 e irredutvel sobre os racionais (troque x 7 x + 1 e use
Eisenstein). Se n no um nmero primo, encontrar n d um pouco mais de trabalho.
Por exemplo, 6 = x2 x + 1 e h pelo menos duas maneiras de verificar isto. Uma delas
(note que
vem do exerccio acima: tomando = e2i/6 , basta multiplicar (x )(x )
A outra recursiva, descrita pelo exerccio abaixo.
5 = ).
Q
Exerccio 9.6. Prove que xn 1 = d|n d em Q[x], onde d percorre os divisores de n.
Sugesto: agrupe as razes n-simas de unidade de acordo com sua ordem e observe que
para um divisor d de n existem exatamente (d) razes d-simas primitivas da unidade
em C. A partir da fique de olho no Exerccio 9.4.
Uma extenso F k ciclotmica se F o corpo de decomposio do polinmio xn 1
para algum n.
Exemplo 9.7. Para n = e2i/n , vimos que Q(n ) Q tem grupo de Galois Zn . No
Exemplo 8.7 descrevemos o caso n = 5 com detalhe: vimos ali que o grupo de Galois
cclico, isomorfo a Z4 . De fato, vale o seguinte: Zn cclico se e somente se n = 2, 4, pr
ou 2pr , onde p um primo mpar (veja [GL02]).
Analisamos agora o caso = e2i/8 , uma raiz 8-sima primitiva da unidade.
A extenso Q() Q galoisiana e tem grau 4, vide Teorema 9.3. Logo seu grupo
de automorfismos tambm tem ordem 4, digamos G = {1 , 3 , 5 , 7 }. Os ndices foram
escolhidos dessa maneira porque cada j definido por 7 j , uma vez que um automorfismo permuta as razes primitivas da unidade (que so as razes do polinmio minimal
de , pelo Exerccio 9.4). Temos
23 = 25 = 27 = id

28

NIVALDO MEDEIROS

pois
2

3 = 5 = 7 = 1 uma vez que 32 52 72 1 (mod 8).

Z2 Z2 . Os corpos fixos corresLogo no existem elementos de ordem 4 e portanto G =
pondentes aos subgrupos h3 i, h5 i, h7 i so todos os subcorpos intermedirios no-triviais
da extenso, e os apelidamos F3 , F5 , F7 .
Como encontrar esses corpos? Para extenses ciclotmicas h alguns truques. Por
exemplo, como 3 leva 7 3 7 , vem que u = + 3 fixado por este automorfismo
e logo Q(u) F3 ; como [F3 : Q] = [G : h3 i] = 2 e u 6 Q (desenhe!), obtemos F3 = Q(u).
{id}

Q()

Q(u)

F5

F7

h3 i

h5 i

h7 i

Exerccio 9.8. Encontre os outros dois corpos fixos no exemplo anterior. Se estiver de
bom humor, descreva a correspondncia de Galois para Q(e2i/9 ); restando algum flego,
faa para Q(e2i/12 ).
10. solubilidade por radicais
Estamos em condies de resolver o problema levantado no incio destas notas: decidir

quando um polinmio tem suas razes expressas em termos das operaes +, , , , n

aplicadas aos coeficientes. Nossa estratgia reformular o problema em termos de extenses
de corpos e em seguida resolv-lo via a correspondncia de Galois.
Como motivao, considere os exemplos:
Exemplo 10.1.

(1) Tome f = x4 6x2 + 7 Q[x]. Suas razes so 3 2. Para obt-las, consideramos a torre de extenses

p
p

Q Q( 2) Q( 2)( 3 + 2) Q( 2, 3 + 2)( 3 2)

obtidas adjuntando-se uma raiz de um elemento da extenso anterior. O ltimo

corpo da torre, contm todas as razes de f. Note que todo elemento deste corpo
se escreve como somas, produtos e quocientes de razes quadradas sucessivamente
aplicadas a nmeros racionais.

(2) Tome f = x3 + 3x 14 = (x 2)(x2 + 2x + 7). Suas razes so 2, 1 i 6 e

pertencem extenso

Q Q( 6)

onde 6 uma raiz do polinmio x2 +6. Por outro lado, se utilizamos as frmulas
de Cardano em (7), as razes se escrevem como
u + v,

u + 2 v

2 u + v

LGEBRA III - 12 AGOSTO 2013

29

p
p

3
3
onde u = 7 + 50, v = 7 50 e = e2i/3 uma raiz cbica da unidade.
Considere a torre de extenses
p

3
Q Q() Q()( 50) Q(, 50)( 7 + 50)
que so obtidas adjuntando-se sucessivamente razes quadradas e cbicas de elementos da extenso anterior. Mais uma vez, o maior corpo da torre contm todas
as razes do polinmio f (note que u + v = 2, veja (9)). Vrios caminhos, um
destino.
Seja F k uma
extenso de corpos. Se u F satisfaz un = a para algum a
k,

n
escrevemos u = a. Ao contrrio do que acontece com os nmeros reais, o smbolo n a
ambguo e indica qualquer uma das razes de xn a.
Uma extenso F k radical se pode ser decomposta em uma torre
k = F0 F1 Fr = F
de modo que cada corpo obtido
adjuntando-se uma raiz ?-sima de um elemento do corpo

anterior, isto : Fi = Fi1 ( ni ai ) onde ai Fi1 e os ni s so inteiros positivos.

Um artifcio, to simples quanto til: se todos os ni s so iguais entre si, digamos
n1 = = nr = n, a extenso dita n-radical ; e de fato toda extenso radical m-radical
para algum m: basta tomar m = n1 nr .
Um polinmio f k[x] solvel por radicais se existe uma extenso radical F k tal
que f se decompe em F (note: no pedimos aqui que F seja o corpo de decomposio de
f, mas apenas um corpo no qual f se fatore linearmente).
Exerccio 10.2. Se F E e E k so radicais, ento F k radical.
Antes de provar o teorema de Galois, precisamos de dois resultados auxiliares. O primeiro
descreve o grupo de Galois em extenses obtidas adjuntando-se razes.
Lema 10.3. Suponha k um subcorpo
de C e que k contm uma raiz n-sima primitiva
n
da unidade. Dado a k, a extenso k( a) k galosiana com grupo de Galois cclico.

Demonstrao. Seja k uma raiz n-sima primitiva e denote u = n a. Temos que

xn a um polinmio em k[x] que possui n razes distintas, a saber u, u, . . . , n1 u e
portanto a extenso k(u) k normal e logo galoisiana.
Um automorfismo desta extenso fica determinado pela sua ao em u. Da, como
(u) = a u para algum a {0, . . . , n 1}, o expoente a determina . Definindo
Galk k(u) Zn

)
(a 7 a

+ a
, j que (u) = (a u) = a +a u.
obtemos um homomorfismo, pois
7 a
ento (u) = u e logo = id, e portanto nosso homomorfismo
Finalmente, se 7 0,
injetor. Isto termina a prova.

Eis o segundo, de natureza puramente tcnica.
Lema 10.4. Considere uma extenso F k (de subcorpos de C) n-radical. Ento existe
um corpo N F tal que a extenso N k normal e n-radical.

30

NIVALDO MEDEIROS

Demonstrao. Por hiptese, existe uma torre

k = F0 F1 Fr = F
tal que Fi = Fi1 (ui ) e onde ui raiz de xn ai1 Fi1 [x].
Podemos supor que k contm uma raiz n-sima primitiva da unidade (adjunte caso seja
n
necessrio). Ento k(u1 ) o corpo
Q nde decomposio de x a0 , e portanto F1 k uma
extenso normal. Tome f1 = (x (a1 )) onde percorre o grupo de automorfismos
Galk F1 . Ento cada fixa cada um dos coeficientes de f1 , o que mostra que f1 k[x]; e
adjuntando as razes de f1 sucessivamente ao corpo F1 , obtemos um corpo R, que uma
extenso n-radical de F1 . Logo R k uma extenso normal ( dada pelo corpo de
decomposio de f1 ) e n-radical. Assim prosseguindo, obtemos a extenso N F k
desejada.

Recorde que um grupo G solvel se existe uma cadeia de subgrupos
G = G0 B G1 B G2 B B Gn = {id}
tal que cada quociente Gi1 /Gi um grupo abeliano.
Proposio 10.5. Seja N um subgrupo normal de um grupo G. Ento G solvel se e
somente se N e G/N so solveis.
Teorema 10.6 (Galois). Suponha que k um subcorpo de C. Dado f k[x], seja F o
corpo de decomposio de f. Ento f solvel por radicais se, e somente se, Galk F um
grupo solvel.
Demonstrao. Suponha que f solvel por radicais. Ento existe uma extenso n-radical
R k tal que R F. Seja = e2i/n C uma raiz n-sima primitiva da unidade. Ento
R() tambm uma extenso n-radical de k. Pelo Lema 10.4, existe N R() tal que
N k normal e n-radical.
Temos ento uma torre de corpos (comeamos adjuntando a raiz da unidade)
k = N0 k() = N1 N2 Nr = N

onde Ni = Ni1 ( n ai ) e ai Ni1 para i 2.

Sejam G = Galk N e Gi = GalNi N. Da correspondncia de Galois, obtemos uma cadeia
de subgrupos
G = G0 B G1 B G2 B B Gr = {id}
onde cada subgrupo de fato normal no seguinte, uma vez que Ni1 Ni uma extenso

normal e tendo em vista o Teorema 8.12. Ainda, do mesmo teorema vem que Gi1 /Gi =
GalNi1 Ni , que um grupo abeliano: para i = 1 isto segue da Proposio 9.2, pois N1 k
ciclotmica; para i 2, vem do Lema 10.3 que o grupo de Galois de Ni Ni1 cclico,
pois o corpo de base destas extenses contm uma raiz n-sima primitiva da unidade.
Logo G um grupo solvel. Finalmente: como F k normal, mais uma vez lanamos
G/ GalF N, que um grupo solvel pela
mo do Teorema 8.12 para concluir Galk F =
Proposio 10.5. Terminamos assim esta parte da demonstrao.
A recproca requer algo mais, aguarde em uma verso futura destas notas.

LGEBRA III - 12 AGOSTO 2013

31

Exemplo 10.7. Considere f = x5 4x + 2 Q[x]. Afirmamos que o seu grupo de Galois

isomorfo ao grupo S5 de permutaes de 5 elementos.
Com efeito, sejam F o corpo de decomposio de f sobre Q e G = GalQ F. Como vimos
na Proposio 7.9, podemos ver G como um subgrupo de S5 . Como f irredutvel, temos
que [Q(u) : Q] = 5 para qualquer raiz u de f. Isso nos diz que 5 divide |G|; vem do
Teorema de Cauchy que G contm um elemento de ordem 5 e logo possui um 5-ciclo (se p
primo, todo elemento de ordem p de Sp um p-ciclo).
Por outro lado, uma anlise com derivadas e convexidade l dos nossos bons tempos
de Clculo mostram que f possui exatamente duas razes complexas no-reais, que so
conjugadas entre si. Da, se : C C a conjugao complexa, troca essas duas razes
e fixa as outras trs; ou seja, |F G uma transposio note que a restrio de a F
define um automorfismo, pois F Q normal.
Em resumo, G um subgrupo de S5 que contm um 5-ciclo e uma transposio e logo
G = S5 . Como S5 no um grupo solvel, vem do Teorema 10.6 que o polinmio f no
solvel por radicais.
2

Do lado positivo da fora, claro que existem equaes qunticas solveis por radicais.
Eis um exemplo interessante, explicado em detalhe em [BSW02, p. 29]:
x5 + 15x + 12 = 0
tem como uma de suas solues
s
s
s
s

5 75 + 21
5 75 21
5 225 + 72
5 225 72
10
10
10
10
+
+
+
125
125
125
125
e as outras razes tem expresso similar.
Exerccio 10.8. Os polinmios x5 20x2 + 20, x5 + x 1 e x5 2ax + a (a 2) tambm
tem S5 como grupo de Galois e portanto no so solveis por radicais sobre Q.
Exerccio 10.9. Sejam p um primo e f um polinmio irredutvel em Q[x]. Se f possui
Sp , o grupo de permutaes
exatamente duas razes complexas no-reais, ento GalQ f =
de p elementos.
11. corpos algebricamente fechados
11.1. O fecho algbrico. Todo polinmio no constante com coeficientes complexos possui
uma raiz em C. Este o famoso Teorema Fundamental da lgebra. Apresentamos abaixo
(Teorema 11.1) uma demonstrao, mais algbrica, que faz uso da correspondncia de
Galois e da teoria de grupos.
Decorre da que todo polinmio f C[x] tem de fato todas suas razes em C e portanto
se decompe totalmente, isto , existem nmeros complexos c, z1 , . . . , zn tais que f =
c(x z1 ) (x zn ).
Se k um corpo qualquer, no necessariamente contido em C, o que podemos obter?
Nossa questo : dado um polinmio em k[x], existe um corpo que contenha todas suas

32

NIVALDO MEDEIROS

razes? Mais ambiciosamente: existe um corpo que contenha todas as razes de todos os
polinmios de k[x]?
A resposta . . . sim!
Teorema 11.1 (Kronecker). Dado um polinmio p com coeficientes em um corpo k, existe
uma extenso finita F k na qual p de decompe totalmente.
Demonstrao: Podemos supor que p irredutvel em k[x] (caso no seja, consideramos um
fator irredutvel de p). Considere o ideal (p) k[x] dos mltiplos de p e seja F = k[x]/(p)
o anel quociente. Afirmamos que F de fato um corpo. Com efeito, seja f k[x] tal que
Ento p no divide f e, sendo p irredutvel, mdc(p, f) = 1. Logo existem g, h k[x]
f 6= 0.
= 1.
Assim f invertvel em F.
tais que gp + fh = 1, ou seja, fh
injetivo e logo F contm uma cpia isomorfa
O homomorfismo k F dado por a 7 a
uma raiz de p, pois p(
= 0 em F. Esta extenso finita, uma
de k. Finalmente, x
x) = p
vez que F = k(
x).
Tendo encontrado em F uma raiz u de p, fatoramos p = (x u)g com g F[x], e
construmos uma extenso finita de F que contenha uma raiz de g; assim prosseguindo, em
um nmero finito de etapas obtemos uma extenso de k contendo todas as razes de p. 
Se temos uma coleo finita de polinmios, ento uma aplicao sucessiva do teorema de
Kronecker nos fornece uma extenso com todas as razes desses polinmios. A demonstrao para uma coleo infinita mais elaborada, necessariamente envolve o Lema de Zorn
e, sorrateiramente, a omitimos; referncias: [Lang02], [Morandi96].
Um corpo F algebricamente fechado se cada polinmio no-constante em F[x] possui
uma raiz em F. O corpo dos nmeros complexos um exemplo. Um fecho algbrico de um
corpo k um corpo algebricamente fechado F tal que a extenso F k algbrica.
Fechos algbricos sempre existem e so, essencialmente, nicos:
Teorema 11.2. Seja k um corpo qualquer. Ento k possui um fecho algbrico. Ainda, se
F e F 0 so dois deles, ento existe um k-isomorfismo F F 0 .

Dada a unicidade, usualmente denotamos um fecho algbrico de k por k.

Exemplo 11.3. O corpo C um fecho algbrico do corpo R dos nmeros reais. Porm,
Co
C no um fecho algbrico de Q, j que a extenso transcendente. De fato, Q
conjunto de todos os nmeros algbricos.
enumervel. Vale que Q
R? O que voc tem a dizer
Exerccio 11.4. Mostre que Q

sobre a dimenso do corpo Q como Q-espao vetorial?

11.2. O teorema fundamental da lgebra. Como uma aplicao da teoria de Galois,
provamos agora que todo polinmio complexo no-constante possui uma raiz complexa.
A prova que apresentamos aqui repousa sobre um fato topolgico: a reta real conexa
(suspeito que qualquer prova deva envolver esse fato, ainda que indiretamente apreciaria
muito se voc puder me dizer algo mais profundo a respeito), o que implica que todo
polinmio real de grau mpar possui uma raiz real.
Para polinmios de grau pequeno no h muito a fazer.

LGEBRA III - 12 AGOSTO 2013

33

Exerccio 11.5. Todo polinmio de grau 2 com coeficientes complexos possui uma raiz
em C. Em particular, no existem extenses de C de grau 2.
Teorema 11.6 (Fundamental da lgebra). O corpo dos nmeros complexos algebricamente fechado.
Demonstrao: Suponha que u algbrico sobre C e seja N o fecho normal da extenso
C(u) R. Ento N R uma extenso galoisiana finita, digamos com grupo de Galois
G.
Sejam H o 2-subgrupo de Sylow de G e F = NH o seu corpo fixo. O ndice [G : H]
igual ao grau da extenso F R, e logo um nmero mpar. Portanto, dado v F, o seu o
polinmio mnimo sobre R tem tambm grau mpar e consequentemente, pelo Teorema do
Valor Intermedirio, possui uma raiz em R. Isso mostra que v R. Conclumos F = R, ou
seja, H = G, e logo |G| uma potncia de 2.
Afirmamos que |G| = 2: caso contrrio, tomaramos um subgrupo no-trivial dentro do
2-grupo G de ndice 2 e teramos, pela correspondncia de Galois, uma extenso de grau 2
de C, contradio com o resultado do Exerccio 11.5.
Finalmente, segue da nossa afirmao que N = C e da que u C, demonstrando
portanto que C algebricamente fechado.

12. a caracterstica de um corpo
Seja k um corpo. Existe um homomorfismo natural : Z k, dado por
n 7 n 1k = 1k 1k

(|n| vezes).

Denote por D = (Z) sua imagem. O ncleo de um ideal de Z e logo da forma pZ

D e D um domnio (pois D k), ento p
para algum inteiro p 0. Como Z/pZ =
zero ou um nmero primo.
O nmero p definido como sendo a caracterstica do corpo k. De maneira equivalente,
a caracterstica de k o menor nmero p tal que, em k, 1 + + 1 (p vezes) igual a zero,
sendo 0 se isso no acontece. Notao: car k := p.
Z. Tomando o
Suponha que k tenha caracterstica zero. Ento injetivo e logo D =
corpo de fraes, conclumos que k contm uma cpia isomorfa do corpo Q dos nmeros
racionais. Se car k > 0, ento D um corpo e portanto k contm um corpo com p
elementos, a saber, uma cpia de Z/pZ.
O corpo primo k0 de k definido como o menor corpo contido k, isto , a interseo
de todos os subcorpos de k. Seja F k0 o corpo de fraes da imagem do homomorfismo
: Z k0 como acima. Sendo F um subcorpo de k, temos, por definio, que k0 F e
logo F = k0 . Assim, os nicos corpos primos existentes, a menos de isomorfismos, so Q e
Z/pZ, p primo. De agora em diante batizamos o nico corpo com p elementos por Fp .
12.1. Corpos finitos. Um corpo finito se possui to somente um nmero finito de elementos. Estes corpos so importantes tanto do ponto de vista terico como para aplicaes.
Seja F um corpo finito. Observe que F possui caracterstica positiva, uma vez que no
contm uma cpia de Q. Ento F Fp para algum primo p e logo F um Fp -espao

34

NIVALDO MEDEIROS

vetorial de dimenso finita, digamos dimFp F = n. Segue da que F isomorfo, como

Fp -espao vetorial, ao produto direto de n cpias, Fp Fp , e portanto possui pn
elementos. Provamos assim que a cardinalidade de qualquer corpo finito uma potncia
de um nmero primo. Por exemplo, no existem corpos com 10 ou 36 elementos.
O conjunto F das unidades de F um grupo multiplicativo, de ordem pn 1. Pelo
n
teorema de Lagrange, temos que ap = a para cada a F. Assim, se F um fecho
n
algbrico de F e S F o conjunto das razes do polinmio xp x, ento F S e como
|S| pn , temos que F = S.
Reciprocamente, sejam dados um primo p e
um inteiro n 1. Seja F um fecho algbrico
de Fp . Sendo p primo, temos que p divide pi para cada i = 1, . . . , p 1 e logo
(a + b)p = ap + bp
para quaisquer a, b F. Indutivamente, obtemos
n

(a + b)p = ap + bp

(n 1).
n

Seja agora S F o conjunto das razes do polinmio xp x. Note que 0, 1 S. Mais

ainda, dados a, b S, segue da identidade acima que
a + b,

a,

ab,

e 1/a (a 6= 0)

so tambm elementos de S. Portanto S um subcorpo de F. Por outro lado, como as

n
razes de xp x so distintas duas a duas (provaremos a seguir), temos que S possui pn
elementos. Em resumo, acabamos de demonstrar:
Teorema 12.1. Seja p um primo e n um inteiro positivo. Ento, fixado um fecho algbrico
de Fp , existe exatamente um nico corpo finito com pn elementos, denotado Fpn , que dado
n
pelas razes do polinmio xp x.
Finalmente, como pm 1 divide pn 1 se e somente se m | n, temos que (considerando
os grupos de unidades Fpm e Fpn ):
Fpm Fpn m | n.
13. o teorema do elemento primitivo
Dizemos que u F um elemento primitivo sobre um corpo k se F = k(u). Seu
pressentimento est correto: nem toda extenso admite um elemento primitivo. Mas isto
ocorre em uma situao bem geral, um resultado muito til.
Teorema 13.1 (Elemento primitivo). Seja F k uma extenso finita e separvel. Ento
existe w F tal que F = k(w).
Demonstrao: A prova se divide em dois casos. No primeiro, supomos que k um corpo
finito. Ento F tambm um corpo finito e logo basta tomar w como um gerador do grupo
multiplicativo F (que cclico).

LGEBRA III - 12 AGOSTO 2013

35

Assuma k infinito. Comeamos com o caso em que F gerado por apenas dois elementos,
digamos F = k(u, v). Sejam f, g k[x] os polinmios minimais de u, v sobre k e {u =
u1 , . . . , ur } e {v = v1 , . . . , vs } as razes desses polinmios. Escolha c k tal que
u + cv 6= ui + cvj
para todo i e todo j 2, ou seja, escolha c fora do conjunto finito
{(ui u)/(v vj ) | i = 1, . . . , r, j = 2, . . . , s}.
Tome w = u + cv. Ento v uma raiz dos polinmios g(x) e f(w cx), que esto em
k(w)[x]. Seja h o polinmio minimal de v sobre k(w). Ento h divide tanto g(x) como
f(w cx); por outro lado, segue da escolha de c que v a nica raiz comum de g(x) e
f(w cx) e, como h separvel, obtemos h = x v. Conclumos que v e a posteriori u,
esto em k(w), o que termina este caso.
Para o caso geral: como F k uma extenso finita, temos F = k(u1 , . . . , un ) onde
cada ui algbrico sobre k. Aqui basta aplicar sucessivamente o caso anterior s extenses
k k(u1 , u2 ) k(u1 , u2 , u3 ) = k(w, u3 ) . Convido voc a preencher os detalhes. 
A demonstrao fornece um mtodo para encontrar um elemento primitivo.


Exerccio 13.2. Encontre elementos primitivos para as extenses Q( 2, 3) e Q( 2, 3, 5)
sobre os nmeros racionais.
e

36

NIVALDO MEDEIROS

14. concorrncia amistosa

H timas referncias para aprender mais sobre o assunto. A lista apresentada nas referncias no completa: qualquer tentativa seria pelo menos injusta. Alguns comentrios:
Emil Artin [Artin66] o clssico, um primor de simplicidade e elegncia; Serge Lang (um
aluno de Artin) [Lang02] semi-enciclopdico; Patrick Morandi [Morandi96] moderno,
bem escrito, apontando conexes com tpicos mais avanados; John Stillwell [Stillwell94]
ligeiro, traz consigo algo de histria; David Cox [Cox12] recente, com vis computacional
e de rara riqueza em exemplos e construes clssicas; e o artigo da Wikipedia [Wiki]
quase obrigatrio: a ponta de um novelo que traz prazer ao puxar, seja pela matemtica,
seja por conhecer mais do drama que pairou, insistente, sobre a curta vida de Galois.
Enfim, minha predileo recai sobre Galois Theory, de Ian Stewart [Stewart03] e Algebra,
de Michael Artin [Artin91], duas delcias explcitas de leitura.
Referncias
[Artin66] E. Artin, Galois Theory, Notre Dame Mathematical Lectures Number 2, 1966.
[Artin91] M. Artin, Algebra, Prentice-Hall, 1991.
[BSW02] B.C. Berndt, B.K. Spearman and K.S. Williams, Commentary on a unpublished lecture by G.N.
Watson on solving the quintic. Mathematical Intelligencer 4(24), 1 533, 2002.
[Cox12] D. Cox, Galois Theory, 2nd. edition, John Wiley & Sons, 2012.
[GL02] A. Garcia, Y. Lequain, Elementos de lgebra, Projeto Euclides, IMPA, 2002.
[Herstein75] I. Herstein, Topics in Algebra, 1975.
[Kaplansky69] I. Kaplansky, Fields and Rings, University of Chicago Press, 1969.
[Rotman98] J. Rotman, Galois Theory, (New York, 1998).
[Rowen95] L. Rowen, Algebra: Groups, Rings, and Fields, A. K. Peters, Ltd., 1995.
[Morandi96] P. Morandi, Field and Galois Theory, GTM 167, Springer-Verlag, 1996.
[Lang02] S. Lang, Algebra, GTM 211 (Revised third ed.), Springer-Verlag, 2002.
[Galois] E. Galois, uvres Mathmatiques, Journal de Liouville, 1846.
[Stewart03] I. Stewart, Galois Theory, Chapman & Hall, 2003.
[Stillwell94] J. Stillwell, Elements of Algebra, UTM, Springer, 1994.
[Tignol88] J.-P. Tignol, Galois Theory of Algebraic Equations, Longman, New York, 1988.
[Vilella] M. L. Vilella, Notas de aula para o curso de lgebra III, UFF, 2010.
[Wiki] Wikipedia, variste Galois: pt.wikipedia.org/wiki/variste_Galois