TCCB Karina Cruz

Universidade Federal de So Carlos
Centro de Cincias Exatas e de Tecnologia

Departamento de Matemtica
Introduo Teoria de Galois
Autor:
Karina Branco da Cruz
Orientador:
Waldeck Schtzer
Disciplina: Trabalho de Concluso do Curso B
Curso:
Licenciatura e Bacharelado em Matemtica
Professores Responsveis:
Karina Schiabel
Sadao Massago
Vera Lcia Carbone
So Carlos, 14 de maro de 2014.
Introduo Teoria de Galois
Autor:
Orientador:
Waldeck Schtzer
Disciplina: Trabalho de Concluso do Curso B
Curso:
Licenciatura e Bacharelado em Matemtica
Professores Responsveis:
Karina Schiabel
Sadao Massago
Vera Lcia Carbone
Instituio:
Universidade Federal de So Carlos

Centro de Cincias Exatas e de Tecnologia
Departamento de Matemtica
So Carlos, 14 de maro de 2014.
Waldeck Schtzer
Ao Edson, meu pai.
Agradecimentos
Agradeo,
Deus, primeiramente, por me guiar a esta carreira acadmica, e ainda manter-me

interessada diante a tantas diculdades.
minha famlia (minha me Rosana, meu pai Edson e meus irmos: Igor e Vitor),
pela devoo e suporte desde o meu nascimento.
Ao Klley Menezes Carvalho Alves, por toda dedicao, companheirismo e estmulo

que tornaram possvel esta realizao.
Aos meus estimados amigos, pela partilha de toda e qualquer emoo.
todos os professores, pela contribuio minha formao.
Em especial, ao Professor Waldeck Schtzer, pela conana, prazerosa oportunidade

de aprendizado e excelente forma de ndar meu curso.
Resumo
Assim como no Trabalho anterior, espera-se que este ajude a revisar, consolidar e
fundamentar melhor os conhecimentos algbricos obtidos em disciplinas do Curso de Licenciatura e Bacharelado em Matemtica, atravs do estudo sistemtico, ainda que de
forma introdutria, da formidvel Teoria desenvolvida por variste Galois. Teoria esta,
que se tem mostrado imprescindvel para comprovao decisiva da no solubilidade de
equaes polinomiais de grau maior ou igual a cinco. Ademais, por sua grande abrangncia, a mesma encontra inmeras outras aplicaes interessantes na, e fora da Matemtica.
A sua complexidade, exige um cuidadoso estudo de conceitos bsicos da lgebra, como
tambm dos da Teoria de Extenso de Corpos. E este cuidado, encontramos na consistncia do Trabalho de Concluso de Curso A. Agora, especicamente para o Trabalho de
Concluso de Curso B, entendemos o importante Teorema da Correspondncia de Galois
e sua consequncia esplndida na no solubilidade das equaes polinomiais de grau maior
ou igual a cinco.
Sumrio
1 Conceitos Bsicos da lgebra
1.1
Anel, Corpo, Subanel e Subcorpo - Denies e Exemplos . . . . . . . . . .
1.2
Homomorsmo de Anis
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3
Nmeros Complexos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4
Relao de Equivalncia
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5
Resolvendo Equaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.6
Soluo por radicais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.6.1
Equaes Lineares
1.6.2
Equaes Quadrticas
. . . . . . . . . . . . . . . . . . . . . . . . .
10
1.6.3
Equaes Cbicas . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
. . . . . . . . . . . . . . . . . . . . . . . . . . .
1.7
Peculiaridades da Frmula de Cardano
. . . . . . . . . . . . . . . . . . . .
12
1.8
Equaes Qurticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
1.9
Equaes Qunticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
2 O Teorema Fundamental da lgebra
17
2.1
Equaes Polinomiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
2.2
Teorema Fundamental da lgebra . . . . . . . . . . . . . . . . . . . . . . .
19
2.3
Implicaes
22
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3 Fatorao de Polinmios
3.1
O Algoritmo Euclidiano
3.2
25
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
25
Irredutibilidade
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
3.3
Lema de Gauss
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
32
3.4
Critrio de Eisenstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
3.5
Reduo Mdulo
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4 Extenses de Corpos
35
37
4.1
Expresses Racionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
40
4.2
Extenses Simples
40
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5 Extenses Simples
5.1
43
O Polinmio Minimal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ix
44
SUMRIO
SUMRIO
5.2
Extenses Algbricas Simples
. . . . . . . . . . . . . . . . . . . . . . . . .
46
5.3
Classicando Extenses Simples . . . . . . . . . . . . . . . . . . . . . . . .
48
6 O Grau de uma Extenso

6.1
A Lei da Torre
51
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7 Construes com Rgua e Compasso
52
57
7.1
Formulao Algbrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
57
7.2
Impossibilidade de Provas
61
. . . . . . . . . . . . . . . . . . . . . . . . . . .
8 Normalidade e Separabilidade
63
8.1
Corpos de Decomposio . . . . . . . . . . . . . . . . . . . . . . . . . . . .
63
8.2
Normalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
66
8.3
Separabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
68
9 Automorsmos de Corpos
71
9.1
K-
9.2
Corpos Intermedirios: Corpos Fixos e Grupos de Galois - Uma olhadela
72
9.3
Fecho Normal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
73
Monomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10 A Correspondncia de Galois
71
79
10.1 O Teorema Fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . .
79
11 Um exemplo prtico
83
12 Solubilidade e Simplicidade
89
12.1 Grupos Solveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
89
12.2 Grupos Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
92
12.3 Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
95
13 Soluo por radicais

13.1 Extenses Radicais
97
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
97
13.2 Uma quntica insolvel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
14 O Polinmio Geral
105
14.1 Graus Transcendentes
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
14.2 Polinmios Elementares Simtricos
. . . . . . . . . . . . . . . . . . . . . . 107
14.3 O Polinmio Geral
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
14.4 Extenses Cclicas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
Referncias Bibliogrcas
113
Lista de Figuras
1.1
Ilustrao demonstrando que ortogonalidade no relao de equivalncia .
7.1
A construo do ponto mdio do segmento
7.2
Equao da reta
7.3
A construo de pontos a partir de pontos como interseco da reta
AB
P1 P2
. . . . . . . . . . . . . . .
58
obtida por meio da semelhana de tringulos . . . . .
59
com o crculo de centro

11.1 O grupo de Galois de
D8
e raio
AB
dados . . . . . . . . . . . . . . . . . . .
60
interpretado como grupo de simetrias do quadrado. 85
11.2 Reticulado de subgrupos. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
86
11.3 Reticulado de corpos intermedirios.
86
13.1 Grco da polinomial
t5 6t + 3.
. . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . 103
xi
Lista de Tabelas
11.1
11.2
Q-automorsmos
Q-automorsmos
de
de
K. .
A .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
84
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
87
13.1 Estratgia da demonstrao. . . . . . . . . . . . . . . . . . . . . . . . . . . 100
xiii
xiv
Introduo
Segundo Eves (2011, [2]), variste Galois, pode ser considerado como um meteoro, que
riscou o rmamento matemtico com brilho intenso e matinal, para depois, sbita e pateticamente, extinguir-se em morte prematura, deixando material de valor extraordinrio
para ser trabalhado pelos matemticos das geraes futuras.
Tal material, teve seu incio de produo durante a adolescncia de Galois, quando este,
passou a construir uma teoria com aplicaes sobretudo teoria das equaes algbricas.
Um dos resultados mais salientes desta teoria a impossibilidade de resoluo por meio
de radicais de equaes gerais de grau maior ou igual a cinco.
Em busca de uma linguagem conveniente que permitisse capturar a essncia do problema da resolubilidade de equaes algbricas, Galois foi levado a considerar o conjunto
das permutaes das razes da equao, essencialmente desenvolvendo a ideia de grupo,
um conceito at ento no formalizado. Foi ele quem utilizou o termo grupo pela primeira vez no seu sentido tcnico atual.
A expresso do problema de construir solues para equaes partindo dos coecientes
convenientemente realizada atravs do conceito de extenso de corpos. Um resultado
fundamental da Teoria de Galois arma que existe uma correspondncia entre os subgrupos do grupo de Galois de uma equao e os subcorpos do corpo das razes desta equao.
A teoria das extenses, desenvolvida no Trabalho de Concluso de Curso A, teve como
aplicao imediata a demonstrao na negativa das assim chamadas impossibilidades clssicas: a quadratura do crculo, a trisseco de um ngulo qualquer e a duplicao de um
cubo, usando apenas rgua e compasso.
O estudo da Teoria de Galois particularmente interessante por motivar um estudo
mais aprofundado de duas grandes sub-reas da lgebra: a Teoria dos Grupos e a Teoria
dos Corpos.
Deste modo, o trabalho em questo, cujo objetivo imediato o de consolidar e aprofundar alguns dos conceitos algbricos mencionados acima, dividiu-se primeiramente, em
Trabalho de Concluso de Curso A, contemplando os seguintes captulos: Conceitos Bsicos da lgebra, O Teorema Fundamental da lgebra, Fatorao de Polinmios, Extenses
de Corpos, Extenses Simples, O Grau de uma Extenso e Construes com Rgua e Compasso; e, em Trabalho de Concluso de Curso B, abrangendo os captulos: Normalidade
e Separabilidade, Automorsmos de Corpos, A Correspondncia de Galois, Um exemplo
prtico, Solubilidade e Simplicidade, Soluo por Radicais e O Polinmio Geral.
xv
O captulo inicial apresenta alguns conceitos da lgebra clssica fundamentais para

a futura compreenso da Teoria de Galois (foco do trabalho).
Como tambm, exibe
um panorama geral do signicado da solubilidade por radicais de equaes polinomiais e

instiga a pensarmos sobre a impossibilidade desta, em equaes de grau maior ou igual a
cinco.
Os captulos seguintes, dois e trs, de um modo geral, retomam conceitos e propriedades importantes de polinmios (e portanto, de equaes polinomiais). Dentre o que
estes abrangem, o Teorema Fundamental da lgebra merece destaque, uma vez que, este
responsvel por responder a seguinte pergunta: existe alguma equao polinomial com coecientes em
C que no possui raiz sobre C?
E ao respond-la, mostrar a no necessidade
de extenso do corpo dos nmeros complexos.

Enquanto que os demais captulos: Extenses de Corpos, Extenses Simples e O Grau
de uma Extenso, so responsveis por introduzir parte do que contempla a Teoria de
Extenses de Corpos, que como j mencionado, consequncia imediata de um estudo da
Teoria de Galois.
O ltimo captulo referente ao Trabalho de Concluso de Curso A, intitulado Construes com Rgua e Compasso, tem como propsito aplicar a Teoria anteriormente descrita
e solucionar o problema das impossibilidades clssicas, que h muito, perturbaram os
gregos.
Quanto ao Trabalho de Concluso de Curso B, temos seu incio no oitavo captulo.
Neste, as propriedades de certo modo complementares, normalidade e separabilidade, so
expressas, exemplicadas e devidamente compreendidas em virtude da posterior necessidade no Teorema da Correspondncia de Galois. O trabalho prossegue apresentando o
K -automorsmo e construindo o mesmo a partir da exigncia da sobrejetivium K -monomorsmo, conceito este, que imprescindvel para o entendimento
conceito de
dade de
do Grupo de Galois de uma Extenso.

Os captulos dez e onze, contemplam o auge deste Trabalho. Neles juntamos as peas
do quebra-cabeas belssimo proposto por Galois e exemplicamos o mesmo de modo a
tornar esta Teoria digervel.
Por m, os trs captulos nais, Solubilidade e Simplicidade, Soluo por Radicais
e O Polinmio Geral (respectivamente), englobam o contudo j discutido e mostram o
porqu de uma quntica no ser resolvvel por radicais.
xvi
Captulo 1
Conceitos Bsicos da lgebra
Antes de iniciarmos nosso trabalho com a Teoria de Galois, apresentaremos alguns
conceitos da lgebra, fundamentais para posterior compreenso. Deste modo, entenderemos o conceito de anel, corpo, subanel, subcorpo, homomorsmos (em suas variedades,
por exemplo, monomorsmos), nmeros complexos, relaes de equivalncia, classes de
equivalncia, equaes e seus mtodos de resolues, como tambm solues por meio de
radicais.
1.1 Anel, Corpo, Subanel e Subcorpo - Denies e

Exemplos
Denio 1.1.1. Seja A um conjunto no vazio onde estejam denidas duas operaes,
as quais chamaremos de adio e multiplicao em A e denotaremos por + e . Assim,
+:AAA
:AAA
(a, b) a + b
(a, b) a b
Chamaremos (A, +, ) um anel se as seguintes seis propriedades so satisfeitas, quaisquer que sejam a, b, c A:
A1) Associatividade da adio: (a + b) + c = a + (b + c);
A2) Existncia do elemento neutro para a adio: 0 A tal que a + 0 = 0 + a = a;
A3) Existncia do inverso aditivo: x A existe um nico y A, denotado por y = x,
tal que x + y = y + x = 0;
A4) Comutatividade da adio: a + b = b + a;
M1) Associatividade da multiplicao: (a b) c = a (b c);
1
1.1 Anel, Corpo, Subanel e Subcorpo - Denies e Exemplos

D) Distributividade esquerda: a (b + c) = a b + a c
Distributividade direita: (a + b) c = a c + b c.
Alm das propriedades que o caracterizam, um anel pode possuir (no necessariamente)
outras propriedades:
M2) 1 A, 0 6= 1, tal que, x 1 = 1 x = x, x A, e neste caso, dizemos que
(A, +, ) um anel com unidade.
M4) x, y A, x y = y x, e assim, (A, +, ) um anel comutativo.
DZ) x, y A, x y = 0 x = 0 ou y = 0, em que, (A, +, ) dito ser um
anel sem divisores de zero.
Se (A, +, ) um anel comutativo, com unidade e sem divisores de zero, dizemos que
(A, +, ) um domnio de integridade.
Finalmente, se um domnio de integridade (A, +, ) satisfaz a propriedade:
M 3)
x A, x 6= 0, y A, tal que, x y = y x = 1,
dizemos que (A, +, ) um corpo.
Denio 1.1.2 (Subanis). Seja (A, +, ) um anel e B um subconjunto no vazio de A.

Suponhamos que B seja fechado para as operaes + e de A, isto ,
(i) x, y B x + y B ;
(ii) x, y B x y B .
Assim podemos considerar a adio e a multiplicao de A como operaes de B . Se
(B, +, ) for um anel com estas operaes, dizemos que B um subanel de A.
Proposio 1.1.3. Seja (A, +, ) um anel e seja B um subconjunto de A. Ento, B

um subanel de A, se, e somente se, as seguintes condies so vericadas:
(i) O elemento neutro de A pertence a B : 0 B ;
(ii) B fechado para a diferena: x, y B x y B ;
(iii) B fechado para o produto: x, y B x y B .
Demonstrao.
A demonstrao de tal proposio, pode ser consultada em [3].
Denio 1.1.4. Se (A, +, ) um corpo, um subconjunto B de A dito ser um subcorpo,

se este um subanel de A, e alm disso, se x B, x 6= 0, ento x1 B .
Exemplos 1.1.5. Contemplaremos alguns exemplos dos conceitos anteriormente denidos de um modo supercial, o leitor curioso poder consultar detalhes em livros de lgebra,
como por exemplo, [3] e [4].
1. Se A for o conjunto de todas as matrizes reais 2 2, com as operaes usuais, isto

,
(
!
)
A=
a b
c d
: a, b, c, d R ,
temos que A um anel no comutativo com unidade e com divisores de zero. Podemos generalizar tal fato a M atn (R);
2. Se F(R) o conjunto das funes f : R R, denido com as operaes usuais,
ento F um anel comutativo com unidade e com divisores de zero;
3. Z, o conjunto dos nmeros inteiros, um domnio de integridade;
4. n Z, com n 2 (n N), so exemplos de anis comutativos sem unidade;
5. Zn , com n 2 (n N) e no primo, so um anis comutativos com divisores de
zero. Em particular, Z6 = {0, 1, 2, 3, 4, 5} o . Note que, 2 3 = 6 = 0, ou seja, 2, 3
so divisores de zero em Z6 ;
6. Z[ p] = {a + b p : a, b Z} com p primo um domnio de integridade;

7. Zp com p primo um corpo;
8. Q, R e C so exemplos de corpos;
9. Como Q C temos que Q um subcorpo de C, e portanto, um subanel do mesmo.
1.2 Homomorsmo de Anis

O conceito de extenso, crucial para o desenvolvimento da Teoria de Galois, exige o
conhecimento de algumas funes especcas entre corpos, de um modo mais geral, entre
anis. Para tanto, vejamo-nas brevemente.
Denio 1.2.1. Sejam A e A0 dois anis. Denotemos (por comodidade), as operaes

de ambos anis pelos smbolos + e ; 0 para o elemento neutro de A; 00 , para o, de A0 ; 1
para a unidade de A (caso este possua), e 10 , para a, de A0 .
Uma funo f : A A0 diz-se um homomorsmo de A em A0 se satisfaz as seguintes
condies:
(i) f (x + y) = f (x) + f (y),
(ii) f (x y) = f (x) f (y),
x, y A;
x, y A.
Denio 1.2.2. Se f : A A0 for um homomorsmo injetor, dizemos que f um

monomorsmo.
1.3 Nmeros Complexos
Denio 1.2.3. Se f : A A0 for um homomorsmo bijetivo, dizemos que f um

isomorsmo. E portanto, os anis A e A0 so isomorfos, donde escrevemos A ' A0 .
Denio 1.2.4. Os homomorsmos f : A A so chamados tambm de endomorsmos

de A, j os isomorsmos de A sobre si mesmo so chamados de automorsmos de A.
Proposio 1.2.5. Sejam A e A0 anis. Seja f : A A0 um homomorsmo. Ento,

(a) f (0) = 00 ;
(b) f (a) = f (a),
a A;
(c) Se A e A0 so domnios de integridade, ento ou f a funo constante zero, ou

f (1) = 10 ;
(d) Se A e A0 so corpos, ento ou f a funo constante zero, ou f injetiva (isto ,
f um monomorsmo).
Demonstrao.
Esta demonstrao pode ser encontrada em [3].
Partindo da ideia de trabalho com algo mais palpvel, deniremos Grupos de Galois
e toda a Teoria de Galois para nmeros complexos, para futuramente apresentarmos de
um modo mais simplicado uma viso abstrata dos mesmos.
Podemos entender as extenses naturais em inteiros, em racionais, em reais e em
complexos como uma necessidade de resolver mais equaes. Este um ponto crucial da
Teoria de Galois, que determina a solubilidade ou no de uma equao polinomial.
Sendo assim, a ideia de nmero complexo surge da necessidade de resoluo de certas
equaes. Mais especicamente, do encontro das razes da equao
possui soluo em
x2 + 1 = 0 ,
que no
(notar que o discriminante um nmero negativo, e no temos
denida raiz de um nmero negativo em
R).
1.3 Nmeros Complexos

Podemos representar um nmero complexo de trs maneiras equivalentes: algbrica,
matricial e geomtrica.
z C, dizemos que sua forma algbrica dada por: z = x + iy ,

y = Im(z); ou ainda, como par ordenado representado no plano R2 ,
Dado um nmero
x = Re(z)
z = (x, y).
onde
J a forma matricial, com
x = Re(z), y = Im(z),
z=
x y
y x
!
.
tem o seguinte aspecto,
z = (cos() + i sen()), obtida considerando

= x2 + y 2 como sendo o mdulo do nmero complexo z = x + iy e [0, 2], o
y
x
e sen() =
.
argumento do ngulo, em que, cos() =
Por m, temos a forma geomtrica,
Notemos que a equivalncia destas trs formas de representao de um nmero complexo proveniente de isomorsmos, pela forma que denimos as formas matricial e
geomtrica, temos claramente o isomorsmo entre estas e a forma algbrica. Os demais
isomorsmos so obtidos por meio de composio destes j conhecidos.
Uma maneira intuitiva de denir o signicado de
algbrica como um conjunto de
R2 ,
considerar
na sua forma
isto , de todos os pares de nmeros reais
(x, y),
com
as operaes:
(x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 )

(x1 , y1 ) (x2 , y2 ) = (x1 x2 y1 y2 , x1 y2 + x2 y1 )
(x, 0), com x R, e
(x, y) se torna x + iy .
Assim, identicamos um nmero real como sendo da forma

que
R C;
ainda, denimos
i = (0, 1).
Consequentemente,
vemos
i2 = (0, 1) (0, 1) = (0 0 1 1, 0
1 + 0 1) = (1, 0) = 1, logo, i = 1. Notemos que i = (0, 1) no da forma (x, 0)
real, o que de fato no deveria ser, pois no h raiz real de 1.
O modo como denimos as operaes implicam que
1.4 Relao de Equivalncia

A importncia desta seo no decorrer do trabalho, ser evidenciada quando falarmos
sobre a congruncia mdulo
n,
sendo
um inteiro positivo; algo presente inclusive no
ltimo captulo sobre Construes com Rgua e Compasso.

Suponhamos que em um conjunto
mentos de
x R x0
A.
Se
x, x A
escreveremos
esteja denida uma relao entre pares de ele-
xRx0
se
estiver relacionado com
x0
por
R,
caso contrrio.
Denio 1.4.1
(Relao de Equivalncia)
. Seja A um conjunto e seja R uma relao
entre pares de elementos de A. Dizemos que R uma relao de equivalncia em A se as

seguintes propriedades so vericadas quaisquer que sejam x, x0 , x00 A:
1. Reexiva: xRx;
2. Simtrica: se xRx0 ento x0 Rx;
3. Transitiva: se xRx0 e x0 Rx00 ento xRx00 .
Usaremos
quando a relao for de equivalncia.
1.4 Relao de Equivalncia
Exemplos 1.4.2.
1. Uma relao de equivalncia trivial a de igualdade sobre qualquer conjunto numrico;
2. A relao de ortogonalidade sobre o conjunto de retas do plano no de equivalncia,
pois no reexiva e nem transitiva como pode ser visto na Figura 1.1.
s
= 90
r
= 90
Figura 1.1: Ilustrao demonstrando que ortogonalidade no relao de equivalncia
em que r s, s t, porm t k r.
3. Pode ser mostrado facilmente que a relao de paralelismo de equivalncia.
4. Seja f : A B uma funo, denamos uma relao de equivalncia no domnio A
da f , do seguinte modo:
x, x0 A, x x0 se f (x) = f (x0 ).
Veriquemos as trs propriedades (reexiva, simtrica e transitiva) para vermos de

fato que esta uma relao de equivalncia:
(a) Dado x A, x x, pois f (x) = f (x), j que f funo;
(b) Dados x, x0 A, se x x0 , ento f (x) = f (x0 ), e como a igualdade simtrica,
conclumos que x0 x;
(c) Dados x, x0 , x00 A, se x x0 e x0 x00 , ento f (x) = f (x0 ) e f (x0 ) = f (x00 ),
e usando a transitividade da igualdade, conclumos a transitividade da relao
em questo.
Denio 1.4.3
(Classe de Equivalncia)
. Seja uma relao de equivalncia em um
conjunto A, e seja x A. Denamos a classe de equivalncia x do elemento x em
relao a , como o conjunto de todos os elementos a A relacionados a x, isto ,

x = {a A : a x}.
Proposio 1.4.4. Seja uma relao de equivalncia em um conjunto A e sejam x, y

A. Ento,
1. x = y x y ;
2. x 6= y x y = ;
3.
x = A.
xA
Ou seja, uma relao de equivalncia dene uma partio.

Demonstrao.
1. () Sejam
Como
x = y.
de equivalncia,
() Sejam
Como
x, y A
x, y A
x y,
xx
x y.
temos que
Temos de mostrar que

e
x = y x y x y.
Temos de mostrar que
x y,
x y.
e portanto,
x y.
x = y.
Simetricamente,
y x.
Donde,
conclumos a igualdade desejada.
2. Suponhamos
x, y A e x 6= y .
item anterior, conseguimos que
x
SxA
x.
A
segue que
que
x = A. De fato, temos primeiramente que

xA
A. Reciprocamente, temos que x x, x
3. Vamos provar que
a x y ento a x e a y . Assim, x y . Pelo

x = y , o que contraria a hiptese. Logo, x y = .
Se
x A, x A, da
A,
portanto, segue
xA
Exemplo 1.4.5. Seja A = Z, e n um nmero inteiro arbitrariamente xado.

Vamos denir uma relao de equivalncia em Z do seguinte modo:
x, x0 Z, x x0 x x0 e um m
ultiplo inteiro de n.
Veriquemos que esta uma relao de equivalncia:

1. Dado x Z, x x, pois x x = 0 = n 0;
2. Dados x, x0 Z, se x x0 , ento x x0 = n m para algum m Z. Ora,
(x0 x) = (x x0 ) = n m para o mesmo m Z, portanto, x0 x0 ;
1.5 Resolvendo Equaes

3. Dados x, x0 , x00 Z, se x x0 e x0 x00 , ento x x0 = n m para algum m Z e
x0 x00 = n p para algum p Z. Mas, (x x00 ) = (x x0 ) + (x0 x00 ) = n m + n p =
n (m + p) para m e p acima falados. Como o conjunto dos inteiros um domnio
de integridade, temos a validade da propriedade distributiva anteriormente usada,
como tambm o fechamento diante as operaes, isto , m + p Z, o que mostra
que x x00 .
Tal relao chamada congruncia mdulo n e denotada por (mod n).

Como, dado x Z, x = {a Z : a x(mod n)}, e a x a x = n k , para algum
k Z a = x + n k, k Z. Segue que x = {x + n k, k Z}.
Observe que se n = 0, temos que x = x e que (mod 0) nada mais do que a relao
de igualdade em Z. Por outro lado, se n > 0, a relao (mod n) nos proporciona n
classes distintas 0, 1, ..., n 1.
Denio 1.4.6 (Conjunto Quociente). Seja uma relao de equivalncia em um conjunto A. Chamamos de conjunto quociente de A pela relao de equivalncia , e denoA
tamos por , ao conjunto de todas as classes de equivalncia relativamente a .
Assim,
A
= {x : x A}.
Proposio 1.4.7. Seja uma relao de equivalncia em um conjunto A, e seja
A
,o
conjunto quociente de A por . Seja : A A denida por (x) = x, x A, chamada

de projeo cannica.
Ento a relao proveniente da funo .
Demonstrao.
(y),
De fato, basta observar que se
x, y A
temos
x y x = y (x) =
como queramos.
1.5 Resolvendo Equaes

A Histria da Matemtica nos mostra que a razo usual para a introduo de um novo
tipo de nmero a inadequao dos nmeros antigos para a soluo de alguns problemas
relevantes.
Por exemplo, o passo de
para
necessrio, uma vez que, equaes como,
t+7=2
no podem ser resolvidas para
t N.
Entretanto, tais equaes podem ser resolvidas em
Z.
Similarmente, o passo de
para
Q,
tornou possvel a resoluo da equao,
2t = 7.
E, de uma forma geral,
at + b = 0,
em que
a, b
so nmeros especcos e
um nmero desconhecido (ou varivel).
equaes so ditas lineares. E estas, vistas em subcorpos de

a
b
soluo nica t =
, quando a 6= 0.
a
O passo de Q para R relatado por
C,
Tais
podem ser resolvidas com
um tipo diferente de equao:
t2 = 2,
j que a soluo
t=
um nmero irracional.
Analogamente, o passo de
para
centrado na equao,
t2 = 1
que no tem solues reais, pois o conjunto dos nmeros reais um corpo bem ordenado,
e o quadrado de qualquer nmero real sempre um nmero positivo.
Equaes da forma,
at2 + bt + c = 0
so chamadas de equaes quadrticas. A frmula clssica para suas solues :
t=
com
b2 4ac
,
2a
a 6= 0.
Para os nmeros reais, a frmula faz sentido se
b2 4ac 0
e no se
b2 4ac < 0;
para os complexos, ela faz sentido em qualquer um dos casos. Para os racionais, esta faz
sentido apenas quando
b2 4ac
um quadrado perfeito.
1.6 Soluo por radicais

Entendendo soluo por radicais de uma equao polinomial, como sendo o encontro
de razes da mesma, por meio de apenas operaes elementares (adio, subtrao, multiplicao, diviso e radiciao), analisaremos nesta seo o comportamento especco dos
tipos de polinomiais.
1.6.1
Equaes Lineares
Sejam
a, b C,
com
a 6= 0.
Uma equao linear geral :
at + b = 0
10
1.6 Soluo por radicais
e a soluo claramente,
t=
1.6.2
b
.
a
Equaes Quadrticas
Sejam
a, b, c C,
com
a 6= 0.
Uma equao quadrtica geral ,
at2 + bt + c = 0.
a
Dividindo todos os membros por
e renomeando os coecientes, podemos considerar
tal equao equivalente a,
t2 + at + b = 0.
A maneira padro de resolver esta equao reescrev-la na seguinte forma, atravs
do completamento de quadrados (feito pelos Babilnios h 3600 anos):
a 2 a2
b;
=
t+
2
4
Extraindo a raiz quadrada,
r
a
a2
t+ =
b,
2
4
e ento,
1
t=
2
1.6.3
a 2
!
a2
b .
4
Equaes Cbicas
Sejam
a, b, c C.
Uma equao geral cbica da forma,
t3 + at2 + bt + c = 0,
Suponhamos primeiramente que
a 6= 0,
assim nosso primeiro passo para resolvermos
tal equao mudar a varivel para termos uma outra equao equivalente a esta, com
a = 0.
Faamos a mudana
y = t+
a
, e ento
3
t=y
a
. A equao com tal mudana
3
ca,

a 2
a
a 3
+a y
+b y
+c
3
3
3
a2 a3
a2 y a3
a
y3 y2a + y
+ ay 2 2
+
+ by b + c
3
27
3

3 3 9
2
a
a
a
a3
y3 + b
y+
+cb
3
9
3 27
3
y + py + q

= 0
= 0
= 0
= 0

onde

p= b
a2
3
q=
a3
9
11
+ c b a3
a3
27
Podemos, assim, assumir que toda equao cbica seja da forma

Donde, para encontrarmos a soluo
s,
y 3 + py + q = 0.
tentaremos a substituio
3
u + 3 v.
y=
Assim,
3
y 3 = ( 3 u + 3 v)
2
2
= u + 3( 3 u) 3 v + 3 3 u( 3 v) + v

= u + v + 3 3 u 3 v( 3 u + 3 v).
Ento a equao
y 3 + py + q = 0,
torna-se,

u + v + 3 3 u 3 v( 3 u + 3 v) + p( 3 u + 3 v) + q = 0

(u + v + q) + ( 3 u + 3 v)(3 3 u 3 v + p) = 0.
Escolhemos agora
de modo que:
u+v+q =0
e

3 3 u 3 v + p = 0,
o que implica em,
u + v = q
e
uv =
Multiplicando a Equao (1.1) por
(1.1)
p3
.
27
(1.2)
e substituindo a Equao (1.2), conseguimos,
u(u + v) u v = qu +
p3
27
que ao ser reorganizada, torna-se uma equao quadrtica:
u2 + qu
p3
= 0.
27
As solues desta equao so, respectivamente,
q
u=
2
q 2 p3
+ ,
4
27
12
1.7 Peculiaridades da Frmula de Cardano
q
v=
2
q 2 p3
+ .
4
27
Disto, encontramos
s
y=
q
+
2
q 2 p3
+
+
4
27
s
q

2
q 2 p3
+ ,
4
27
que chamada frmula de Cardano (por virtude de publicao).

Finalmente, lembrando que a soluo
t da equao original igual a y a3 , resolvemos
o problema.
1.7 Peculiaridades da Frmula de Cardano

Lembremos de que, sobre
cbicas. Se uma delas
A expresso para
y,
C,
qualquer nmero complexo
ento as demais so
no nulo possui trs razes
3
1
2
+
i
.
e . onde =
2
2
entretanto, aparece com nove solues da forma:
+ + + 2
+ + + 2
2 + 2 + 2 + 2
onde
so escolhas especcas das razes cbicas.
Entretanto, nem todas estas expresses so zeros. Se escolhermos
p = 0,
ento as solues so:
tal que
3 +
+ , + , + .
Outras peculiaridades emergem quando nos deparamos com equaes cujas solues
so conhecidas. Por exemplo,
y 3 +3y 36 = 0, que tem y = 3 como soluo.
Por Cardano,
temos
33
362 33
18 +
+
+ 18
+
4
27
4
27
v
v
s
s
u
u
2
2
u
u
36
36
3
3
t
t
=
18 +
+ 1 + 18
+1
2
2
q
q
3
3
=
18 + 325 + 18 325,
y =
362
que parece estar bem longe de 3.

Como Cardano observou em seu livro, isto piora.
t 15t 4 = 0,
resulta em
soluo por inspeo
A frmula homnima aplicada a
p
p
t = 3 2 + 121 + 3 2 121,
que contrasta com a
t = 4.
Estes pequenos erros de Cardano (que conscientemente os reconhecia), foram devidamente consertados por volta de 1560 com Raphael Bombelli e 1629 com Albert Girard.
13
1.8 Equaes Qurticas

t4 + at3 + bt2 + ct + d = 0.
t = y a4 , e obtemos:
Comeamos com,
y =t+
a
, donde
4
Fazemos a transformao de Tschirnhaus,

a 4
a 3
a 2
a
+d=0
+a y
+b y
+c y
4
4
4
4

a
a 3
a2
a3
a
a2
ca
2
3
2a
y
y
+b y y +
+ cy
+d = 0
+ a y 3y + 3y
4
4
4
16 64
2
16
4

a 3
a2
a3
a2
a3 a4
a
a2
a
2a
y
y 3y + 3y
+ay 3 3y 2 +3y +by 2 b y+b +cyc +d = 0
4
4
16 64
4
16 64
2
16
4

2
a3
a3
a4
3a
2a
y 3y + 3y
y y + 3y
3y +
+
4
16 64
4
16
64 64 4
a3
a4
a
a2
a
a2
+ ay 3 3y 2 + 3
+ by 2 b y + b + cy c + d = 0
4
16 64
2
16
4
2

3
4

a
a2
a
a3 ba
a
a4
a
a2
4
2
y + 6 3 +b y + +3
+ c y+
c +d+b
=0
16
4
16
16
2
64 4 64
4
16
4
Fazendo
3a
2a

3
2
2
3
p = 6 a16 3 a4 + b , q = a16 + 3 a16
ba
2
+c
r=
a4
644
a4
64
c a4 + d + b a16
podemos reescrever a equao na forma,
y2 +
p2
p 2
= qy r + .
2
4
Introduzimos agora um novo parmetro
u,
(1.3)
e observamos que:

2

p
p 2
p
y2 + + u
u + u2
= y2 +
+2 y+
2
2
2
p2
= qy r +
+ 2uy + pu + u2
4
onde na ltima igualdade usamos (1.3).
Escolhemos
de modo que o lado direito seja um quadrado perfeito. Se ele o , este
deve ser o quadrado de
2uy
q
2u,
2
r +
Equivalentemente, com
e ento,
p2
q2
+ pu + u2 =
.
4
8u
u 6= 0,
8u3 + 8pu2 + (2p2 8r)u q 2 = 0,
(1.4)
14
1.9 Equaes Qunticas
que cbica em
u.
Resolvendo pelo mtodo de Cardano, encontramos
2
p
q 2
+u =
2uy
2u
2
2

p
q
2
ento, y +
u =
2uy
2u . Finalmente, conseguimos
2
2
acima encontrando y .

u.
Agora,
y2 +
u = 0, no obtemos (1.4), mas se u = 0, ento q = 0,

y 4 + py 2 + qy + r = 0 quadrtica em y 2 , e pode ser resolvida
Se
resolver a quadrtica
e a equao qurtica
usando apenas razes
quadradas.
1.9 Equaes Qunticas

Podemos comear resolvendo uma quntica geral:
transformao de Tschirnhaus
a
y =t+
r
t5 + at4 + bt3 + ct2 + dt + e = 0.
reduz a equao acima para
y 5 + py 3 + qy 2 + ry + s = 0.
Entretanto, aplicando todas as estratgias comuns de resolues anteriores, obtemos
um impasse.
Lagrange, em 1770-1771, analisou todas as estratgias, e mostrou que eles podem ser
explicados usando princpios gerais sobre funes simtricas de razes. Quando ele aplicou
este mtodo a quntica, entretanto, ele descobriu que reduzia o problema a resolver uma
equao do sexto grau.
Uma fascinante descrio destas ideias, juntamente com um
mtodo para resolver qunticas, quando no solveis por radicais, pode ser encontrado
em anotaes de George Neville Watson e reescritas por Bernatt, Spearman e Willians
(2002).
Lagrange observou que todos os mtodos para resolver equaes polinomiais por radicais envolviam construo de funes racionais de razes que assumiam um pequeno
nmero de valores quando as razes
eram permutadas.
Proeminente atravs desta
expresso:
(j k )
j<k
: mais para as permutaes pares e menos para

2
Entretanto, = uma funo racional de coecientes.
que traz somente dois valores,

permutaes mpares.
as
Lagrange trabalhou nestas expresses para cbicas e qurticas, e percebeu um padro.

Por exemplo, se a polinomial cbica tivesse as razes
1 , 2 , 3
primitiva da unidade, ento a expresso
= (1 + 2 + 2 3 )
como a raiz cbica
15
tem exatamente dois valores distintos.
De fato, permutaes pares no a alteram, en-
quanto as mpares a transformam em
v = (1 + 2 2 + 3 ) .
Segue que
u+v
uv
so xadas pelas permutaes de razes e devem, ser expressas por
funes racionais de coecientes. Da,
uev
so solues da equao quadrtica, e podem
ser expressas por razes quadradas. Mas, o uso de razes cbicas expressa
1 +2 + 2 3 =
u e 1 + 2 2 + 3 = v por radicais. Por causa disso, ns tambm sabemos que

1 +2 +3 menos o coeciente do termo t2 , e temos trs equaes lineares independentes
em razes, o que facilmente resolvido.
Algo muito similiar funciona para a qurtica, com expresses como:
(1 + i2 + i2 3 + i3 4 ) .
Mas, quando tentamos a mesma ideia a quntica, um obstculo aparece.
as razes da quntica so
1 , 2 , 3 , 4 , 5 .
Seja
Suponha que
uma raiz quinta primitiva da unidade.
Segue de Lagrange, a considerao natural:
= (1 + 2 + 2 3 + 3 4 + 4 5 ) .
H 120 permutaes de cinco razes, e elas transformam
Alm disso,
em 24 expresses distintas.
uma raiz de uma polinomial de grau 24 - um passo bem distante.
A melhor maneira de resolver usar a expresso derivada de Arthur Cayley em 1861,

que baseada em uma ideia de Robert Hayley de 1859. A expresso
x = (1 2 + 2 3 + 3 4 + 4 5 + 5 1 1 3 2 4 3 5 4 1 5 2 )2
x admite seis valores quando as variveis so permutadas nas 120 maneiras.
disso, x raiz de uma equao de ordem 6. Quando esta, possui uma raiz cujo
que mostra que

Alm
quadrado racional, a quntica solvel por radicais.
Explicando detalhadamente, a
equao
t5 + 15t + 12 = 0
tem a soluo,
s
t=
75 + 21 10
+
125
s
5
s
s
75 21 10
10
10
5 225 + 72
5 225 72
+
+
,
125
125
125
com expresses similares para as outras quatro razes.

O mtodo de Lagrange e outras impossibilidades levaram os matemticos a pensarem
na impossibilidade de soluo da quntica e no na procura de solues.
16
1.9 Equaes Qunticas
Captulo 2
O Teorema Fundamental da lgebra
No incio do sculo XIX, perodo em que Galois viveu, era natural pensar em investigaes matemticas sobre o corpo dos nmeros complexos, uma vez que, os reais eram
inadequados para determinados propsitos (por exemplo, no havia
em
R).
Alm
disso, a aritmtica, a lgebra e anlise dos complexos eram mais ricas, elegantes e mais
completas do que a dos reais.
Uma das propriedades chaves de
C,
o Teorema Fundamental da lgebra, diz que
qualquer equao polinomial com coecientes em
C. Tal teorema
falso sobre R, por exemplo, tome t + 1 = 0, que no possui soluo em R como j visto.
C
tem uma soluo em
2.1 Equaes Polinomiais

As equaes lineares, quadrticas, cbicas, qurticas e qunticas so exemplos de um
tipo mais geral de equaes: as polinomiais. Estas so da forma,
P (t) = 0,
onde
P (t)
uma polinomial em
t.
Polinomiais so importantes na matemtica em diversos contextos, como tambm na

literatura.
Estamos acostumados a pensar que uma polinomial uma funo que mapeia
com
os valores da expresso conhecidas, tal que a primeira polinomial representa a funo

tal que
f (t) = t 2t + 6.
Como no uma boa ideia pensar numa polinomial como uma
funo, devido a campos mais gerais, a deniremos em um contexto mais amplo.

Deniremos um polinmio sobre
com indeterminada
t,
como a expresso
r0 + r1 t + ... + rn tn
onde
ri C
com
0 i n, i N,
indenido.
Para tericos conjuntistas puristas
(que no aceitam uma expresso logicamente falada como acima), podemos reorganizar a
17
18
2.1 Equaes Polinomiais
expresso por meio de sequncia
(r0 , r1 , ..., rn ).
Que de algum modo,
t representado por
(0, 1, 0, ..., 0).

Os elementos
r0 , ..., rn
so os coecientes do polinmio. De modo usual, os termos
podem ser omitidos ou escritos como
0,
1tm
pode ser substitudo por
0tm
tm .
Duas polinomiais so ditas iguais se, e s se, os correspondentes coecientes so iguais,

se potncias de
no aparecem, estes devem ser entendidos como termos de coecientes
nulo.
Para denirmos a soma e o produto de duas polinomiais, escrevemos
ri ti = r0 + r1 t + ... + rn tn
com
i0
rk = 0, k n.
Ento, se
r=
ri ti
s=
si ti ,
denimos
r+s=
(ri + si )ti
rs=
qj tj
onde
qj =
rh s i .
h+i=j
Com estas denies, vericamos que o conjunto
indeterminada
t,
um anel.
C[t],
dos polinmios sobre
com
Na verdade, um domnio de integridade, mais ainda uma
lgebra.
Pensemos um pouco na questo do inverso multiplicativo, uma vez que, este axioma
que impede
C[t] de ser um corpo:

Seja f C[t] {0} e suponha que existe g C[t] {0} tal que f (t) g(t) = 1. Ento
(f (t) g(t)) = f (t) + g(t) = 1 = 0 f (t) = g(t) = 0. Logo, f (t) e g(t) so
polinmios constantes. Assim, os nicos polinmios invertveis so os constantes dados

por polinmios invertveis de
C.
Podemos tambm denir polinmios em vrias indeterminadas,

anel de
variveis polinomiais
Um elemento de
C[t]
C[t1 , t2 , ..., tn ]
t1 , t2 , ..., tn
obtendo o
de modo anlogo.
geralmente denotado por uma nica letra, como f, exceto
quando h ambiguidade, donde denotamos por
f (t)
enfatizando
t.
Denio 2.1.1. Se f um polinmio sobre C e f 6= 0, ento o grau de f a maior

potncia de t ocorrendo em f com coeciente no nulo.
P
f = ri ti e rn 6= 0 e rm = 0 para m > n, ento f tem grau n.
Escrevemos f para o grau de f . Para o caso f = 0, adotamos a conveno que 0 =
2
(onde < n, n Z; + n = ; n = ; () = ).
De modo mais geral, se
Proposio 2.1.2. Se f, g so polinmios sobre C, ento

(f + g) max(f, g) e (f g) = f + g.
19
Justicativas informais da escolha se do, no primeiro caso devido a possibilidade de

cancelamento dos termos; e no segundo caso, resultado da propriedade da exponencial
xn xm = xn+m .
Proposio 2.1.3. Dois polinmios f, g sobre C denem a mesma funo se, e somente
se, eles tem os mesmos coecientes.
Demonstrao.
f, g C[t]. Tomemos h(t) = f (t) g(t), como

n1
sabemos o que signica a igualdade, temos que h(t) = an1 t
+ ... + a0 = 0, ou seja,
todos seus coecientes so nulos, e assim f e g denem a mesma funo sobre g .
(n)
Como h(t) = 0, t C, podemos diferenciar n vezes para obtermos que h
(t) =
0, t C. Em particular, h(m) (0) = 0, n N. Mas, uma induo simples mostra que
h(n) (0) = n0 an , ento an = 0, n N.
Sejam
f (t) = g(t),
com
2.2 Teorema Fundamental da lgebra

A partir de equaes polinomiais insolveis em um corpo, os estendemos at o
Agora ca a pergunta, por que paramos em
que no possui soluo sobre
C,
C?
C.
Por que no encontramos uma equao
e estendemos o sistema numrico para encontrarmos tal
soluo?
A resposta porque tal equao no existe, ao menos se nos limitarmos a polinomiais.
Toda equao polinomial sobre
por volta de 1700.
tem soluo em
C.
Tal proposio foi muito debatida
Em 1702 (no papel), Leibniz mostrou que isto pode ser verdade,
citando o exemplo:
x + a = (x + a
1)(x a
q
q
1)(x + a 1)(x a 1)
e Nicholas Bernoulli publicou a mesma frmula em 1719. A resoluo consiste em observar

que
i =
1i
.
2
Em 1742, Euler, sem provar, disse que todo polinmio real pode ser
decomposto em lineares ou fatores de quadrticos com coecientes reais; Bernoulli de

outro modo, citou
com zeros/razes
x4 4x3 + 2x2 + 4x + 4
p
p
p
p
1 + 2 + 3, 1 2 + 3, 1 + 2 3 e 1 2 3.
Euler respondeu, em uma carta a seu amigo Christian Golbach, que os quatro fatores
ocorrem como dois pares de complexos conjugados, e que o produto de tais pares de
fatores um nmero real ao quadrado. Ele mostrou isto como exemplo da proposta de
Bernoulli. Golbach sugeriu que
x4 + 72x 20
no concorda com a armao de Euler,
e Euler pontuou um erro computacional adicionando que teria provado o teorema para
polinmios de grau menor do que, ou igual a 6. Euler e Jean Le Rond d'Alembert deram
provas completas para qualquer grau; Lagrange clamou pelo preenchimento dos buracos
na prova de Euler em 1772, mas ele cometeu o erro de assumir que as razes existiam, e
20
2.2 Teorema Fundamental da lgebra
que usam as leis da lgebra para deduzir que deveriam ser nmeros complexos, sem provar
que as razes - quaisquer que fossem - deveriam obedecer as leis da lgebra. A primeira
prova genuna foi dada por Gauss na sua tese de doutorado em 1799. Depois, Gauss deu
outras 3 provas, todas baseadas em ideias diferentes.
Teorema 2.2.1
. Seja P (t) um polinmio sobre C,
(Teorema Fundamental da lgebra)
com P 1. Ento existe ao menos um z C tal que P (z) = 0.

Tal nmero
chamado de raiz da equao
P (t) = 0,
ou um zero do polinmio
P.
i uma raiz da equao t2 +1 = 0 e um zero de t2 +1. Equaes polinomiais,

2
mais de uma raiz, veja que t + 1 = 0 tem ao menos outra raiz, i.
Por exemplo,
podem ter
Nesta seo provaremos o Teorema Fundamental da lgebra usando algumas ideias

relativamente simples da anlise real e da topologia.
As ideias por trs da prova aqui
dada, remetem a Gauss, quem desmascarou a geometria convertendo em frmulas trigonomtricas complicadas. Por razes tcnicas, usaremos diferentes tticas das empregadas
na verso usual da prova. A ideia principal considerar o nmero de contornos de uma
curva, e comeamos descrevendo isto.
Seja
em
de duas maneiras equivalentes.
inteiro
.
Se R, identicamos + 2k
[0, 2); ou pensemos em como
o crculo unitrio, parametrizado pelo arco de comprimento
que efetivamente reduz
R
.
conjunto quociente
2Z
2
Um lao em R uma funo contnua
fechada no plano
Suponha que
que seja
S.
: S R2 ,
e sua imagem
Podemos pensar
com
qualquer
um elemento do
(S)
uma curva
(S)
(0, 0) R2 , isto
(x, y) (S) est de um
no contenha a origem
Ento qualquer ponto
() 6= (0, 0)
qualquer
nico raio determinado a
partir da origem, isto , uma semirreta estendida da origem ao innito. O argumento

de
(x, y)
o ngulo entre o eixo positivo
e este raio, medido no sentido anti-horrio. O
argumento pode ser considerado um elemento de

mltiplo inteiro de
Usando
de
(x , y ).
R,
e nico, exceto pela adio de um
2 .
para parametrizar S , com () = (x , y ).
Escolha um valor
plausvel que exista uma nica escolha de argumento
de argumento
para o ponto
(x , y )
tal que,
1.
igual a
2.
varia continuamente com
quando
= 0;
.
Denio 2.2.2. Seja um lao em R2 no passando pela origem. Seja uma escolha
contnua de argumento para . Ento, o nmero de sinuosidades de ao redor da origem
() =
2 0
.
2
21
0 , pois comeando
extra 2k cancelado.
Este nmero independe da escolha inicial

forados a substituir
por
0 + 2k ,
e o
com
0 + 2k
somos
Exemplos 2.2.3.
1. Suponha que constante, digamos que () = (x0 , y0 ) 6= (0, 0) para todo . Ento
a escolha de 0 funciona para todo , no s para o = 0; em particular, sendo
constante, este varia continuamente com . Neste caso, o nmero de sinuosidades
0 0
= 0.
2
2. Suponha que () = eni onde n Z. Agora, podemos escolher = n. Portanto,

() =
2 0
2n 0
=
= n.
2
2
O nmero de sinuosidades uma propriedade importante: ele permanece constante

se continuamente deformado, sempre evitando passar pela origem (isto , invariante por homotopias no envolvendo a origem). Considere a funo contnua:
: S [0, 1] R2 \ {(0, 0)}.
Ento, dene uma famlia continuamente variante de laos onde () = (, ).
Teorema 2.2.4. Com a notao acima, ( ) = (0 ) para todo [0, 1]. Em particular,
(1 ) = (0 ).
Demonstrao.
Faremos um esboo da demonstrao.
(2.1)
Para tal, necessrio o uso de
alguns elementos topolgicos.

Os nmeros de sinuosidades esto bem denidos quando nenhum
encontra a origem.
( ) varia continuamente com . Por ser um nmero inteiro, deve ser, portanto,
constante. Ento, ( ) = (0 ) para todo [0, 1]. Colocando = 1, temos provado
O valor de
(2.1).
Se algum
0
passar pela origem, ento o nmero de sinuosidades pode mudar.
Teorema Fundamental da lgebra.
P (t)
C[t]. Sem
perda de generalidade, podemos assumir que o coeciente da maior potncia de t em P (t)
1. Assumamos que P (t) no possua razes em C e obteremos uma contradio.
Seja
Seja
um polinmio no constante em
P = n 1.
Para cada
[0, 1)
denimos um lao
() =
por:
P (r()ei )
,
r()n + 1
22
2.3 Implicaes
onde,
r() =
quando
= 1,

,
1
denimos,
1 () = eni .
Agora,
denida para todo
Armamos que
[0, 1].
: S [0, 1] R2
nitidamente (quociente de contnuas), exceto quando

tende a
+,
(, ) = ().
= 1. Como 1, a
contnua, onde
Temos isto
funo
r()
ento
lim () =
1
P (r()ei )
.
r()+ r()n + 1
lim
Suponha que
P (t) = tn + an1 tn1 + ... + a0

Ento,
P (r()ei
r()n ni an1 r()n1 e(n1)i + ... + a0
=
e +
.
r()n + 1
r()n + 1
r()n + 1
O segundo termo do lado direito da equao tende a 0 quando
tende a
ni
. Portanto, para cada
r() +,
e o primeiro,
,
lim () = 1 ().
1
Do fato de podermos tomar
E assim,
no intervalo fechado
[0, 2],
a convergncia uniforme em
contnua.
P (z) no nulo para todo z C, implicamos que a curva denida

por no encontra/passa pela origem para qualquer [0, 1]. Alm do mais, () = 0
i
se, e somente se, P (r()e ) = 0. Pelo Teorema anterior (0 ) = (1 ). Entretanto,
os exemplos mostram que (0 ) = 0, onde (1 ) = n 1. O que uma contradio. Portanto, a suposio de que P (t) no tem razes em C falsa, como queramos
Ao assumirmos que
demonstrar.
2.3 Implicaes
O Teorema Fundamental da lgebra tem algumas implicaes uteis. Antes de provarmos a mais bsica destas, provaremos primeiro o Teorema do Resto.
Teorema 2.3.1
(Teorema do Resto)
. : Seja p(t) C[t] com p 1, e seja C.
1. Existe q(t) C[t] e r C tal que p(t) = (t )q(t) + r;

2. A constante r satisfaz, r = p().

Demonstrao.
Seja
pn 6= 0
Ento,
n 1.
y =t
23
t = y + .
tal que
Escrevemos
p(t) = pn tn + ... + p0
onde
p(t) = pn (y + )n + ... + p0 .
(y + )
Expanda as potncias de
pelo teorema binomial, e reagrupe os teoremas de modo
a obter:
p(t) = an y n + ... + a1 y + a0 , aj C
= y(an y n1 + ... + a1 ) + a0
= (t )q(t) + r
onde,
q(t) = an (t )n + ... + a1 (t ) + a0
e
r = a0 .
Agora substituindo
t=
em
p(t) = (t )q(t) + r,
teremos
p() = ( )q() + r = 0 q() + r = r.
Corolrio 2.3.2. O nmero complexo raiz de p(t) se, e somente se, (t ) divide
p(t) em C[t].
Proposio 2.3.3. Seja p(t) C[t] com p = n 1. Ento existe 1 , ..., n C, e

0 6= k C, tal que,
p(t) = k(t 1 ) ... (t n ).
Demonstrao.
Usemos induo sobre
n.
Para o caso
sabemos do Teorema Fundamental da lgebra, que

chamemos tal de
n .
Pelo Teorema do Resto, existe
n = 1
(2.2)
imediato.
p(t) tem ao menos

q(t) C[t] tal que
uma
p(t) = (t n )q(t).
(Notemos que
r = p(n ) = 0).
Ento,
q = n 1,
(2.3)
assim por induo,
q(t) = k(t 1 ) ... (t n1 ).

Para alguns nmeros complexos
k, 1 , ..., n1 .
n > 1,
raiz em C;
Se
(2.4)
Substituamos (2.4) em (2.3), e o passo de
induo est completo.

Segue imediatamente que os complexos
Os zeros
so os nicos zeros de
p(t).
no precisam ser distintos. Agrupando aqueles que so iguais, reescrevemos
24
2.3 Implicaes
(2.2) como,
p(t) = k(t 1 )m1 ... (t l )ml

onde
n.
so distintos, e
Chamamos
mj
mj
so inteiros maiores do que, ou iguais a 1, e ainda,
de multiplicidade do zero
de
m1 +...+ml =
p(t).
Em particular, provamos que todo polinmio complexo de grau

razes complexas, contadas a partir da multiplicidade.
tem precisamente
Captulo 3
Fatorao de Polinmios
No h s uma lgebra de polinmios, h uma aritmtica. Isto , h noes anlogas
aos inteiros, como divisibilidade, primos, fatorao prima, etc. Estas noes so essenciais
para um entendimento de equaes polinomiais, que desenvolveremos neste captulo.
Se
um produto
gh
de polinmios de graus menores, ento a soluo de
precisamente aquelas em que
g(t) = 0
h(t) = 0.
f (t) = 0
Por exemplo,
t3 6t2 + 11t 6 = 0
pode ser fatorada em
(t 1)(t 2)(t 3),
logo,
Todo polinmio sobre um subcorpo de
t = 1, 2, 3
so as razes.
pode ser expresso como um produto de
polinmios irredutveis sobre o mesmo subcorpo, de modo nico. Relataremos zeros de

polinmios por meio da teoria de fatorao.
Ao longo deste captulo, assumiremos os polinmios em
K[t],
onde
um subcorpo
R[t], onde R um subanel dos nmeros complexos. Alguns

R, enquanto outros somente sobre K ; precisaremos dos dois
dos nmeros complexos, ou em

teoremas so vlidos sobre
tipos.
3.1 O Algoritmo Euclidiano

Quando trabalhamos com teoria dos nmeros, um dos conceitos chaves divisibilidade:
um inteiro
divisvel por um inteiro
se existe um inteiro
tal que
a = bc.
Muitos resultados importantes na teoria de fatorao de polinmios derivam da observao de que um polinmio pode sempre ser dividido por outro advindo do fato de ter
termo restante permitido. Esta uma generalizao do Teorema do Resto, no qual
assumida linear.
Proposio 3.1.1 (O Algoritmo da Diviso). Sejam f e g polinmios sobre K (um

corpo), e suponhamos que f no nulo. Ento existem nicos polinmios q e r sobre K ,
tal que g = f q + r e r tem grau estritamente menor do que f .
25
26
Demonstrao.
g . Se g = , ento
g 0 e tomaremos q = r 0 resolvendo o problema. Se g = 0, ento g = k , para
k
algum k K . Se tambm, f = 0, ento f um elemento de K , e podemos tomar q =
f
e r 0. Por outro lado, f > 0, teremos q 0 e r = g . Donde comearemos nossa
Usaremos induo do segundo tipo no grau de
induo.
Suponhamos que o resultado valha para todos os polinmios de grau
g = n > 0.
Se
f > g ,
ento teremos
q0
f = am tm + ... + a0
onde
am 6= 0, bn 6= 0
m n.
r = g.
< n,
e seja
Por outro lado,
g = bn tn + ... + b0
Seja,
g1 = bn am 1 tnm f g.
g1 < g . Por hiptese
g1 = f q1 + r1 e r1 < f . Sejam
Temos que
de induo, existem polinmios
q1
r1
em
tal que
q = bn am 1 tnm q1 e r1 = r.
Ento,
g = f q + r = bn am 1 tnm f q1 f r1 = g + g1 g1 = g
Ento
g = f q + r,
e claramente
r < f .
Finalmente, provaremos a unicidade. Suponhamos que,
g = f q1 + r1 = f q2 + r2
onde
r1 , r2 < f .
Ento,
f (q1 q2 ) = r2 r1 .
Por meio da denio de graus, o polinmio a esquerda
tem grau maior do que o da direita, exceto que ambos so zeros. Como
ter
q1 = q2
r1 = r2 .
Portanto,
Com a notao acima,
f.
f 6 0,
devemos
so nicos.
chamado de quociente,
O processo indutivo empregado para encontrarmos
r,
e
de resto da diviso de
por
chamado de Algoritmo da
Diviso.
Exemplo 3.1.2. Divida g(t) = t4 7t3 + 5t2 + 4 por f (t) = t2 + 3 e encontre o quociente
e o resto.
27
t4 7t3 + 5t2 + 4
t4 3t2
7t3 + 2t2 + 4
7t3 + 21t
2t2 + 21t + 4
2t2 6
r(t) = 21t 2.
| t2 + 3
t2 7t + 2 = q(t)
Observe que
t2 (t2 + 3) = t4 + 3t2
tem o mesmo coeciente lder que tem a g . Ento,

g t2 (t2 + 3) = 7t3 + 2t2 + 4,
que tem o mesmo coeciente lder do que

7t(t2 + 3) = 7t3 21t.
Assim,
g t2 (t2 + 3) + 7t(t2 + 3) = 2t2 + 21t + 4,
que possui o mesmo coeciente lder que

2(t2 + 3) = 2t2 + 6.
Portanto,
g t2 (t2 + 3) + 7t(t2 + 3) 2(t2 + 3) = 21t 2.
Ento,
g = (t2 + 3)(t2 7t + 12) + (21t 2)
e o quociente q(t) = t2 7t + 2, enquanto que o resto r(t) = 21t 2.
Denio 3.1.3. Sejam f e g polinmios sobre K . Dizemos que f divide g (ou f um

fator de g , ou g mltiplo de f ), se existe algum polinmio h sobre K tal que g = f h. A
notao f |g signicar f divide g , enquanto que f - g , f no divide g .
Denio 3.1.4. Um polinmio d sobre K um maior fator comum (mdc) dos polinmios f e g sobre K se d|f e d|g e alm disso, sempre que e|f e e|g , temos e|d.
Maior fator comum no precisa ser nico.
O lema seguinte mostrar que eles so
nicos exceto por fatores constantes.
Lema 3.1.5. Se d um maior fator comum dos polinmios f e g sobre K , e se 0 6= k K

ento kd tambm um fator comum para f e g .
28
Se d e e so dois maiores fatores comuns para f e g , ento existe um elemento no nulo

k K , tal que, e = kd.
Demonstrao.
d|f , ento f = m d para algum m K ; tambm d|g , ou seja, para

l
m
e
vemos claramente que kd|f e kd|g . Se e|f e
algum l K , g = l d. Se tomarmos
k
k
e|g , ento e|d, logo e|kd. Assim, kd o maior fator comum. Se d e e so maiores fatores
comuns, ento pela denio e|d e d|e. Portanto, e = k d para algum polinmio em K .
Por causa que e|d, o grau de e menor do que ou igual ao grau de d, ento k deve ter
grau 0. Assim, k uma constante, e pertence a K . Como 0 6= e = k e, devemos ter
k 6= 0.
Como
Algoritmo 3.1.6
(Algoritmo Euclidiano)
Entrada:
Dois polinmios f e g sobre K , ambos no nulos.

Sada: Um polinmio m que o maior fator comum entre f e g (provado no Teorema
3.1.7 abaixo).
Descrio: Por convenincia de notao, seja f = r1 e g = r0 . Use o Algoritmo da
Diviso para encontrar sucessivamente polinmios qj e ri tais que:
r1 = q1 r0 + r1
r0 = q2 r1 + r2
r1 = q3 r2 + r3
...
ri = qi+2 ri+1 + ri+2
r1 < r0
r2 < r1
r3 < r2
...
ri+2 < ri+1 .
Por causa dos graus de ri formarem uma sequncia de inteiros no negativos estritamente
decrescente, aps um nmero nito de divises certamente obteremos um resto igual a
zero, digamos rs+2 = 0 e, nesse momento, o processo para. Sendo assim, a ltima equao
nesta lista (cujo resto no zero) seria
rs = qs+2 rs + rs+1 .
(3.1)
Podemos tomar m = rs+1 .
Teorema 3.1.7. Com a notao acima, m = rs+1 um maior fator comum para f e g.
Demonstrao.
rs+1 divide f e g . Usaremos induo decrescente

para mostrar que rs+1 |ri para todo i. Claramente, rs+1 |rs+1 . Pela Equao (3.1) temos
que rs+1 |rs . J (3.1.6) implica que se, rs+1 |ri+2 e rs+1 |ri+1 ento, rs+1 |ri . Como rs+1 |ri
para todo i; em particular, rs+1 |r0 = g e rs+1 |r1 = f .
Agora suponhamos que e|f e e|g . Por (3.1.6) e indues, e|ri para todo i. Em particular,
e|rs+1 . Portanto, rs+1 um maior fator comum de f e g , como armado.
Primeiro, mostremos que
29
Exemplo 3.1.8. Seja f (t) = t4 + 3t3 + 2t2 + 2t + 1, e g(t) = t2 1 sobre Q. Calcularemos

o maior fator comum como segue:
t4 + 2t3 + 2t2 + 2t + 1 = (t2 + 2t + 3)(t2 1) + 4t + 4

1
1
2
t 1 = (4t + 4)
t
.
4
4
Percebemos que 4t + 4 um maior fator comum. Ento qualquer mltiplo racional deste
tambm o . Em particular, t + 1.
Teorema 3.1.9. Sejam f e g polinmios no nulos sobre K , e seja d um maior fator

comum de f e g . Ento existem polinmios a e b sobre K , tais que
d = af + bg.
Demonstrao.
Sabemos que o maior fator comum nico a menos de constantes, deve-
mos assumir que
d = rs + 1,
onde (3.1.6) e (3.1) valem.
induo que existam polinmios
ai
bi
Suponhamos por hiptese de
tais que,
d = ai r + bi ri + 1.
Temos claramente que isto verdade quando
bi = 0.
i = s + 1,
donde devemos tomar
ai = 1,
Por (3.1.6),
ri+1 = ri1 qi+1 ri .

Como, por induo,
d = ai ri + bi (ri1 qi+1 r1 ),
colocando
ai1 = bi e bi1 = ai bi qi + 1
teremos
d = ai1 ri1 + bi1 ri ,

e da induo decrescente,
d = a1 r1 + b1 r0 = af + bg,
com
a = a1 , b = b1 .
Completando a demonstrao.
3.2 Irredutibilidade
Em particular, ns provamos que todo polinmio sobre um subanel de
pode ser
expresso como um produto de polinmios irredutveis essencialmente de um modo nico.
30
3.2 Irredutibilidade
Associaremos na denio seguinte polinmios a nmeros inteiros primos.
Denio 3.2.1. Um polinmio sobre um subanel R de C redutvel se um produto de

dois polinmios sobre R de graus menores. Caso contrrio, dizemos que irredutvel.
Exemplos 3.2.2.
1. Todos os polinmios de graus 0 e 1 so irredutveis, pois certamente no podem ser expressos como um produto de polinmios de graus menores.
2. O polinmio t2 2 irredutvel sobre Q. Pois, caso no o fosse, teramos

t2 2 = (at + b)(ct + d),
com a, b, c, d Q. Dividindo se necessrio, podemos assumir a = c = 1, ou seja,

polinmios mnicos. Ento,
t2 2 = (at + b)(ct + d)
= (t + b)(t + d)
t2 2 = t2 + dt + bt + bd
t2 2 = t2 + (b + d)t + bd.
E assim, b+d = 0 e bd = 2. Isolando d na primeira equao, conseguimos d = b.

Donde substituindo na segunda, camos com b2 = 2. Mas, no h nmero racional
tal que sua raiz quadrada seja 2.
3. O mesmo polinmio, t2 2 redutvel sobre R, j que,
t2 2 = (t
2)(t + 2).
Mostrando que um polinmio irredutvel pode se tornar redutvel ao considerarmos

um subcorpo maior de C. Guardemos tal ideia!!!
4. O polinmio 6t + 3 irredutvel em Z[t]. Alm disso, tem como fatores,
6t + 3 = 3(2t + 1),
onde 2t + 1 tem o mesmo grau do que 6t + 3 no contando como fatorao para

redutibilidade.
Teorema 3.2.3. Qualquer polinmio no nulo sobre o subanel R de C um produto de

polinmios irredutveis sobre R.
Demonstrao.
g um polinmio no nulo sobre R. Procederemos por induo sobre

o grau de g . Se g = 0 ou g = 1, ento ele automaticamente irredutvel, e no h o que
fazermos. Suponhamos ento g > 1, ento ou g irredutvel, ou g = hk , com h, k R
Seja
e
h, k < g .
31
h
Continuamos o procedimento analisando
polinmios irredutveis por hiptese de induo, portanto
k,
estes so produtos de
tambm o . Continuamos a
induo de modo a concluirmos a demonstrao do teorema.
Exemplo 3.2.4. Podemos usar o Teorema 3.2.3 para provarmos a irredutibilidade em

alguns casos, especialmente para polinmios cbicos sobre Z. Por exemplo, seja R = Z.
O polinmio
f (t) = t3 5t + 1
irredutvel em R. Caso no o fosse, deveria existir um fator linear do tipo t em Z,

e ento, Z e f () = 0. Alm do mais, existem , Z tais que
f (t) = (t )(t2 + t + )
= t3 + ( )t2 + ( )t
ento, em particular, = 1. Portanto, = 1. Mas, f (1) = 3 6= 0 e f (1) = 5 6= 0.

E assim, temos que nenhum fator existe.
Polinmios irredutveis so anlogos a nmeros primos em
nmeros primos em
Z.
A importncia dos
Z no reside apenas na possibilidade de fatorao de qualquer inteiro
em primos, mas tambm na unicidade (a menos da ordem) dos fatores primos. Unicidade
da fatorao dos polinmios no algo bvio.
Em certos casos, possvel expressar
todo elemento como produto de elementos irredutveis, sem que esta expresso seja nica.
Restringiremos nossa ateno sobre um subcorpo
de
(numa tentativa de resolver o
problema da unicidade).
Por convenincia, faremos o seguinte:
Denio 3.2.5. Se f e g so polinmios sobre um subcorpo K de C com maior fator

comum igual a 1, diremos que f e g so primos entre si.
Lema 3.2.6. Seja K um subcorpo de C, f um polinmio irredutvel sobre K ; e g, h

polinmios sobre K . Se f divide gh, ento ou f divide g , ou f divide h.
Demonstrao.
Suponhamos que
f - g.
Armamos que
so primos entre si. Se
f e g , ento como f irredutvel e d|f , ou d = kf para algum

k K , ou d = k , com k K . No primeiro caso, conseguimos que f |g , o que contraria a
hiptese. No segundo caso, 1 tambm um maior fator comum para f e g , donde temos
um maior fator comum para
que estes so primos entre si (como j havamos armado).

existem polinmios
sobre
tais que,
1 = af + bg
E ento,
h = haf + hbg.
Usando o Teorema 3.1.9,
32
3.3 Lema de Gauss
Agora,
f |haf , e f |hbg j que f |gh.
Portanto,
f |h, completando assim a demonstrao.
Teorema 3.2.7. Dado qualquer subcorpo K de C, a fatorao de polinmios sobre K

em polinmios irredutveis nica, exceto por fatores constantes e a ordem em que estes
fatores so escritos.
Demonstrao.
f = f1 ...fr = g1 ...gs , em que f um polinmio sobre K e

f1 , ..., fr , g1 , ..., gs so polinmios irredutveis sobre K . Se todos os fi so constantes, ento
f K , e todos os gj tambm so constantes. Por outro lado, assumamos que nenhum fi
constante (basta dividirmos pelos que o so). Ento, f1 |g1 ... gs . Por induo baseada
no Lema anterior, f1 |gj para algum j . Escolhamos por facilidade, j = 1, ento f1 |g1 .
Como f1 e g1 so irredutveis e f1 no constante, devemos ter f1 = k1 g1 para alguma
constante k1 K . Analogamente, f2 = k2 g2 , ..., fr = kr gr , com k2 , ..., kr constantes em
K . Os demais gl com l > r devem ser constantes, ou o grau do lado direito da equao
Suponha que
seria muito mais alto do que o esquerdo. Assim, temos o teorema demonstrado.
3.3 Lema de Gauss

Em geral difcil de decidir - sem usar lgebra computacional, de nenhum modo - se
um polinmio dado irredutvel. Por exemplo, tome
t16 + t15 + t14 + t13 + t12 + t11 + t10 + t9 + t8 + t7 + t6 + t5 + t4 + t3 + t2 + t + 1

Este exemplo ser retomado no nal do trabalho, onde a questo de irredutibilidade(ou
no) ser imprescindvel.
Testar irredutibilidade tentando todas as possibilidades de fatores geralmente intil.
Alm do mais, em um primeiro momento, h innitamente muitos fatores potenciais para
se tentar, com um sutil corte, as possibilidades podem ser reduzidas a um nmero nito,
geralmente grande.
O mtodo pode ser aplicados para polinmios em
Q,
mesmo este sendo realmente
impraticvel.
Logo, devemos inventar algo mais prtico. Nas prximas duas sees, descreveremos
dois deles: Critrio de Eisenstein e Reduo Mdulo
aplicam-se num primeiro momento sobre
irredutibilidade sobre
Lema 3.3.1
Z.
p,
com
primo. Ambos os mtodos,
Entretanto, devido a Gauss, sabemos que
equivalente a irredutibilidade sobre
Q.
. Seja f um polinmio sobre Z que irredutvel sobre Z.
(Lema de Gauss)
Ento f , considerado como um polinmio sobre Q, tambm irredutvel sobre Q.

Demonstrao.
Quando estendemos um subanel de coecientes em
linmios, que talvez, possam ser fatores de

possvel. Ento suponhamos que
f.
Q,
h novos po-
Mostraremos que, de fato, isto no
irredutvel sobre
Z,
mas redutvel sobre
Q,
isto ,
f = gh,
com
g, h
33
polinmios sobre
de graus menores do que o de
Multipliquemos
h, donde camos com

nf = f 0 g 0 , em que n Z, n igual ao produto dos denominadores, e g 0 , h0 so polinmios
em Z. Mostraremos agora que, podemos cancelar os fatores primos de n um por um, sem
sairmos de Z[t].
a equao pelo produto dos denominadores dos coecientes de
Suponhamos que
um fator primo de
n.
f.
Armamos que
g 0 = g0 + g1 t + ... + gr tr e h0 = ho + h1 t + ... + hs ts
ento,
gi ,
divide todos os coecientes
ou
contrrio, deveramos ter menores valores para

divide todos os coecientes
ti+j
em
g 0 h0 ,
divide todos os coecientes de
tais que
p - gi
p - hj .
hj .
Caso
Entretanto,
que so
h0 gi+j + h1 gi+j1 + ... + hj gi + ... + hi+j g0

e pela escolha de
hj gi .
Ora,
j,
o primo
divide todos os termos desta expresso, exceto talvez
divide toda a expresso, ento
p|hj gi .
Entretanto,
p - hj
p - gi ,
uma
contradio. O que acaba por provar nossa armao.
p divide todo o coeciente de gi . Da,

0
mesmo grau que g (ou g ). Seja n = pn1 .
Sem perda de generalidade, devemos assumir que
00
00
g = pg , onde g um polinmio sobre Z do

00 0
00 0
Ento pn1 f = pg h , donde, n1 f = g h . Procedendo deste modo, podemos remover todos
os fatores primos de n chegando na equao, f = gh, com g, h polinmios sobre Z. Ou
seja, so mltiplos racionais do original g e h, ento g = g e h = h. O que contradiz
a irredutibilidade de f sobre Z, o que leva a termos provado o lema.
Corolrio 3.3.2. Seja f Z[t] e suponha que sobre Q[t] h uma fatorao em irredutveis
f = g1 ... gs .
Ento existe ai Q tal que ai , gi Z[t] e a1 ... as = 1. Alm do mais,

f (a1 g1 ) ... (as gs ),
que uma fatorao de f em irredutveis em Z[t].
Demonstrao.
Fazendo a fatorao de
em irredutveis sobre
hj irredutvel sobre Q.
r = s e hj = aj gj para aj Q.
Z[t], obtemos f = h1 ...hr .
Pelo Lema de Gauss, cada
Assim, pela unicidade da fatorao
em
E, claramente,
Q[t],
devemos ter
o corolrio est devidamente provado.
a1 ... as = 1.
Logo,
34
3.4 Critrio de Eisenstein
3.4 Critrio de Eisenstein

Ferdinand Gotthold Eisenstein era um aluno de Gauss, e seu tutor. Vemos que isto
inuenciou trabalhos, podemos aplicar o Lema do tutor no critrio descoberto pelo aluno.
Teorema 3.4.1
. Seja f (t) = a0 + a1 t + a2 t2 + ... + an tn um
(Critrio de Eisenstein)
polinmio sobre Z. Suponha que exista um primo q tal que,

1. q - an ;
2. q|ai (i = 0, 1, ..., n 1);
3. q 2 - a0 .
Ento f irredutvel sobre Q.
Demonstrao.
Pelo Lema de Gauss, suciente mostrar que
Suponhamos por contradio que
f = gh,
irredutvel sobre
Z.
em que,
g = b0 + b1 t + ... + br tr
so polinmios de grau menor do que
h = c0 + c1 t + ... + cs ts
f sobre Z. Ento, r 1, s 1, r + s = n. Agora,

q primo, q|b0 ou q|c0 . J pelo item 3., temos que
b0 c0 = a0 , e pelo item 2., q|a0 e como

q no pode dividir ambos b0 e c0 , assim, sem perda de generalidade, podemos assumir
que q|b0 e q - c0 . Se todos os bj forem divisveis por q , ento an divisvel por q , o que
contraria o item 1.. Consideremos bj o primeiro coeciente de g que no divisvel por q .
Ento,
aj = bj c0 + ... + b0 cj
com
j < n.
Deste modo, conclumos que
que uma contradio. Portanto,
q|c0 ,
pois
divide
aj , b0 , ..., bj1 ,
mas no
bj .
irredutvel.
Exemplos 3.4.2.
1. Consideremos f (t) = 29 t5 + 53 t4 + t3 + 13 sobre Q. Armemos que este polinmio
irredutvel sobre Q. Ora, se 9f (t) = 2t5 + 15t4 + 9t3 + 3 irredutvel sobre Q, ento
f (t) tambm o . Apliquemos agora o Critrio de Eisenstein com q = 3:
3 - 2;
3|ai (i = 0, 1, 2, 3, 4);
32 = 9 - 3.
O que mostra que 9f (t) irredutvel sobre Q, e portanto, f (t) tambm o .
35
2. Consideremos f (t) = t16 + t15 + t14 + t13 + t12 + t11 + t10 + t9 + t8 + t7 + t6 + t5 +

t4 + t3 + t2 + t + 1, o exemplo que iniciamos o captulo. Como o termo independente
deste polinmio 1, no somos capazes de analisar a irredutibilidade pelo Critrio
de Eisenstein. Porm, f (t) irredutvel em Q, se, e s se, f (t + 1) o for. Ao
expandirmos f (t + 1) conseguimos,
f (t + 1) = t16 + 17t15 + 136t14 + 680t13 + 2380t12 + 6188t11
+ 12376t10 + 19448t9 + 24310t8 + 24310t7 + 19448t6
+ 12376t5 + 6188t4 + 2380t3 + 680t2 + 136t + 17
= t16 + 17(t15 + 8t14 + 40t13 + 140t12 + 364t11 + 728t10
+ 1144t9 + 1430t8 + 1430t7 + 1144t6 + 728t5 + 364t4
+ 140t3 + 40t2 + 8t + 1).
Portanto, usando o Critrio de Eisenstein com q = 17, temos que f (t + 1) irredutvel sobre Q, e por consequncia, f (t) tambm o .
3.5 Reduo Mdulo p

Um segundo modo para provar a irredutibilidade de polinmios em
reduo polinomial mdulo
Relembremos que se
com
n Z,
Z[t]
envolve a
um inteiro primo.
a, b Z
so congruentes mdulo
n,
a b(mod n),
temos que
ab
divisvel por
n.
O nmero
chamado de mdulo, e a congruncia
n uma relao de equivalncia como anteriormente visto. E mais, denotaremos o

conjunto das classes de equivalncia por Zn , que possui de certo modo a mesma aritmtica
que Z.
mdulo
Denio 3.5.1. O grupo de unidades Zn de Zn consiste nos elementos a Zn tal que

1 a n e a primo a n sob a operao de multiplicao.
A ordem deste grupo dada por uma importante funo aritmtica,
Denio 3.5.2. A funo de Euler, (n), o nmero de inteiros a, com 1 a n 1,

tal que a primo a n.
Ou seja, a ordem de
Zn
igual a
(n).
Temos que a funo de Euler, tem inmeras propriedades interessantes, em particular,
(pk ) = (p 1)pk1 ,
36
se
3.5 Reduo Mdulo p

p
primo, e
(r)(s) = (rs),
quando
r, s
so primos entre si.
Ao considerarmos a aplicao
de equivalncia mdulo
g : Z[t] Zn [t].
n (n
Assim, como
mais facilmente em
f : Z Zn
que associa, um nmero
mZ
a sua classe
aqui um inteiro primo), podemos pensar em estender
Zn
nito, somos capazes de pensar em irredutibilidade
Zn [t], para depois entendermos irredutibilidade em Z[t] (tudo isto por
meio do isomorsmo criado).
Exemplo 3.5.3. Consideremos f (t) = t4 + 15t3 + 7 sobre Z.

Sobre Z5 , temos que este se torna t4 + 2. Se este for redutvel sobre Z5 , ento este tem
um fator de grau 1, ou produto de dois fatores de grau 2. A primeira possibilidade nos
leva a um elemento x Z5 tal que x4 + 2 = 0. Vejamos que isto no possvel,
4
(0) + 2 0 + 2 2
4
(1) + 2 1 + 2 3
4
(2) + 2 16 + 2 18 3
4
(3) + 2 81 + 2 83 3
4
(4) + 2 256 + 2 258 8 3
No outro caso, temos sem perda de generalidade,

t4 + 2 = (t2 + at + b)(t2 + ct + d)
com a, b, c, d Z5 .
Portanto, a + c = 0, ac + b + d = 0, bd = 2. Assim, b + d = a2 que pode apenas
assumir os valores, 0, 1, 4, que so os quadrados perfeitos em Z5 . Logo, ou b(1 b) = 2,
ou b2 = 2, ou b(4 b) = 2. Donde, tentando todas as possibilidades para b, vemos que
no h uma que satisfaa estas equaes. Da, temos que t4 + 2 irredutvel sobre Z5 , e
por consequncia, f (t) irredutvel sobre Z, e da tambm o sobre Q.
Captulo 4
Extenses de Corpos
Neste captulo, trataremos do conceito de extenses de corpos atreladas s equaes
polinomiais, uma vez que, ao considerarmos um determinado subcorpo dos complexos,
este pode no conter todas as solues de uma polinomial especca, donde procuramos
por um outro subcorpo de
C que as tenha, e por consequncia contenha uma cpia
deste
subcorpo inicial. Expressemos matematicamente tal fala:
Denio 4.0.4. Uma extenso de corpo um monomorsmo : K L, em que K e

L so subcorpos complexos. Diremos que K que o corpo menor e L o corpo maior.
Pensamos numa extenso de corpos como um par
(K, L)
de corpos, quando ca su-
bentendido o monomorsmo entre eles.
Exemplos 4.0.5.
1. Pensemos inicialmente em Q, e consideremos a seguinte polinomial qurtica:
f (t) = t4 4t2 + 5.
Fatoramos tal, por irredutveis em Q obtendo,

f (t) = (t2 + 1)(t2 5),
cujos zeros so os nmeros irracionais i e 5. Adiante, veremos que existe um

subcorpo natural L de C associado a estes zeros, de fato, este subcorpo o menor
subcorpo que os contm. Armemos que L consiste de todos os nmeros complexos
da forma
p + qi + r 5 + si 5, p, q, r, s Q.
E mais, observemos que Q est imerso em L, bastando tomarmos q, r e s como

sendo zeros na expresso acima.
2. As funes incluses 1 : Q R, 2 : R C, e 3 : Q C so extenses de corpos.
Claramente tais incluses so monomorsmo.
37
38
3. Seja K o conjunto de todos os nmeros reais da forma p + q 2, em que p, q Q.

Ento, K um subcorpo de C, e a funo incluso : Q K uma extenso de
Q em K .
: K L uma extenso de corpos, ento geralmente identicamos K com sua
imagem (K), ento podemos pensar em como uma incluso e K pode ser pensado como
um subcorpo de L. Nestas circunstncias, usamos a notao
Se
L:K
para a extenso, e dizemos que
uma extenso de
K.
Denio 4.0.6. Seja X um subconjunto de C. Ento o subcorpo de C gerado por X

a interseo de todos os subcorpos de C que contm X .
Equivalentemente, este o subcorpo X que satisfaz alguma das seguintes condies,
1. O nico menor subcorpo de C que contm X ;
2. O conjunto de todos os elementos de C que pode ser obtido a partir de elementos de
X por uma sequncia de nita de operaes.
Uma questo natural perguntarmos sobre a existncia de um menor corpo contido
nos complexos. Este conceito conhecido como subcorpo primo.
Proposio 4.0.7. Todo subcorpo de C contm Q.

Demonstrao.
Seja
K C
um subcorpo.
Ento
0, 1 K
por denio de subcorpo,
da por consequncia (ou melhor por um processo de induo) qualquer nmero

tambm est em
K.
Como
nN
fechado com relao a operao de adio e mais ainda,
n com n N pertence a K . Ou seja,

q 6= 0, ento temos que p, q K , e mais
um subcorpo, conseguimos que qualquer nmero
Z K . Finalmente, se p, q Z e
1
ainda, como K subcorpo, q
K , e este sendo
1
multiplicao, conclumos que pq
K.
Portanto, Q K , como queramos demonstrar.
temos que
fechado com relao a operao de
Observao 4.0.8. Em particular, todo subcorpo gerado por X contm Q.

Usamos a notao
Q(X)
para representar o subcorpo de
gerado por
X.
Exemplo 4.0.9. Procuraremos um subcorpo K de C gerado pelo conjunto X = {1, i}.

Pelo que vimos na Proposio 4.0.7, K deve conter Q. Como K fechado com relao
as operaes de adio e multiplicao, uma vez que um subcorpo de C, este deve conter
os nmeros complexos da forma p + qi, com p, q Q. Seja M o conjunto de todos
os complexos desta forma. M um subcorpo de C, e portanto, fechado com relao as
operaes de adio e multiplicao. Alm disso,
(p + qi)1 =
p
q
i,
p 2 + q 2 p2 + q 2
39
tambm pertence a M . Como M um subcorpo que contm X , e sabemos ser K o menor

subcorpo contendo X , devemos ter K M . Ora, M K , por denio. Ento, K = M ,
e assim temos a descrio do subcorpo gerado por X .
Dada uma extenso de corpos
L. Isto signica que ns iremos restringir nossa ateno nos subconjuntos

X que contm K e esto contidos em L, ou melhor, em conjuntos X = K Y , com Y L.
pos entre
L : K , estamos interessados principalmente nos subcor-
Denio 4.0.10. Se L : K uma extenso de corpos e Y um subconjunto de L, ento

o subcorpo de C gerado por K Y escrito como K(Y ) e dito ser obtido a partir de K
adicionando Y .
Exemplo 4.0.11. Logo no incio do captulo (no Exemplo 1) falamos brevemente sobre
o exemplo em questo, porm trataremos este com um pouco mais de cuidado agora.
Seja K = Q, e seja Y = {i, 5}. Ento K(Y ) deve conter K e Y . Este tambm deve
conter o produto i 5. Como pela Proposio 4.0.7, temos que K Q, o subcorpo K(Y )
deve conter os elementos
= p + qi + r 5 + si 5 (p, q, r, s Q).
Seja L C, o conjunto de todos os nmeros como acima. Se conseguirmos provar que L

um subcorpo de C, sabendo que K(Y ) L, por denio, e K(Y ) ser o menor subcorpo
de C com a propriedade acima, segue que K(Y ) = L. Para L ser um subcorpo de C resta
provarmos que qualquer que seja 6= 0, encontramos o seu inverso 1 pertencente a L
(j temos nitidamente o fechamento das operaes e a pertinncia de 0 e 1 em L). De
fato, temos que provar que (p, q, r, s) 6= (0, 0, 0, 0), ento
1
(p + qi + r 5 + si 5) L.
Primeiro, suponhamos que p + qi + r 5 + si 5 = 0. Ento,
p + r 5 = i(q + s 5).
Notemos que o lado esquerdo, p + r 5, um nmero real, enquanto que o lado direito,
i(q + s 5), um nmero complexo. Portanto, p + r 5 = 0 e q + s 5 = 0. Se r 6= 0,
ento 5 = p
Q, mas 5 um irracional. Logo, devemos ter r = 0, donde p = 0. De
r
modo anlogo, q = s = 0.
Provaremos a existncia de 1 em duas etapas. Seja M um subconjunto de L contendo todos p + qi (p, q Q). Ento escrevemos,
= x + y 5,
40
4.1 Expresses Racionais
com x = p + iq e y = r + is M . Seja
= p + qi r 5 si 5 = x y 5 L.
Ento,
= (x + y 5)(x y 5) = x2 5y 2 = z
diremos, que z M . Como 6= 0 e 6= 0, temos z 6= 0, e portanto, 1 = z 1 .

Escrevemos agora, z = u + vi (u, v Q), e consideremos w = u vi. Como zw =
u2 + v 2 Q, temos
1
z 1 = (u2 + v 2 ) w M
ento, 1 = z 1 L.
4.1 Expresses Racionais

Discutimos anteriormente que
na seo:
C[t] um domnio de integridade (mais especicamente,
Equaes Polinomiais do Captulo 2), no admitindo inverso multiplicativo
qualquer que seja o polinmio, porm podemos pensar em ampliar este conceito a partir
do que chamaremos de funes racionais ou mais formalmente expresses racionais de
indeterminada
t.
Denio 4.1.1. Uma expresso racional de indeterminada t uma funo f (t) =
p(t)
q(t)
em que, p(t), q(t) C[t], e ainda q(t) 6= 0, isto , consideraremos o conjunto {z

C; q(z) 6= 0} como sendo o domnio desta funo racional.
Podemos, de modo similar, pensar em funes racionais com mais indeterminadas.
4.2 Extenses Simples

Consideraremos agora os tijolos iniciais da teoria de extenso de corpos.
Denio 4.2.1. Uma extenso simples uma extenso de corpos L : K tal que L =
K() para algum L, ou seja, uma extenso simples resultado da adio de um nico
elemento ao corpo menor.
Exemplos 4.2.2.
1. O subcorpo R(i) de C, contm todos os elementos da forma x + iy , com x, y R.
Mas, estes elementos acabam por percorrer todo o conjunto C, assim, C = R(i).
2. O subcorpo P de R consistindo dos nmeros p + q 2, com p, q Q igual ao
subcorpo Q( 2).
41
3. Consideremos L = Q(i, i, 5, 5), que aparentemente no parece ser uma ex

tenso simples, porm armamos que o . Se escrevermos L0 = Q(i + 5), temos
nitidamente que L0 uma extenso simples. Provemos ento que L = L0 . Para isto,
notemos primeiramente que L0 L, resta-nos mostrar a incluso inversa, mas para
esta basta concluirmos que i e 5 L0 .

Sabemos que L0 contm,
(i +
2
5) = 1 + 2i 5 + 5 = 4 + 2i 5,
e portanto, contm
(i +
5)(2 + 2i 5) = 14i 2 5,
e assim,
14i 2 5 + 2(i + 5) = 16i
tambm pertence a L0 . Da, i L0 , e ento (i + 5) i = 5 tambm. Portanto,

L0 L e podemos concluir a igualdade entre os conjuntos. Conclumos assim que
Q(i, i, r, 5) : Q , de fato, uma extenso simples.

Uma questo natural que surge neste contexto, a da equivalncia entre extenses.
Ela ser abordada atravs do conceito de isomorsmo de extenses. Este conceito ser
importante no desenvolvimento da classicao das extenses a ser realizado na prxima
seo.
Denio 4.2.3. Um isomorsmo entre duas extenses de corpos : K K , j : L L

L
, tal que para todo k K ,
um par (, ) de isomorsmos : K L, : K
j((k)) = ((k)).
Ou de um modo mais visual, temos o seguinte diagrama comutativo,

K
K

/L
originam a mesma funo.

isto , os dois possveis caminhos de K a L
A ideia de equivalncia expressada por isomorsmo vlida, pois estes, preservam
propriedades do corpo domnio no corpo imagem.
Vrias identicaes podem ser feitas. Se identicarmos
so incluses, e a condio de comutatividade agora torna:
|K = ,
(K),
j(L),
ento
42
em que
4.2 Extenses Simples

|K
denota a restrio de
se a identidade, e ento
identicao.
|K
sobre
K.
Se identicarmos
L,
ento
torna-
a identidade. Tentaremos usar sempre que possvel esta
Captulo 5
Extenses Simples
Durante este captulo, continuaremos tratando de extenses simples, buscando realizar
uma classicao. E ainda, exporemos o conceito de polinmio minimal, importante na
construo de corpos a partir de um domnio de integridade dado pelos polinmios com
coecientes em um certo corpo e indeterminada
t.
Extenses simples so classicadas em dois tipos: transcendentes e algbricas. Considerando

sobre
K,
um subcorpo de
C, e caso o novo elemento satisfaa uma equao polinomial
ento, a extenso dita algbrica; caso contrrio, transcendente. A partir de
isomorsmos,
K,
tem exatamente uma extenso simples do tipo transcendente. Para a
maioria dos corpos
K,
h muitas possibilidades para extenses simples algbricas, elas
so classicadas pelos polinmios irredutveis
sobre
K.
Em resumo, este ltimo paragrafo em linguagem matemtica e contemplamos tal na

seguinte denio,
Denio 5.0.4. Seja K um subcorpo de C, e seja C. Ento algbrico sobre K

se existe um polinmio no nulo p sobre K , tal que, P () = 0. Caso contrrio, dizemos
que transcendente sobre K .
Exemplos 5.0.5.
1. O nmero = 2 algbrico sobre Q, pois o polinmio p(t) = t2 2 tem como

2
raiz, isto , p() = 2 2 = 2 2 = 0.
2. O nmero =
3
2 tambm algbrico sobre Q, pois q() = 0, onde q(t) = t3 2.
3. O nmero transcendente sobre Q, mas veremos com mais detalhes tal fato no
captulo sobre construes com rgua e compasso.
4. Ora, = ainda transcendente sobre Q. Suponhamos que este no o seja,

isto , existe um polinmio p(t) Q[t] {0} tal que p() = 0. Separando os
termos de grau par dos de grau mpar, conseguimos escrever p( ) do seguinte
modo, a() + b() = 0. Donde, a() = b() e a2 () = b2 () . Da,

43
44
5.1 O Polinmio Minimal

f () = 0, onde
f (t) = a2 (t) tb2 (t) Q[t].
Como (a2 ) par, enquanto que (b2 ) mpar, temos que f (t) acima um polinmio
em Q[t] no nulo. Ou seja, acabamos de mostrar que um nmero algbrico sobre
Q, o que um absurdo. Sendo assim, de fato transcendente sobre Q.
5. Embora, e sejam transcendentes sobre Q, como comentado nos itens anterio

res, temos que = algbrico sobre Q(), uma vez que 2 = 0.
K(t) o conjunto de funes racionais com indeterminada t sobre K ,
nica extenso transcendente simples de K por meio de isomorsmos.
Armemos que se
K(t) : K a
K() : K algbrico,
ento
Se
h mais de uma possibilidade de extenso por isomorsmos,
ainda sim, so tratveis. Mostraremos que h um nico polinmio mnico irredutvel

sobre
tal que
m() = 0,
determina a extenso unicamente por isomorsmos.
Teorema 5.0.6. O conjunto das expresses racionais K(t) uma extenso transcendente
simples do subcorpo K de C.
Demonstrao.
K(t) : K uma extenso simples gerada pelo t. Se p um

polinmio sobre K , tal que p(t) = 0, ento por denio de K(t), p = 0. Da, temos que
t no anula nenhum polinmio sobre K(t), e a extenso em questo transcendente.
Temos que
5.1 O Polinmio Minimal

O polinmio minimal, como j falado, ser importante para a determinao nica
de extenses simples algbricas a partir de isomorsmos.
Porm, para o entendermos,
precisamos de alguns conceitos anteriores.
Denio 5.1.1. Um polinmio f (t) = a0 + a1 t + ... + an tn sobre um subcorpo K de C

mnico se an = 1. Ou melhor dizendo, um polinmio dito mnico se o coeciente do
maior termo 1.
Notamos que todo polinmio um mltiplo de algum polinmio mnico, e para polinmios no nulos, este mnico nico. Alm disso, o produto de dois polinmios mnicos
novamente um polinmio mnico.
K() : K uma extenso algbrica simples. Portanto, existe

K , tal que seja raiz, ou seja, p() = 0. Podemos assumir que tal
Suponhamos agora, que

um polinmio
sobre
polinmio mnico (caso este no o seja, basta multiplicarmos todos os coecientes pelo
inverso do que acompanha o termo de maior grau).
polinmio mnico de menor grau que tenha
como um zero.
Armamos que tal, nico.
p, q polinmios de menor grau que tenham como um

Ento, p() q() = 0. Como p 6= q , temos que alguma constante mltipla de p q
De fato, suponhamos que existam

zero.
Sendo assim, existe ao menos um
5 Extenses Simples
45
um polinmio mnico com
como zero. Donde, contrariamos o fato de
polinmios mnicos de menor grau que tinham
p() = 0.
A este
p,
serem os
como raiz (usando as propriedades de
grau de polinmio). Conclumos assim que existe um nico polinmio mnico

grau tal que
p de menor
damos o seguinte nome,
Denio 5.1.2. Seja L : K uma extenso de corpos, e suponhamos que L algbrico

sobre K . Ento, o polinmio minimal de sobre K , o nico polinmio mnico m sobre
K de menor grau tal que m() = 0.
Exemplo 5.1.3. Sabemos que R(i) = C : R uma extenso simples e algbrica sobre R,
pois m(t) = t2 + 1 R[t] um polinmio tal que m(i) = 0. Notemos que tal m mnico.
Armemos que este o polinmio minimal de i sobre R. De fato, se este no fosse, os
polinmios de menor grau em R seriam da forma t + r para algum r R, ou o polinmio
constante igual a 1. Ora, i no pode ser zero de nenhum destes, pois se o fosse, teramos
i R. Portanto, o polinmio minimal de i sobre R, mesmo o m(t) = t2 + 1.
Veremos no lema a seguir quais so os polinmios que podem ser minimal.
Lema 5.1.4. Se um elemento algbrico sobre um subcorpo K de C, ento o polinmio

minimal de sobre K irredutvel sobre K . Ele ainda divide qualquer polinmio em que
um zero.
Demonstrao.
Suponhamos que o polinmio minimal
de
sobre
redutvel, isto
m = f g com f e g polinmios sobre K de graus menores que m. Podemos assumir que

f e g so mnicos. Ento, como m() = 0, devemos ter f ()g() = 0, e como K[t] um
domnio de integridade, f () = 0 ou g() = 0, o que contrariaria a denio de polinmio
minimal. Portanto, m irredutvel sobre K .
Suponhamos agora que p um polinmio sobre K , tal que, p() = 0. Assim, pelo
Algoritmo da Diviso, existem polinmios q e r sobre K , tais que, p = mq + r e r < m.
Ento, 0 = p() = m()q() + r() = 0 q() + r() = r(). Se tivermos r 6= 0, ento
existe um mltiplo constante de r que mnico, e deste modo, o grau deste menor do
que o grau de m, gerando uma contradio com o fato de m ser o polinmio minimal de
sobre K . Portanto, r = 0, e m divide p.
,
Teorema 5.1.5. Se K um subcorpo de C e m qualquer polinmio mnico irredutvel

sobre K , ento existe um C, algbrico sobre K , tal que tem m como polinmio
minimal sobre K .
O teorema acima expresso deixa claro que qualquer polinmio mnico irredutvel sobre
um subcorpo
Demonstrao.
de
Seja
polinmio minimal
so mnicos, logo
minimal.
um zero qualquer de
sobre K ,
f = m.
de
divide
m.
em
Ora,
C. Ento, m() = 0, e portanto,

m irredutvel sobre K , e ambos f
o
e
46
5.2 Extenses Algbricas Simples
5.2 Extenses Algbricas Simples

Nesta seo iremos descrever a estrutura de corpo das extenses
tem um polinnio minimal
sobre
K() : K ,
quando
K.
Denio 5.2.1. Dados dois polinmios a, b K[t], calcularemos a congruncia mdulo

m, com m um polinmio sobre K , do seguinte modo,
a b (mod m)
se a(t) b(t) divisvel por m(t) em K[t].
Lema 5.2.2. Suponhamos que a1 b1 (mod m) e a2 b2 (mod m). Ento, a1 + a2

b1 + b2 (mod m), e a1 a2 b1 b2 (mod m).
Demonstrao.
Como
a2 b2 = b m,
para alguns polinmios
a1 b1 (mod m)
a2 b2 (mod m),
a, b K[t].
e
temos que
a1 b 1 = a m
Agora,
(a1 + a2 ) (b1 + b2 ) = (a1 b1 ) + (a2 b2 ) = (a b) m

provando a primeira armao.
J para o produto, temos a demonstrao saindo de,
a1 a2 b 1 b 2 = a1 a2 a1 b 2 + a1 b 2 b 1 b 2
= a1 (a2 b2 ) + b2 (a1 b1 )
= (a1 b + b2 a) m.
Lema 5.2.3. Todo polinmio a K[t] congruente mdulo m a um nico polinmio de

grau menor do que o grau de m.
Demonstrao.
q e r, polinmios sobre K ,
tais que a = q m+r , com r < m. Logo, ar = q m, e portanto, a r(mod m). Resta
agora provarmos a unicidade, para tal suponhamos que r s(mod m), e que r, s < m.
Da, r s divisvel por m, e possui grau menor do que m, o que nos leva a r s = 0, e
portanto, r = s, como gostaramos de provar.
Chamamos
Sabemos pelo algoritmo da diviso que existem
de forma reduzida de
podemos calcular polinmios mdulo
mdulo
m.
E pelo Lema anterior, vemos que
em termos das suas formas reduzidas.
De um modo mais abstrato podemos trabalhar com classes de equivalncia. A relao
(mod m)
uma relao de equivalncia em
K[t],
e assim, particiona
K[t]
em classes
de equivalncias.
Antes de continuarmos descrevendo as classes de equivalncia segundo esta relao,
vejamos que de fato,
(mod m)
uma relao de equivalncia:
5 Extenses Simples
Dado
a K[t],
47
temos que
a a = 0 = 0 m,
ou seja,
a a(mod m)
- validade da
reexividade;
a b(mod m), ento a b = n m, para algum n K[t].

Sendo assim, como (b a) = (a b) = n m, e K[t], domnio de integridade,
temos tambm que b a(mod m) - validade da simetria;
a, b, c K[t], se a b(mod m) e b c(mod m) ento, a b = n m e

b c = o m, para alguns n, o K[t]. Ora, a c = (a b) + (b c) = n m + o m =
(n + o) m, e portanto a c(mod m) - validade da transitividade.
Dados
a, b K[t],
se
Dados
Como de fato temos a relao de equivalncia, escreveremos

equivalncia de
a K[t].
[a]
como sendo a classe de
Deste modo,
[a] = {f K[t] : m|(a f )}.

A soma e o produto de duas classes de equivalncia
[a]
[b]
podem ser denidos como:
[a] + [b] = [a + b] e [a][b] = [ab].

Cada classe de equivalncia contm um nico polinmio de grau menor do que o grau de
m,
o chamado polinmio reduzido.

Escreveremos,
K[t]
hmi
para representar o conjunto de classe de equivalncias de
K[t]
mdulo
m.
Apenas com a
ideia de alertar o leitor, vemos que o quociente em questo dado por um anel (melhor
at dizendo, um domnio de integridade) e por um ideal gerado pelo polinmio
Teorema 5.2.4. Todo elemento no nulo de

se, e somente se, m irredutvel sobre K[t].
K[t]
hmi
O teorema anterior tambm nos diz que, se
m.
tem um inverso multiplicativo em

irredutvel sobre
K,
ento
hmi
K[t]
hmi
um
K[t]
ideal maximal, e portanto,
um corpo.
hmi
Demonstrao.
K[t], logo, existem a, b K[t], tais

que m = ab e a, b < m. Ento, [a][b] = [ab] = [m] = [0]. Suponhamos que [a] tenha
um inverso multiplicativo [c], tal que [a][c] = 1. Ento, [0] = [c][0] = [c][a][b] = [1][b] = [b],
ento m divide b. Como b < m, devemos ter b = 0 e da m = 0, mas por conveno 0
Suponhamos que
seja redutvel em
no irredutvel.
Se
irredutvel, seja
a K[t]
com
[a] 6= [0];
isto ,
m - a.
Assim,
so primos
1. Por teorema j visto, Teorema 3.1.9

temos que existem h, k K[t] tais que ha + km = 1. Ento, [h][a] + [k][m] = [1], mas
[m] = [0] ento [1] = [h][a] + [k][m] = [h][a] + [k][0] = [h][a] + [0] = [h][a]. Portanto, [h]
entre si, ou seja, o maior fator comum entre eles
o inverso procurado.
48
5.3 Classicando Extenses Simples

Teorema 5.3.1. Toda extenso transcendente simples K() : K isomrca a extenso
K(t) : K das expresses racionais de indeterminada t sobre K . O isomorsmo K(t)
K() pode ser escolhido para associar t a , e para ser a identidade sobre K .
Demonstrao.
Denamos uma funo
: K(t) K()
por
Se
f (t)
g(t)

=
f ()
.
g()
g 6= 0, ento g() 6= 0 (uma vez que transcendente).
Logo, o modo como denimos
a funo faz sentido. Notemos que a funo acima um homomorsmo injetor, portanto,
um monomorsmo:
f (t) h(t)
+
g(t)
i(t)
=
=
=
=
=

f (t)i(t) + h(t)g(t)
g(t)i(t)
f ()i() + h()g()
g()i()
f ()i() h()g()
+
g()i()
g()i()
f () h()
+
g()
i()

f (t)
h(t)
+
.
g(t)
i(t)
E,
f (t) h(t)
g(t) i(t)
=
=
=
=

f (t)h(t)
g(t)i(t)
f ()h()
g()i()
f () h()
g() i()

f (t)
h(t)
.
g(t)
i(t)
Mais ainda,
f (t)
g(t)

6=
h(t)
i(t)
f ()
h()
6=
g()
i()
f () h()
6= 0
g()
i()
5 Extenses Simples
49
f ()i() h()g()
6= 0
g()i()

f (t)i(t) h(t)g(t)
6= 0
g(t)i(t)
f (t)i(t) h(t)g(t)
6= 0
g(t)i(t)
f (t)i(t) h(t)g(t)
6= 0
g(t)i(t)
g(t)i(t)
f (t) h(t)
6= 0
g(t)
i(t)
f (t)
h(t)
6=
.
g(t)
i(t)
Vemos pelo modo em que
foi denida, que tambm sobrejetora. Donde, acabamos
por ter um isomorsmo no lugar de um monomorsmo como havamos mostrado. Alm
|K
(t) = .
disso,
a identidade, ou seja,
dene um isomorsmo de extenses.
Finalmente,
Teorema 5.3.2. Seja K() : K uma extenso algbrica simples, e seja m o polinmio
. O isomorsmo
minimal de sobre K . Ento K() : K isomrco a K[t]
hmi
escolhido para associar t a (ser a identidade sobre K ).
Demonstrao.
O isomorsmo em questo denido por
[p(t)] p(),
K[t]
hmi
pode ser
uma vez que, de
modo anlogo a demonstrao do teorema anterior conseguimos mostrar o monomorsmo

e a sobrejeo; e ainda a boa denio, j que
p() = 0
se, e somente se,
agora, mostrarmos que este a identidade quando restrito a
K,
m|p.
Resta
mas isto e ntido pela
denio.
Corolrio 5.3.3. Suponha K() : K e K() : K extenses algbricas simples, tais que
e tenham o mesmo polinmio minimal m sobre K . Ento, estas duas extenses so
isomorfas, e o isomorsmo de corpos maiores, pode ser entendido como uma funo de
para (e como a identidade sobre K ).
Demonstrao.
Pelo teorema anterior, sabemos que ambas extenses so isomorfas a
e que tais isomorsmos associam
respectivamente.
Consideremos
como sendo respectivamente tais isomorsmos. Assim, ao considerarmos

isomorsmo de
K()
em
K(),
K[t]
,
hmi
e
, temos um
exatamente como desejvamos.
Lema 5.3.4. Seja K() : K uma extenso algbrica simples, e seja m o polinmio
minimal de sobre K , e ainda m = n. Ento, {1, , ..., n1 } uma base para K()
sobre K (como veremos melhor no prximo captulo). Em particular, [K() : K] = n.
Demonstrao.
Este teorema consequncia do j feito no Lema 5.2.3.
50
Denio 5.3.5. Seja : K L um monomorsmo entre corpos. Ento existe uma

funo : K[t] L[t] denida por,
(k0 + k1 t + ... + kn tn ) = (k0 ) + (k1 )t + ... + (kn )tn ,
com k0 , k1 , ..., kn K . Temos do fato de ser monomorsmo que tambm o . Assim,

se for um isomorsmo, tambm ser.
Teorema 5.3.6. Suponha que K e L sejam subcorpos de C e que : K L um

isomorsmo. Sejam K() e L() extenses algbricas simples de K e L, respectivamente,
tais que m (t) o polinmio minimal de sobre K , e m (t), o polinmio minimal de
sobre L. Alm disso, suponha que m (t) = (m (t)). Ento, existe um isomorsmo
j : K() L() tal que j|K = e j() = .
Demonstrao.
Analisemos as hipteses do teorema no diagrama a seguir:
/ K()
L
em que
L()
ainda precisa ser determinada. Sabemos que todo elemento de
K() da forma
p() para um polinmio p sobre K , cujo grau < m (uso da forma reduzida). Denamos
j(p()) = ((p))(), com (p) denida como no diagrama. Assim, estamos em condies
de usar o Teorema 5.3.2 e concluirmos a demonstrao.
O ponto crucial do teorema acima, que, dada uma funo
uma funo
entre corpos maiores.
podemos estend-la a
Captulo 6
O Grau de uma Extenso
Neste captulo associaremos o conceito de espao vetorial a teoria de extenses de
corpos, a partir do novo conceito a ser abordado, o grau de uma extenso.
Teorema 6.0.7. Se L : K uma extenso de corpos, ento as operaes

(, u) 7 u, K, u L
(u, v) 7 u + v, u, v L
dene sobre L uma estrutura de um espao vetorial sobre K .

Demonstrao.
Para mostrarmos que
L um espao vetorial sobre K , precisamos garantir
que as operaes anteriormente denidas satisfazem os sete axiomas seguintes:

1.
u + v = v + u, u, v L
2.
(u + v) + w = u + (v + w), u, v, w L
3. Existe um elemento em
- comutatividade da adio;
L,
- associatividade da adio;
que chamaremos de
0,
tal que
0 + u = u, u L
existncia do elemento neutro da adio;

4. Para todo
u L,
existe
u L,
de modo que
u + (u) = 0
- existncia de inverso
aditivo;
5. Se
K,
u, v L,
ento
(u + v) = u + v
- distributividade do escalar diante
a soma de vetores;
6. Seja
a unidade de
K,
1u = u, u L
ento
- elemento neutro da operao de
multiplicao;
7. Se
, K
u L,
ento
(u) = ()u
- distributividade de escalares diante a
um vetor.
Sabendo que
K L e ambos, K
denimos as operaes claramente a

dene um espao vetorial sobre
L, so subcorpos de C, temos a partir do modo que

validade dos sete axiomas acima, mostrando que L
K.
51
52
6.1 A Lei da Torre

Para a denio a seguir precisamos lembrar que a dimenso de um espao vetorial
o nmero de elementos linearmente independentes que compem uma base para o espao,
e que o geram.
Denio 6.0.8. O grau, [L : K], de uma extenso L : K a dimenso do espao vetorial

de L sobre K .
Exemplos 6.0.9.
1. Notemos que a extenso C = R(i) : R tem como grau 2, uma vez que, {1, i} uma
base para o espao vetorial de C sobre R. Portanto, [C : R] = 2;
2. Como j visto anteriormente, {1, 5, i, i 5} forma uma base para o espao vetorial
Q(i, 5) sobre Q, assim, [Q(i, 5) : Q] = 4.

Notoriamente vale ressaltar, que extenses de corpos isomorfas tem o mesmo grau.
6.1 A Lei da Torre

O prximo teorema garantir uma facilidade maior no clculo do grau de determinadas
extenses, uma vez que, permite usarmos outras, com graus j conhecidos.
Teorema 6.1.1. Se K, L, M so subcorpos de C, e K L M , ento

[M : K] = [M : L][L : K].
Se
ento
[M : L] ou [L : K] so iguais a ,
[M : L] = ou [L : K] = .
Demonstrao.
Seja
(xi )iI
espao
[M : K] = .
E ainda, se
sobre
L.
[M : K] = ,
K,
e seja
(yj )jJ
Deste modo, para todo
i I
e todo
uma base para o espao vetorial de
j J,
ento
sobre
xi L, yj M . Devemos mostrar que (xi yj )iI,jJ uma base para o

vetorial de M sobre K (notemos que xi yj o produto no subcorpo M ). E assim,
temos
a dimenso da base deste ltimo espao ter a dimenso necessria.

Para mostrarmos que
(xi yj )iI,jJ
uma base, devemos inicialmente mostrar que estes
so linearmente independentes. Para isto, consideremos
kij xi yj = 0,
kij K,
kij xi L,
i,j
como
kij xi L
um corpo, temos que
modo a obtermos,
!
X X
j
kij xi
yj = 0.
podemos assim, rearranj-la de

Sabendo que
kij xi L
e que
53
yj
so linearmente independentes sobre
L,
temos
kij xi = 0.
i
Analogamente, como
0, i I, j J .
xi
Ou seja, os elementos
xi y j
K,
conseguimos que
Resta-nos mostrar que qualquer elemento do espao vetorial de
sobre
kij =
K.
pode ser
escrito como soma destes elementos.

Seja
x M,
qualquer. Temos,
x=
j yj ,
j
para
de
j L
, j que,
(yj )jJ
(xi )iI
todo j J ,
sobre
L.
Pensando do mesmo modo, temos que por
ser uma base para o espao vetorial
como,
sobre
K,
podemos escrever
para
j =
ij xi
i
para
ij K .
Juntando o feito, conseguimos,
x=
ij xi yj
i,j
como queramos.
Assim,
(xi yj )iI,jJ
sobre
K,
e sua dimenso
exatamente a que diz o teorema.
uma base para o espao vetorial Q( 2) sobre Q. Vejamos isto melhor, dado Q( 2),
temos que = p+q 2, com p, q Q. Ou seja, {1, 2} realmente gera o espao vetorial de
Q( 2) sobre Q. Resta agora mostramos que, 1 e 2 so linearmente independentes sobre
Q. Suponhamos que p + q 2 = 0, e mais que q 6= 0. Assim, conseguimos que 2 = p

,
q
isto , 2 Q, o que um absurdo, portanto, q = 0. Como q = 0 temos necessariamente
que p = 0, donde vemos que estes, 1 e 2, so linearmente independentes sobre Q. Logo,
juntando as informaes conseguimos que {1, 2} uma base de Q( 2) sobre Q.

Analogamente, mostramos que {1, 3} uma base para o espao vetorial Q( 2, 3)
sobre Q( 2).
Exemplo 6.1.2. Encontremos o grau da extenso [Q( 2, 3) : Q]. Notemos que {1, 2}
54
6.1 A Lei da Torre
Portanto, como Q Q( 2) Q( 2, 3), temos pela lei da torre,

[Q( 2, 3) : Q] = [Q( 2, 3) : Q( 2)][Q( 2) : Q]

= 22
= 4
Assim, temos a combinao das bases {1, 2} e {1, 3} gerando a base {1, 2, 3, 6}

do espao vetorial Q( 2, 3) sobre Q.
Corolrio 6.1.3 (Lei da Torre). Se K0 K1 ... Kn so subcorpos de C, ento

[Kn : K0 ] = [Kn : Kn1 ][Kn1 : Kn2 ]...[K1 : K0 ].
Demonstrao.
sobre
Para provarmos a armao, basta usarmos o teorema anterior e induo
n.
Proposio 6.1.4. Seja K() : K uma extenso simples. Se esta, transcendente,

ento [K() : K] = . Se a extenso algbrica, ento [K() : K] = m, em que m
o polinmio minimal de sobre K .
Demonstrao.
Para o caso transcendente, suciente mostrarmos que
linearmente independente sobre
K.
1, , 2 , ...
so
J para o caso algbrico, utilizamos o Lema 5.3.4
para concluirmos o dito.
Exemplo 6.1.5. Procuremos descobrir o grau da extenso de Q( 2, 3, 5) sobre Q,

isto , [Q( 2, 3, 5) : Q].

Usemos a lei das torres, donde por Q Q( 2) Q( 2, 3) Q( 2, 3, 5), temos

[Q( 2, 3, 5) : Q] = [Q( 2, 3, 5) : Q( 2, 3)][Q( 2, 3) : Q( 2)][Q( 2) : Q]
Percebemos que cada um dos fatores igual a dois, porm necessrio demonstrarmos
isto.
(a) Pelo que vimos no Exemplo 6.1.2, [Q( 2) : Q] = 2.

(b) Ainda pelo Exemplo 6.1.2, temos que [Q( 2, 3) : Q( 2)] = 2. Porm mostremos
um pouco melhor. Suponhamos que 3 Q( 2) (pois se concluirmos um absurdo,

teremos claramente o grau da extenso como sendo 2), assim
3 = p + q 2,
3 = (p2 + 2q 2 ) + 2pq 2
p, q Q
p2 + 2q 2 = 3 e pq = 0
55
Se p = 0, ento 2q 2 = 3, ou seja, q = 12 3
/ Q; da mesma forma se q = 0

2
conseguimos uma impossibilidade com p = 3. Donde, 3
/ Q( 2), e [Q( 2, 3) :
Q( 2] = 2.
(c) Finalmente, armamos que
isto , que

5
/ Q( 2, 3). Suponhamos por absurdo, que
5 = p + q 2 + r 3 + s 6,
p, q, r, s Q,
5 Q( 2, 3).
Elevando ao quadrado,
5 = p2 + 2q 2 + 3r2 + 6s2 + (2pq + 6rs) 2 + (2pr + 4qs) 3 + (2ps + 2qr) 6,
portanto,
p2 + q 2 + 3r2 + 6s2 = 5
(6.1)
pq + 3rs = 0
(6.2)
pr + 2qs = 0
(6.3)
ps + qr = 0.
(6.4)
Observemos que se (p, q, r, s) satisfaz (6.1), ento (p, q, r, s), (p, q, r, s), e
(p, q, r, s) tambm satisfazem. Logo,
p+q 2+r 3+s 6
p+q 2r 3s 6
pq 2+r 3s 6
pq 2r 3+s 6
= 5
= 5
= 5.
Somando as duas primeiras equaes acima, conseguimos p + q 2 = 5, o que
implica em p = q = 0. Somando agora, a primeira com a terceira equao, r 3 = 0
ou r 3 = 5, e ento r = 0. Finalmente, s = 0, j que s 6 = 5 impossvel.

Provada as armaes, podemos deduzir que,

[Q( 2, 3, 5) : Q( 2, 3)] = 2,

donde conclumos que [Q( 2, 3, 5) : Q] = 8.
Denio 6.1.6. Uma extenso nita aquela cujo grau nito.

Exemplo 6.1.7. S a partir da Proposio 6.1.4 temos um grande nmero de extenses
nitas.
56
6.1 A Lei da Torre
Denio 6.1.8. Uma extenso L : K algbrica se todo elemento de L algbrico sobre

K.
Lema 6.1.9. L : K uma extenso nita, se, e somente se, L algbrico sobre K e
existe nitamente muitos elementos 1 , ..., n L tais que L = K(1 , ..., n ).
Demonstrao.
Utilizando induo, o Teorema 6.1.1 e a Proposio 6.1.4, temos que qual-
K(1 , ..., s ) : K nita. Consideremos agora L : K uma extenso

nita. Ento, existe uma base {1 , ..., s } para o espao vetorial de L sobre K . Assim,
L = K(1 , ..., s ). Donde nos resta apenas mostrar que L : K algbrica. Seja x um
elemento qualquer de L, e n = [L : K].
n
O conjunto {1, x, ..., x } tem n + 1 elementos, e portanto, deve ser um conjunto linearmente dependente (a base deste espao contm exatos n elementos) sobre K . Assim,
quer extenso algbrica
k0 + k1 x + ... + kn xn = 0,
e
algbrico sobre
sobre
K.
K.
k0 , k1 , ..., kn K,
Como este genrico, temos que a extenso do tipo algbrico
Captulo 7
Construes com Rgua e Compasso
Problemas como as impossibilidades geomtricas (duplicao do volume do cubo, quadratura do crculos e trisseco de um ngulo), com as quais os gregos se depararam, sero
agora discutidos atravs do uso da importante ferramenta - o grau de uma extenso.
7.1 Formulao Algbrica

Devemos iniciar formulando a ideia de construo a partir dos instrumentos rgua e
compasso.
Consideremos que
P0
seja um conjunto de pontos do plano
R2 ,
obtidos por meio da
teoria geomtrica euclidiana. E mais, assumamos que nossas operaes sejam do tipo:
Rgua:
Compasso:
Atravs dois pontos de
P0
desenhamos uma linha reta.
Desenhamos um crculo cujo centro um ponto de
a distncia entre um par de pontos tambm de
P0
e o raio igual
P0 .
Denio 7.1.1. Os pontos de interseco de qualquer duas retas distintas, ou crculos,

desenhados a partir as operaes de Rgua e Compasso, so ditos construveis de P0 .
Mais geralmente, um ponto r R2 construvel de P0 , se h uma sequncia r1 , ..., rn = r
de pontos de R2 , tais que para cada j = 1, ..., n dos pontos rj construvel a partir do
conjunto P0 {r1 , ..., rj1 }.
Exemplo 7.1.2. Suponhamos dados os pontos P1 , P2 R2 . Assim, consideremos P0 =

{P1 , P2 }. Desenhemos o ponto mdio do segmento de extremos em P1 e P2 . Para isto,
seguimos os seguintes passos:

1. Existe uma reta passando pelos pontos P1 , P2 , desenhe-na (operao da Rgua);
2. Com auxlio do compasso, desenhe o crculo com centro em P1 e raio dado pela
distncia de P1 a P2 ;
57
58

3. Novamente com a operao compasso, desenhamos o crculo de centro em P2 e raio
dist(P1 , P2 );
4. Sejam R1 , R2 os pontos de interseco das circunferncias;
5. Tracemos a reta passando por R1 e R2 - operao com a Rgua;
6. Chamemos de R3 o ponto de interseco entre a reta P1 P2 e a reta R1 R2 .
Armemos que R3 o ponto mdio procurado. De fato, desenhemos o tringulo de vrtices

P1 , P2 e R1 e analisemos a semelhana de tringulos entre os dois que o forma, concluindo
assim a armao feita.
R1
P1
R3
P2
R2
Figura 7.1: A construo do ponto mdio do segmento
P1 P 2
A chave para o entendimento das limitaes das construes por rgua e compasso
est relacionada a ideia de extenses de corpos (como comentamos brevemente no incio
do captulo). H uma maneira natural para fazermos isto. A cada estgio da construo,
associamos o subcorpo de
tambm um subcorpo de
dos pontos em
P0 .
como o corpo obtido
R.
gerado pelas coordenadas dos pontos construdos, que
Ento, seja
K0
R gerado por x, y
o subcorpo de
rj tem coordenadas (xj , yj ), ento

de Kj1 adicionando xj e yj , ou seja,
Se
coordenadas
indutivamente denimos
Kj
Kj = Kj1 (xj , yj ).
Notemos que no estamos adicionando o ponto
cionando o conjunto
{xj , yj }
(xj , yj )
Kj1 ,
estamos na verdade adi-
formado pelas duas coordenadas do ponto.
Temos deste modo, a seguinte torre de subcorpos,
K0 K1 ... Kn R,
e usamo-na para obtermos um critrio de construtividade.
59
Lema 7.1.3. Com a notao acima, xj e yj so zeros em Kj dos polinmios quadrticos

sobre Kj1 .
Demonstrao.
Temos trs casos a considerar: encontro de retas, encontro de retas com
circunferncias, e encontro entre circunferncias.
Cada caso demonstrado por meio
da geometria, para tanto faremos apenas um destes, o caso de encontro entre reta e
circunferncia.
Sejam
A, B, C
pontos de coordenadas
passando pelos pontos

Sabemos que
em
Kj1 .
w2 Kj1 ,
B, e
pois w
e
(p, q), (r, s), (t, u)
em
Kj1 .
Desenhemos a reta
tambm a circunferncia de centro em
e raio
w.
a distncia entre dois pontos cujas coordenadas esto
Para ver isto, podemos usar a semelhana entre os tringulos
ACX
ADB ,
como ilustrado na Figura 7.2, obtendo a seguinte equao da reta que passa pelos pontos
B:
yq
xp
=
.
rp
sq
Por outro lado, a equao da circunferncia
(x t)2 + (y u)2 = w2 .
Resolvendo estas duas equaes simultneas, chegamos a seguinte expresso:
(x t) +
2
(s q)
(x p) + q u = w2 ,
(r p)
x da interseco dos pontos X
sobre Kj1 , e o mesmo vlido
a partir da qual podemos ver claramente que a coordenada

e
so exatamente os zeros de um polinmio quadrtico
para a coordenada
y.
Esta situao encontra-se ilustrada na Figura 7.3.
B = (r, s)
X = (x, y)
A = (p, q)
xp
sq
yq
C
rp
O
Figura 7.2: Equao da reta
AB
obtida por meio da semelhana de tringulos
Teorema 7.1.4. Se r = (x, y) construtvel a partir de um subconjunto de P0 de R2 , e

K0 um subcorpo de R gerado pelas coordenadas dos pontos de P0 , ento os graus
[K0 (x) : K0 ] e [K0 (y) : K0 ]
60
B
Y
A
X
C
Figura 7.3: A construo de pontos a partir de pontos como interseco da reta

o crculo de centro
e raio
AB
com
dados
so potncias de 2.
Demonstrao.
Com a mesma notao de antes, temos pelo Lema 7.1.3 e pela Proposio
6.1.4,
[Kj1 (xj ) : Kj1 ] = 1
ou
2.
2 aparece se o polinmio quadrtico sobre Kj1 que tem xj

contrrio o valor 1. Similarmente,
O valor
caso
[Kj1 (yj ) : Kj1 ] = 1
ou
como zero irredutvel,
Portanto, pela lei da torre,
[Kj1 (xj , yj ) : Kj1 ] = [Kj1 (xj , yj ) : Kj1 (xj )][Kj1 (xj ) : Kj1 ]
= 1, 2, ou 4
[Kj : Kj1 ]
potncia de 2.
Como
uma potncia de
uma
Ora,
2.
Temos pela lei da torre, que
[Kn : K0 ]
tambm
[Kn : K0 (x)][K0 (x) : K0 ] = [Kn : K0 ]

e
[K0 (x) : K0 ] uma potncia de 2.
Analogamente,
[K0 (y) : K0 ] uma potncia de 2.
61
7.2 Impossibilidade de Provas

Aplicaremos neste momento a teoria discutida na seo anterior para mostrarmos a
no existncia de construo por meio de rgua e compasso que resolva os problemas
clssicos mencionados, a duplicao do cubo, a trisseco do ngulo e a quadratura do
crculo.
Teorema 7.2.1 (Wantzel). O cubo no pode ser duplicado usando construes com rgua
e compasso.
Demonstrao.
P0 = {(0, 0), (1, 0)}.
2, 3 que so as outras distncias possveis entre os vrtices do

Deste modo, K0 = Q, e
cubo, podem ser obtidas a partir de P0 . Se desejamos duplicar o cubo, devemos construir
3
o ponto (, 0), em que = 2. Assim, pelo Teorema 7.1.4 [Q() : Q] deve ser uma
3
potncia de 2. Mas, zero do polinmio t 2 sobre Q, que irredutvel pelo Critrio
3
de Eisenstein. Portanto, t 2 o polinmio minimal de sobre Q, e devido a Proposio
6.1.4, [Q() : Q] = 3. Como 3 no uma potncia de 2, temos uma contradio. Da, o
Dado um cubo de lado unitrio, assumamos que
cubo no pode ser duplicado.
Teorema 7.2.2 (Wantzel). O ngulo

rgua e compasso.
Demonstrao.
no pode ser trissectado usando construes com
Conseguimos construir o ngulo
a partir dos pontos

3
(0, 0) e (1, 0).
Por-
o mesmo que construir o ponto (, 0), com = cos( ). A

tanto, trissectar o ngulo
3
9
partir disto, conseguimos construir (, 0), sendo = 2 cos( ). De trigonometria, temos

9
cos(3) = 4cos()3 3 cos().

Se colocarmos
, ento
9
cos(3) =
1
, e
2
satisfaz a cbica,
3 3 1 = 0.
Agora,
f (t) = t3 3t 1
irredutvel sobre
Q,
como
f (t + 1) = t3 + 3t2 3
irredutvel pelo Critrio de Eisenstein.
Pelo teorema anterior,
[Q() : Q] = 3,
uma
contradio.
Teorema 7.2.3. No e possvel fazermos a quadratura do crculo por meio de construes

com rgua e compasso.
Demonstrao.
pontos iniciais
Tal construo equivalente a construirmos o ponto
P0 = {(0, 0), (1, 0)}.
(0, )
a partir dos
Deste conjunto, podemos facilmente construir
(0, ).
62
7.2 Impossibilidade de Provas

[Q() : Q] uma potncia de 2, em particular,
vimos, ou melhor, assumimos que no algbrico
Portanto, se tal construo existir, ento

algbrico sobre
sobre
Q,
Q.
Por outro lado,
ou seja, temos demonstrado o teorema.
Captulo 8
Normalidade e Separabilidade
Neste captulo inicial discutiremos duas propriedades de certo modo complementares.
Estas sero imprescendveis para o estudo do Teorema da Correspondncia de Galois, que
sem sombra de dvidas o auge de toda esta teoria.
Suponha que
tem zeros em
K.
um subcorpo de
C.
Frequentemente um polinmio
Mas, este tem zeros em
C,
p(t) K[t]
pelo Teorema Fundamental da lgebra.
Portanto, deve haver alguns zeros, ao menos, em alguma extenso de corpo

exemplo,
t2 + 1 R[t]
no tem zeros em
R,
no
mas tem zeros,
i,
em
C.
de
K.
Por
Estudaremos este
fenmeno em detalhes, mostrando que todo polinmio pode ser resolvido por um produto
de fatores lineares (e, portanto, tem seus zeros) se o corpo
a um corpo
N.
Uma extenso
com ao menos um zero em
N : K normal se
N , decompe-se em
suavemente extendido
qualquer polinmio irredutvel sobre

fatores lineares em
N.
Mostraremos
tambm que uma extenso normal se, e somente se, um corpo de decomposio.
Separabilidade, como j mencionado, uma propriedade complementar a normalidade.
Um polinmio irredutvel separvel se seus zeros nestas divises so simples. Isto mostra
que sobre
C,
tal propriedade sempre satisfeita (diremos automtica).
8.1 Corpos de Decomposio

O Teorema Fundamental da lgebra arma que
se, todos os zeros de
em
gerado por todos os zeros de
na verdade pertencem a
f.
se decompe sobre
K.
Ou seja,
se, e somente
contm o subcorpo
Partiremos desta ideia de decomposio linear, um modo
de tornarmos um polinmio mais tratvel, para discorrermos neste captulo sobre Normalidade, Corpo de Decomposio, Separabilidade e as Extenses de Corpos envolvendo as
duas propriedades complementares que nomeiam o captulo.
Denio 8.1.1. Se K um subcorpo de C, e f um polinmio sobre K , ento f

decompe-se sobre K , se este pode ser expresso por um produto de fatores lineares,
f (t) = k(t 1 ) . . . (t n ),
63
64
8.1 Corpos de Decomposio
em que, k, 1 , . . . , n K .
Se este o caso, ento os zeros de
em
so precisamente
1 , . . . , n .
Exemplos 8.1.2.
1. O polinmio f (t) = t3 1 Q[t] se decompe sobre C, pois pode

ser escrito como
f (t) = (t 1)(t )(t 2 ),
) C.
em que = exp( 2i
3
De modo anlogo, temos que f se decompe sobre o subcorpo Q(i, 3), uma vez que,
Q(i, 3).
Ainda mais, sabemos que o menor subcorpo de C com a propriedade de f se decompor
linearmente o Q().
2. O polinmio f (t) = t4 4t2 5 se decompe sobre Q(i, 5), pois

f (t) = (t i)(t + i)(t
5)(t + 5).
Entretanto, sobre Q(i), o mximo que conseguimos fazer fator-lo como,

(t i)(t + i)(t2 5),
com t2 5, fator irredutvel, de grau maior do que 1 (notemos que 5 no quadrado

de nenhum um nmero em Q(i)).
Ento, sobre Q(i), o polinmio em questo no se decompe linearmente. Assim,
percebemos que um polinmio f (t) pode ter alguns fatores lineares na extenso de
corpo L, mas ele no necessariamente se decompe linearmente na mesma.
Se
um polinmio em
polinmio sobre
L,
L.
uma extenso de corpo de
K,
ento
Isto, portanto, faz com que tenha sentido falar sobre
tambm um
se decompor em
L. Mostraremos
Gal(f, K) de K tal que f se
signicando que um produto de fatores lineares com coecientes em
que dados
f,
podemos sempre construir uma extenso
decompe sobre a mesma. conveniente requerer que

corpo menor, ento
Gal(f, K)
no se decomponha em qualquer
to econmico quanto possvel.
Denio 8.1.3. Um subcorpo de C um corpo de decomposio para o polinmio f

sobre o subcorpo K de C, se K e
1. f decompe-se linearmente sobre ;
2. Se K 0 e f decompe-se linearmente sobre 0 , ento 0 = .
Chamaremos de Gal(f, K) o corpo de decomposio do polinmio f sobre o
subcorpo K de C.
Notao:
65
Observao 8.1.4. A segunda condio da denio anterior, 2, equivalente : Gal(f, K) =

K(1 , . . . , n ) em que 1 , . . . , n so os zeros de f em Gal(f, K). Logo, o corpo de decomposio existe (na pior das hipteses este o prprio C), nico, e [Gal(f, K) : K]
nito (Lema 6.1.9).
Subcorpos isomorfos de
tm corpos de decomposio isomorfos no sentido a seguir.
Lema 8.1.5. Suponha que : K K 0 um isomorsmo de subcorpos de C. Seja f um

polinmio sobre K e Gal(f, K) o corpo de decomposio para f . Considere L qualquer
extenso de corpo de K 0 tal que (f ) decompe-se linearmente sobre L. Ento, existe um
monomorsmo j : Gal(f, K) L, tal que j|K = .
Demonstrao.
Temos a seguinte situao,
Gal(f, K)
K0
em que
f.
ainda precisa ser encontrada. Construiremos, assim,
Como um polinmio sobre
Gal(f, K),
por induo no grau de
temos que,
f (t) = k(t 1 ) (t n ).
de
Se
f.
Assim,
for o polinmio minimal de
(m)
divide
(f ),
sobre
K,
sabemos que este um fator irredutvel
o qual se decompe sobre
L,
ou seja, sobre
L,
(m) = (t 1 ) (t r ),
1 , . . . , r L.
0
minimal de 1 sobre K .
em que
Como
(m)
irredutvel sobre
K 0,
este deve ser o polinmio
Ento, pelo Teorema 5.3.6, existe um isomorsmo
j1 : K(1 ) K 0 (1 ),
j1 |K =
j1 (1 ) = 1 . Deste modo, Gal(f, K) o corpo de decomposio sobre

f
. Por induo, existe um monomorsmo j : Gal(f, K) L
K(1 ) do polinmio g = (t
1)
tal que j|K(1 ) = j1 . Ora, ento j|K = e terminamos a demonstrao.
tal que,
Teorema 8.1.6. Seja : K K 0 um isomorsmo. Seja Gal(f, K) o corpo de decomposio de f sobre K , e seja Gal0 ((f ), K 0 ) o corpo de decomposio de (f ) sobre K 0 .
Ento, existe um isomorsmo j : Gal(f, K) Gal0 ((f ), K 0 ) tal que j|K = . Em outras
palavras, as extenses Gal(f, K) : K e Gal((f ), K 0 ) : K 0 so isomorfas.
66
8.2 Normalidade
Demonstrao.
Comecemos pelo diagrama,
/ Gal(f, K)
K0
Devemos, deste modo, encontrar
Gal((f ), K 0 )
para que o diagrama acima comute.
j : Gal(f, K) Gal((f ), K 0 )
de decomposio de (f ) sobre
Pelo Lema 8.1.5, sabemos que existe um monomorsmo
j(Gal(f, K)) claramente o corpo

K 0 , e est contido em Gal((f ), K 0 ). Como Gal((f ), K 0 ) tambm o corpo de decompo0
0
sio para (f ) sobre K , ns temos por denio, 2, que j(Gal(f, K)) = Gal((f ), K ),
donde conseguimos j sobrejetora. Portanto, j na verdade um isomorsmo (j j era um
tal que
j|K = .
Ora,
monomorsmo, portanto, injetora).
Exemplos 8.1.7.
1. Seja f (t) = (t2 3)(t3 1) sobre Q. Este decompe-se do seguinte
modo:
f (t) = (t +
!
!
1+i 3
1i 3
3)(t 3)(t + 1) t
t
.
2
2
Logo, o corpo de decomposio de f em C :
1+i 3
3,
= Q( 3, i).
2
2. Seja f (t) = (t2 2t 2)(t2 + 1) sobre Q. Os zeros de f em C so 1 3, i, e
ento, o corpo de decomposio denotado por Q(1 + 3, i) = Q( 3, i). (Observemos que corpo de decomposio o mesmo do polinmio no item anterior, embora
estes sejam distintos).
3. possvel ter dois polinmios irredutveis distintos com o mesmo corpo de decomposio. Por exemplo, t2 3 e t2 2t 2 so ambos irredutveis sobre Q, e ambos
tm Q( 3) como corpo de decomposio sobre Q.
8.2 Normalidade
Denio 8.2.1. Uma extenso L : K normal se todo polinmio irredutvel f sobre K
que tem ao menos um zero em L se decompe linearmente em L.
67
Exemplo 8.2.2. C : R normal j que todo polinmio (irredutvel ou no) se decompe
em C (Teorema Fundamental da lgebra). Por outro lado, se considerarmos = 3 2 e a

extenso Q() : Q, teremos um exemplo de extenso que no normal. Ora, o polinmio
irredutvel t3 2 tem um zero, o , em Q(), mas este no se decompe linearmente em
Q() (se o zesse, deveria existir trs razes cbicas de dois em Q(), no todas iguais,
o que sabemos ser um absurdo, j que as outras so complexas).
Teorema 8.2.3. Uma extenso de corpo L : K normal e nita se, e somente se, L
um corpo de decomposio para algum polinmio sobre K .
Demonstrao.
Suponhamos a priori que
L:K
normal e nita, logo, pelo Lema 6.1.9,
L = K(1 , . . . , s ) para certos j algbricos sobre K . Seja mj o polinmio minimal de

j sobre K , e f = m1 ms . Cada mj irredutvel sobre K e tem um zero, j L.
Ento, por normalidade, mj decompe-se linearmente sobre L. Deste modo, f decompese linearmente sobre L. Como L gerado por K e pelos zeros de f , este o corpo de
decomposio de f sobre K .
Suponhamos agora que
K.
A extenso
L:K
L seja o corpo de decomposio para algum polinmio g
sobre
assim obviamente nita; devemos mostrar que normal. Para
K , com um zero em
L, e mostrar que este se decompe linearmente em L. Consideremos M L um corpo
de decomposio para f g sobre K . Suponhamos que 1 e 2 so zeros de f em M . Por
irredutibilidade, f o polinmio minimal de 1 e 2 sobre K .
fazermos isto, precisamos tomar um polinmio irredutvel
sobre
Armamos que
[L(1 ) : L] = [L(2 ) : L].

Consideremos os seguintes subcorpos:
K, L, K(1 ), L(1 ), K(2 ), L(2 )
de
tais que,
K K(1 ) L(1 ) M,
K K(2 ) L(2 ) M.
Obviamente,
K K(j )
L L(j ), (j = 1, 2),
do simples clculo dos graus das extenses destas
K L M . A armao
torres. Para j = 1 ou 2,
e
[L(j ) : L] [L : K] = [L(j ) : K] = [L(j ) : K(j )] [K(j ) : K]
seguir
(8.1)
[K(1 ) : K] = [K(2 ) : K]. Claramente, L(j ) o corpo de decomposio de g sobre K(j ), e pelo Corolrio 5.3.3, K(1 ) isomorfo a K(2 ). Portanto,
pelo Teorema 8.1.6, as extenses L(j ) : K(j ) so isomorfas para j = 1, 2, e assim, tm
Pela Proposio 6.1.4,
o mesmo grau. Substituindo em (8.1) e fazendo os devidos cancelamentos,
[L(1 ) : L] = [L(2 ) : L],
68
8.3 Separabilidade
como armado. Tendo obtido alguns resultados tcnicos difceis esperamos que o restante
desta discusso seja mais fcil. Ora, se
L] = 1
2 L.
Logo,
L:K
1 L,
ento
[L(1 ) : L] = 1,
e tambm
[L(2 ) :
normal.
8.3 Separabilidade
O conceito de separabilidade no aparece explicitamente nos trabalhos de Galois,
pois ele preocupou-se apenas com o corpo dos complexos, em que a separabilidade
automtica. Entretanto, o conceito est implcito em muitas demonstraes, e deve ser
invocado quando estudamos corpos mais gerais.
Denio 8.3.1. Um polinmio irredutvel f sobre um subcorpo K de C separvel sobre

K se tem apenas zeros simples em C.
Observao 8.3.2. Isto o mesmo que f possuir apenas zeros simples no seu corpo de
decomposio, pois este um subcorpo de C. Portanto, se f separvel, ele da forma
f (t) = k(t 1 ) (t n ),
(8.2)
em que os j C so todos distintos.

A recproca pode no ser verdadeira, por exemplo, o polinmio f (t) = (t3 1)(t2 2)
se fatora como em 8.2 sobre C, porm no irredutvel sobre Q, logo, no separvel
sobre este.
Exemplo 8.3.3. Os zeros de t4 + t3 + t2 + t + 1 so os nmeros complexos:

exp
2i
5

, exp
4i
5

, exp
6i
5

, exp
8i
5

.
Logo, como estes so todos e simples, f separvel sobre Q.

Para polinmios sobre
por diferenciao.
R,
h um mtodo padro, para detectarmos os zeros mltiplos
Para obtermos o mximo de generalidade, deniremos derivada de
maneira puramente formal.
Denio 8.3.4. Suponhamos que K seja um subcorpo de C, e

f (t) = a0 + a1 t + . . . + an tn K[t].
Ento, a derivada formal de f o polinmio

Df = a1 + 2a2 t + . . . + nan tn1 K[t].
Para K = R (e ainda K = C), esta a derivada usual. No h, em geral, razo

para pensarmos em Df como a taxa de variao de f , mas certamente as propriedades de
69
derivao valem para D. Em particular, simples clculos mostram que para todo polinmio
f e g sobre K[t],
D(f + g) = Df + Dg,
D(f g) = (Df )g + f (Dg).
Tambm, se K , ento D() = 0, e assim,

D(f ) = (Df ).
Estas propriedades de D permitem estabelecermos critrios para existncia de zeros mltiplos sem sabermos quem os so.
Lema 8.3.5. Seja f 6= 0 um polinmio sobre um subcorpo K de C, e seja Gal(f, K)

seu corpo de decomposio. Ento, f tem um zero mltiplo (em C ou em Gal(f, K))
se, e somente se, f e Df tem um fator comum de grau maior do que ou igual a 1 em
Gal(f, K)[t]. Ou seja, f separvel sobre K se, e somente se, f irredutvel sobre K e
primo com Df .
Demonstrao.
Suponhamos que
tenha um zero repetido em
Gal(f, K),
ento sobre
Gal(f, K),
f (t) = (t )2 g(t),
em que
Gal(f, K).
Assim,
Df = 2(t )g(t) + (t )2 Dg = (t )[(t )Dg + 2g].

Donde,
Df
(t ) Gal(f, K)[t]
tem o fator
fator comum em
K[t],
em comum. Portanto,
chamado, de o polinmio minimal de
Agora, suponhamos que
sobre
Df
tem um
K.
no tenha zeros repetidos. Mostraremos, por induo no
f , que f e Df so primos entre si em Gal(f, K)[t], portanto, tambm o so em

K[t]. Se f = 1, isto bvio, pois f = t e Df = 1. Por outro lado, f (t) = (t )g(t)
onde (t ) - g(t). Ento,
Df = (t )Dg + g.
grau de
Se um fator irredutvel de
divide
Df
(t ).
divide
Df ,
ento este deve tambm dividir
Mas, por hiptese de induo,
Dg
Dg ,
j que no
so primos entre si. Portanto,
so primos entre si, como queramos.
Provaremos agora que a separabilidade em polinmios irredutveis uma propriedade

automtica em
C.
Proposio 8.3.6. Se K um subcorpo de C, ento toda polinmio irredutvel sobre K

separvel.
70
Demonstrao.
8.3 Separabilidade
K inseparvel se, e somente se, f e

Df tm um fator comum de grau maior ou igual a 1 (Lema 8.3.5). Se isto, ento como f
irredutvel, o fator comum entre estes deve ser f . Mas, Df tem grau menor do que f ,
e o nico mltiplo de f de grau menor 0, donde Df = 0. Portanto, se
Um polinmio irredutvel
sobre
f (t) = a0 + . . . + an tn ,
nan = 0
an = 0, n.
temos que
a
para todos os inteiros
n > 0.
Para subcorpos de
C,
isto equivalente
Captulo 9
Automorsmos de Corpos
Este captulo contemplar os conceitos de
de
K -monomorsmo,
K -automorsmo,
a partir de generalizao
e o, de Fecho Normal de uma extenso nita.
O primeiro fun-
damental para a ideia de Grupo de Galois de uma determinada extenso, enquanto o

segundo permite-nos construirmos extenses normais dada uma extenso nita.
9.1 K - Monomorsmos
K -automorsmo de um subcorpo L
injetividade em um K -monomorsmo.
Comearemos a generalizar o conceito de

exigindo sobrejetividade alm da
de
Denio 9.1.1. Suponhamos que K seja um subcorpo dos subcorpos M e L de C. Assim,

um K -monomorsmo de M em L um monomorsmo : M L, tal que, (k) = k
para todo k K .
Exemplo 9.1.2. Consideremos K = Q, M = Q(), em que = 3 2, e L = C. Podemos

denir um K -monomorsmo : M L, colocando () = , onde = exp 2i
.
3
Como sabemos, todo elemento de M da forma p + q + r2 , em que, p, q, r Q. Assim,
(p + q + r2 ) = p + q + r 2 2 .
Como e tm o mesmo polinmio minimal, t3 2, o Corolrio 5.3.3 nos garante

que um K -monomorsmo.
Notemos que h ainda outros dois K -monomorsmos de M em L para o caso. Um
a identidade, e o outro leva em 2 .
O teorema a seguir ser responsvel por nos auxiliar na construo de
K -automorsmos.
Teorema 9.1.3. Suponhamos que L : K seja uma extenso normal e nita, e que K
M L (assim, pela Lei das Torres, [L : K] = [L : M ] [M : K]). Seja um K monomorsmo de M em L. Ento, existe um K -automorsmo de L tal que |M = .
71
72
9.2 Corpos Intermedirios: Corpos Fixos e Grupos de Galois - Uma olhadela
Demonstrao.
L
Como
L:K
uma extenso normal e nita, o Teorema 8.2.3 nos diz que
f sobre K . Portanto, este tambm

o corpo de decomposio de f sobre M (ora, K M e os coecientes de f esto em K ,
logo, eles tambm esto em M ), e, de (f ) sobre (M ). Mas, |K a identidade, ento
(f ) = f . Assim, conseguimos o seguinte diagrama,
o corpo de decomposio de algum polinmio
(M )
L

. Para isto, utilizaremos o Teorema 8.1.6, que garante

a existncia de um isomorsmo : L L tal que |M = . Deste modo, um
automorsmo de L, e como |K = |K , e este a identidade, um K -automorsmo de
L.
Precisamos agora encontrar tal
Proposio 9.1.4. Suponhamos que L : K seja uma extenso normal e nita, e , sejam os zeros em L do polinmio irredutvel p sobre K . Ento, existe um K -automorsmo
de L tal que,
() = .
Demonstrao.
Aplicando o Corolrio 5.3.3, temos a existncia de um isomorsmo
K() K(),
de modo que,
9.1.3 conseguimos estender
|K
a um
() = .
de L.
seja a identidade e
K -automorsmo
Assim, pelo Teorema
9.2 Corpos Intermedirios: Corpos Fixos e Grupos de

Galois - Uma olhadela
Nesta seo teremos um breve contato com estes dois conceitos, Corpos Fixos e Grupos
de Galois de uma extenso, que sero retomados ou referidos daqui em diante.
Denio 9.2.1. Se L : K uma extenso de corpo, chamamos de corpo intermedirio

todo corpo M tal que K M L.
M , associamos o grupo M = Gal(L : M ) de todos os
M -automorsmos de L. Ento K o grupo de Galois Gal(L : K) e L = {1}, ou seja, o
grupo contendo apenas a aplicao identidade em L.
A cada corpo intermedirio
Proposio 9.2.2. Se M N , ento M N .

Demonstrao.
Nesta demonstrao, basta notarmos que todo automorsmo de
xa os elementos de
M.
tambm xa os elementos de
M,
que
ou seja, um automorsmo de
A cada subgrupo
x, H}
de
73
Gal(L : K),
associamos o conjunto
H = {x L / (x) =
e este um corpo intermedirio, como veremos pelo seguinte resultado:
Lema 9.2.3. Se H um subgrupo de Gal(L : K), ento H um subcorpo de L que

contm K .
Demonstrao.
x, y H e H . Ento (x + y) = (x) + (y) = x + y e, assim,

x + y H . Analogamente, H fechado para subtrao, multiplicao e diviso (por
elementos no nulos) e, ento, H um subcorpo de L. Como Gal(L : K), temos

(k) = k para todo k K , e, portanto, K H .
Sejam
Denio 9.2.4. De acordo com as notaes anteriores, H o corpo xo de H .

fcil ver que, assim como
H G,
ento
H G
a aplicao
tambm uma incluso reversa, isto , se
Proposio 9.2.5. Sejam M um corpo intermedirio e H Gal(L : K). Ento M

M e H H .
Demonstrao.
M = (M ) = {x L / (x) = x,
M } e isto nos mostra que M = Gal(L : M ), ou seja, se x M , ento (x) = x para
todo Gal(L : M ) = M , mas, isto nos diz que x (M ) . Portanto, M M .
Para a segunda relao, temos H = {x L / (x) = x, H} e isto nos mostra
que H
= Gal(L : H ), ou seja, se H , ento, como Gal(L : K), devemos ter
(x) = x para todo x H , mas, isto nos diz que Gal(L : H ) = H . Portanto,
H H .
Para a primeira relao, temos
9.3 Fecho Normal

Procuraremos nesta seo recuperar a normalidade de uma extenso a tornando, se
preciso, maior.
Denio 9.3.1. Seja L uma extenso nita de K . Um fecho normal de L : K uma

extenso N de L, tal que, as condies abaixo so satisfeitas,
1. N : K normal;
2. Se L M N e M : K normal, ento M = N .
Assim,
a menor extenso de
que normal sobre
K.
O teorema a seguir garante-nos ferramentas do fecho normal, e mostra-nos (em
C) que
este nico.
Teorema 9.3.2. Se L : K uma extenso nita em C, ento existe um nico fecho

normal N C de L : K , que uma extenso nita de K .
74
9.3 Fecho Normal
Demonstrao.
{x1 , . . . , xr } uma base de L sobre K , e mj o polinmio minimal de

xj sobre K . Consideremos N o corpo de decomposio de f = m1 m2 mr sobre L, assim,
N tambm o corpo de decomposio de f sobre K . Portanto, N : K uma extenso
normal nita pelo Teorema 8.2.3. Suponhamos que L P N em que a extenso P : K
normal. Notemos que cada polinmio mj tem um zero xj P , donde por normalidade
f se decompe linearmente em P . Ora, como N o corpo de decomposio de f , temos
P = N . Portanto, N o fecho normal.
Suponhamos agora, que M e N sejam ambos fechos normais. O polinmio f , acima,
decompe-se linearmente em M e N , ento, cada um, M e N , contm o corpo de decomposio de f sobre K . Este corpo de decomposio contm L e normal sobre K , logo
deve ser igual a M e a N .
Exemplo 9.3.3. Consideremos Q( 3 2) : Q. Esta extenso no normal, como j visto

(Exemplo 8.2.2). Se considerarmos K como o corpo de decomposio para t3 2 sobre

3
(raiz da
Q, contido em C, teremos que K = Q( 3 2, 3 2, 3 2 2 ), em que, = 1+i
2
Sejam
unidade).
Podemos pensar em K como sendo Q( 3 2, ). Desta forma, K o fecho normal para
Q( 3 2) : Q. Assim, neste exemplo, obtivemos o fecho normal adicionando todos os zeros

que faltavam.
Fechos normais permitem-nos estipular restries na imagem de um monomorsmo.
Lema 9.3.4. Suponhamos que K L N M onde L : K nita e N o fecho

normal de L : K . Seja qualquer K -monomorsmo de L em M . Ento, (L) N .
Demonstrao.
L e m o polinmio minimal de sobre K . Ento, m() = 0,

n
e portanto, (m()) = 0. Mas, (m()) = m( ()) (suponhamos que m(t) = t +
an1 tn1 + . . . + a0 , logo, m() = n + an1 n1 + . . . + a0 , usando o fato de ser um
K -monomorsmo, temos (m()) = ()n + an1 ()n1 + . . . + a0 = m( ())), donde
m( ()) = 0; e () um zero de m. Portanto, () est em N , j que N : K normal.
Assim, (L) N .
Sejam
Este resultado geralmente permite-nos restringir nossa ateno ao fecho normal de

uma extenso dada quando discutimos monomorsmos. O prximo teorema, providencia
uma espcie de recproca.
Teorema 9.3.5. Para uma extenso nita L : K as armaes a seguir so equivalentes:

1. L : K normal.
2. Existe uma extenso normal nita N de K contendo L, tal que, todo K -monomorsmo
: L N um K -automorsmo de L.
3. Para toda extenso nita M de K contendo L, todo K -monomorsmo : L M
um K -automorsmo de L.
Demonstrao.
Provaremos
75
(1) (3) (2) (1).
((1) (3)) Se L : K normal, ento L o fecho normal de L : K , e portanto, pelo

Lema 9.3.4, (L) L, qualquer que seja , o K -monomorsmo de L em L. Mas, uma
funo K -linear denida em um espao vetorial de dimenso nita L sobre K , e ainda
um monomorsmo.
Portanto,
um
(L)
tem a mesma dimenso de
K -automorsmo
((3) (2))
Seja
de
L,
resultando em
(L) = L
, assim,
L.
o fecho normal para
tem a propriedade requerida por
L : K.
Ento,
existe pelo Teorema 9.3.2, e
(3).
((2) (1)) Suponhamos que f qualquer polinmio irredutvel sobre K com um zero
L. Ento, f se decompe linearmente em N por normalidade. Se qualquer zero
de f em N , pela Proposio 9.1.4 temos que existe um K -automorsmo de N tal que
() = . Por hiptese, um K -automorsmo de L, ento = () (L) = L.
Portanto, f se decompe linearmente sobre L e L : K normal.
Teorema 9.3.6. Suponhamos que L : K seja uma extenso nita de grau n. Ento,
existem precisamente n K - monomorsmos distintos de L no fecho normal N de L : K ,
e portanto, em, qualquer extenso normal M de K contendo L.
Demonstrao.
imediato. Suponhamos, ento, que

minimal
[L : K]. Se [L : K] = 1, o resultado
[L : K] = k > 1. Seja L \ K com polinmio
Usaremos induo do segundo tipo em
sobre
K.
Ento,
m = [K() : K] = r > 1.
m um polinmio irredutvel sobre um subcorpo de C com um zero na
extenso normal N , temos que m se decompe linearmente em N e seus zeros 1 , . . . , r
so distintos. Por induo, h precisamente s K()-monomorsmos distintos, 1 , . . . , 0 :
L N , em que, s = [L : K()] = kr . Pela Proposio 9.1.4, existem r K -automorsmos
distintos 1 , . . . , r de N tal que i () = i . As funes,
Agora, como
ij = i j
rs = k , K -monomorsmos
K -monomorsmos de L em N .
nos do
os
distintos
em
N.
Mostraremos que estes so todos
: L N um K -monomorsmo. Ento, () um zero de m em N , portanto,

() = i para algum i. A funo = i1 um K()-monomorsmo de L em N , e
assim, por induo, = j para algum j . Portanto, = i j = i j e o teorema est
Seja
provado.
Podemos agora calcular a ordem do Grupo de Galois de uma extenso normal nita,
um resultado de extrema importncia.
76
9.3 Fecho Normal
Corolrio 9.3.7. Se L : K uma extenso normal nita em C, ento existem precisamente [L : K] K -automorsmos de L. Isto ,
|Gal(L : K)| = [L : K].
Demonstrao.
A demosntrao segue diretamente dos Teoremas 9.3.5 e 9.3.6.
Teorema 9.3.8. Seja L : K uma extenso nita com Grupo de Galois G. Se L : K

normal, ento K o corpo xo de G.
Demonstrao.
G, e seja [L : K] = n. O Corolrio 9.3.7 implica

|G| = n. Pelo seguinte teorema: Seja G um subgrupo de um grupo de automorsmos
de um corpo K , e seja K0 o corpo xo de G. Ento, [K : K0 ] = |G| (vide [5]); temos
[L : K0 ] = n. Como K K0 , devemos ter K = K0 (como K K0 L, [L : K] = [L :
K0 ] [K0 : K] [K0 : K] = 1 K0 = K ).
Seja
K0
o corpo xo de
Teorema 9.3.9. Suponhamos que K L M e M : K nita. Ento, o nmero de

K -monomorsmos distintos de L em M no mximo [L : K].
Demonstrao.
Seja
o fecho normal de
M : K.
Ento,
N :K
nita pelo Teorema
M tambm um K -monomorsmo L em N (M
N ). Portanto, podemos assumir que M uma extenso normal de K substituindo M por
N . Argumentaremos, agora, por induo em [L : K], como na demonstrao do Teorema
0
9.3.6, exceto pelo fato de podermos deduzir somente que existem s K()-monomorsmos
0
0
0
de L em N , onde s s (por induo), e existem r K -automorsmos de N , onde r r
(j que os zeros de m em N podem no ser distintos). O resto da demonstrao segue
9.3.2, e todo
K -monomorsmo L
em
como no Teorema 9.3.6.
Teorema 9.3.10. Se L : K uma extenso nita com Grupo de Galois G, tal que K
um corpo xo de G, ento L : K normal.
Demonstrao.
Pelo mesmo teorema usado na demonstrao do Teorema 9.3.8, temos que
[L : K] = |G| = n, digamos. Assim, existem exatamente n K -monomorsmos distintos

de L em L, denominados os elementos do Grupo de Galois.
Provaremos a normalidade usando o Teorema 9.3.5. Portanto, seja N uma extenso
de K contendo L, e seja um K -monomorsmo de L em N . Como todo elemento do
Grupo de Galois de L : K dene um K -monomorsmo de L em N , o Grupo de Galois
providencia n K -monomorsmos de L em N , e estes so os automorsmos de L. Mas,
0
pelo Teorema 9.3.9, existem no mximo n K -monomorsmos distintos , ento, deve
ser um destes monomorsmos. Portanto, um automorsmo de L. Finalmente, pelo
Teorema 9.3.5, L : K normal.
Se a correspondncia de Galois uma bijeo, ento
de Galois de
L : K,
ento, pelo acima visto,
L:K
deve ser o corpo xo do Grupo
deve ser normal. Estas hipteses so
sucientes para fazer a correspondncia de Galois bijetiva (para subcorpos de
provaremos no prximo captulo.
77
C),
o que
78
9.3 Fecho Normal
Captulo 10
A Correspondncia de Galois
Estamos agora em posio de estabelecer propriedades fundamentais sobre a Correspondncia de Galois, entre as Extenses de Corpos e os Grupos de Galois, auge desta
teoria e, portanto, deste Trabalho de Concluso de Curso. Por sorte, a maioria do trabalho j foi feita, tudo que o que faremos neste momento juntar as peas deste belssimo
quebra-cabeas.
10.1 O Teorema Fundamental

Seja
L : K
uma extenso em
com grupo de Galois
G,
que consiste de todos os
K -automorsmos de L. Seja F o conjunto dos corpos intermedirios, ou seja, o conjunto

dos subcorpos M tais que K M L; e seja G o conjunto de todos os subgrupos H de
G. Denimos as seguintes funes:
:F G
: G F,
M F , ento M o grupo de todos
H G , ento H o corpo xo de H . J observamos,
incluses reversas, isto , M M

e H H .
como segue: se
os
M -automorsmos
9.2.5, que as funes
L.
e
de
Se
so
Antes de enunciarmos o Teorema Fundamental da Teoria de Galois, enunciaremos e

demonstraremos um Lema crucial para a demonstrao das ltimas partes do mesmo.
Lema 10.1.1. Suponhamos que L : K seja uma extenso de corpo, M seja um corpo
intermedirio, e , um K -automorsmo de L. Ento, (M ) = M 1 .
Demonstrao.
algum
x M.
Seja
M 0 = (M ),
e considere
M , x1 M 0 .
Ento,
Calculando:
( 1 )(x1 ) = (( 1 (x1 ))) = ((x)) = (x) = x1 .

79
x1 = (x)
para
80
M 1 M 0 . Analogamente, se ( (M )) e x M , temos 1 (( (x))) =

1 ( (x)) = x e, assim, 1 ( (M )) M . Agora, se (M ) , ento, pelo que
1
acabamos de provar, segue que =
M e, portanto, = ( 1 ) 1 =
1 M 1 , o que nos diz que ( (M )) M 1 . Portanto, ( (M )) = M 1 ,
Ento,
e o lema est provado.
Teorema 10.1.2 (Teorema Fundamental da Teoria de Galois). Se L : K uma extenso

normal nita em C, com grupo de Galois G, e se F, G, , so denidas como acima,
ento:
1. O Grupo de Galois G tem ordem [L : K].
2. As funes e so mutuamente inversas, e geram uma correspondncia bijetiva
entre F e G (revertem tamanho).
3. Se M um corpo intermedirio, ento
[L : M ] = |M |,
[M : K] =
|G|
.
|M |
4. Um corpo intermedirio M uma extenso normal de K se, e somente se, M

um subgrupo normal de G.
5. Se um corpo intermedirio M uma extenso normal de K , ento o Grupo de
Galois de M : K isomorfo ao grupo quociente MG .
Demonstrao.
A primeira parte resultado do Corolrio 9.3.7. Para a segunda parte,
o Teorema 8.2.3 implica

corpo xo de
L:M
normal. Agora, o Teorema 9.3.8 implica que
um
, ento
M = M
(10.1)
H H . Portanto, H = (H ) = H por
(10.1). Pelo Teorema referenciado em 9.3.8, |H| = [L : H ]. Portanto, |H| = [L : H

], e
novamente pelo Teorema na demonstrao do Teorema 9.3.8, [L : H

] = |H | e ento
|H| = |H |. Como, H e H so grupos nitos e H H , devemos ter H = H . A
Considere agora
H G.
Sabemos que
segunda parte do Teorema 10.1.2 segue da.

Para terceira parte, notemos que
[L : M ] = |M |,
L : M
normal.
O Corolrio 9.3.7 garante que
e a outra igualdade segue imediatamente.
Para provarmos as ltimas duas partes do Teorema 10.1.2, necessitamos do Lema

10.1.1.
M : K normal, seja G. Ento,

um K -monomorsmo de M em L, e ento um K -automorsmo de M pelo Teorema
Provaremos a quarta parte do Teorema 10.1.2. Se
|M
10 A Correspondncia de Galois
9.3.5. Portanto,
normal de
(M ) = M .
81
Pelo Lema 10.1.1,
M 1 = M ,
ento
G.
Seja
um subgrupo
G.
M
qualquer K monomorsmo de M em L. Pelo Teorema 9.1.3, existe um K -automorsmo de L tal que

|M = . Agora, M 1 = M , como M um subgrupo normal de G, assim pelo Lema
10.1.1, (M ) = M . Pela segunda parte do Teorema 10.1.2 (aplicando ), (M ) = M .

Portanto, (M ) = M e um K -automorsmo de M . Pelo Teoremma 9.3.5, M : K
Reciprocamente, suponha que
um subgrupo normal de
normal.
Agora, provamos a parte nal do teorema.
Podemos denir uma funo
:GG
Seja
G0
o Grupo de Galois de
M : K.
por
( ) = |M , G.
Claramente, tal funo um homomorsmo de grupos,
G G0 ,
pelo Teorema 9.3.5,
K -automorsmo de M . Pelo Teorema 9.1.3, sobrejetora. O
dvidas M , e ento por teoria de grupos (Teorema do Isomorsmo),
um
G0 = Im()
=
ncleo de
|M
sem
G
G
= .
Ker()
M
Perceba agora como o Teorema referido na demonstrao do Teorema 9.3.8 usado na

demonstrao da segunda parte do Teorema 10.1.2, e seu uso crucial. Muitos dos mais
bonitos resultados da matemtica usam este tratamento.
As ltimas partes deste teorema podem ser generalizadas. Note que a demonstrao da
parte
de
(5) resulta de um isomorsmo explcito entre Gal(M : K) e
G
, chamado, restrio
M
M.
A importncia do Teorema Fundamental da Teoria de Galois deriva da ferramenta
em potencial do que pelo seu mrito intrnseco.
Este, permite-nos aplicar a teoria de
grupos em problemas de polinmios intratveis em
e associar subcorpos de
C.
Antes
de nos aventurarmos ainda mais com esta teoria, consolidaremos nossa posio ilustrando
a teoria aqui discutida para uma extenso de corpo em particular e seu Grupo de Galois.
82
Captulo 11
Um exemplo prtico
O Teorema Fundamental da Teoria de Galois um tanto quanto demais para ser
entendido em uma nica vez, portanto, vlido gastarmos um bom tempo pensando nele.
Ns, analisaremos, assim, a Correspondncia de Galois atravs de um exemplo entendido.
O exemplo o Grupo de Galois do corpo de decomposio de
t4 2 sobre Q.
E faremos
a discusso em pequenos pedaos para ser mais fcil diger-la.
f (t) = t4 2 = (t2 2)(t2 + 2) = (t + 4 2)(t 4 2)(t2 + 2) = (t + 4 2)(t
4
2)(t i 4 2)(t + i 4 2) sobre Q; e seja K o corpo de decomposio para f tal que
K C. Podemos, pelo acima visto, fatorar f como segue:
1. Seja
f (t) = (t )(t + )(t i)(t + i),

em que,
decomposio,
C,
2 real e positivo. Portanto, K = Q(i, ). Como K um corpo de

K : Q nita e normal (Teorema 8.2.3). Estamos trabalhando em
portanto, a separabilidade automtica.
2. Encontremos o grau de
K : Q.
Pela Lei das Torres:
[K : Q] = [Q(, i) : Q()] [Q() : Q].

i sobre Q() t2 + 1, como t2 + 1 = 0, mas i
/ R Q().
Temos que, [Q(, i) : Q()] = 2. Agora, como um zero sobre Q, e f irredutvel
pelo Critrio de Eisenstein, Teorema 3.4.1, temos que, f o polinmio minimal de
sobre Q. Assim, [Q() : Q] = 4. Portanto,
O polinmio minimal de
[K : Q] = 2 4 = 8.
3. Devemos encontrar os elementos do Grupo de Galois de
83
K : Q.
Por uma checagem
84
direta, ou Corolrio 5.3.3, h um
e outro
Q-automorsmo
(i) = i
() = i,
(i) = i
() = .
de
tal que,
de
K,
como seguem:
tal que
Produtos destes geram
distintos
Automorsmo
2 =
3
2
3
Tabela 11.1:
Notemos que
Q-automorsmos
Efeitos em
Efeitos em
i
i
i
i
i
i
i
i
Q-automorsmos
4 = 1, 2 = 1, = 3 , 2 = 2
de
K.
3 = .
Q-automorsmo de K leva i em algum zero de t2 + 1, ento i 7 i;

mapeado em , i, ou i . Todas as possibilidades de combi-
Agora, qualquer
similarmente,
nao destes oito nmeros aparecem na lista acima, logo, estes so precisamente os
Q-automorsmos
de
K.
4. A estrutura abstrata do Grupo de Galois pode ser encontrada. A relao geradora

mostra,
G = h, : 4 = 2 = 1, = 3 i,
isto ,
o grupo dihedral de ordem
8,
que escrevemos como
D8
(na verdade so
isomorfos de acordo com o Teorema do Isomorsmo).
O grupo
D8
tem uma interpretao geomtrica como o grupo de simetrias do qua-
drado. De fato, podemos rotular os quatro vrtices do quadrado, com os zeros de
t4 2
de modo que as simetrias geomtricas so precisamente as permutaes dos
zeros que ocorrem no Grupo de Galois (veja Figura 11.1).
85
Figura 11.1: O grupo de Galois de
D8
interpretado como grupo de simetrias do quadrado.
5. fcil encontrarmos os subgrupos de

o grupo cclico de ordem
G.
Como usualmente, deixamos
o produto direto, ento, os subgrupos
Zn denotar
de G so os
que seguem:
Ordem
8:
Ordem
4:
{1, , 2 , 3 }
G
= D8
S
= Z4
{1, 2 , , 3 }
T
= Z2 Z2
Ordem
{1, 2 , , 3 } U = Z2 Z2
2:
{1, 2 }
A
= Z2
{1, }
B
= Z2
C
= Z2
D
= Z2
{1, }
{1, 2 }
E
= Z2
I
= 1.
{1, 3 }
Ordem
{1}
1:
6. As relaes de incluso entre os subgrupos de
podem ser somadas pelo diagrama
de entrelaamento. Em tal diagrama, Figura 11.2,

linhas de inclinao positiva de
XY
se h uma sequncia de
Y.
7. Atravs da Correspondncia de Galois obtemos os corpos intermedirios. Como a

correspondncia inverte as incluses, obtemos o diagrama de linhas ilustrado na
Figura 11.3.
8. Descrevemos, agora, os elementos destes corpos intermedirios. Existem trs subcorpos bvios de
de grau
sobre
Q(i), Q( 2), Q(i 2).
Estes so corpos xos de
86
G
I
Figura 11.2: Reticulado de subgrupos.
I
D
G
Figura 11.3: Reticulado de corpos intermedirios.
S , T
U ,
respectivamente. Os outros corpos xos so menos bvios. Para mos-
trarmos uma possvel aproximao, devemos encontrar

elemento de
C .
Notemos que qualquer
pode ser expresso unicamente na forma,
x = a0 + a1 + a2 2 + a3 3 + a4 i + a5 i + a6 i 2 + a7 i 3 ,
onde,
a0 , . . . , a7 Q.
Ento,
(x) = a0 + a1 i a2 2 a3 i 3 a4 i + a5 (i)i a6 i(i)2 a7 i(i)3

= a0 + a5 a2 2 a7 3 a4 i + a1 i + a6 i 2 a3 i 3
Ora, o elemento
xado por
(e, portanto, por
a0 = a0 a1 = a5
a4 = a4 a5 = a1
Portanto,
a0
a6
a2 = a2
a6 = a6
C)
se, e somente se,
a3 = a7
a7 = a3
so arbitrrios, enquanto
a2 = 0 = a4
a1 = a5
a3 = a7 .
87
Segue que,
x = a0 + a1 (1 + i) + a6 i 2 + a3 (1 i) 3
a6
a3
= a0 + a1 [(1 + i)] + [(1 + i)]2
,
2
[(1 + i)] 3
o que mostra que,
C = Q((1 + i)).
Similarmente,
A = Q(i, 2), B = Q(), D = Q(i), E = Q((1 i)).

G, S, T, U, A, I . Pelo Teorema Fundamental da

Teoria de Galois (Teorema 10.1.2), G , S , T , U , A , I devem ser as nicas extenses normais de Q que esto contidas em K . Como estes so corpos de decom2
2
2
4
2
posio de Q para os polinmios, t, t + 1, t 2, t + 2, t t 2 (provm de
(t2 + 1)(t2 2) = t4 t2 2), t4 2 (respectivamente), elas so extenses normais
de Q (Teorema 8.2.3).
9. Os subgrupos normais de
Por outro lado,
B : Q
so
mas no se fatora linearmente em

normais de
t4 2 tem um zero, , em B ,
Similarmente, C , D , E no so extenses
no normal, uma vez que
B.
Q.
10. De acordo com o Teorema Fundamental da Teoria de Galois (Teorema 10.1.2), o
A : Q
G
G
. Agora, como
isomorfo a Z2 Z2
A
A
calcularemos diretamente o Grupo de Galois de A : Q. Como A = Q(i,

2), h 4
Grupo de Galois de
isomorfo a
Q-automorsmos:
Automorsmo
Tabela 11.2:
Efeito em
Efeito em
i
i
i
i
Q-automorsmos
2
2
2
2
de
A .
88
Notemos que:
2 = 2 = 1
= ,
como em
11. Notemos que o diagrama de linhas para
Z2 Z2 .
no se parecem, exceto que um o
outro de ponta cabea. Portanto, no existe uma correspondncia preservando as

relaes de incluso. Isto parece um pouco mpar, que a Correspondncia de Galois
reverta incluses, mas, de fato, isto inteiramente natural, e um tanto mais til do
que aquelas que preservam as incluses.
Captulo 12
Solubilidade e Simplicidade
Com o intuito de aplicar a Correspondncia de Galois, precisamos ter em mos um
nmero de conceitos tericos de grupos e teoremas. Assumimos familiaridade com a Teoria Elementar de Grupos: subgrupos, subgrupos normais, grupos quociente, conjugados,
permutaes (decomposio cclica); e a estes, adicionaremos agora Teoremas de Isomorsmos.
Comearemos denindo Grupos Solveis e provando algumas propriedades bsicas.
Estes, so importantes para a teoria de soluo de equaes por radicais. Em seguida,
discutiremos sobre Grupos Simples, em que o principal objetivo provar a simplicidade
de grupos alternantes de grau maior ou igual a
Teorema de Cauchy: Se um primo
tem um elemento de ordem
5.
Terminaremos o captulo provando o
divide a ordem de um grupo nito, ento o grupo
p.
12.1 Grupos Solveis

Grupos Solveis foram primeiramente denidos e estudados (no do jeito abstrato
corrente) por Galois no seu trabalho com soluo de equaes por radicais. Eles tm se
mostrado extremamente importantes em muitos ramos da matemtica.
Na denio a seguir, e da em diante, a notao
subgrupo normal do grupo
aquele em que
gh = hg
G.
H4G
signicar que
um
Relembremos que um grupo abeliano (ou comutativo)
quaisquer que sejam os elementos
g, h
neste.
Denio 12.1.1. Um grupo G solvel se este tem uma sequncia nita de subgrupos,
1 G0 G1 . . . Gn = G,
tais que,
1. Gi 4 Gi+1 , para i = 0, . . . , n 1;
2.
Gi+1
Gi
abeliano para i = 0, . . . , n 1.
89
(12.1)
90
12.1 Grupos Solveis
A condio 1 no implica que Gi 4 G, como tambm, Gi 4 Gi+1 4 Gi+2 no implica

Gi 4 Gi+2 .
Exemplos 12.1.2.
1. Todo grupo abeliano G solvel, com a sequncia 1 4 G.
2. O grupo simtrico S3 de grau 3 solvel, pois tem um grupo cclico normal de

ordem 3 gerado pelo ciclo (123), cujo quociente cclico de ordem 2. Todos os
grupos cclicos so abelianos.
3. O grupo dihedral D8 de ordem 8 solvel. No captulo anterior, vimos que este tem
um subgrupo normal S de ordem 4, cujo quociente tem ordem 2, e S abeliano.
4. O grupo simtrico S4 de grau 4 solvel, com a sequncia
1 4 V 4 A 4 4 S4 ,
em que, A4 o grupo alternante de ordem 12, e V o quarto grupo de Klein (grupo

consistido das permutaes 1, (12)(34), (13)(24), (14)(23) e portanto, um produto direto de dois grupos cclicos de ordem 2). Os grupos quocientes so:
V
= V abeliano de ordem 4;
1
A4
V
S4
A4
= Z3 abeliano de ordem 3;
= Z2 abeliano de ordem 2.
5. O grupo simtrico S5 de grau 5 no solvel. Segue do sequinte Lema (encontrado

em [5]):
O grupo simtrico Sn tem um grupo quociente de ordem prima, se e somente
se, p = 2, e n 2, em cada caso, o ncleo o grupo alternante An ;
O grupo alternante An tem um grupo quociente de ordem prima p se, e somente
se, p = 3 e n = 3, 4;
e do Corolrio 12.2.5.
Relembremos os Teoremas de Isomorsmos.
Lema 12.1.3. Sejam G, H e A grupos.

1. Se H 4 G e A G, ento H A 4 A e
A HA
.
=
H A
H
91
2. Se H 4 G, e H A 4 G, ento H 4 A,
A
H
G
H
G/H G
= .
A/H
A
Demonstrao.
Podemos encontrar uma demonstrao devidamente detalhada em [3].
Teorema 12.1.4. Sejam G um grupo, H um subgrupo de G, e N um subgrupo normal

de G, assim,
1. Se G solvel, ento H solvel.
2. Se G solvel, ento G/N solvel.
3. Se N e G/N so solveis, ento G solvel.
Demonstrao.
1. Seja,
1 = G0 4 G1 4 . . . 4 Gr = G
uma sequncia de subgrupos normais de
remos
G,
com quocientes
Gi+1
abeliano. ConsideGi
Hi = Gi H .
Ento, pelo primeiro item do Lema 12.1.3,
tem uma sequncia
1 + H0 4 . . . 4 Hr = H.
Mostraremos que os coecientes so abelianos. Ora,
Gi+1 H
Gi+1 H
Gi (Gi+1 H)
Hi+1
=
,
=
=
Hi
Gi H
Gi (Gi+1 H)
Gi
pelo primeiro Teorema do Isomorsmo. Mas, este ltimo grupo um subgrupo de
Gi+1
Hi+1
que abeliano. Portanto,
abeliano para todo i, e, assim,
Gi
Hi
2. Denamos
Gi
como acima. Ento,
solvel.
G
tem a sequncia
N
N
G0 N
G1 N
Gr N
G
=
4
4 ... 4
= .
N
N
N
N
N
Um quociente tpico
Gi+1 N/N
,
Gi N/N
que pelo segundo Teorema do Isomorsmo isomorfo a
Gi+1 N
Gi+1 (Gi N )
Gi+1
Gi+1 /Gi
=
,
=
=
Gi N
Gi N
Gi+1 (Gi N )
(Gi+1 (Gi N ))/Gi
um quociente dos grupos abelianos
Gi+1
G
, e, portanto, abeliano. Assim,
solvel.
Gi
N
92
12.2 Grupos Simples

3. Sabemos que existem as duas sequncias
1 = N0 4 N1 4 . . . 4 Nr = N
G0
G1
GS
G
N
=
4
4 ... 4
=
N
N
N
N
N
com coecientes abelianos. Consideremos a sequncia de
dada pela combinao
delas:
1 = N0 4 N1 4 . . . 4 Nr = N = G0 4 G1 4 . . . 4 GS = G.
Os quocientes so o
Portanto,
Ni+1
Gi+1
Gi+1 /N
, abeliano, ou
, isomorfo a
, tambm abeliano.
Ni
Gi
Gi /N
solvel.
Diremos que um grupo

um subgrupo normal
uma extenso de um grupo
isomorfo a
tal que
por um grupo
G
isomorfo a
N
B.
B,
se
tem
Assim, somando as
trs propriedades do teorema acima, dizemos que a classe dos grupos solveis fechada
perante subgrupos, quocientes e extenses. A classe dos grupos abelianos fechada diante
subgrupos e quocientes, mas no extenses, e provavelmente por esta razo que Galois foi
levado a denir grupo solveis.
12.2 Grupos Simples

Trataremos agora de grupos que, em certo sentido, so opostos aos solveis.
Denio 12.2.1. Um grupo G simples se seus subgrupos normais so 1 e G.

Exemplo 12.2.2. Todo grupo cclico Zp com p primo simples, j que, este no tem
subgrupos alm de 1 e Zp . Em particular, no h outros subgrupos normais. Estes grupos so tambm abelianos, portanto, solveis. Eles so de fato os nicos grupos simples
solveis.
Teorema 12.2.3. Um grupo solvel simples se, e somente se, cclico e de ordem
prima.
Demonstrao.
Suponhamos que
G um grupo solvel, portanto, este tem uma sequncia
1 = G0 4 G1 4 . . . 4 Gn = G,
Gi+1 6= Gi . Assim, Gn1 um subgrupo normal prprio de
G. Entretanto, G simples, logo Gn1 = 1 e Gn /Gn1 = G, que abeliano. Como todo
subgrupo de um grupo abeliano normal, e todo elemento de G gera um subgrupo cclico,
G deve ser cclico com subgrupos prprios no triviais. Logo, G tem ordem prima.
na qual devemos assumir
A recproca trivial.
93
Grupos simples tm um papel importante na teoria de grupos nitos. Eles so, em

certo sentido, as unidades fundamentais das quais todos os grupos nitos so feitos. De
fato, o teorema de Jordan-Hlder, que no provamos ou provaremos, diz que todo grupo
nito tem uma sequncia de subgrupos como na Equao (12.1), cujos quocientes so
simples, e estes grupos simples dependem somente do grupo e no da sequncia escolhida.
Teorema 12.2.4. Se n 5, ento, o grupo alternante An , de grau n simples.

Demonstrao.
1 6= N 4 An . Nossa estratgia ser a seguinte: observemos, primeiramente, que se N contm um 3-ciclo, ento contm todos os 3-ciclos, e como
os 3-ciclos geram o An , devemos ter N = An . Segundo, mostraremos que N deve conter
um 3-ciclo. Neste momento, que temos como essencial, o fato de que n 5.
Suponhamos que
Suponhamos, ento, que

nha
(123).
pertence a
Assim, para qualquer
An .
3-ciclo, sem perda de generalidade, N , conteciclo (32k) uma permutao par, e, portanto,
contenha um
k > 3,
Logo,
(32k)1 (123)(32k) = (1k2),

(1k2)2 = (12k) para todo k 3. Armamos que An
gerado por todos os 3-ciclos da forma (12k). Se n = 3, temos a armao verdadeira.
Caso, n > 3, temos que para todos a, b > 2, a permutao (1a)(1b) par, portanto,
pertence a An , e assim An , contm
pertence a
N.
Portanto,
contm
((1a)(1b))1 (12k)(1a)(1b) = (abk),

se
k 6= a, b.
Como,
An
gerado por todos os
Resta deste modo, mostrarmos que
3-ciclos,
segue que
contm ao menos um
N = An .
3-ciclo.
Faremos isto pela
anlise dos casos:
1. Suponhamos que
contenha um elemento
x = abc ,
em que
a, b, c,
sejam
ciclos disjuntos e,
a = (a1 am ) (m 4).
Consideremos
t = (a1 a2 a3 ).
Ento,
contm
t1 xt.
Como,
comuta com
b, c,
(ciclos disjuntos), segue que,
t1 xt = (t1 at)bc = z (digamos),

ento,
contm,
zx1 = (a1 a3 am ),
que um
3-ciclo.
2. Suponhamos, agora, que
contenha um elemento envolvendo ao menos dois
3-
94
12.2 Grupos Simples

ciclos. Sem perda de generalidade,
contm,
x = (123)(456)y,
em
uma permutao xando
1, 2, 3, 4, 5, 6.
Consideremos
t = (234).
Ento,
contm,
(t1 xt)x1 = (12436).

Assim, pelo caso anterior,
3. Suponhamos que
2-ciclos
produto de
contm um
3-ciclo.
contenha um elemento de
disjuntos de
(ijk).
Ento,
(ijk)p, em que, p
N contm x2 = (ijk), que
da forma
um
um
3-ciclo.
4. Resta apenas, o caso em que todo elemento de
(Isto ocorre na verdade quando
n 5,
podemos assumir que
n = 4,
um produto disjunto de
dado pelo quatro-grupo
V ).
2-ciclos.
Mas, como
contm,
x = (12)(34)p,
em que
xa
1, 2, 3, 4.
Se considerarmos,
t = (234),
teremos que
contm
(t1 xt) x1 = (14)(23),

e se
u = (145), N
contm,
u1 (t1 xtx1 )u = (45)(23),

assim,
contm,
(45)(23)(14)(23) = (145),
contradizendo o fato de termos assumido que todo elemento de
2-ciclos
Portanto,
um produto de
disjuntos.
An
Na verdade,
simples se
A5
n 5.
o menor grupo simples no-abeliano, resultado provado primeira-
mente por Galois.
Corolrio 12.2.5. O grupo simtrico Sn de grau n no solvel para n 5.

Demonstrao.
Se
Sn
fosse solvel, teramos que
An
seria solvel (Teorema 12.1.4), sim-
ples (Teorema 12.2.4), e portanto, de ordem prima pelo Teorema 12.2.3.
1
(n!), e no primo se
2
n 5.
Mas,
|An | =
95
12.3 Teorema de Cauchy

Provaremos nesta seo o Teorema de Cauchy, que diz: se um primo
de um grupo nito, ento o grupo tem um elemento de ordem
p.
p divide a ordem
Comearemos para tanto
relembrando algumas ideias da teoria de grupos.
Denio 12.3.1. Elementos a e b de um grupo G so conjugados em G, se existe g G,

tal que, a = g 1 bg .
Conjugao uma relao de equivalncia; as classes de equivalncias so as classes
conjugadas de
G.
Se as classes de conjugao de
apenas o elemento identidade de
formam uma partio de
G,
G so C1 , . . . , Cn , ento uma delas, digamos C1 , contm

G. Portanto, |C1 | = 1. Como as classes de conjugao
temos
|G| = 1 + |C2 | + . . . + |Cr |,

que a equao de classes para
G.
Denio 12.3.2. Se G um grupo e x G, ento o centralizador CG (x) de x em G

o conjunto de todos g G para os quais xg = gx. Este sempre um subgrupo de G.
Veremos agora uma conexo entre centralizadores e classes de conjugao.
Lema 12.3.3. Se G um grupo e x G, ento o nmero de elementos na classe de

conjugao de x o indce de CG (x) em G.
Demonstrao.
g 1 xg = h1 xh vlida se, e somente se, hg 1 x = xhg 1 , o

1
que signica que hg
CG (x), isto , h e g esto no mesmo coset de CG (x) em G. O
nmero destes cosets o ndice de CG (x) em G, donde temos provado o Lema.
A equao
Corolrio 12.3.4. O nmero de elementos em uma classe de conjugao de um grupo

nito G divide a ordem do grupo G.
Denio 12.3.5. O centro Z(G) de um grupo G o conjunto de todos os elementos

x G, tal que, xg = gx para todo g G.
Exemplo 12.3.6. O centro de G um subgrupo normal de G. Muitos grupos tm um

centro trivial, por exemplo, Z(S3 ) = 1. Grupos abelianos vo a outro extremo e tm
Z(G) = G.
Lema 12.3.7. Se A um grupo nito abeliano cuja ordem divisvel por um primo p,
ento, A tem um elemento de ordem p.
96
12.3 Teorema de Cauchy
Demonstrao.
Usaremos induo na
Se
|A|
primo, temos que o resultado segue.
m maximal.
Se p divide m, estamos nas hipteses de induo. Ento, suponhamos que p no divide
m. Seja b um elemento de A, mas no de M , e seja B o subgrupo cclico gerado por b.
Ento, M B um subgrupo de A, maior do que M , e pela maximalidade A = M B .
Caso contrrio, consideremos
|A|.
um subgrupo prprio de
A,
cuja ordem
Do Teorema do Isomorsmo temos,
|M B| = |M ||B|/|M B|,
e ento,
divide a ordem
de
B.
Como
cclico, o elemento
bp
tem ordem
p.
Deste resultado, conseguimos um teorema mais geral:
Teorema 12.3.8
. Se um primo p divide a ordem de um grupo
(Teorema de Cauchy)
nito G, ento G tem um elemento de ordem p.

Demonstrao.
ples,
Provaremos o teorema por induo na ordem de
|G| = 1, 2, 3
|G|.
Os casos mais sim-
so triviais.
Para o passo de induo, comearemos com a equao de classes
|G| = 1 + |C2 | + . . . + |Cr |.

p | |G|, devemos ter p - |Cj | para algum j 2. Se x Cj , segue que p | |CG (x)|,
j que, |Cj | = |G|/|CG (x)|.
Se CG (x) 6= G, ento, por induo, CG (x) contm um elemento de ordem p, e este
elemento tambm pertence a G.
Caso CG (x) = G, temos que x Z(G), e escolhendo x 6= 1, conseguimos, Z(G) 6= 1.
Assim, p | |Z(G)| ou p - |Z(G)|. No primeiro caso, a demonstrao reduzida ao caso
abeliano, Lema 12.3.7. No segundo caso, por induo, existe x G tal que a imagem
x G/Z(G) tem ordem p. Isto , xp Z(G), mas, x
/ Z(G). Seja X o grupo cclico
gerado por x. Agora, XZ(G) abeliano e tem ordem divisvel por p, ento, pelo Lema
12.3.7 sabemos que existe um elemento de ordem p no mesmo, e, novamente, este elemento
pertence a G.
Como
Isto completa o passo de induo e assim conclui a demonstrao.
Captulo 13
Soluo por radicais
O objetivo deste captulo usar a Correspondncia de Galois para derivar uma
condio que deva ser satisfeita por qualquer equao polinomial para que esta seja solvel
por radicais, digamos: o Grupo de Galois associado deve ser um Grupo Solvel.
Ns,
ento, construiremos uma equao polinomial quntica cujo Grupo de Galois no seja
solvel, uma equao de desconcertante aparncia simples,
t5 6t + 3 = 0,
que mostra
que a equao quntica no pode ser resolvida por radicais.

Algum cuidado necessrio na formalizao da ideia de solubilidade por radicais.
Comearemos do ponto de vista de Extenses de Corpos.
Informalmente, uma Extenso radical obtida por uma sequncia de adjunes de
razes
n-simas,
para vrios
n.
Por exemplo, a expresso a seguir radical:
s
11
7+ 3
4
3
+ 1 + 4.
2
Para encontrarmos uma extenso de
(13.1)
que contenha este elemento, deveremos adici-
(7 + )
3
4
, = 4, = 1 + .
2
onar, gradualmente, os elementos
3
= 11, = 3, =
Assim, por sugesto, temos a seguinte denio.
Denio 13.1.1. Uma extenso L : K em C radical se L = K(1 , . . . , m ), onde para

cada j = 1, . . . , m existe um inteiro nj tal que
n
j j K(1 , . . . , j1 ) (j 2).
Os elementos j formam uma sequncia radical para L : K . O grau radical do radical j

97
98
nj .
Exemplo 13.1.2. A expresso em
est contida em uma extenso radical da forma

Q(, , , , ) de Q, em que = 11, = 3, 5 = (7+)
, 3 = 4 e 4 = 1 + .
2
(13.1)
claro que qualquer expresso radical est contida em alguma extenso radical.
Um polinmio deveria ser considerado solvel por radicais se todos os seus zeros so
expresses radicais sobre o corpo base, assim temos a denio:
Denio 13.1.3. Seja f um polinmio sobre um subcorpo K de C, e seja Gal(f, K) o

corpo de decomposio de f sobre K . Dizemos que f solvel por radicais se existe um
corpo M contendo Gal(f, K), tal que M : K seja uma extenso radical.
Enfatizamos que na denio no exigimos que a extenso ao corpo de decomposio
Gal(f, K) : K seja radical. H um motivo para tal. Queremos que tudo no

decomposio Gal(f, K) seja expresso por radicais, mas desenxabido esperar
que tudo
expresso pelos mesmos radicais esteja dentro do corpo de decomposio.
M : K
radical e
um corpo intermedirio, ento
L:K
Se
corpo de
no precisa ser radical.
Observemos tambm que requeremos que todos os zeros de
sejam expressos por
radicais. possvel que alguns zeros sejam expressos por radicais, enquanto outros no;
simplesmente tomemos o produto de dois polinmios, um solvel por radicais e outro no.
Entretanto, se um polinmio irredutvel
tem um zero expresso por radicais, ento todos
os zeros devem ser expressos, por um simples argumento baseado no Corolrio 5.3.3.
O principal teorema deste captulo exige algumas preliminares.
Portanto, faremos
alguns lemas, e o tal em seguida.
Lema 13.1.4. Se L : K uma extenso radical em C e M o fecho normal de L : K ,

ento M : K radical.
Demonstrao.
L = K(1 , . . . , r ) com 1ni K(1 , . . . , i1 ) (L : K por hiptese

uma extenso radical). Seja fi o polinmio minimal de i sobre K . Ento, M L
Qr
claramente o corpo de decomposio de
i=1 fi . Para todo zero ij de fi em M , existe um
isomorsmo : K(i ) K(ij ) pelo Corolrio 5.3.3. Assim, temos que pela Proposio
9.1.4, estende a um K -automorsmo : M M . Como i radical sobre K , ento o
ij , e portanto, o M .
Seja
Mostraremos, agora, a partir de dois lemas, que certos Grupos de Galois so abelianos.
Lema 13.1.5. Seja K um subcorpo de C e seja L o corpo de decomposio para tp 1

sobre K , onde p primo. Ento, o Grupo de Galois de L : K abeliano.
Demonstrao.
tp 1 ptp1 , que primo a tp 1. Logo, pelo Lema 8.3.5,

o polinmio no tem zeros mltiplos em L. Claramente, seus zeros formam um grupo sob
multiplicao; este grupo tem ordem prima p, e como os zeros so distintos, ele cclico.
A derivada de

Seja
99
um gerador deste grupo.
determinado por seu efeito em
automorsmo
L = K(),
e qualquer
K -automorsmo
de
.
K -automorsmos
de L da forma,
Alm disso,
Ento,
permutam os zeros de
tp 1.
Portanto, qualquer
K-
j : j ,
e unicamente determinado por esta condio. Mas, ento
em
ij ,
i j
j i
levam, ambos,
portanto, o Grupo de Galois abeliano.
Lema 13.1.6. Seja K um subcorpo de C em que tn 1 se decompe linearmente. Sejam

a K e L um corpo de decomposio para tn a sobre K . Ento, o Grupo de Galois de
L : K abeliano.
Demonstrao.
um zero qualquer de tn a. Como tn 1 se decompe linearmente

n
n
em K , o zero geral de t a a onde um zero de t 1 em K . Como L = K(), qualquer
K -automorsmo de L determinado por seu efeito em . Dados dois K -automorsmos:
Seja
: 7
onde,
K,
: 7 ,
ento
() = = = ().
E, como anteriormente, o Grupo de Galois abeliano.
Lema 13.1.7. Se K um subcorpo de C e L : K normal e radical, ento Gal(L : K)

solvel.
Demonstrao.
Suponha que
L = K(1 , . . . , n )
com
j j K(1 , . . . , j1 ).
Pela se-
guinte Proposio: Se existe uma torre nita de subcorpos, podemos renar (se for necessrio aumentar o comprimento) de modo a fazermos todos os
devemos assumir que
1p
nj
primo para todo
primos (vide [5]);
Em particular, existe um primo
tal que
K.
Provamos o resultado por induo em
nj
j.
nj
n,
usando a hiptese adicional de que todos os
n = 0 trivial, donde comea a induo.

Se 1 K , ento L = K(2 , . . . , n ) e Gal(L : K) solvel por induo.
Podemos, portanto, assumir que 1
/ K . Seja f o polinmio minimal de 1 sobre K .
Como L : K normal, f se decompe linearmente em L, pois K C, e f no tem zeros
repetidos em L. Como 1
/ K , o grau de f no mnimo 2. Seja um zero de f diferente
p
de 1 , e consideremos = 1 . Ento, = 1 e 6= 1. Portanto, tem ordem p no grupo
2
p1
multiplicativo de L, logo, os elementos 1, , , . . . ,
so razes p-simas distintas da
p
unidade em L. Portanto, t 1 se decompe linearmente em L.
p
Seja M L o corpo de decomposio de t 1 sobre K , isto , M = K(). Consideremos a cadeia de subcorpos K M M (1 ) L. Podemos ilustrar o resto da
so primos. O caso
demonstrao pelo seguinte diagrama:
100

L
Gal(L : M (1 ))
solvel por induo
M (1 )
Gal(M (1 ) : M )
abeliano pelo Lema 13.1.6
M
Gal(M : K)
abeliano pelo Lema 13.1.5
K
Tabela 13.1: Estratgia da demonstrao.
L : K nita e normal,
aplica L : K e L : M .
Observemos que
Teorema 10.1.2 se
portanto, tambm o
L : M;
assim, o
1p M , a demonstrao do Lema
p
p
13.1.6 implica que M (1 ) um corpo de decomposio para t 1 sobre M . Portanto,
M (1 ) : M normal, e pelo Lema 13.1.6 Gal(M (1 ) : M ) abeliano. Apliquemos o
Teorema 10.1.2 L : M para deduzirmos que
Como
tp 1
se decompe linearmente em
Gal(M (1 ) : M )
=
Gal(L : M )
.
Gal(L : M (1 ))
Agora,
L = M (1 )(2 , . . . , n ),
e, ento,
L : M (1 )
uma extenso normal radical.
Por induo,
solvel. Portanto, pelo terceiro item do Teorema 12.1.4,

Como
o corpo de decomposio para
Temos pelo Lema 13.1.5 que
Gal(M : K)
Gal(L : M )
tp 1 sobre K ,
Gal(L : M (1 ))
solvel.
a extenso
M :K
normal.
abeliano. O Teorema 10.1.2 aplicado
L:K
garante que
Gal(L : K)
.
Gal(M : K)
=
Gal(L : M )
Por m, o Teorema 10.1.2 mostra que
Gal(L : K0 )
solvel, completando o passo de
induo.
Teorema 13.1.8. Se K um subcorpo de C e K L M , onde M : K uma extenso

radical, ento o Grupo de Galois de L : K solvel.
Demonstrao.
Seja
K0
um corpo xo de
Gal(L : K), e N : M
o fecho normal de
M : K0 .
Ento,
K K0 L M N.
Como
M : K0
radical, o Lema 13.1.4 implica que
Donde, pelo Lema 13.1.7,
Gal(N : K0 )
N : K0
uma extenso normal radical.
solvel.
A partir do Teorema 9.3.10, conseguimos que a extenso
L : K0
normal. E assim,
101
pela Correspondncia de Galois (Teorema 10.1.2),
Gal(N : K0 )
Gal(L : K0 )
.
=
Gal(N : L)
Gal(L : K0 ) solvel.
Gal(L : K) solvel.
O Teorema 10.1.2 implica que

concluimos, portanto, que
Mas,
Gal(L : K) = Gal(L : K0 ),
A ideia desta demonstrao simples: uma extenso radical uma srie de extenses
por razes
n-simas.
Tais extenses possuem Grupos de Galois abelianos, ento o Grupo
de Galois de uma extenso radical obtido a partir de uma adjuno de grupos abelianos.
Infelizmente, h problemas tcnicos ao longo da demonstrao, e ns temos de escrev-la
em termos das razes da unidade, e mais, temos de criar vrias extenses normais antes
de usarmos a Correspondncia de Galois.
Agora, voltaremos a trabalhar com polinmios, e assim retornarmos ao que, de fato,
Galois trabalhou.
Denio 13.1.9. Seja f um polinmio sobre K (um subcorpo de C), com corpo de decomposio Gal(f, K) sobre K . O Grupo de Galois de f sobre K o grupo Gal(Gal(f, K) :
K).
G o Grupo de Galois de um polinmio f sobre K , e seja f = n.
zero de f , ento, f () = 0, e assim, para qualquer g G,
Seja
um
Se
Gal(f, K)
f (g()) = g(f ()) = 0.

Portanto, cada elemento
em
Gal(f, K).
gerado
de
no
gG
induz uma permutao
g0
f
como Gal(f, K)
do conjunto de razes de
G induzem permutaes distintas,

0
pelos zeros de f . Segue facilmente que g 7 g um monomorsmo de grupo
grupo de Sn de todas as permutaes de zeros de f . Isto, de fato, era como
Elementos distintos de
Galois pensava o grupo de Galois, e por muitos anos seguidos, os grupos de permutaes
e os grupos de transformaes de variveis eram os nicos grupos considerados pelos
matemticos.
Estamos agora em condies de reescrever o Teorema 13.1.8:
Teorema 13.1.10. Seja f um polinmio sobre um subcorpo K de C. Se f solvel por

radicais, ento o Grupo de Galois de f sobre K solvel.
Portanto, para encontrarmos um polinmio no solvel por radicais, suciente encontrarmos um, em que o Grupo de Galois no seja solvel. H duas maneiras de faz-lo.
Uma olhar para o polinmio geral de grau
(o que no uma boa abordagem), e a
outra exibir um polinmio especco com coecientes racionais onde o Grupo de Galois
seja no solvel.
102
13.2 Uma quntica insolvel

Lema 13.2.1. Seja p um primo, e seja f um polinmio irredutvel de grau p sobre Q.
Suponhamos que f tenha precisamente dois zeros no reais em C. Ento, o Grupo de
Galois de f sobre Q isomorfo ao grupo simtrico Sp .
Demonstrao.
Pelo Teorema Fundamental da lgebra,
C contm o corpo de decomposio Gal(f, Q). Seja G o Grupo de Galois de f sobre Q, considerado como o grupo de
permutao nos zeros de f . Estes, so distintos pela Proposio 8.3.6, logo, G (isomorfo
a) um subgrupo de Sp . Quando construmos o corpo de decomposio de f , primeiro
ns adicionamos um elemento de grau p, ento [Gal(f, C) : Q] divisvel por p. Pelo
Teorema 10.1.2, p divide a ordem de G. Pelo Teorema de Cauchy, Teorema 12.3.8, G tem
um elemento de ordem p. Mas, os nicos elementos de Sp de ordem p so os p-ciclos.
Portanto, G contm um p-ciclo.
Como Conjugao dos Complexos um
Q-automorsmo de C, temos a induo de

um Q-automorsmo de Gal(f, C). Isto, deixa p 2 zeros reais de f xados, enquanto
transpe os zeros no reais. Assim, G contm um 2-ciclo.
Pela escolha da notao para zeros e, se necessrio, tomando potncias do
p-ciclo,
G contm o 2-ciclos (12) e o p-ciclo (12 . . . p). Armamos que estes

geram todo o conjunto Sp , o que completar a demonstrao. Para provarmos a armao,
consideremos c = (12 . . . p), t = (12), e G o grupo gerado por c e t. Ento, G contm
c1 tc = (23), e, portanto, c1 (23)c = (34), . . . e assim todas as transposies (m, m + 1).
Ento, G contm
(12)(23)(12) = (13) (13)(34)(13) = (14),
devemos assumir que
e da por diante, portanto, contm todas as transposies
(1m)(1r)(1m) = (mr).
ento G = Sp .
todos os produtos
transposies,
(1m).
Finalmente,
Mas, todo elemento de
Sn
contm
um produto de
Teorema 13.2.2. O polinmio t5 6t + 3 sobre Q no solvel por radicais.

Demonstrao.
f (t) = t5 6t + 3. Pelo Critrio de Eisenstein, f irredutvel sobre

Q. Devemos mostrar que f tem precisamente trs zeros reais, cada um com multiplicidade
1, e portanto, tm dois zeros no reais. Como 5 primo, pelo Lema 13.2.1, o Grupo de
Galois de f sobre Q S5 . Pelo Corolrio 12.2.5. S5 no solvel. Logo, pelo Teorema
13.1.10, f (t) = 0 no solvel por radicais.
Seja
f tem exatamente trs zeros reais, cada um de multiplicidade

1. Ora, f (2) = 17, f (1) = 8, f (0) = 3, f (1) = 2, e f (2) = 23. Uma breve olhada
no grco de y = f (x) nos mostra isto (olhar Figura 13.2). Assim, pelo Teorema de
4
Rolle, os zeros de f so separados pelos zeros de Df . Alm disso, Df = 5t 6, que tem
q
4 6
como zeros
. Claramente, f e Df so coprimos, ento f no tm zeros repetidos
5
(segue tambm por irredutibilidade), e ento, f tem no mximo trs zeros reais. Mas,
Resta mostrarmos que

certamente
103
tem no mnimo trs zeros reais, j que uma funo contnua denida nos
reais no muda de sinal, exceto se passar pelo zero. Portanto,
tem precisamente trs
zeros reais, e o resultado segue.
8
6
4
2
A
2
Figura 13.1: Grco da polinomial
t5 6t + 3.
104
Captulo 14
O Polinmio Geral
At o presente momento no trabalhamos com as extenses transcendentes; ao invs
disto assumimos a nitude das extenses como foco central da teoria.
Considereramos
agora esta classe maior de extenses.
Denio 14.1.1. Uma extenso L : K nitamente gerada se L = K(1 , . . . , n ), em

que, n nito.
Notemos que os
podem ser algbricos ou transcendentes sobre
K.
Denio 14.1.2. Se t1 , . . . , tn so elementos transcendentes sobre um corpo K , todos

em alguma extenso L de K , ento eles so independentes se h um polinmio no trivial
p sobre K (em n indeterminadas) tal que p(t1 , . . . , tn ) = 0 em L.
Exemplo 14.1.3. Se t transcendente sobre K e u transcendente sobre K(t), ento

K(t, u) uma extenso nitamente gerada de K , e t, u so independentes. Por outro lado,
t e u = t2 + 1 so ambos transcendentes sobre K , mas esto relacionados pela equao
polinomial t2 + 1 u = 0, logo, no so independentes.
O prximo Lema descreve a estrutura de uma extenso nitamente gerada.
Lema 14.1.4. Se L : K nitamente gerada, ento, existe um corpo intermedirio M

tal que,
1. M = K(1 , . . . , r ), em que, os i so elementos transcendentes e independentes
sobre K .
2. L : M uma extenso nita.
Demonstrao.
L = K(1 , . . . , n ), pois L : K nitamente gerada. Se

todos os j so algbricos sobre K , ento L : K nita pelo Lema 6.1.9 (generalizado)
e, devemos considerar M = K . Caso contrrio, algum dos i transcendente sobre
Sabemos que
105
106
K.
L : K(1 ) no nita, existe algum k transcendente

sobre K(1 ). Chamemos o mesmo de 2 . Continuamos este processo at conseguirmos
M = K(1 , . . . , r ) de tal modo que L : M nita. Logo, por construo, os j so
elementos transcendentes independentes sobre K .
Chamemos este de
Lema 14.1.5
1 .
Se
(Lema de Steinitz da Troca)
. Com a mesma notao do Lema 14.1.4, se
existir outro corpo intermedirio de N = K(1 , . . . , s ), tal que, 1 , . . . , s so elementos

transcendentes independentes sobre K e L : N seja nita, devemos ter r = s.
Demonstrao.
Como
[L : M ] nito, temos pelo Lema 6.1.9 que 1
algbrico sobre
M.
Portanto, existe uma equao polinomial
p(1 , 1 , . . . , r ) = 0.
1 , na verdade aparece na equao. Ento, 1 algbrico sobre K(1 , 2 , . . . , r ) e L : K(1 , 2 , . . . , r ) nita. Indutivamente,
conseguimos substituir j por j , e deste modo,
Assim, algum
j ,
sem perda de generalidade,
L : K(1 , . . . , r )
nita. Se
s > r,
temos que
contradio. Portanto,
s r.
r+1
K(1 , . . . , r ), o que uma

perceber que r s. E assim,
deve ser algbrico sobre
Analogamente, conseguimos
temos a demonstrao do Lema.
Denio 14.1.6. O inteiro denido no Lema 14.1.4 o grau de transcendncia de L :

K . Pelo Lema 14.1.5, o valor de r bem denido.
Exemplo 14.1.7. Consideremos K(t, , u) : K , em que, t transcendente sobre K ,

2 = t, e u transcendente sobre K(t, ). Assim, M = K(t, u), em que, t e u so
elementos transcendentes independentes sobre K , e, portanto,
K(t, , u) : M = M () : M
nita. Deste modo, vemos que o grau de transcendncia dois.
Proposio 14.1.8. Uma extenso nitamente gerada L : K tem grau de transcendncia

r se, e somente se, existe um corpo intermedirio M tal que L uma extenso nita de
M e M : K isomorfa a K(t1 , . . . , tr ) : K .
Demonstrao.
Suponhamos que
temos que existe
M,
L:K
seja nitamente gerada. Assim, pelo Lema 14.1.4,
transcendentes e independentes, tais que
K M L, e elementos t1 , . . . , tr
M = K(t1 , . . . , tr ), e L : M nita. Neste caso,
corpo intermedirio, ou seja,
o grau de transcendncia de
L : K.
14 O Polinmio Geral
107
Suponhamos agora, que
nitamente gerada,
corpo intermedirio de
M : K isomorfa a K(t1 , . . . , tr ) : K . Assim,

consideremos o isomorsmo de M em K(t1 , . . . , tr ), logo M K(1 , . . . , r ). Seja
M \ K(1 , . . . , r ), logo, existe = () K(t1 , . . . , tr ).
K, L : M
L:K
Se
seja uma extenso nita e
algbrico, ento
K,
logo
K,
o que um absurdo.
transcendente, ou seja, existe algum polinmio no constante, tal que

= f (t1 , . . . , tr ) . Assim, = (1 f )(1 , . . . , r ) K(1 , . . . , r ). Portanto, M =
K(1 , . . . , r ), e pelo Lema 14.1.5, r o grau de transcendncia de L : K .
Portanto,
14.2 Polinmios Elementares Simtricos

Geralmente nos dado um polinmio e desejamos encontrar os seus zeros. Mas, tambm possvel trabalhar na direo contrria, isto , dados os zeros e as suas respectivas
multiplicidades, reconstruirmos o polinmio (problema incrivelmente mais simples do que
o primeiro, ao qual concentraremos nossa ateno).
Consideremos um polinmio de grau
e seus
zeros com as respectivas multiplicida-
des. Isto ,
f (t) = k(t 1 ) . . . (t n ),
em que,
kK
so os zeros em
(no necessariamente distintos). Suponhamos que
f (t) = a0 + a1 t + . . . + an tn .
Se expandirmos o primeiro produto e compararmos os coecientes com os da segunda
expresso, temos o seguinte resultado:
an = k
an1 = k(1 + . . . + n )
an2 = k(1 2 + 1 3 + . . . + n1 n )
...
a0 = k(1)n 1 2 . . . n
A expresso em
1 , . . . , n
do lado direito o polinmio elementar simtrico, porm,
agora, esto sendo interpretados como elementos de
K(t1 , . . . , tn ),
em que,
pode ser
qualquer corpo. Alm disso, os polinmios elementares simtricos aqui calculados como
tj = j ,
para
1 j n.
Os polinmios elementares simtricos so simtricos no sentido de que eles no se

alteram atravs de uma permutao das indeterminadas
tj .
Esta propriedade nos sugere:
108
Denio 14.2.1. Um polinmio q K(t1 , . . . , tn ) simtrico se

q(t(1) , . . . , t(n) ) = q(t1 , . . . , tn ),
para todas a permutaes Sn .

Existem outros polinmios simtricos alm dos polinmios simtricos elementares,
como por exemplo,
t21 + . . . + t2n .
Mas, estes, podem ser expressos em termos dos pri-
meiros, como acima discutido. Assim, temos o seguinte teorema:
Teorema 14.2.2. Sobre o corpo K , qualquer polinmio simtrico em t1 , . . . , tn pode ser

expresso como um polinmio de grau menor ou igual em termos dos polinmios elementares sr (t1 , . . . , tn ), com r = 0, . . . , n.

K. O
grupo simtrico Sn pode atuar como um grupo de K -automorsmos de K(t1 , . . . , tn ) (uso
Seja
um corpo qualquer, e sejam t1 , . . . , tn os elementos transcendentes sobre
de uma transformao linear), denindo,
(ti ) = t(i) ,
para todo
Sn .
Podemos extend-lo a qualquer expresso racional
pela denio,
((t1 , . . . , tn )) = (t(1) , . . . , t(n) ).

Conseguimos, assim, provar que
extendido deste modo, um
K -automorsmo.
Exemplo 14.3.1. Se n = 4 e a permutao

!
1234
,
2431
temos ento, (t1 ) = t2 , (t2 ) = t4 , (t3 ) = t3 e (t4 ) = t1 . Alm disto, como um caso
tpico,

5
5
t1 t4
t2 7t3
4
Claramente, elementos distintos de

O corpo xo
de
Sn
Sn
originam
K -automorsmos
distintos.
obviamente contm todos os polinmios simtricos em
particular, os polinmios elementares simtricos

estes geram
t2 t1
.
t4 7t3
4
sr = sr (t1 , . . . , tn ).
F.
Lema 14.3.2. Com a notao acima, F = K(s1 , . . . , sn ).
ti ,
e, em
Devemos mostrar que
14 O Polinmio Geral
Demonstrao.
109
Primeiro mostraremos que
[K(t1 , . . . , tn ) : K(s1 , . . . , sn )] n!,

n.
por induo em
Consideremos a extenso dupla,
K(t1 , . . . , tn ) K(s1 , . . . , sn , tn ) K(s1 , . . . , sn ).

Agora,
f (tn ) = 0,
em que,
f (t) = tn s1 tn1 + . . . + (1)n sn ,

e, tal que,
[K(s1 , . . . , sn , tn ) : K(s1 , . . . , sn )] n.
Se considerarmos
0
nirmos s0
= 1,
s01 , . . . , s0n1
o polinmio elementar simtrico em
t1 , . . . , tn1 ,
e de-
ento
sj = tn s0j+1 + s0j ,
e, portanto,
K(s1 , . . . , sn , tn ) = K(tn , s01 , . . . , s0n1 ).

Por induo,
[K(t1 , . . . , tn ) : K(s1 , . . . , sn , tn )] = [K(tn )(t1 , . . . , tn1 ) : K(tn )(s01 , . . . , s0n1 )] (n 1)!

e assim, pela Lei das Torres (generalizada) o passo de induo segue.
Agora,
K(s1 , . . . , sn )
claramente um corpo xo
de
Sn .
Pelo Teorema referido na
demonstrao de 9.3.8 (generalizado),
[K(t1 , . . . , tn ) : F ] = |Sn | = n!,

e assim pelo discutido acima
F = K(s1 , . . . , sn ).
Corolrio 14.3.3. Todo polinmio simtrico em t1 , . . . , tn sobre K pode ser escrito como
uma expresso racional em s1 , . . . , sn .
Demonstrao.
Ora, polinmios simtricos esto no corpo xo
F.
Lema 14.3.4. Com a notao acima, s1 , . . . , sn so elementos transcendentes independentes sobre K .

Demonstrao.
K(s1 , . . . , sn ), temos que

ambos tm o mesmo grau de transcendncia sobre K , digamos, n. Portanto, os sj so
independentes, pois, caso contrrio o grau de transcendncia de K(s1 , . . . , sn ) : K seria
menor do que n.
Como
K(t1 , . . . , tn )
uma extenso nita de
110
Denio 14.3.5. Seja K um corpo e sejam s1 , . . . , sn elementos transcendentes sobre

K . O polinmio geral de grau n sobre K o polinmio,
tn s1 tn1 + s2 tn2 . . . + (1)n sn
sobre o corpo K(s1 , . . . , sn ).
Teorema 14.3.6. Sejam K um corpo qualquer, g um polinmio geral de grau n sobre K

(na realidade sobre K(s1 , . . . , sn )), e Gal(g, K(s1 , . . . , sn )) o corpo de decomposio de g
sobre K(s1 , . . . , sn ). Ento, os zeros t1 , . . . , tn de g em Gal(g, K(s1 , . . . , sn )) so elementos
independentes transcendentes sobre K , e o grupo de Galois de Gal(g, K(s1 , . . . , sn )) :
K(s1 , . . . , sn ) simtrico ao grupo Sn .
Demonstrao.
Gal(g, K(s1 , . . . , sn )) : K(s1 , . . . , sn ) nita pelo Teorema

8.2.3, portanto, o grau de transcendncia de Gal(g, K(s1 , . . . , sn )) : K igual ao, de
K(s1 , . . . , sn ) : K , digamos, n. Como Gal(g, K(s1 , . . . , sn )) = K(t1 , . . . , tn ), os tj so
elementos transcendentes independentes sobre K , j que, qualquer relao algbrica entre
eles diminuiria o grau de transcendncia. Os sj so agora os polinmios elementares
simtricos em t1 , . . . , tn pelo Teorema 14.2.2. Como acima, Sn age como um grupo de
automorsmos de Gal(g, K(s1 , . . . , sn )) e pelo Lema 14.3.2 o corpo xo K(s1 , . . . , sn ).
Temos ento, pelo Teorema 9.3.10, que, Gal(g, K(s1 , . . . , sn )) : K(s1 , . . . , sn ) separvel
e normal (normalidade tambm segue da denio de Gal(g, K(s1 , . . . , sn )) como corpo
A extenso
de decomposio), agora, pelo Teorema que aparece na demonstrao do Teorema 9.3.8,
|Sn | = n!.
tem ordem n!,
seu grau
Logo, pelo Teorema Fundamental da Teoria de Galois, o grupo de
Galois
e est contido em
Sn ,
portanto,temos que este igual a
Sn .
Teorema 14.3.7. Se K um corpo de caracterstica zero e n 5, ento a polinomial

geral de grau n sobre K (na verdade sobre K(s1 , . . . , sn )) no solvel por radicais.
Demonstrao.
A demonstrao segue do Teorema 13.1.10 e do Corolrio 12.2.5.

Nesta seo, mostraremos que Extenses Cclicas - extenses com Grupo de Galois
cclicos - esto extremamente relacionadas com Extenses Radicais.
Denio 14.4.1. Consideremos L : K uma extenso normal e nita com Grupo de

Galois G. A norma de um elemento a L
N (a) = 1 (a)2 (a) n (a),
em que, 1 , . . . , n so elementos de G.
14 O Polinmio Geral
Temos que
N (a)
111
pertence ao corpo xo de
um grupo com os elementos distintos
n,
os elementos
ggj
cobrem
(Teorema
G
de 1 a
(Ora, temos um lema que dita: Se
g1 , . . . , gn ,
e se,
g G,
ento, como
varia
e ocorrem precisamente uma nica vez - vide [5]),e, se a
extenso tambm separvel, temos que
Teorema 14.4.2
90
N (a) K .
. Seja L : K uma extenso normal nita com
de Hilbert)
Grupo de Galois cclico G gerado por um elemento . Ento, a L tem norma N (a) = 1
se, e somente se,
a=
b
,
(b)
para algum b L, em que b 6= 0.

Demonstrao.
Consideremos
|G| = n.
Se
a=
b
e
(b)
b 6= 0,
ento
N (a) = a (a) 2 (a) n1 (a)

b (b) 2 (b)
n1
=
(b) 2 (b) 3 (b)
n (b)
= 1,
j que,
n = 1.
Reciprocamente, suponhamos que
N (a) = 1.
Consideremos
d0
a0
d1
(a (a)) (c)
c L,
e denamos
...
dj
para
0 j n 1.
[a (a) j (a)] j (c),
Ento,
dn1 = N (a) n1 (c) = n1 (c).

E mais,
dj+1 = a (dj ) (0 j n 2).

Denamos,
b = d0 + d1 + . . . + dn1 .
Armamos que podemos escolher
de modo a tornarmos
absurdo, que no consigamos isto, ou seja,
b 6= 0.
Suponhamos por
b = 0 para todas as escolhas de c.
c L,
0 0 (c) + 1 (c) + . . . + n1 n1 (c) = 0,
em que,
j = a (a) j (a),
Assim, para
112
pertence a
L.
Logo, os
automorsmos distintos so linearmente dependentes sobre
L,
contrariando o Lema de Dedekind (vide [5]).

Assim, podemos escolher
tal que
b 6= 0.
Deste modo,
(b) = (d0 ) + . . . + (dn1 )

1
=
(d1 + . . . + dn1 ) + n (c)
a

1
=
(d0 + . . . + dn1 )
a
b
=
.
a
Portanto,
a=
b
, como armamos.
(b)
Teorema 14.4.3. Suponhamos que L : K seja uma extenso normal nita cujo Grupo
de Galois, G, cclico, de ordem p, gerado por . Assumamos que a caracterstica de K
0 ou, prima a p, e que tp 1 se decompe linearmente sobre K . Ento, L = K(), em
que um zero de um polinmio irredutvel tp a sobre K para algum a K .
Demonstrao.
Os
zeros de
tp 1
de um grupo
H,
grupo este, que deve, ser cclico (j
que, qualquer grupo de ordem prima cclico). Sabemos que um grupo cclico consiste de
potncias de um nico elemento, assim, os zeros de
em que,
= 1.
tp 1
so potncias de algum
K,
Logo,
N () = = 1,
uma vez que,
=
K,
para algum
()
e, portanto,
L.
i () = ,
para todo
i.
Pelo Teorema 14.4.2, temos que
Assim,
() = 1 2 () = 2 . . . j () = j ,
a = p xado por G. Logo, est em K . Agora, como K() o corpo de decomposio
p
p1
para t a sobre K . Os K -automorsmos 1, , . . . ,
mapeiam em elementos distintos,
ento, eles so os p distintos K -automorsmos de K(). Pelo Teorema Fundamental da
Teoria de Galois, o grau de [K() : K] p. Mas, [L : K] = |G| = p, ento L = K().
tp a o polinmio minimal de sobre K , caso contrrio, deveramos

[K() : K] < p. Sendo um polinmio minimal, tp a irredutvel sobre K .
Portanto,
ter
Teorema 14.4.4. Sejam K um corpo de caracterstica 0, e L : K uma extenso normal

nita com Grupo de Galois solvel G. Ento, existe uma extenso R de L tal que R : K
radical.
Demonstrao.
K tem caracterstica 0. Usaremos

induo na |G|. O resultado claro quando |G| = 1. Se |G| =
6 1, tomamos o mximo
G
subgrupo normal H de G, este existe, j que, G um grupo nito. Ento,
simples, e
H
Todas as extenses so separveis j que
14 O Polinmio Geral
como
maximal, temos que este tambm solvel pelo segundo item do Teorema 12.1.4.
Pelo Teorema 12.2.3,

de
tp 1
sobre
L.
de
G
cclico e de ordem prima
H
Ento,
decomposio sobre
sobre
113
(tp 1)f ,
N : K
p.
Seja
o corpo de decomposio
normal, e pelo Teorema 8.2.3,
para algum polinmio
o que implica que,
N :K
f,
assim,
um corpo de
o corpo de decomposio
normal pelo Teorema 8.2.3.
N : L abeliano pelo Lema 13.1.6, e, pelo Teorema Fundamental

Gal(N :K)
da Teoria de Galois, Gal(L : K) isomorfo a
. Pelo Teorema 12.1.4 (generalizado),
Gal(N :L)
Gal(N : K) solvel. Seja M o subcorpo de N gerado por K e os zeros de tp 1. Ento,
N : M normal. Agora, M : K claramente radical, e como L N , temos que o
resultado desejado providenciar uma extenso R de N , tal que, R : M radical.
Armamos que, o Grupo de Galois de N : M isomorfo a um subgrupo de G. Mapeemos qualquer M - automorsmo de N em sua restrio |L . Como L : K normal,
|L um K -automorsmo de L, e existe um homomorsmo de grupos
O Grupo de Galois de
: Gal(N : M ) Gal(L : K).

ker(), ento xa todos os elementos de M e L, o que gera N . Portanto,
= 1, e assim, um monomorsmo, o que implica que Gal(N : M ) isomorfo a um
subgrupo J de Gal(L : K).
Se J = (Gal(N : M )) um subgrupo prprio de G, ento por induo, existe uma
extenso R de N , tal que R : M radical.
A nica possibilidade restante que J = G. Ento, podemos encontrar um subgrupo
I 4 Gal(N : M ) de ndice p, digamos, I = 1 (H). Consideremos P o corpo xo de I .
Ento, [P : M ] = p pelo Teorema Fundamental da Teoria de Galois, P : M normal, e
p
ainda pelo mesmo teorema, t 1 se decompe linearmente em M . Pelo Teorema 14.4.3
p
(generalizado), P = M (), em que = a M . Mas, N : P uma extenso normal
com Grupo de Galois Solvel de ordem menor do que |G|, e ento, por induo existe
uma extenso R de N tal que R : P radical. Ora, R : M radical e o teorema est
Se
provado.
Terminaremos este Trabalho de Concluso de Curso com o seguinte Teorema:
Teorema 14.4.5. Sobre um corpo de caracterstica zero, um polinmio solvel por

radicais se, e somente se, este tem Grupo de Galois solvel.
Demonstrao.
.
A demonstrao deste teorema segue dos Teoremas 13.1.10 e 14.4.4.
114
Referncias Bibliogrcas
[1] EDWARDS, H. M.
[2] EVES, H.
Galois Theory. New York:
Springer,
Introduo histria da matemtica;
gues. Campinas: Editora Unicamp,

[3] GONALVES, A.
ed., 1998.
traduo: Hygino H. Domin-
ed., 2011.
Introduo lgebra. Rio de Janeiro:
[4] MONTEIRO, J. L. H.
[5] STEWART, I.
3a
IMPA, 1977.
Fundamentos de lgebra. Rio de Janeiro:
IMPA, 1969.
Galois Theory. Chapman & Hall/CRC, 3a ed., 2004.
115
ndice Remissivo
Anel, 1
Extenso Transcendente, 43
Anel com Unidade, 2
Grau de uma Extenso, 52
Anel Comutativo, 2
Isomorsmo Entre Duas Extenses de
Anel sem Divisores de Zero, 2
Corpos, 41
Domnio de Integridade, 2
Funo de Euler, 35
Subanel, 2
Congruncia Mdulo
n,
Grupo
Centralizador, 95
Corpo, 2
Centro de um Grupo, 95
Corpo xo, 73
Grupo - Extenso, 92
Corpo intermedirio, 72
Grupo Simples, 92
Subcorpo, 2
Grupo Solvel, 89
Subcorpo gerado, 38, 39
Grupo de Unidades, 35
Elemento
Elementos Transcendentes Independen-
Homomorsmo, 3
Automorsmo, 4
tes, 105
K -automorsmo,
Norma de um elemento, 110

Elemento Algbrico, 43
Endomorsmo, 4
Elemento Transcendente, 43
Isomorsmo, 4
Elementos
Monomorsmo, 3
71
K -monomorsmo,
Elementos Conjugados, 95
Expresso Racional, 40
71
Lao, 20
Extenso
Lei da Torre, 54
Grau de Transcendncia de uma Extenso, 106
Polinmio, 17
Zero de um Polinmio, 20
Extenso de Corpo, 37
Extenso Algbrica, 43, 56
Coecientes de polinmio, 18
Extenso Finita, 55
Derivada Formal, 68
Extenso Finitamente Gerada, 105
Grau de Polinmio, 18
Extenso Normal, 63, 66
Grupo de Galois de Polinmio, 101
Corpo de Decomposio, 63, 64
Igualdade de Polinmios, 18
Fecho Normal, 71, 73
Maior Fator Comum, 27
Extenso Radical, 97
Polinmio Elementar Simtrico, 107
Extenso Simples, 40
Polinmio em Vrias Indeterminadas, 18
116
NDICE REMISSIVO
Polinmio Geral de grau
117
n,
110
Polinmio Irredutvel, 30
Polinmio Mnico, 44
Polinmio Minimal, 45
Polinmio Separvel, 63, 68
Polinmio Simtrico, 108
Polinmio Solvel por Radicais, 98
Polinmios Primos, 31
Produto de Polinmios, 18
Ponto Construtvel, 57
Relao de Equivalncia, 5
Classe de Equivalncia, 6
Conjunto Quociente, 8
Teorema Fundamental da lgebra, 20
Teorema Fundamental da Teoria de Galois,
80

TCCB Karina Cruz

Enviado por

Dados do documento

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

TCCB Karina Cruz

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade Federal de So Carlos

Centro de Cincias Exatas e de Tecnologia

Introduo Teoria de Galois

Karina Branco da Cruz

Disciplina: Trabalho de Concluso do Curso B

Licenciatura e Bacharelado em Matemtica

So Carlos, 14 de maro de 2014.

Introduo Teoria de Galois

Karina Branco da Cruz

Disciplina: Trabalho de Concluso do Curso B

Licenciatura e Bacharelado em Matemtica

Universidade Federal de So Carlos

So Carlos, 14 de maro de 2014.

Karina Branco da Cruz

Ao Edson, meu pai.

Deus, primeiramente, por me guiar a esta carreira acadmica, e ainda manter-me

Ao Klley Menezes Carvalho Alves, por toda dedicao, companheirismo e estmulo

Aos meus estimados amigos, pela partilha de toda e qualquer emoo.

todos os professores, pela contribuio minha formao.

Em especial, ao Professor Waldeck Schtzer, pela conana, prazerosa oportunidade

Anel, Corpo, Subanel e Subcorpo - Denies e Exemplos . . . . . . . . . .

Soluo por radicais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Peculiaridades da Frmula de Cardano

2 O Teorema Fundamental da lgebra

Teorema Fundamental da lgebra . . . . . . . . . . . . . . . . . . . . . . .

Extenses Algbricas Simples

Classicando Extenses Simples . . . . . . . . . . . . . . . . . . . . . . . .

6 O Grau de uma Extenso

7 Construes com Rgua e Compasso

Corpos Intermedirios: Corpos Fixos e Grupos de Galois - Uma olhadela

10.1 O Teorema Fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12.1 Grupos Solveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12.2 Grupos Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12.3 Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13 Soluo por radicais

13.2 Uma quntica insolvel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

14.1 Graus Transcendentes

14.2 Polinmios Elementares Simtricos

14.3 O Polinmio Geral

14.4 Extenses Cclicas

Ilustrao demonstrando que ortogonalidade no relao de equivalncia .

A construo do ponto mdio do segmento

A construo de pontos a partir de pontos como interseco da reta

obtida por meio da semelhana de tringulos . . . . .

com o crculo de centro

interpretado como grupo de simetrias do quadrado. 85

11.2 Reticulado de subgrupos. . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11.3 Reticulado de corpos intermedirios.

13.1 Grco da polinomial

13.1 Estratgia da demonstrao. . . . . . . . . . . . . . . . . . . . . . . . . . . 100

O captulo inicial apresenta alguns conceitos da lgebra clssica fundamentais para

Como tambm, exibe

um panorama geral do signicado da solubilidade por radicais de equaes polinomiais e

C que no possui raiz sobre C?

E ao respond-la, mostrar a no necessidade

de extenso do corpo dos nmeros complexos.

do Grupo de Galois de uma Extenso.

1.1 Anel, Corpo, Subanel e Subcorpo - Denies e

1.1 Anel, Corpo, Subanel e Subcorpo - Denies e Exemplos

dizemos que (A, +, ) um corpo.

Denio 1.1.2 (Subanis). Seja (A, +, ) um anel e B um subconjunto no vazio de A.

Proposio 1.1.3. Seja (A, +, ) um anel e seja B um subconjunto de A. Ento, B

A demonstrao de tal proposio, pode ser consultada em [3].

Denio 1.1.4. Se (A, +, ) um corpo, um subconjunto B de A dito ser um subcorpo,

Em especial, ao Professor Waldeck Schtzer, pela conana, prazerosa oportunidade

Anel, Corpo, Subanel e Subcorpo - Denies e Exemplos . . . . . . . . . .

Classicando Extenses Simples . . . . . . . . . . . . . . . . . . . . . . . .

13.1 Grco da polinomial

um panorama geral do signicado da solubilidade por radicais de equaes polinomiais e

1.1 Anel, Corpo, Subanel e Subcorpo - Denies e

1.1 Anel, Corpo, Subanel e Subcorpo - Denies e Exemplos

Denio 1.1.2 (Subanis). Seja (A, +, ) um anel e B um subconjunto no vazio de A.

Denio 1.1.4. Se (A, +, ) um corpo, um subconjunto B de A dito ser um subcorpo,

1.2 Homomorsmo de Anis

Denio 1.2.1. Sejam A e A0 dois anis. Denotemos (por comodidade), as operaes

Denio 1.2.2. Se f : A A0 for um homomorsmo injetor, dizemos que f um

Denio 1.2.3. Se f : A A0 for um homomorsmo bijetivo, dizemos que f um

Denio 1.2.4. Os homomorsmos f : A A so chamados tambm de endomorsmos

Proposio 1.2.5. Sejam A e A0 anis. Seja f : A A0 um homomorsmo. Ento,

denida raiz de um nmero negativo em

Por m, temos a forma geomtrica,

Assim, identicamos um nmero real como sendo da forma

esteja denida uma relao entre pares de ele-

Veriquemos as trs propriedades (reexiva, simtrica e transitiva) para vermos de

conjunto A, e seja x A. Denamos a classe de equivalncia x do elemento x em

Ou seja, uma relao de equivalncia dene uma partio.

Exemplo 1.4.5. Seja A = Z, e n um nmero inteiro arbitrariamente xado.

Veriquemos que esta uma relao de equivalncia:

conjunto quociente de A por . Seja : A A denida por (x) = x, x A, chamada