Captulo 1

Extensoes de corpos
1.1 Teorema Fundamental da teoria dos corpos
No nosso estudo de aneis vimos que a criac ao do anel quociente
IR[x]
<x
2
+1>
, o qual e isomorfo
a l C, nos permite estender o corpo IR a um corpo no qual o polin omio x
2
+ 1 possui suas
razes. O mesmo ocorre com corpos nitos como no caso de ZZ
7
, onde x
2
+ 1 n ao tem
razes e o anel quociente
ZZ
7
[x]
<x
2
+1>
, o qual e isomorfo a ZZ
7
[i] = a +bi[a, b ZZ
7
e i
2
= 1.
Observe que como x
2
+1 e irredutvel sobre ZZ
7
, o ideal < x
2
+1 > e maximal e
ZZ
7
[x]
<x
2
+1>
e
um corpo. Pensando em ZZ
7
[i] tambem conseguimos estender o corpo ZZ
7
a um corpo onde
x
2
+1 possui suas razes. Vamos generalizar essa ideia para obter o Teorema Fundamental
da teoria dos corpos. Primeiro deniremos extens oes de corpos.
Denicao 1.1.1 (Extens oes de corpos) Um corpo E e uma extensao do corpo F se E
tiver uma copia de F, isto e , se existir um homomorsmo injetivo de F em E.
Notacao : E [ F ou F E.
Exemplo 1.1.2 l C e uma extensao de IR
Exemplo 1.1.3 ZZ
7
[i] e uma extensao de ZZ
7
Exemplo 1.1.4 l C e uma extensao de l Q
Exemplo 1.1.5 IR e uma extensao de l Q
Exemplo 1.1.6 l Q(x) e uma extens ao de l Q. Lembre-se que l Q(x) e o corpo quociente de
l Q[x] =
f(x)
g(x)
[ f(x), g(x) l Q[x] e g(x) ,= 0.
Exemplo 1.1.7 l Q[

2] = a + b

2 [ a, b l Q e uma extens ao de l Q. Lembre-se que

l Q[

2] e um corpo. Por que?

Exemplo 1.1.8 Vimos na teoria de aneis que todo corpo de caracterstica p tem uma
c opia do corpo ZZ
p
e que todo corpo de caracterstica 0 tem uma c opia dos racionais l Q
(ver Cor.4.3.5 da apostila de aneis ). Assim, todo corpo de caracterstica p e uma extens ao
do corpo ZZ
p
e todo corpo de caracterstica 0 e uma extens ao de l Q.
1
2 CAP

ITULO 1. EXTENS

OES DE CORPOS
Teorema 1.1.9 (Teorema de Kronecker-1887) Seja F um corpo e f(x) um polinomio
nao constante em F[x]. Entao existe uma extensao E do corpo F no qual f(x) tem um
zero( ou raiz ).
Demonstracao
Como F[x] e um DFU(domnio de fatorac ao unica), f(x) pode ser fatorado em polin omios
irredutveis e entao podemos armar que f(x) possui um fator irredutvel , digamos, p(x).
Assim basta construir uma extens ao E de F na qual p(x) tem um zero. Nosso candidato
para E vai ser
F[x]
<p(x)>
. Como p(x) e irredutvel sobre F j a provamos que este anel quociente
e um corpo. A aplicac ao : F E dada por (a) = a+ < p(x) > e claramente um
homomorsmo de aneis injetivo. Verique! Assim E possui uma c opia de F e podemos
pensar que F esta contido em E se identicamos cada elemento a de F com a classe
a+ < p(x) > de E. Pense em como IR est a imerso em l C!
Agora so falta provar que p(x) tem um zero em E. Suponha que
p(x) = a
n
x
n
+ a
n1
x
n1
+ ... + a
0
.
Ent ao, em E, x+ < p(x) > e um zero de p(x). Com efeito,
p(x+ < p(x) >) = a
n
(x+ < p(x) >)
n
+ a
n1
(x+ < p(x) >)
n1
+ ... + a
0
.
p(x+ < p(x) >) = a
n
(x
n
+ < p(x) >) + a
n1
(x
n1
+ < p(x) >) + ... + a
0
.
Usando a identicacao de F em E temos
p(x+ < p(x) >) = a
n
x
n
+a
n1
x
n1
+... +a
0
+ < p(x) >= p(x)+ < p(x) >= 0+ < p(x) > .
Exemplo 1.1.10 Seja f(x) = x
2
2 l Q[x]. Em E =
l Q[x]
<x
2
2>
, f(x) possui raiz pois
f(x+ < x
2
2 >) = (x+ < x
2
2 >)
2
2 =
= (x
2
+ < x
2
2 >) 2 = x
2
2+ < x
2
2 >= 0+ < x
2
2 > .
Observe que o corpo IR e uma extensao de l Q, a qual contem uma raiz de x
2
2, mas o que
queremos enfatizar e que apenas a partir de l Q construmos um corpo , o qual contem
l Q e uma raiz do polinomio x
2
2.
Exemplo 1.1.11 Seja f(x) = x
5
+3x
3
+4x
2
+2x +3 ZZ
5
[x]. A fatorac ao de f(x) sobre
ZZ
5
e (x
3
+ x + 4)(x
2
+ 2).Assim, para achar uma extensao de ZZ
5
na qual f(x) tem uma
raiz, n os podemos tomar E =
ZZ
5
[x]
<x
3
+x+4>
, um corpo com 125 elementos ou E =
ZZ
5
[x]
<x
2
+2>
, um
corpo com 25 elementos.
Como todo domnio pode ser imerso em seu corpo quociente, temos que todo polin omio
denido sobre um domnio possui uma raiz num corpo que contem o anel de seus coeci-
entes. O exemplo seguinte mostra que isto nao e v alido para todo anel em geral.
Exemplo 1.1.12 Seja f(x) = 3x + 2 ZZ
6
[x]. Ent ao f(x) n ao possui raiz em nenhum
anel que contem ZZ
6
: se tivesse uma raiz ent ao 3+2 = 0 e 2(3+2) = 0, o que signica
que 4 = 0 em ZZ
6
, o que n ao e verdade.
1.2. CORPO DE FATORAC

AO DE UM POLIN

OMIO 3
Exerccio 1.1.13 (Exerccio de programacao ) Seja f(x) = x
3
+ x + 1 ZZ
7
[x].
1. Prove que f(x) e irredutvel sobre ZZ
7
e que f(x) n ao possui nenhum zero em ZZ
7
.
2. Crie uma extensao E de ZZ
7
tal que f(x) possua uma raiz.
3. Mostre que E
1
= a + b + c
2
[ a, b, c ZZ
7
e
3
+ + 1 = 0 e uma extens ao de
ZZ
7
que contem um zero de f(x).Quantos elementos E
1
tem?
4. Escreva como se multiplica dois elementos de E
1
.
5. Usando o MAPLE fa ca um programa para implementar a multiplica cao em E
1
6. Usando o MAPLE fa ca um programa para achar o inverso de um elemento de E
1
.
7. Usando o MAPLE fa ca um programa para achar quais elementos de E
1
possuem raiz
quadrada.
8. E
1
possui todas as razes de f(x)? Ache uma extens ao de ZZ
7
, na qual f(x) possua
todos os seus zeros.
1.2 Corpo de fatoracao de um polin omio
No exemplo 1.1.10 vimos que o polin omio f(x) = x
2
2 l Q[x] possui uma raiz em
E =
l Q[x]
<x
2
2>
, a saber = x+ < x
2
2 >. Observamos que tambem e raiz de f(x).
Assim a fatora cao de f(x) em E vai ser dada por fatores lineares:
f(x) = x
2
2 = (x )(x + ).
Se voce resolveu o Exerccio 1.1.13 voce concluiu que o polinomio f(x) = x
3
+ x + 1
ZZ
7
[x] tambem se fatora em fatores lineares em ZZ
7
[]; a saber,
f(x) = (x )(x
2
+ x +
2
+ 1) = (x )(x 6 2
2
)(x 1 6 5
2
).
Ser a que isto tambem acontece no Exemplo 1.1.11 onde f(x) = x
5
+3x
3
+4x
2
+2x
+
2 =
(x
3
+x+4)(x
2
+2) ZZ
5
[x] ? Sabemos que f(x) tem uma raiz na extensao E =
ZZ
5
[x]
<x
3
+x+4>
.
Logo f(x) = (x )(x
2
+ x +
2
+ 1)(x
2
+ 2) onde = x+ < x
3
+ x + 4 >. Ser a que E
contem todas as razes de f? Isto e, E possui as razes dos polin omios x
2
+ x +
2
+ 1 e
x
2
+2? As razes de x
2
+x+
2
+1 sao

2
2
+1
2
e as razes de x
2
+2 sao

2. Assim
basta vericar se em E existe algum elemento cujo quadrado e 2
2
+ 1 e tambem se E
possui algum elemento cujo quadrado e 2. Lembre-se que os elementos de E se escrevem
de modo unico na forma a
2
+ b + c onde a, b, c ZZ
5
e
3
+ + 4 = 0. Por que?
Exerccio 1.2.1 (Exerccio de programacao ) Faca um programa no Maple para sa-
ber se f(x) = x
5
+ 3x
3
+ 4x
2
+ 2x
+
2 = (x
3
+ x + 4)(x
2
+ 2) ZZ
5
[x] possui todas as suas
razes em E =
ZZ
5
[x]
<x
3
+x+4>
.
4 CAP

ITULO 1. EXTENS

OES DE CORPOS
Denicao 1.2.2 Sejam F um corpo , f(x) F[x] e E uma extensao de F. Dizemos que
f(x) se fatora em E se f(x) se escreve como produto de fatores lineares em E[x].
Exemplo 1.2.3 O polin omio x
2
+ 1 IR[x] n ao se fatora em IR e se fatora em l C, pois
x
2
+1 = (x+i)(xi). Observe que x
2
+1 se fatora tambem no corpo l Q[i] = a+bi[a, b
l Q e i
2
= 1.
Denicao 1.2.4 (Corpo de fatoracao de um polinomio) Sejam F um corpo , f(x)
F[x] e E uma extensao de F. Dizemos que E e corpo de fatoracao de f(x) sobre F se
f(x) se fatora em E e nao se fatora em nenhum subcorpo de E.
Observe que o corpo de fatorac ao de um polinomio sobre um corpo depende n ao somente
do polin omio como tambem do corpo onde estao denidos seus coecientes. Podemos dizer
que o corpo de fatorac ao de um polin omio f sobre um corpo F e o menor corpo que contem
F e todas as razes de f.
Exemplo 1.2.5 O corpo
l Q[x]
<x
2
+1>
l Q[i] = a + bi[a, b l Q e i
2
= 1 e um corpo de
fatorac ao de x
2
+ 1 l Q[x] sobre l Q . Observe que l Q[i] = a + bi[a, b l Q e i
2
= 1
realmente e o menor corpo que contem l Q e i. Com efeito, todo anel que contem l Q e i
tem que conter elementos da forma a + bi onde a, b l Q, pela denic ao de anel. Mas o
conjunto desses elementos forma um anel. Prove isto! Mas este anel e um corpo pois e
isomorfo a
l Q[x]
<x
2
+1>
e x
2
+ 1 e irredutvel sobre l Q.
O polin omio x
2
+ 1 l Q[x] se fatora em l C, mas l C n ao e corpo de fatorac ao de x
2
+ 1
sobre l Q pois l Q[i] l C e l Q[i] ,= l C . Observe que o corpo de fatoracao de x
2
+ 1 sobre IR e
IR[i] l C.
Exemplo 1.2.6 O corpo de fatoracao de x
2
5 sobre l Q e l Q[

5] = a +b

5 [ a, b l Q.
Observe que x
2
5 se fatora em IR e portanto IR e um corpo de fatora cao de x
2
5 sobre
IR.
1.3 As notac oes F(a
1
, a
2
, a
3
, ..., a
n
) e F[a
1
, a
2
, a
3
, ..., a
n
]
Seja F um corpo e a E onde E e uma extensao de F.
A notacao F[a] signica o menor subanel de E que contem F e a. Como a pr opria
notac ao sugere, F[a] vai ser o conjunto dos polinomios em a com coecientes em F :
F[a] = b
0
+ b
1
a + b
2
a
2
+ ... + b
m
a
m
[ m IN e b
i
F
Com efeito, todo subanel de E que contenha F e a tem que conter todos os polin omios
em a com coecientes em F, pela denicao de anel.

E facil ver que o conjunto de tais
polin omios j a forma um subanel de E e assim e o menor anel que contem F e a.
A nota cao F(a) signica o menor subcorpo de E que contem F e a. Como F[a] E e o
menor subanel de E que contem F e a, pela denicao de corpo quociente de um domnio,
temos que F(a) vai ser o corpo quociente de F[a]:
1.3. AS NOTAC

OES F(A
1
, A
2
, A
3
, ..., A
N
) E F[A
1
, A
2
, A
3
, ..., A
N
] 5
F(a) =
f(a)
g(a)
[ f(a), g(a) F[a] e g(a) ,= 0 E
Assim, quando F[a] for um corpo, entao F[a] = F(a). Isto ocorre por exemplo com
l Q[

2] e IR[i] pois esses aneis j a s ao corpos.

Analogamente podemos denir F[a, b] como F[a][b] quando temos a, b E. Logo F[a, b]
e o menor subanel de E que contem F[a] e b. Logo F[a, b] vai ser o menor subanel de E
que contem F e os elementos a e b :
F[a, b] = c
0
+ c
1
b + c
2
b
2
+ ... + c
m
b
m
[ m IN e c
i
F[a]

E facil ver que F[a, b] vai ser o conjunto dos polin omios em a e b com coecientes em F.
Tambem F(a, b) o menor corpo ( ou melhor, subcorpo de E) que contem F e os
elementos a e b e sera o corpo quociente de F[a,b]:
F(a, b) =
f(a, b)
g(a, b)
[ f(a, b), g(a, b) F[a, b] e g(a, b) ,= 0.
Com esta nova notacao , temos que o corpo de fatoracao de um polin omio f sobre o
corpo F e F(a
1
, a
2
, ..., a
n
) onde a
1
, a
2
, ..., a
n
s ao as razes de f em alguma extens ao de
F. A existencia de tal extens ao sera provada a seguir. Antes veremos alguns exemplos de
como construir o corpo de fatorac ao de um polin omio. Para isto temos de saber escrever
como se escreve os elementos de F(a).
Em alguns casos podemos concluir que o anel F[a] e um corpo. Isto ocorre quando a e
raiz de um polin omio irredutvel sobre F.
Teorema 1.3.1 (F(a)=F[a] ) Seja F um corpo e p(x) F[x] um polinomio irredutvel
sobre F. Se a e um zero de p(x) em alguma extensao E de F, entao F(a) e isomorfo a
F[x]
<p(x)>
. E mais, se grau p(x) = n, entao todo elemento de F(a) pode ser escrito unicamente
na forma
c
n1
a
n1
+ c
n2
a
n2
+ ... + c
1
a + c
0
,
onde c
0
, c
1
, ..., c
n1
F
Demonstracao
Considere a func ao de F[x] para F(a) dada por (f(x)) = f(a). Claramente , e um
homomorsmo de aneis. N os armamos que ker =< p(x) >. Como p(a) = 0 temos que
< p(x) > ker. Por outro lado, como p(x) e irredutvel sobre F temos que < p(x) >e um
ideal maximal de F[x] e sendo ker ,= F[x] ( por que?) temos que ker =< p(x) >. Pelo
Teorema fundamental dos homomorsmos temos que (F[x])
F[x]
<p(x)>
e assim conclumos
que o subanel (F[x]) de F(a) e um corpo . Observe que (F[x]) = F[a] e assim conclumos
que F(a) = F[a]
F[x]
<p(x)>
.
Para concluir o teorema basta observar que os elementos de
F[x]
<p(x)>
podem ser escritos de
forma unica como
c
n1
x
n1
+ c
n2
x
n2
+ ... + c
1
x + c
0
+ < p(x) >,
6 CAP

ITULO 1. EXTENS

OES DE CORPOS
onde c
0
, c
1
, ..., c
n1
F. Com efeito, sen ao existiria um polinomio de grau menor que n em
< p(x) >= p(x)q(x) [ q(x) F[x]. Pelo isomorsmo natural de
F[x]
<p(x)>
em F[a] temos
que x+ < p(x) > e levado em a, e ent ao c
n1
x
n1
+c
n2
x
n2
+... +c
1
x +c
0
+ < p(x) > e
levado em c
n1
a
n1
+ c
n2
a
n2
+ ... + c
1
a + c
0
.
Exemplo 1.3.2 O corpo de fatora cao de x
2
2 sobre l Q e l Q(

2) = l Q[

2] = a +
b

2 [ a, b l Q pois x
2
2 e irredutvel sobre l Q.
Exemplo 1.3.3 O corpo de fatorac ao de x
2
+1 sobre l Q e l Q(i) = l Q[i] = a+bi [ a, b l Q
pois x
2
+ 1 e irredutvel sobre l Q.
Exemplo 1.3.4 O corpo de fatorac ao de x
2
+1 sobre IRe IR(i) = IR[i] = a+bi [ a, b IR
pois x
2
+ 1 e irredutvel sobre IR.
Exemplo 1.3.5 O corpo de fatorac ao de x
2
+1 sobre ZZ
7
e ZZ
7
(i) = ZZ
7
[i] = a+bi [ a, b
ZZ
7
e i
2
= 1 pois x
2
+ 1 e irredutvel sobre ZZ
7
.
Exemplo 1.3.6 Vamos agora achar o corpo de fatoracao E de f(x) = x
3
2 sobre l Q.
Usando nossos conhecimentos sobre os n umeros complexos, E = l Q(
3

2,
3

2,
3

2
2
) =
l Q(
3

2, ) onde = cos
2
3
+ isen
2
3
e uma raiz primitiva 3-esima da unidade(isto e, gera
todas as outras).
E se n ao conhecessemos l C ?
Pelo Teorema de Kronecker sabemos que existe uma extensao E
1
de l Q que contem uma
raiz de f. O menor subcorpo de E
1
que contem l Q e e l Q() = a +b+c
2
[ a, b, c
l Q e
3
= 2 pelo teorema 1.3.1 pois x
3
2 e irredutvel sobre l Q (por que?).
Ser a que todas as razes de f ja est ao em l Q()? Para responder a esta pergunta dividimos
x
3
2 por x em l Q() e teremos
x
3
2 = (x )(x
2
+ x +
2
)
e nossa pergunta passa a ser se x
2
+x +
2
tem todas as suas razes em l Q() . As razes
de x
2
+ x +
2
s ao

3
2
. Elas pertencem a l Q() ? Para responder a essa pergunta
basta saber se em l Q() existe algum elemento cujo quadrado e -3, isto e, existem a,b,c
l Q tal que (a + b + c
2
)
2
= 3? Esta equacao resulta no sistema
a
2
+4bc = 3
2ab +2c
2
= 0
b
2
+2ac = 0
o qual n ao tem solu cao em l Q.
Assim conclumos que o polinomio x
2
+ 3 e irredutvel sobre l Q() e novamente pelo
Teorema de Kronecker vai existir uma extens ao E
2
de l Q() onde x
2
+3 possui suas razes
=

3. Uma tal extensao (a menor) pode ser l Q()(). Logo, o corpo de fatorac ao
de x
3
2 sobre l Q vai ser l Q()() = l Q(, )
= c
0
+ c
1
[
2
= 3 e c
0
, c
1
l Q()
= c
00
+ c
01
+ c
02

2
+ c
10
+ c
11
+ c
12

2
[ c
i,j
l Q ,
3
= 2 e
2
= 3.
Exemplo 1.3.7 O corpo de fatorac ao de f(x) = x
3
+x + 1 ZZ
7
[x] sobre ZZ
7
e ZZ
7
[] =
ZZ
7
() = a + b + c
2
[ a, b, c ZZ
7
e
3
+ + 1 = 0
Exemplo 1.3.8 Qual e o corpo de fatorac ao de f(x) = x
5
+ 3x
3
+ 4x
2
+ 2x + 3 =
(x
3
+ x + 4)(x
2
+ 2) sobre ZZ
5
?
1.4. EXIST

ENCIA E UNICIDADE DO CORPO DE FATORAC

AO DE UM POLIN

OMIO 7
1.4 Existencia e unicidade do corpo de fatoracao de um po-
linomio
J a vimos que dado um polin omio nao constante f(x) F[x], sempre existe uma extens ao
de F onde f(x) possui uma raiz. No exemplo 1.3.6 construmos o corpo de fatorac ao de
x
3
2 sobre l Q. O teorema a seguir mostra que sempre podemos achar um corpo de
fatorizac ao de um polinomio.
Teorema 1.4.1 (Existencia do corpo de fatoracao ) Seja F um corpo e f(x) um
elemento nao constante de F[x]. Entao existe um corpo de fatoracao E de f(x) sobre F.
Demonstracao
Usaremos inducao sobre o grau de f(x). Se grau de f(x) for 1, ent ao f(x) = ax +b F[x]
e o corpo de fatorac ao de f sobre F vai ser E = F. Agora suponha que a armac ao e
verdadeira para todos os polin omios de grau menor do que o grau de f. Pelo teorema
de Kronecker, F possui uma extens ao E
1
onde f tem uma raiz, digamos
1
. Entao nos
podemos escrever f(x) = (x
1
)g(x) onde g(x) E
1
[x] e um polin omio de grau menor
que o de f. Pela hip otese de induc ao , existe um corpo K que contem E
1
e todos os zeros
de g(x), digamos
2
,
3
,...,
n
. Claramente, ent ao, o corpo de fatorac ao de f(x) sobre F e
E = F(
1
,
2
, ...,
n
).
Exemplo 1.4.2 Vamos achar o corpo de fatoracao de f(x) = (x
2
a)(x
2
b) l Q[x] onde
a e b s ao n umeros racionais tais que x
2
a e x
2
b s ao polin omios irredutveis sobre l Q.
Pelo teorema de Kronecker existe uma extensao da forma l Q() = c+d [ c, d l Q e
2
=
a.
Se x
2
b for redutvel sobre l Q() o corpo de fatoracao de f(x) vai ser l Q(). Neste caso
existir a um c + d l Q() tal que (c + d)
2
= b, de modo que c
2
+ 2cd + d
2
()
2
= b e
ent ao c
2
+ ad
2
+ 2cd = b, isto e, c
2
+ ad
2
= b e 2cd = 0. Temos que d ,= 0 pois senao
c
2
= b e x
2
b seria redutvel sobre l Q, o que n ao acontece. Logo conclumos que c = 0
e entao a
2
d
2
= ba e portanto x
2
ab e redutvel sobre l Q. Reciprocamente, e facil ver que
se x
2
ab for redutvel sobre l Q, o corpo de fatorac ao de f sobre l Q e l Q(), logo x
2
b e
redutvel sobre l Q().
Suponhamos agora que x
2
ab e irredutvel sobre l Q(), portanto, pelo teorema de
Kronecker, existe uma extensao l Q()() de l Q() onde
2
= b e f = (x )(x +)(x
)(x ) e assim l Q(, ) e um corpo de fatorac ao de f sobre l Q.
Exemplo 1.4.3 Usando o exemplo anterior temos que o corpo de fatoracao de f(x) =
(x
2
3)(x
2
12) sobre l Q e l Q(

3) e o corpo de fatorac ao de g(x) = (x

2
3)(x
2
5) sobre
l Q e l Q(

3,

5) = A+B

5 [ A, B l Q(

3) = a+b

3+c

5+d

5 [ a, b, c, d l Q
Exemplo 1.4.4 Considere o polin omio g(y) = y
2
x K[y] onde K = ZZ
2
(x).

E facil
vericar que g e irredutvel sobre K. Com efeito, sen ao existiria um elemento =
h(x)
f(x)
de K = ZZ
2
(x) tal que (
h(x)
f(x)
)
2
= x, isto e, (h(x))
2
= x(f(x))
2
e ent ao vemos que isto e
impossvel de acontecer em ZZ
2
[x] (compare por exemplo os graus!). Assim existe pelo
Teorema de Kronecker uma extensao de K() de K onde g(y) possui uma raiz , isto e

2
= x e temos
g(y) = y
2
x = y
2

2
= (y )
2
,
isto e, e a unica raiz de g em K() e K() e o corpo de fatorac ao de g sobre K.
8 CAP

ITULO 1. EXTENS

OES DE CORPOS
Vamos agora provar que o corpo de fatorac ao de um polin omio f(x) F[x] e unico a
menos de F-isomorsmo, isto e, isomorsmo cuja restric ao a F e a identidade.
N os comecamos vericando que todo isomorsmo de corpos de F para F
1
tem uma
extens ao natural ao anel de polinomios F[x] para F
1
[x] dada por c
n
x
n
+ c
n1
x
n1
+ ... +
c
1
x + c
0
(c
n
)x
n
+ (c
n1
)x
n1
+ ... + (c
1
)x + (c
0
) . Chamaremos tal aplicac ao
tambem de .
Lema 1.4.5 Sejam F um corpo, p(x) F[x] irredutvel sobre F, e seja a um zero de p(x)
em alguma extensao de F. Se e um isomorsmo de F em F
1
e b e um zero de (p(x))
em alguma extensao de F
1
, entao existe um isomorsmo de F(a) em F
1
(b), o qual coincide
com em F e leva a em b.
Demonstracao
Como p(x) e irredutvel sobre F, (p(x)) irredutvel sobre F
1
.

E trabalhoso, mas f acil
provar que a aplicac ao de
F[x]
<p(x)>
para
F
1
[x]
<(p(x))>
dada por
f(x)+ < p(x) >(f(x))+ < (p(x)) >
e um isomorsmo de corpos. Pela prova do Teorema 1.3.1 nos sabemos que existe um
isomorsmo de F(a) para
F[x]
<p(x)>
, a qual e a identidade em F e leva a em x+ < p(x) >.
Similarmente, existe um isomorsmo de
F
1
[x]
<(p(x))>
em F
1
(b), o qual e a identidade em F
1
e leva x+ < (p(x)) > para b. Assim, e a aplicac ao desejada.
F(a)
F[x]
<p(x)>

F
1
[x]
<(p(x))>
F
1
(b)


F F
1

Observacao :
Se no lema acima p(x) n ao for irredutvel nada podemos armar sobre F(a) ser isomorfo
a F
1
(b). Por exemplo,

2,

3 s ao razes de f(x) = (x
2
2)(x
2
3) e no entanto l Q(

2) ,
l Q(

3) pois (

2)
2
= 2 e entao se existisse tal isomorsmo , ((

2))
2
= 2, o que e absurdo
pois nao existe elemento em l Q(

3) cujo quadrado d a 2.
Teorema 1.4.6 Seja um isomorsmo de um corpo F para um corpo F
1
e f(x) F[x].
Se E e um corpo de fatoracao de f(x) sobre F e E
1
e um corpo de fatoracao de (f(x))
sobre F
1
, entao existe um isomorsmo de E em E
1
, o qual e igual a em F.
Demonstracao
Usaremos induc ao no grau de f(x). Se grau de f(x) for igual a 1, ent ao E = F , E
1
= F
1
e
e a aplicacao procurada. Se grau de f(x) for maior que 1, sejam p(x) um fator irredutvel
de f(x), a um zero de p(x) em E, e b um zero de (p(x)) em E
1
. Pelo Lema anterior ,
existe um isomorsmo de F(a) para F
1
(b), o qual coincide com em F e leva a em b.
Agora escreva f(x) = (x a)g(x), onde g(x) F(a)[x]. Entao E um corpo de fatoracao
1.5. ZEROS DE UM POLIN

OMIO IRREDUT

IVEL 9
de g(x) sobre F(a) e F
1
e corpo de fatora cao de (g(x)) sobre F
1
(b). Como o grau de g(x)
e menor que o grau de f(x), existe um isomorsmo de E para E
1
, o qual coincide com
em F(a) e assim com em F.
Corolario 1.4.7 (corpo de fatoracao e unico) Seja F um corpo e f(x) F[x]. Entao
quaisquer dois corpos de fatoracao E
1
e E
2
de f(x) sobre F sao F- isomorfos(isto e existe
um isomorsmo : E
1
E
2
tal que

F
= Identidade.
Demonstracao
Suponha que E e E
1
s ao corpos de fatoracao de f(x) sobre F. Agora aplique o teorema
anterior fazendo = identidade de F em F.
Assim podemos falar nocorpo de fatorac ao de um polinomio.
1.5 Zeros de um polinomio irredutvel
Como estamos interessados em corpo de fatorac ao de polin omios, e natural querermos
saber quando um polin omio vai ter zeros repetidos chamados de zeros m ultiplos. Para
isto vamos precisar da denic ao formal de derivada de polin omios. Observe que nossa
denic ao nao envolve a noc ao de limite.
Denicao 1.5.1 Seja f(x) = a
n
x
n
+ a
n1
x
n1
+ ... + a
1
x + a
0
F[x]. A derivada de
f(x), denotado por f

(x) , e o polinomio na
n
x
n1
+ (n 1)a
n1
x
n2
+ ... + a
1
F[x]
O seguinte lema e deixado para voce demonstrar e segue direto da denic ao de derivada.
Lema 1.5.2 Sejam f(x) e g(x) F[x] e a F. Entao
1. (f(x) + g(x))

= f

(x) + g

(x)
2. (af(x))

= af

(x)
3. (f(x)g(x))

= f(x)g

(x) + g(x)f

(x)
Teorema 1.5.3 (Criterio para zeros m ultiplos) Um polinomio f(x) F[x] onde F e
um corpo tem um zero m ultiplo em alguma extensao E se e somente se f(x) e f

(x) tem
um fator comum de grau positivo em F[x].
Demonstracao
Se a e um zero m ultiplo de f(x) em alguma extens ao E, ent ao existe g(x) E[x] tal
que f(x) = (x a)
2
g(x). Como f

(x) = (x a)
2
g

(x) + 2(x a)g(x), n os vemos que

f

(a) = 0.Assim (xa) e um fator comum de f e f

em E[x]. Se f e f

n ao possuem fator
comum de grau positivo em F[x] signica que mdc(f, f

) = 1 em F[x] e ent ao existem

(x), (x) F[x] tais que (x)f(x) +(x)f

(x) = 1. Visto como elemento de E[x], temos

que x a divide (x)f(x) + (x)f

(x), ou seja x a divide 1. Como isto e um absurdo,

conclumos que f e f

possuem um fator comum em F[x].

Reciprocamente, suponha que f e f

tenham um fator comum de grau positivo em F[x].

Seja a um zero desse fator comum de f e f

. Logo a e zero de f e f

, isto e, existe um
g(x) F[x] tal f(x) = (x a)g(x), f

(x) = (x a)g

(x) + g(x) e 0 = f

(a) = g(a), o que

mostra que g(x) = (x a)g
1
(x) , f(x) = (x a)
2
g
1
(x) e que f(x) tem um zero m ultiplo.
Finalmente vamos ver neste captulo como sao os zeros de polinomios irredutveis.
10 CAP

ITULO 1. EXTENS

OES DE CORPOS
Teorema 1.5.4 (zeros de polinomios irredutveis) Seja f(x) um polinomio irredutvel
sobre um corpo F. Se F tem caracterstica 0, entao f(x) nao tem zeros m ultiplos. Se F
tem caracterstica p ,= 0, entao f(x) tem um zero m ultiplo se e somente se ele e da forma
f(x) = g(x
p
) para algum g(x) F[x].
Demonstracao
Se f(x) tem um zero m ultiplo, ent ao pelo teorema anterior, f(x) e f

(x) tem um fator

comum de grau positivo em F[x]. Como f(x) e irredutvel, isto signica que f divide f

.
Como um polinomio sobre um corpo nao pode dividir um polinomio de grau menor, nos
devemos ter f

(x) = 0.
O que signica f

(x) = 0? Se n os escrevemos f(x) = a

n
x
n
+a
n1
x
n1
+... +a
1
x+a
0
ent ao
f

(x) = na
n
x
n1
+ (n 1)a
n1
x
n2
+ ... + a
1
e assim f

(x) = 0 somente quando ka

k
= 0
para todo k = 1, 2, ..., n.
Se caracterstica de F for 0, nos temos f(x) = a
0
e quando caracterstica de F for p ,= 0,
n os temos a
k
= 0 quando p nao divide k. Assim, as unicas potencias de x que aparecem
na soma a
n
x
n
+ a
n1
x
n1
+ ... + a
1
x + a
0
s ao aqueles da forma x
pi
= (x
p
)
i
. Segue que
f(x) = g(x
p
) para algum g(x) F[x].
Exemplo 1.5.5 1. O polinomio f(x) = x
4
+x
3
+x
2
+x+1 e irredutvel sobre l Q. Por que?
Logo n ao tem zeros m ultiplos. O seu corpo de fatorac ao vai ser l Q() onde = e
2i
5
.
Com efeito, as razes de f(x) sao ,
2
,
3
,
4
, utilizando nossos conhecimentos dos
n umeros complexos. Assim
l Q() = a + b + c
2
+ d
3
[ a, b, c, d l Q e
4
+
3
+
2
+ + 1 = 0
2. Considere o polin omio g(y) = y
2
x K[y] onde K = ZZ
2
(x). J a vericamos que g
e irredutvel sobre K(veja exemplo 1.4.4).Como g(y) K[y
2
] e caracterstica de K e
2, segue que g(y) tem razes m ultiplas como vimos no exemplo 1.4.4: g(y) = y
2
x =
y
2

2
= (y )
2
e seu corpo de fatorac ao sobre K e K() = k
1
+ k
2
[ k
1
, k
2

K e
2
= x
1.6. LISTA DE EXERC

ICIOS DO CAP

ITULO 1 11
1.6 Lista de exerccios do Captulo 1
1. Construa subcorpos de l C os quais s ao corpos de fatora cao sobre l Q para os po-
lin omios t
4
+ 5t
2
+ 6 e t
6
8. Descreva como sao os elementos de cada um desses
corpos de fatoracao .
2. Construa o corpo de fatorac ao de t
3
+ 2t + 1 sobre ZZ
3
.
3. Liste todos os polin omios quadr aticos m onicos sobre ZZ
5
. Quais s ao irredutveis?
Construa corpos de fatora cao para alguns polin omios irredutveis. Eles s ao todos
isomorfos? Quantos elementos eles tem?
4. Descreva os elementos de l Q(
3

5).
5. Mostre que l Q(

2,

3) = l Q(

2 +

3)
6. Ache o corpo de fatorac ao de x
3
1 sobre l Q. Expresse sua resposta na forma l Q(a)
7. Ache o corpo de fatorac ao de x
4
+ 1 sobre l Q.
8. Idem para x
4
+ x
2
+ 1 = (x
2
+ x + 1)(x
2
x + 1) sobre l Q.
9. Sejam a, b IR com b ,= 0. Mostre que IR(a + bi) = l C.
10. Ache um pol. p(x) l Q[x] tal que l Q(
_
1 +

5) seja isomorfo a
l Q[x]
<p(x)>
.
11. Seja F = ZZ
2
e f(x) = x
3
+x+1 F[x]. Suponha que a e um zero de f(x) em alguma
extens ao de F. Quantos elementos tem F(a)? Expresse cada elemento de F(a) em
termos de a e tambem uma tabela da multiplicac ao em F(a). Escreva a
5
, a
2
e a
100
na forma c
2
a
2
+ c
1
a
1
+ c
0
onde c
1
, c
2
, c
0
F. Mostre tambem que a + 1, a
2
+ 1 e
a
2
+ a + 1 s ao todos zeros de x
3
+ x
2
+ 1.
12. Ache todos os automorsmos de l Q(
3

5).
13. Seja F um corpo de caracterstica p e seja f(x) = x
p
a F[x]. Mostre que f e
irredutvel sobre F ou f se fatora sobre F.
12 CAP

ITULO 1. EXTENS

OES DE CORPOS
Captulo 2
Extensoes Algebricas
No captulo anterior denimos as extens oes de corpos do tipo F(a)[F e provamos (Teorema
1.3.1) que quando a for raiz de um polinomio irredutvel sobre F de grau n ent ao todo
elemento de F(a) se escreve de modo unico como um polin omio em a de grau menor
ou igual a n 1. Quando n ao tivermos esta condic ao sobre a, podemos apenas dizer
que F(a) ser a o conjunto das frac oes de polin omios em a. Isto acontece por exemplo em
l Q() =
f()
g()
[ f(x), g(x) l Q[x] , q(x) ,= 0 . Vamos estudar neste captulo a estrutura das
extens oes do primeiro tipo.
2.1 Caracterizacao de extensoes
Denicao 2.1.1 ( Tipos de extens oes ) Seja E[F uma extensao de corpos e a E .
Dizemos que a e algebrico sobre F se a for zero de um polinomio nao nulo em F[x]. Se
a nao for algebrico sobre F dizemos que a e transcendente sobre F. Uma extensao E de
F e chamada de extensao algebrica se todo elemento de E for algebrico sobre F. Se E
nao for uma extensao algebrica de F dizemos que E[F e uma extensao transcendente .
Uma extensao E do corpo F da forma E = F(a) para algum a E e chamada de extensao
simples
Exemplo 2.1.2 Todo elemento a de um corpo F e algebrico sobre F pois e raiz do po-
lin omio x a F[x].
Exemplo 2.1.3

2 IR e algebrico sobre l Q pois e raiz do polin omio x

2
2 l Q[x]
Exemplo 2.1.4 A extens ao l Q(

2) [ l Q e algebrica pois todo elemento a + b

2 l Q(

2)
e raiz do polin omio x
2
+ 2ax + a
2
2b
2
l Q[x].
Exemplo 2.1.5 Todo elemento de l C e algebrico sobre IR . Com efeito, dado a +bi l C,
a+bi e raiz do polinomio x
2
+2ax+a
2
+b
2
IR[x]. Assim provamos que a extens ao l C[IR
e algebrica.
Exemplo 2.1.6

E f acil dar exemplos de complexos os quais sao algebricos sobre l Q,
tambem chamado de n umero algebrico :

2+

5,

3+i

5,
_
2

3, .... No entanto e
13
14 CAP

ITULO 2. EXTENS

OES ALG

EBRICAS
difcil dar exemplos de n umeros transcendentes; o primeiro exemplo foi dado por Liouville
em 1851 . Em 1882 Lindemann provou que o n umero e transcendente, e Hermite em 1873
mostrou que e e transcendente. Cantor demonstrou que o conjunto dos n umeros algebricos
e enumer avel, e assim provou a existencia de n umeros transcendentes sem apresentar
nenhum (ver [1] ou [2]). Isto mostra tambem que existem mais n umeros transcendentes
do que algebricos. Ate hoje nao se sabe se + e e ou nao transcendente.
Exemplo 2.1.7 O corpo quociente do anel de polin omios F[x], denotado por F(x) e uma
extens ao transcendente sobre F; com efeito, quando denimos um polinomio, ca claro
que o unico polinomio que anula x e o nulo.
O teorema abaixo justica as denicoes acima.
Teorema 2.1.8 (Caracterizacao de extens oes) Seja E[F uma extensao de corpos e
a E.Se a for transcendente sobre F entao F(a)

= F(x). Se a for algebrico sobre F
entao F(a) = F[a]

=
F[x]
<p(x)>
onde p(x) e um polinomio em F[x] de menor grau tal que
p(a) = 0. E mais, p(x) e irredutvel sobre F e todo elemento de F(a) se escreve de modo
unico na forma f
0
+ f
1
a + f
2
a
2
+ ... + f
n1
a
n1
com f
i
F para i = 0, 1, 2, n 1.
Demonstracao :
Considere o homomorsmo de aneis
: F[x] E
f(x) f(a)
Pelo Teorema Fundamental dos Homomorsmos temos que F[a] = (F[x])

=
F[x]
ker
e como
ker e um ideal de F[x], o qual e um DIP temos que ker = 0 ou ker =< p(x) > onde
p(x) o polin omio de menor grau que pertence a ker. Como (F[x]) E, temos que
F[x]
ker
e um domnio e portanto ker e um ideal primo de F[x]. Sabemos que os ideais primos
n ao nulos de um DIP s ao maximais e gerados por irredutveis. Logo :
1)se a for transcendente sobre F temos ker = 0, F[a]

= F[x] e F(a)

= F(x).
2)se a for algebrico sobre F temos ker =< p(x) > e maximal e F[a] = (F[x])

=
F[x]
ker
e
um corpo e assim F[a] = F(a)

=
F[x]
<p(x)>
onde p(x) um polin omio de menor grau que tem
a como raiz. Vimos no teorema 1.3.1 que todo elemento de F(a) se escreve de modo unico
na forma f
0
+f
1
a +f
2
a
2
+... +f
n1
a
n1
com f
i
F para i = 0, 1, 2, n1 e nosso teorema
est a provado.
Exemplo 2.1.9 l Q(

2)

=
l Q[x]
<x
2
2>
= l Q + l Q

2.
Exemplo 2.1.10 IR(

1)

=
IR[x]
<x
2
+1>
= IR + IR

1 = IR + IRi = l C.
Exemplo 2.1.11 ZZ
7
(

1)

=
ZZ
7
[x]
<x
2
+1>
= ZZ
7
+ ZZ
7

1.
Exemplo 2.1.12 l Q()

= l Q(x) =
f(x)
g(x)
[ f(x), g(x) l Q[x] e g(x) ,= 0
Exemplo 2.1.13 IR() = IR pois IR.
2.1. CARACTERIZAC

AO DE EXTENS

OES 15
Exemplo 2.1.14 Vamos estudar as extens oes l Q l Q(x
2
) l Q(x). Observe que x e raiz
do polin omio irredutvel g(y) = y
2
x
2
l Q(x
2
)[y] e portanto x e algebrico sobre l Q(x
2
)
e l Q(x) = l Q(x
2
)(x) = l Q(x
2
)[x] = l Q(x
2
) + l Q(x
2
)x pelo teorema anterior. Tente provar
que l Q(x) e uma extens ao algebrica de l Q(x
2
). Analisando agora a extens ao l Q l Q(x
2
),
temos que x
2
e transcendente sobre l Q porque senao existiria um polin omio nao nulo com
coecientes em l Q que anularia x
2
, e teramos que x seria algebrico sobre l Q, o que e um
absurdo. Logo a extens ao l Q l Q(x
2
) e transcendente. Em geral representamos extensoes
da seguinte maneira:
transc.
_
l Q(x)

_
alg.
l Q(x
2
)

_
transc.
l Q
Na demonstracao do teorema acima vimos que ker =< p(x) >= f(x) F[x] [ f(a) =
0 e que p(x) e irredutvel sobre F. Se colocarmos outro gerador p
1
(x) para ker temos
que p(x)[p
1
(x) e p
1
(x)[p
(
x) e ent ao p(x) = up
1
(x) onde u e uma unidade de F[x], ou
seja, u F 0. Entretanto quando escolhemos o polin omio monico para gerar ker este
polinomio e unico e e chamado de polin omio mnimo de a sobre F.
Denicao 2.1.15 (polin omio mnimo) Se a e algebrico sobre o corpo F, dizemos que
p(x) F[x] e o polinomio mnimo de a sobre F se p(x) for monico, irredutvel e
p(a) = 0.
Notacao : p

a,F
(x)
Temos tambem da demonstrac ao do teorema anterior, a proposic ao :
Proposicao 2.1.16 (propriedade da divisibilidade) Seja a E e algebrico sobre F
e f(x) F[x] tal que f(a) = 0.Entao p

a,F
(x) divide f(x).
Demonstracao :
Basta observar que f(x) ker =< p

a,F
(x) >.
Exemplo 2.1.17 p

2, l Q
(x) = x
2
2.
Exemplo 2.1.18 p

i,IR
(x) = x
2
+ 1
Exemplo 2.1.19 Se l C e uma raiz p-esima primitiva da unidade onde p ZZ e primo
ent ao p

, l Q
(x) = x
p1
+ x
p2
+ ... + 1 pois mostramos na apostila de aneis [3] que o
polinomio x
p1
+ x
p2
+ ... + 1 l Q[x] chamado de polinomio ciclotomico e irredutvel
sobre l Q e como x
p
1 = (x 1)(x
p1
+x
p2
+... +1) temos que
p1
+
p2
+... +1 = 0
16 CAP

ITULO 2. EXTENS

OES ALG

EBRICAS
Exemplo 2.1.20 Observe que i l C e uma raiz 4-esima da unidade e p

i, l Q
(x) = x
2
+ 1
Exemplo 2.1.21 No exemplo 2.1.14, p

x, l Q(x
2
)
(y) = y
2
x
2
.
2.2 Extensoes Finitas
Se E e um extensao do corpo F podemos ver E como um espaco vetorial sobre F, onde os
vetores s ao os elementos de E e os escalares s ao os elementos de F. A soma e o produto
por escalar s ao a soma e a multiplicacao no anel E, respectivamente. Assim podemos falar
em base e dimens ao.
Denicao 2.2.1 (grau de uma extensao) Seja E[F uma extensao de corpos. O grau
de E[F e a dimensao de E como espaco vetorial sobre F.
Notacao : [E:F].
Quando [E : F] for nito,dizemos que E e uma extensao nita de F. Caso contrario,
dizemos que E e uma extensao innita de F.
Exemplo 2.2.2 l C e uma extensao de grau 2 sobre IR pois 1, i forma uma base para o
espaco vetorial l C sobre IR. Verique!
Exemplo 2.2.3 Se a for algebrico sobre F e se grau p

a,F
(x) = n ent ao pelo teorema 1.3.1
1, a, a
2
, ..., a
n1
gera F(a) sobre F e este conjunto e linearmente independente sobre F,
pois se existissem elementos nao todos nulos b
0
, b
1
, ..., b
n1
de F, tal que

i=n1
i=0
b
i
a
i
= 0
teramos a existencia de um polin omio nao nulo f(x) =

i=n1
i=0
b
i
x
i
de grau n1 em F[x]
que anula a, o que e absurdo pelo teorema 2.1.16 , que diz que p

a,F
(x) de grau n divide
f(x) de grau n 1 . Logo, 1, a, a
2
, ..., a
n1
forma uma base para o espaco F(a) sobre F
e [F(a) : F] = n. Neste caso dizemos que e algebrico de grau n sobre F.
Exemplo 2.2.4 IR e uma extens ao innita de l Q e l C tambem e uma extensao innita
de l Q. Isto resulta do teorema que provaremos a seguir.
Teorema 2.2.5 (nita implica em algebrica) Se E e uma extensao nita de F, entao
E e uma extensao algebrica de F.
Demonstracao :
Suponha que [E : F] = n e a E. Queremos mostrar que a e algebrico sobre F.Basta
observar que o conjunto 1, a, a
2
, a
3
, ..., a
n
e linearmente dependente sobre F, isto e, exis-
tem b
0
, b
1
, b
2
, ..., b
n
F, nao todos nulos tais

n
i=1
b
i
a
i
= 0. Temos assim que f(a) = 0
onde 0 ,= f(x) =

n
i=1
b
i
x
i
F[x] e entao a e algebrico sobre F.
Exerccio 2.2.6 Prove que a recproca do teorema anterior nao e verdade. Para isto
mostre que l Q(

2,
4

2, ...,
2
n

2, ...) e uma extensao algebrica de l Q mas nao e nita.

Exemplo 2.2.7 IR e uma extens ao innita de l Q e l C tambem e uma extensao innita
de l Q. Com efeito, se IR[ l Q fosse nita, seria algebrica e teramos que por exemplo
seria algebrico sobre l Q , o que e um absurdo. Analogamente, para IR [ l Q
2.2. EXTENS

OES FINITAS 17
O teorema a seguir, como todo teorema de contagem tem muitas aplicacoes interessan-
tes.
Teorema 2.2.8 ([K:F]=[K:E].[E:F]) Se K e um extensao nita do corpo E e se E e uma
extensao nita do corpo F entao K e uma extensao nita de F e [K : F] = [K : E].[E : F].
Demonstracao :
Suponha que A = a
1
, a
2
, a
3
, ..., a
n
forme uma base de K[E e B = b
1
, b
2
, b
3
, ..., b
m
seja
uma base de E[F. Vamos provar que a
i
b
j
[ 1 i n e 1 j m forma uma base
para K[F. Seja k K. Existem elementos x
i
E tais que
k =
n

i=1
x
i
a
i
e para cada x
i
E temos que existem elementos y
ij
F tais que
x
i
=
m

j=1
y
ij
b
j
.
Assim,
k =
n

i=1
(
m

j=1
y
ij
b
j
) a
i
=

i,j
y
ij
a
i
b
j
o que mostra que os elementos a
i
b
j
geram K sobre F. Vamos agora provar que o conjunto
a
i
b
j
[ 1 i n e 1 j m e linearmente independente sobre F. Para isto, suponha
que existam elementos z
ij
F n ao todos nulos tais que
0 =

i,j
z
ij
a
i
b
j
=
i=n

i=1
(
m

j=1
z
ij
b
j
) a
i
.
Como cada

m
j=1
z
ij
b
j
E e A e li sobre E, temos que

m
j=1
z
ij
b
j
= 0 para todo i. Mas
como B e li sobre F temos que os elementos z
ij
s ao todos nulos. Assim a
i
b
j
[ 1 i
n e 1 j m forma uma base para K[F e [K : F] = [K : E][E : F].
Representamos as extensoes do teorema acima na forma:
nm
_
K

_
n
E

_
m
F
Exemplo 2.2.9 Se a e algebrico de grau n sobre F temos pelo exemplo 2.2.3 que
F(a)

_
n
F
18 CAP

ITULO 2. EXTENS

OES ALG

EBRICAS
.
Exemplo 2.2.10 Neste exemplo vamos calcular o grau da extensao E[ l Q onde E e o
corpo de fatoracao de f(x) = x
3
2 sobre l Q. Vimos no exemplo 1.3.6 que E =
l Q(
3

2,
3

2,
3

2
2
) = l Q(
3

2, ) onde e uma raiz 3-esima primitiva da unidade.

E f acil
ver que p

2, l Q
(x) = x
3
2 e que p

, l Q
(x) = x
2
+ x + 1 e assim temos o diagrama:
l Q(
3

2, )
?
_ _
?
l Q(
3

2) l Q()
3
_ _
2
l Q
Para determinar o grau [ l Q(
3

2, ) : l Q(
3

2)], observamos que l Q(

3

2, ) = l Q(
3

2)() isto e,
l Q(
3

2, ) e uma extens ao simples de l Q(

3

2) e para saber o grau desta extens ao basta saber

o grau do polin omio mnimo de sobre l Q(
3

2). Como e raiz de x

2
+x +1 e , l Q(
3

2)
temos que x
2
+x + 1 rredutvel sobre l Q(
3

2) e p

, l Q(
3

2)
(x) = x
2
+x + 1 . Analogamente
temos que p

2, l Q()
(x) = x
3
2. Prove isto! Podemos ent ao completar o diagrama acima:
l Q(
3

2, )
2
_ _
3
l Q(
3

2) l Q()
3
_ _
2
l Q
Logo pelo teorema anterior temos que
[ l Q(
3

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

2)() : l Q(
3

2)][ l Q(
3

2) : l Q] = 2.3 = 6.
Exemplo 2.2.11 O grau da extens ao l Q(

3,

7)[ l Q e 4 ; temos que

3 e algebrico sobre
l Q(

7) de grau 2 pois x
2
3 e irredutvel sobre l Q(

7) ( prove que

3 , l Q(

7)).Aqui
temos o diagrama :
l Q(

3,

7) l Q(

3,

7)
2
_ _
2

_
2
l Q(

3) l Q(

7) l Q(

7)
2
_ _
2

_
2
l Q l Q
Uma base de l Q(

3,

7) sobre l Q e 1,

7,

3,

21.
2.2. EXTENS

OES FINITAS 19
Exemplo 2.2.12 A extensao E[ l Q onde E e o corpo de fatorac ao de f(x) = (x
2
3)(x
2

12) tem grau 2 sobre l Q. Prove isto! Veja exemplo 1.4.3. Ache uma base de E sobre l Q.
Exemplo 2.2.13 Queremos calcular o grau da extens ao l Q(
3

7,

7) sobre l Q. Temos o
diagrama
l Q(
3

7,

7)
_
? ?
_
l Q(
3

7) l Q(

7)
base = 1,
3

7,
3

7
2

_
3 2
_
base = 1,

7
l Q
o qual mostra que 2 e 3 dividem [ l Q(
3

7,

7) : l Q] e assim 6 divide [ l Q(
3

7,

7) : l Q].
Como

7 e raiz de x
2
7 l Q[x] l Q(
3

7)[x] segue que o grau do p

7, l Q(
3

7)
2 e
portanto
[ l Q(
3

7,

7) : l Q] = [ l Q(
3

7,

7) : l Q([3]7)].[ l Q(
3

7) : l Q] 2.3 = 6
Conclumos assim que [ l Q(
3

7,

7) : l Q] = 6.
Observe que x
6
7 l Q[x] e irredutvel sobre l Q e
6

7 l Q(
3

7,

7) pois
6

7 =
1
7
(
3

7)
2
.

7
e e raiz de x
6
7 l Q[x]. Logo [ l Q(
6

7) : l Q] = 6 e [ l Q(
3

7,

7) : l Q(
6

7] = 1 e entao
[ l Q(
3

7,

7) e a extensao simples l Q(
6

7). Podemos representar isto na forma:

l Q(
3

7,

7) l Q(
3

7,

7)
2
_ _
3

_
1
l Q(
3

7) l Q(

7) l Q(
6

7)
3
_ _
2

_
6
l Q l Q
Os dois exemplos acima mostram que em certos casos extens oes obtidas pela adjuncao
de dois elementos podem ser obtidas com a adjunc ao de apenas um elemento. O teorema
seguinte mostra que conseguiremos sempre um tal elemento em extensoes nitas de corpos
de caracterstica 0.
Teorema 2.2.14 (Teorema do elemento primitivo (Steinitz,1910)) Se F e um corpo
de caracterstica 0 e a e b sao algebricos sobre F, entao existe um elemento c em F(a, b)
tal que F(a, b) = F(c).
Demonstracao :
Sejam p(x) = p

a,F
, q(x) = p

b,F
e a = a
1
, a
2
, ..., a
m
razes distintas (por que?) do
p(x) e b = b
1
, b
2
, b
3
, ...b
n
razes distintas de q(x) em alguma extens ao K de F. Como
F tem um n umero innito de elementos podemos escolher um elemento d de F tal que
d ,
a
i
a
bb
j
[ i = 1, 2, 3, ..., m; j = 2, 3, ..., n.
20 CAP

ITULO 2. EXTENS

OES ALG

EBRICAS
N os vamos mostrar que c = a + db tem a propriedade F(a, b) = F(c). Como c
F(a, b), temos que F(c) F(a, b). Para vericar que F(a, b) F(c), basta vericar que
b F(c), pois entao teremos que b, dec F(c) e logo, a = c db F(c). Considere os
polin omios q(x) e r(x) = p(c dx) sobre F(c). Como b e zero de q(x) e de r(x) temos
que p

b,F(c)
F(c)[x] divide q(x) e r(x). Se provarmos que p

b,F(c)
= x b,o teorema
ca provado pois como p

b,F(c)
F(c)[x] teremos que b F(c). Os zeros de p

b,F(c)
em
K s ao os zeros comuns de q(x) e r(x) pois p

b,F(c)
divide q(x) e r(x) em F(c)[x]. Mas
r(b
j
) = p(c db
j
) = p(a + db db
j
) = p(a + d(b b
j
)) e d foi escolhido de modo que
a + d(b b
j
) ,= a
i
para j > 1. Segue que b e o unico zero de de p

b,F(c)
K[X] e assim
p

b,F(c)
= (x b)
u
. Como p

b,F(c)
e irredutvel e caracterstica de F e 0, temos que u = 1.
Corolario 2.2.15 Toda extensao nita de um corpo de caracterstica 0 e uma extensao
simples.
Demonstracao
Se E[F e uma extens ao nita, existem a
1
, a
2
, ..., a
n
E tais que E = F(a
1
, a
2
, a
3
, ....a
n
).
Agora basta aplicar o teorema anterior v arias vezes.
Denicao 2.2.16 Se E[F e uma extensao de corpos, um elemento a tal que E = F(a) e
chamado de elemento primitivo de E.
2.3 Propriedades das extens oes algebricas
Teorema 2.3.1 ( algebrica sobre algebrica e algebrica) Se K e uma extensao algebrica
de E e E e uma extensao algebrica de F, entao K e uma extensao algebrica de F.
Demonstracao :
Seja a K. Para provar que a e algebrico sobre F, e suciente provar que a pertence
a uma extens ao nita de F. Como a e algebrico sobre E, a e raiz de p(x) = p

a,E
(x) =
e
n
x
n
+ e
n1
x
n1
+ ... + e
0
. Podemos construir a torre de extens oes de F, como segue:
F
0
= F(e
0
)
F
1
= F
0
(e
1
), ..., F
n
= F
n1
(e
n
)
Em particular,
F
n
= F(e
0
, e
1
, ..., e
n
),
e assim p(x) F
n
[x] E. Como p(x) e irredutvel sobre E, temos que p(x) continua
irredutvel sobre F
n
e [F
n
(a) : F
n
] = n. Tambem temos que cada [F
i+1
: F
i
] e nito pois e
i
e algebrico sobre F, e assim,
[F
n
(a) : F] = [F
n
(a) : F
n
][F
n
: F
n1
]...[F
1
: F
0
][F
0
: F]
e nito.
2.4. LISTA DE EXERC

ICIOS DO CAP

ITULO 2 21
Corolario 2.3.2 (subcorpo dos n umeros algebricos) Seja E[F uma extensao de cor-
pos. O conjunto dos elementos de E, os quais sao algebricos sobre F e um subcorpo de
E.
Demonstracao :
Temos de mostrar que se 0 ,b, a E s ao algebricos sobre F, entao a + b, a b, ab, a/b s ao
algebricos sobre F.para isto basta provar que todos esses elementos est ao numa extens ao
nita de F. Observe que a + b, a b, ab, a/b F(a, b) e F(a, b) e uma extens ao nita de
F pois
[F(a, b) : F] = [F(a, b) : F(b)].[F(b) : F]
e como a e algebrico sobre F, tambem e algebrico sobre F(b) e [F(b, a) : F(b)] e nito.
Tambem [F(b) : F] e nito pois b e algebrico sobre F.
Denicao 2.3.3 Seja E[F uma extensao de corpos. O conjunto dos elementos de E, os
quais sao algebricos sobre F e chamado de fecho algebrico de F sobre E.
Denicao 2.3.4 Dizemos que um corpo e algebricamente fechado se nao possuir ne-
nhuma extensao algebrica propia

E facil provar a proposic ao a seguir.

Proposicao 2.3.5 Sao equivalentes:
1. E e algebricamente fechado
2. Todo polinomio em E[x] se fatora em E
3. Todo polinomio irredutvel em E[x] e linear
Gauss provou em 1799, aos 22 anos, que l C e algebricamente fechado e este fato pela
sua importancia e chamado Teorema Fundamental da

Algebra. Hoje mais de 100 provas
existem desse teorema e devido ao crescimento da

Algebra Abstrata neste seculo pode ser
considerado como Teorema Fundamental da

Algebra Cl assicacomo escreveu Gallian em
[3].
2.4 Lista de Exerccios do Captulo 2
1. Prove a Proposic ao 2.3.5.
2. Suponha que f(x) e g(x) sao irredutveis sobre F e mdc(grf(x), grg(x)) = 1. Se a e
um zero de p(x) em alguma extens ao de F, mostre g(x) e irredutvel sobre F(a).
3. Sejam a, b l Q com b ,= 0. Mostre que l Q(

a) = l Q(

b) se e somente se existe algum

c l Q0 tal que a = bc
2
.
4. Ache o grau e uma base para l Q(

3 +

5) sobre l Q(

15).Ache o grau e uma base

para l Q(

2,
3

2,
4

2) sobre l Q.
5. Suponha que E e uma extens ao de F de grau primo. Mostre que, para todo a E,
F(a) = F ou F(a) = E.
22 CAP

ITULO 2. EXTENS

OES ALG

EBRICAS
6. Seja a l C algebrico sobre l Q. Mostre que

a e algebrico sobre l Q e determine o
polinomio mnimo de

a sobre l Q.
7. Suponha que E[F e uma extens ao de corpos e a, b E. Suponha que a e algebrico
sobre F de grau m , b e algebrico de grau n sobre F e mdc(m, n) = 1. Mostre que
[F(a, b) : F] = mn.
8. Ache um exemplo de um corpo F e elementos a e b de alguma extens ao de F tal que
F(a, b) ,= F(a),F(a, b) ,= F(b) e [F(a, b) : F] < [F(a) : F][F(b) : F]
9. Seja L[K uma extensao de corpos. Prove que L[K e algebrica se e somente se todo
anel entre L e K e um corpo.
10. Seja p um n umero primo e g(x) = x
p
1 l Q[x]. Considere uma raiz de g(x) tal
que ,= 1.
(a) ache p

, l Q
(b) ache todas as razes de g(x).
(c) Se E e o corpo de fatorac ao de p

, l Q
sobre l Q, mostre que [E : l Q] = grp

, l Q
11. Sejam x
2
a, x
2
b l Q[x], irredutveis sobre l Q. Dena g(x) = (x
2
a
)
(x
2
b).Ache
o corpo de fatorac ao E de g(x) sobre l Q e o conjunto dos l Q-automorsmos de E.
12. Seja g(y) = y
2
x ZZ
2
(x)[y] Mostre que g e irredutvel sobre ZZ
2
(x). Ache
[E : ZZ
2
(x)], onde E e corpo de fatorizacao de g sobre ZZ
2
(x) e ache os ZZ
2
(x)-
automorsmos de E .
13. Se K[Fe uma ext. de corpos, mostre que
(a) [K : F] = 1 se e somente se K = F.
(b) Se u K tem grau n sobre F ent ao n divide [K : F] se [K : F] for nito.
14. Determine o corpo de fatorac ao sobre l Q dos polinomios :
(a) x
6
+ x
3
+ 1
(b) x
4
+ 1
(c) x
6
+ 1
(d) x
4
2
(e) x
5
1
15. No corpo K(x), considere u =
x
3
x+1
. Mostre que K(x) e uma extens ao simples de
corpo K(u) e calcule [K(x) : K(u)].
16. No corpo K(x), seja u = x
2
. Mostre que K(x) e uma extensao simples de corpo K(u)
e calcule [K(x) : K(u)].
17. Se F[K e uma extensao de corpos e v F algebrico de grau mpar sobre K ent ao u
2
tem grau mpar sobre K e K(u) = K(u
2
)
2.4. LISTA DE EXERC

ICIOS DO CAP

ITULO 2 23
18. Considere a extensao l Q(u) de l Q gerada por uma raiz real u de g(x) = x
3
6x
2
+9x+3.
O pol. g(x) e irred. sobre l Q. Expresse cada um dos elementos abaixo em func ao da
base 1, u, u
2
: u
4
, u
5
, 3u
5
u
4
+ 2, (u
2
6u + 8)
1
.
19. No corpo l C, l Q(i) e l Q(

2) sao isomorfos como espacos vetoriais, mas n ao como

corpos.
20. Sejam K[F uma extens ao de corpos e a K. Mostre que [F(a) : F(a
3
)] 3. ache
exemplos para ilustrar que [F(a) : F(a
3
)] pode ser 1,2 ou 3.
21. Ache p

3+

2, l Q
.
22. Seja K uma extensao de F. Suponha que E
1
e E
2
est ao contidos em K e s ao extens oes
de F. Se [E
1
: F] e [E
2
: F] sao ambos primos, mostre que E
1
= E
2
ou E
1
E
2
= F.
23. Ache p

2+
3

4, l Q
.
24. Seja E uma extens ao de nita de IR. Use o fato de que l C e algebricamente fechado
para provar que E = l C ou E = IR.
25. Seja E[F uma extens ao de corpos. Mostre que [E : F] e nito se e somente se
E = F(a
1
, a
2
, a
3
, ..., a
n
), onde a
1
, a
2
, ..., a
3
s ao algebricos sobre F.
26. Se e s ao transcendentes sobre l Q, mostre que ou ou + e tambem trans-
cendente sobre l Q
27. Seja f(x) F[x]. Se a pertence a alguma extensao de F e f(a) e algebrico sobre F,
prove que a e algebrico sobre F.
28. Seja f(x) = ax 2 + bx + c l Q[x]. ache um elemento primitivo para o corpo de
fatorac ao de f(x) sbre l Q.
29. Ache o corpo de fatorac ao de x
4
x
2
2 sobre ZZ
3
.
30. Seja a um n umero complexo, o qual e algebrico sobre l Q e seja r l Q. mostre que a
r
e algebrico sobre l Q.
31. Responda se a armac ao seguinte e verdadeira ou falsa e justique! Seja a um n umero
real positivo e n um inteiro positivo maior que 1. Entao [ l Q(a
1
n
) : l Q ] = n.
32. Suponha a e b em alguma extens ao do corpo F e seja b algebrico sobre F. Prove que
[F(a, b) : F(a)] [F(a, b) : F].
24 CAP

ITULO 2. EXTENS

OES ALG

EBRICAS
Captulo 3
Introducao `a Teoria de Galois
3.1 Teoremas de Extensao e a sua ligacao com a teoria de Galois
No Captulo 1 foram introduzidos dois teoremas que s ao muito importantes para a Teoria
de Galois e que serviram para provar que um corpo de fatorac ao de um polinomio e unico
a menos de isomorsmos . Vamos reescrever aqui estes teoremas que serao chamados
de Teoremas de Extensao. Lembre-se que (p(x)) signica o polinomio obtido de p(x)
aplicando o isomorsmo a todos os coecientes de p(x).
Teorema 3.1.1 (1o Teorema de Extensao) Sejam F um corpo, p(x) F[x] irredutvel
sobre F, e seja a um zero de p(x) em alguma extensao de F. Se e um isomorsmo de F
em F
1
e b e um zero de (p(x)) em alguma extensao de F
1
, entao existe um isomorsmo
de F(a) em F
1
(b), o qual coincide com em F e leva a em b.
Teorema 3.1.2 (2o Teorema de Extensao) Seja um isomorsmo de um corpo F
para um corpo F
1
e f(x) F[x]. Se E e um corpo de fatoracao de f(x) sobre F e E
1
e
um corpo de fatoracao de (f(x)) sobre F
1
, entao existe um isomorsmo de E em E
1
, o
qual e igual a em F.
Galois procurava pela cara das razes de polin omios, ou melhor, se podamos express a-
las na forma de radicais como na formula de Baskara x
i
=
b

b
2
4ac
2a
para razes de
polinomios do 2o grau.
J a vimos que todo polinomio p(x) denido num corpo F possui todas as suas razes em
uma extens ao E de F; o corpo de fatorac ao de p(x) sobre F, o qual e o menor corpo que
contem F e todas as razes de p(x) e este corpo e obtido atraves de adjunc oes de razes de
p(x).
Para caracterizar as razes de p(x), Galois conseguiu fazer uma correspondencia entre as
extens oes do tipo F(
n

) com subgrupos de um grupo, grupo este que nada mais e que o

grupo das permutacoes das razes do polin omio. Temos da a origem da teoria de grupos.
Vamos agora descrever como Galois fez isto. Em primeiro lugar vamos fazer algumas
denic oes . Lembramos que automorsmos de aneis signica isomorsmos do anel nele
mesmo isto e, homomorsmos injetivos e sobrejetivos do anel nele mesmo.
Denicao 3.1.3 (Grupo de Galois de p(x) sobre F) Seja p(x) F[x] um polinomio
denido no corpo F e E o corpo de fatoracao de p(x) sobre F. O Grupo de Galois de
p(x) sobre F e o grupo Aut
F
(E) dos F-automorsmos de E isto e, automorsmos de E,
25
26 CAP

ITULO 3. INTRODUC

AO
`
A TEORIA DE GALOIS
que quando restritos a F sao a identidade. Usaremos a notacao G(p(x), F) para designar
o grupo de Galois de p(x) sobre F .
Como segunda consequencia (a primeira foi a unicidade do corpo de fatorac ao ) dos
teoremas de extensao veremos a primeira ligac ao da teoria de corpos com a teoria de
grupos feita por Galois.
Corolario 3.1.4 Se p(x) F[x] e E e seu corpo de fatoracao sobre F entao todo F
automorfismo de E permuta as razes de p(x).
Demonstracao
Se e uma raiz de p e e um F-automorsmo de E temos que (p()) = p(()) = 0
pois = Id em F. Logo, F- automorsmos levam razes de p em razes de p.
Denicao 3.1.5 (Conjunto das razes de p(x)) Chamaremos o conjunto das razes de
p(x) por '(p(x)).
Temos assim a aplicac ao :
G(p(x), F) permut. de '(p(x))

'(p(x)) '(p(x))
()
Os Teoremas de Extens ao e o Corolario 3.1.4 nos mostram como determinar o Grupo
de Galois de um polinomio p(x):
Exemplo 3.1.6 O G(x
2
+ 1, IR) = Id, : a + bi a bi
Exemplo 3.1.7 No exemplo 1.3.6 do Cap.1 vimos que o corpo de fatora cao de x
3
2
sobre l Q e l Q(
3

2, ) onde e a raiz 3-esima primitiva da unidade . Lembrando que as

razes de x
3
2 sao
3

2 ,
3

2 ,
3

2
2
e que as razes de x
2
+ x + 1 sao e
2
temos que
o grupo de Galois G(x
3
2, l Q) =
i
[ i = 1, 2, ..., 6 sendo:
l Q(
3

2, )

1
l Q(
3

2, )
3

2
3

2

,
l Q(
3

2, )

2
l Q(
3

2, )
3

2
3

2

2
,
l Q(
3

2, )

3
l Q(
3

2, )
3

2
3

2

,
l Q(
3

2, )

4
l Q(
3

2, )
3

2
3

2

2
,
l Q(
3

2, )

5
l Q(
3

2, )
3

2
3

2
2

,
l Q(
3

2, )

6
l Q(
3

2, )
3

2
3

2
2

2
.
Vemos da a necessidade de trabalharmos com polin omios que nao possuam razes
m ultiplas e com a garantia que sempre teremos em E todas as razes dos polinomios
mnimos dos elementos de E. Precisaremos das deni coes de extens oes normais e separ aveis
que passamos a denir agora.
Denicao 3.1.8 (Conjugado de ) Se e algebrico sobre um corpo F, os conjugados
de sao todas as razes do polinomio mnimo p

,F
F[x].
Denicao 3.1.9 (Extensao normal) Uma extensao algebrica L[F de corpos e chamada
de extensao normal se para todo L, os conjugados de pertencem a L.
3.1. TEOREMAS DE EXTENS

AO E A SUA LIGAC

AO COM A TEORIA DE GALOIS 27
Exemplo 3.1.10 O conjunto l C [ e algebrico sobre l Q e uma extens ao normal de
l Q, e n ao e nita.
Exemplo 3.1.11 l Q(
3

2) nao e uma extensao normal de l Q pois n ao contem todos os

conjugados de
3

2, isto e, nao contem as razes complexas n ao reais de

3

2.
Exemplo 3.1.12 l C[IR e uma extensao normal de IR pois todo polinomio de IR[x] se
fatora em l C.
Outros exemplos de extens oes normais pode ser obtidos atraves do teorema a seguir;
Corolario 3.1.13 Seja E[F uma extensao nita. E e corpo de fatoracao de algum po-
linomio f(x) F[x] se e somente se para todo E, p

,F
se fatora em fatores lineares
em E, isto e, E[F e uma extensao normal.
Demonstracao
() Se E[F e nita , entao
1
,
2
, ...,
n
E tal que E = F(
1
,
2
, ...,
n
).
Considere f(x) = p

1
,F
(x).p

2
,F
(x).....p

n
,F
(x) F[x].
Armac ao : E e o corpo de fatorac ao de f sobre F.
Dem: Se e uma raiz de f ent ao e raiz de algum p

i
,F
. Como
i
uma raiz de p

i
,F
e

i
E, por hipotese todas as razes de p

i
,F
est ao em E e temos que o corpo de fatora cao
de f(x) E.(1)
Como
1
,
2
, ...,
n
s ao razes de f implica que
1
,
2
, ...,
n
pertencem ao corpo de fatoracao
de f e assim E = F(
1
,
2
, ...,
n
) corpo de fatoracao de f(x). (2).
Por (1) e (2) temos que E= corpo de fatorac ao de f.
() Como E e o corpo de fatorac ao de f sobre F temos que E = F(
1
, ...,
n
) onde

1
, ...,
n
s ao razes de f.
Seja E; tenho de mostrar que todas as razes de p

,F
(x) pertencem a E. Seja N um
corpo de fatoracao de p

,F
(x) sobre E. Temos que p

,F
(x) F[x] E[x]. Como N e
corpo de fatora cao de p

,F
(x) sobre E temos que E N.
Seja

uma raiz qualquer de p

,F
(x) em N. Temos pelo 1o Teor de Ext. que existe um
isomorsmo
F()

1
F(

F
Id
F
que leva em

Seja g(x) = p

,F
(x).f(x) F[x].
Em F() temos g(x) = (x )h(x) com h(x) F()[x]
g(x) =
1
(g(x)) = (x

)h
1
(x) = (x
1
())
1
(h(x))
Assim h
1
(x) = (h(x)) e podemos estender
1
ao corpo de fatorac ao N de h(x) sobre F()
pelo 2o Teor. de extens ao.
28 CAP

ITULO 3. INTRODUC

AO
`
A TEORIA DE GALOIS
N

2
N

F()

1
F(

F
Id
F
Queremos provar que

E. Para isto, basta provar que

2
(E) E pois E e

=
2
()
2
(E) E.
Como E = F( razes de f), para mostrar que
2
(E) E, basta provar que
2
(F) E e

2
( uma raiz de f) E. J a sabemos que
2
(F) = F E. Tambem,
2
( uma raiz de f ) e
uma raiz de f pois f(x) F[x] e como E contem todas as razes de f temos que
2
( uma
raiz de f) E e o corol ario esta provado.
Exemplo 3.1.14 l Q(

3, i) e uma extensao normal de l Q pois e o corpo de fatora cao do

polin omio f(x) = (x
2
3)(x
2
+ 1) l Q[x].
Exemplo 3.1.15 l Q(

3) e uma extens ao normal de l Q pois e o corpo de fatorac ao de

f(x) = x
2
3 sobre l Q.
Exemplo 3.1.16 ZZ
2
() = a +b [ a, b ZZ
2
e
2
+ +1 = 0 e uma extensao normal
de ZZ
2
pois e o corpo de fatoracao de x
2
+ x + 1 ZZ
2
[x].
Voltando ` a ligacao da teoria de corpos com a teoria de grupos , ou mais precisamente,
ao problema de Galois que procurava caracterizar as razes de um polin omio p(x),vimos
que o corpo de fatorac ao de um polin omio, alem de conter as razes de p(x) contem todas
as razes dos polin omios mnimos de seus elementos.
Um outro problema que precisamos nos preocupar e com as razes m ultiplas que podem
aparecer no polin omio, pois a nao teremos permutacao das razes . O seguinte exemplo
nos motivar a (espero!) a denir extensoes separ aveis.
J a estudamos no Cap. 1, quando um polin omio irredutvel possui razes m ultiplas ou
n ao. Se estiver num corpo de caracterstica 0 pelo Teorema 1.5.4,nunca vai ter, mas
se a caractertica de F for p, p(x) F[x] irred. tem razes m ultiplas se e somente se
p(x) = g(x
p
) para algum g(x) F[x].
Exemplo 3.1.17 O pol. p(t) = t
p
u F[t] onde F = ZZ
p
(u) e p e primo e irred. sobre
F e tem zeros m ultiplos.Seu corpo de fatorac ao sobre F e E = F() onde u =
p
e sua
fatorac ao em E e p(t) = (t )
p
. Do Cor. 3.1.4 temos que Aut
F
(E) = Id o que mostra
que neste caso o grupo de Galois de p(x) sobre F n ao nos fornece muita informacao sobre
as razes de p(x).
Denicao 3.1.18 (Polinomios e Extens oes Separaveis) (1) Seja K um corpo e f(x)
K[x], f(x) irredutvel. Dizemos que f(x) e separavel sobre K se no seu corpo de
fatoracao f tiver todas as suas razes distintas.
3.2. RELAC

AO ENTRE O GRAU DA EXTENS

AO E A ORDEM DO GRUPO 29
(2) Se f(x) K[x] for redutvel, f(x) e separavel sobre K se todos os seus fatores
irredutveis forem separaveis.
(3) Se L[K e uma extensao algebrica de corpos e L, dizemos que separavel sobre
K se p

,K
for separavel, isto e, todos os conjugados de sao distintos .
Exemplo 3.1.19 Num corpo de caracterstica zero,todo polinomio e separ avel.
Exemplo 3.1.20 Todo polin omio irredutvel f(x) K[x] sendo K um corpo nito e
separ avel. Com efeito, se f tivesse razes m ultiplas f K[x
p
] e entao f(x) = a
n
(x
p
)
n
+
a
n1
(x
p
)
n1
+ ... + a
0
e como K tem p
n
elementos, entao pelo Teorema de Lagrange para
Grupos, todo elemento de K0 satisfaz
p
n
1
= 1, o que e equivalente a falar
p
n
=
e ent ao podemos escrever f(x) = b
n
p
(x
n
)
p
+b
n1
p
(x
n1
)
p
+...+b
0
p
= (b
n
x
n
+b
n1
+...+b
0
)
p
para certos b
i
K pois K tem caractertica p. Mas como f e irredutvel , isto n ao pode
acontecer e assim conclumos que f e separ avel sobre K.
Exemplo 3.1.21 Cuidado! Um polinomio pode ter razes m ultiplas e ser separavel. Por
exemplo, f(x) = (x2)
2
l Q[x] tem razes m ultiplas e e separavel; seus fatores irredutveis
os quais s ao iguais a x 2 nao possuem razes m ultiplas.
Proposicao 3.1.22 Se L[K e uma extensao separavel e M um corpo tal que K M L
entao L[M e M[K sao separaveis.
Dem: Pela def. temos que M[K e separ avel. Suponha agora que L . Temos que
p

,M
divide p

,K
em M[x] e como p

,K
n ao tem razes m ultiplas, ent ao o mesmo ocorre
com p

,M
e provamos assim que L[M e separ avel .
3.2 Relacao entre o grau da extensao e a ordem do grupo
Denicao 3.2.1 Se E e um corpo qualquer e
1
,
2
, ...,
n
Aut(E), o Corpo Fixo de

1
,
2
, ...,
n
e o conjunto
T(
1
,
2
, ...,
n
:= E [
i
() = , para todo i = 1, 2, ..., n
Teorema 3.2.2 Se
1
,
2
, ...,
n
Aut(E), E e um corpo e os

i
s sao distintos temos
que :
(1) T(
1
,
2
, ...,
n
) e um subcorpo de E.
(2) [E : T(
1
,
2
, ...,
n
)] n
(3) Se
1
= Id,
2
, ...,
n
for um grupo entao temos que [E : T(
1
,
2
, ...,
n
)] = n
Demonstracao
(1) Sejam , T(
1
,
2
, ...,
n
). Ent ao =
1
() = ... =
n
() e
=
1
() = ... =
n
() e teremos que

i
( ) =
i
()
i
() = , i = 1, 2, ..., n
30 CAP

ITULO 3. INTRODUC

AO
`
A TEORIA DE GALOIS

i
( .
1
) =
i
()(
i
())
1
= .
1
, i = 1, 2, ..., n
e assim T(
1
,
2
, ...,
n
) e um subcorpo de E.
(2) Suponha que n ao. Seja
1
, ...,
r
uma base de E[T(
1
,
2
, ...,
n
) com r < n. Con-
sidere o sistema de equac oes em E:
_

1
(
1
)x
1
+
2
(
1
)x
2
+ ... +
n
(
1
)x
n
= 0

1
(
2
)x
1
+
2
(
2
)x
2
+ ... +
n
(
2
)x
n
= 0
. . . . . . . . .
. . . . . . . . .

1
(
i
)x
1
+
2
(
i
)x
2
+ ... +
n
(
i
)x
n
= 0
. . . . . . . . .
. . . . . . . . .

1
(
r
)x
1
+
2
(
r
)x
2
+ ... +
n
(
r
)x
n
= 0
Temos assim um sistema homogeneo com mais inc ognitas do que equac oes e portanto
este sistema possui innitas soluc oes , isto e, existem
1
,
2
, ...
n
E n ao todos nulos
tais que para todo i = 1, 2, 3, ..., r,
1

1
(
i
) +
2

2
(
i
) +... +
n

n
(
i
) = 0. Considere
o operador
T =
1

1
+ ...
n

n
:
E E

1

1
() + ...
n

n
()
Note que T(
i
) = 0 para todo i = 1, 2, 3, ..., r.
Armacao : T = 0, isto e T() = 0 para todo E
Dem: Se E ent ao = a
1

1
+ ... + a
n

n
com a
i
T(
1
, ...,
n
). Como cada
i
preserva a adi cao temos que o mesmo acontece com T. Tambem, T(b
i
) =
1

1
(b
i
)+
... +
n

n
(b
i
) =
1

1
(b)
1
(
i
) +... +
n

n
(b)
n
(
i
). Como b T(
1
, ...,
n
) temos
que
1
(b) = ... =
n
(b) = b e logo, T(b
i
) = bT(
i
) = b.0 = 0 e conclumos que
T = 0. Usando o Lema de Dedekind abaixo temos um absurdo ,o que concluira nossa
demonstrac ao .
Lema 3.2.3 (Lema de Dedekind) Sejam E um corpo e
1
,
2
, ...
n
Aut(E) to-
dos distintos. Entao eles sao linearmente independentes, isto e, se
1
,
2
, ...,
n
E
e se T =
1

1
+ ...
n

n
= 0, entao
1
=
2
= ... =
n
= 0
Demonstracao
Suponha que
1

1
+...
n

n
= 0 e algum
i
,= 0. Sem perda de generalidade podemos
supor que todos os

s s ao n ao nulos. De todas as equa coes acima com todos os

termos n ao nulos , deve haver pelo menos uma que possui o menor n umero de termos.
Suponha que tal equac ao seja
1

1
+ ...
n

n
= 0 e algum
i
,= 0. Assim pela nossa
escolha n ao deve existir nenhuma equacao com menos de n elementos. N os tentaremos
agora chegar num absurdo.
Existe um y E tal que
1
(y) ,=
n
(y) pois os automorsmos s ao distintos. Assim
y ,= 0. Observamos que a equac ao escolhida funciona tambem com yx no lugar de x,
isto e:

1
(x) + ... +
n

n
(x) = 0 (1)

1
(yx) + ... +
n

n
(yx) = 0

1
(
1
(x).
1
(y)) + ... +
n
(
n
(x).
n
(y)) = 0 (2)
3.2. RELAC

AO ENTRE O GRAU DA EXTENS

AO E A ORDEM DO GRUPO 31
para todo x E. Se nos multiplicamos a equac ao (1) por
1
(y) e subtrarmos de (2)
n os obtemos

2
(
2
(x)
1
(y)
2
(x)
2
(y)) + ... +
n
(
n
(x)
1
(y)
n
(x)
n
(y)) ,= 0
O coeciente de
n
(x) e
n
(
1
(y)
n
(y)) ,= 0 e assim n os temos uma equa cao com
um n umero menor que n termos . Isto nos leva a uma contradic ao pela escolha de
nossa equac ao .
(3) Nossa hipotese agora e que
1
= Id,
2
, ...,
n
e um grupo e queremos provar que
neste caso, [E : T(
1
, ...,
n
)] = n.
Suponha que nao. J a provamos que [E : T(
1
, ...,
n
)] n. Sejam
1
, ...
n+1
elementos linearmente independentes sobre T(
1
, ...,
n
).
Considere o sistema homogeneo
_

1
(
1
)x
1
+
1
(
2
)x
2
+ ... +
1
(
n+1
)x
n+1
= 0

2
(
1
)x
1
+
2
(
2
)x
2
+ ... +
2
(
n+1
)x
n+1
= 0
. . . . . . . . .
. . . . . . . . .

i
(
1
)x
1
+
i
(
2
)x
2
+ ... +
i
(
n+1
)x
n+1
= 0
. . . . . . . . .
. . . . . . . . .

n
(
1
)x
1
+
n
(
2
)x
2
+ ... +
n
(
n+1
)x
n+1
= 0
de n equac oes e n + 1 inc ognitas.
Ele tem solu cao nao trivial, isto e , x
1
, x
2
, ..., x
n
E n ao todos nulos tal que
x
1

i
(
1
) + ... + x
n+1

i
(
n+1
) = 0 i = 1, 2, ..., n
No conjunto de todas as solu coes do sistema acima, diferente da trivial,posso es-
colher uma que tenha o maior n umero possvel de zeros; posso ordenar e supor
y
1
, y
2
, y
3
, ..., y
r
, 0, ..., 0 e atal solucao .
Armacao 1: r 2
De fato, se r = 1 temos que y
1

1
(
1
) = 0 o que implica que y
i
= 0 e r = 0, o que e
absurdo pois r 1.
Armacao 2: Posso supor que y
r
= 1 pois se y
1
, y
2
, y
3
, ..., y
r
, 0, ..., 0 e soluc ao ent ao
y
1
y
r
,
y
2
y
r
, ..., 1, 0, ..., 0 tambem e solu cao .
Armacao 3: j tal que y
j
, T(
1
, ...,
n
) e depois de ordenar posso supor que
y
1
, T(
1
, ...,
n
) .
Dem: Com efeito, sen ao a primeira equac ao do sistema nos daria
(y
1

1
+ ... + y
n+1

n+1
) = y
1

1
+ ... + y
n+1

n+1
= 0
com todos os y
i
T(
1
, ...,
n
) e s ao n ao nulos , o que e um absurdo pois
1
, ...
n+1
s ao elementos linearmente independentes sobre T(
1
, ...,
n
)
Assim temos para todo i, que
y
1

i
(
1
) + ... + y
r1

i
(
r1
) +
i
(
r
) = 0 ()
com y
1
, T(
1
, ...,
n
) e portanto k tal que
k
(y
1
) ,= y
1
.
Como
1
= Id,
2
, ...,
n
e um grupo entao
k

1
,
k

2
, ...,
k

n
=
1
=
32 CAP

ITULO 3. INTRODUC

AO
`
A TEORIA DE GALOIS
Id,
2
, ...,
n

Aplicando
k
em () na linha j obtemos

k
(y
1
)
k

j
(
1
) +... +
k
(y
r1
)
k

j
(
r1
) +
k

j
(
r
) = 0 isto e,
k
(y
1
)
i
(
1
) +
... +
k
(y
r1

i
(
r1
+
i
(
r
) = 0 ()
para todo i = 1, 2, ..., n. Subtraindo () () temos:
(y
1

k
(y
1
))
. .
z
1

i
(
1
) + ... + (y
r1

k
(y
r1
)
. .
z
r1

i
(
r1
) = 0,
isto e , existe uma soluc ao (z
1
, ..., z
r1
, 0, ...0) nao trivial, pois z
1
,= 0(pois
k
(y
1
) ,= y
1
),
com mais zeros do que (y
1
, y
2
, ...y
r
, 0, , , , 0), o que e uma contradicao .
Corolario 3.2.4 Seja E um corpo e G =
1
= Id,
2
, ...,
n
Aut(E) um grupo nito.
(1) [E : T(
1
,
2
, ...,
n
)] = o(G).
(2) Aut
F(G)
(E) = G
Demonstracao :
(1) Resulta diretamente do Teorema 3.2.2 -parte(3).
(2) Primeiro provaremos que G Aut
F(G)
(E).
Como T(G) = E [
1
() =
2
() = ... =
n
() = , para todo
i
G
Aut(E) e para todo T(G) temos que
i
() = para todo i = 1, 2, 3, ..., n, o que
mostra que
i
deixa todo elemento de T(G) xo e logo G Aut
F(G)
(E).
Suponha que Aut
F(G)
(E) ,= G. Ent ao existe um Aut
F(G)
(E) tal que , G.
Armac ao : T(G ) = T(G)
Direto das denic oes.
Seja T(G). Como () = , temos que T(G) e T(G) T(G) e
a armac ao est a demonstrada.
Usando o Teorema 3.2.2 temos que n + 1 [E : T(G )] = [E : T(G)] = n, o
que e um absurdo, e mostra que Aut
F(G)
(E) = G.
3.3. EXTENS

OES GALOISIANAS, NORMAIS E SEPAR

AVEIS 33
3.3 Extensoes Galoisianas, Normais e Separaveis
Estamos agora quase prontos para entender todas as hip oteses do Teorema Fundamental
da Teoria de Galois. Precisamos ainda de mais uma denic ao .
Denicao 3.3.1 (Extens oes Galoisianas) Uma extensao de corpos L[K e Galoisiana
se T(Aut
K
(L)) = K.
O proximo teorema caracteriza as extens oes Galoisianas;
Teorema 3.3.2 Sao equivalentes:
(1) L[K e uma extensao Galoisiana nita.
(2) L[K e uma extensao nita, normal e separavel.
(3) L e corpo de fatoracao de um polinomio separavel sobre K.
Demonstracao :
(3) (1) Suponha que L e corpo de fatoracao de f(x), f separ avel . Usaremos induc ao
sobre o n umero r de razes de f que est ao fora de K . Se r = 0 ent ao todas as razes de f
est ao em K, L = K, T(Aut
K
(L)) = T(Id) = K.
Suponhamos por induc ao que para todo K
1
corpo, e todo f
1
K
1
[x] separ avel com n umero
de razes fora de K
1
menor que r e L
1
corpo de fatorac ao de f
1
sobre K
1
implique que
T(Aut
K
1
(L
1
)) = K
1
, isto e L
1
[K
1
e galoisiana.
Podemos escrever f(x) = p
1
(x)p
2
(x)...p
s
(x) onde os p

i
s K[x] s ao irredutveis para todo
i.
Se grp
i
(x) = 1, para todo i, L = K e ent ao est a provado. Suponha que existe algum i
tal que grp
i
(x) > 1. Tomemos i=1, por exemplo. Seja
1
L uma raiz de p
1
(x). Temos
ent ao o diagrama:
L

K
1
= K(
1
)

T(Aut
K
(L))

K
e podemos escrever f(x) = (x
1
)f
(
1)(x) com f
1
(x) K
1
(x). Temos que L e o corpo de
fatorac ao de f
1
(x) sobre K
1
, o n umero de razes de f
1
(x) que est ao fora de K
1
e menor que
r e como f e separ avel sobre K, f
1
e separ avel sobre K
1
. Podemos assim usar a hipotese de
induc ao e concluir que L[K(
1
) e galoisiana, isto e, T(Aut
K(
1
)
(L)) = K(
1
).Mas como
Aut
K(
1
)
(L) Aut
K
(L) temos K(
1
) = T(Aut
K(
1
)
(L) TAut
K
(L).
Queremos agora provar que K = TAut
K
(L) e ja sabemos que TAut
K
(L) K(
1
).
Ent ao seja T(Aut
K
(L)) K(
1
). Os elementos de K(
1
) s ao escritos na forma
= c
0
+c
1

1
+... +c
s

s1
1
onde c
i
K e grp
i
= s. Como f(x) e separ avel ent ao todas as
razes de p
1
(x) K[x] sao distintas e vamos chama-las de
1
,
2
, ...,
s
.
Usando o 1o e 2o Teoremas de Extens ao ao pol. irred. p
1
(x) K[x] temos que existem
34 CAP

ITULO 3. INTRODUC

AO
`
A TEORIA DE GALOIS

i
Aut(L[K) os quais estendem os automorsmos K(
1
) K(
i
) que levam
1
em
i
e i = 1, 2, 3, ..., s. Temos:
L

i
L

K
1
= K(
1
) K(
i
)

1

i

T(Aut
K
(L))

K
Id
K
Aplicando
i
a temos =
i
() = c
0
+ c
1

i
(
1
) + ... + c
s1

i
(
1
)
s1
= c
0
+ c
1

i
+ ... +
s
s1

s1
i
o que mostra que
i
e raiz do polinomio c
s1
x
s1
+... +c
1
x +c
0
o qual tem
grau s1. Ja que
1
, ...,
s
s ao todos distintos temos que este polin omio e nulo e portanto
c
0
= 0, isto e K, o que prova que T(Aut
K
(L)) = K.
(1) (2) Como L[K e uma extens ao galoisiana ent ao por deni cao , T(Aut
K
(L)) = K
e pelo Teorema 3.2.2 na parte (3) temos que [L : K] = [L : T(Aut
K
(L))] = o(Aut
K
(L)).
Vamos agora provar que L[K e normal e separavel- ou seja para todo L, todos os seus
conjugados estao em L e sao distintos.
Sejam
1
= Id,
2
, ...,
r
= Aut
K
(L) e L. Como todo K-automorsmo de L permuta
as razes de p

,K
temos que
=
1
:=
1
() = Id(),
2
=
2
(), ...,
r
=
r
()
s ao razes de p

,K
. Escolhemos agora todos os

s distintos - suponha que eles sejam

1
, ...,
t
. Dena f(x) = (x
1
)(x
2
)...(x
t
) . Observe que
i
(f(x) = f(x)
para todo i = 1, 2, 3, ..., r e isto mostra que os coecientes de f cam xos por todos os K-
automorsmos de L, o que implica que os coecientes de f pertencem ao T(Aut
K
(L)) = K
devido nossa hipotese que L[K e galoisiana . Da chegamos a um polinomio f(x) K[x]
que anula e ent ao sabemos das extensoes algebricas que p

,K
divide f(x), o que mostra
pela denic ao de f que todos os conjugados de , isto e, razes de p

,K
s ao distintos
(eles estar ao no conjunto das razes de f e f foi construdo com razes distintas) e estao
em L pois as razes de f sao
i
() L) com i = 1, 2, ..., t. (2) (3) Como L[K e nita,

1
, ...,
n
L tal que L = K(
1
, ...,
n
). Dena: f(x) = p

1
,K
.....p

n
,K
K[x]. Armo
que L e o corpo de fatorac ao de f(x) sobre K e f e separ avel . Como
i
L e L[K e
separ avel ent ao todas as razes de p

,K
s ao distintas e assim todos os fatores irred. de f
s ao separ aveis e isto por def. diz que f e separ avel.
Ser a que L e o menor corpo que contem K e todas as razes de f? Ou seja, sera que L e
3.4. O TEOREMA FUNDAMENTAL DA TEORIA DE GALOIS (TFTG) 35
corpo de fatorac ao de f sobre K?

E obvio que K L. Como L[K e normal , para todo

i
L, os conjugados de est ao em L pelo Corolario 3.1.13 e assim L contem todas as
razes de f e em particular contem o corpo K(
1
, ...,
n
) o qual e o menor corpo que contem

1
, ...
n
. Mas K(
1
, ...,
n
) = L e provamos assim que L e o corpo de fatorac ao de f sobre K.
Finalmente estamos prontos para encarar e entender o Teorema Fundamental da
Teoria de Galois , que vem a seguir.
3.4 O Teorema Fundamental da Teoria de Galois (TFTG)
Teorema 3.4.1 Sejam L[K uma extensao galoisiana nita ,L corpo de fatoracao de f(x)
K[x], um polinomio separavel sobre K .
Existe uma bijecao entre :
corpos intermediarios M entre K e L subgrupos de Aut
K
(L)
M
G
Aut
M
(L)
T(H)
F
H
tal que :
(1)
T ( = Id
( T = Id
(2) Esta bijecao preserva a normalidade, isto e,
M[K e uma extensao normal se e somente se Aut
M
(L)Aut
K
(L). Neste caso
Aut
K
(L)
Aut
M
(L)
Aut
K
(M)
(3) Se M for um corpo intermediario entre K e L temos
(3.1) [L : M] = o(Aut
M
(L))
(3.2) [M : K] = [Aut
K
(L) : Aut
M
(L)]
OBS: Esta bijecao inverte a inclusao.
Demonstracao :
(1) J a provamos no Corol ario 3.2.4 que ( T(H) = H pois ( T(H) = Aut
F(H)
(L) = H.
Vamos agora provar que T ( = Id, isto e, T ((M) = M ou T(Aut
M
(L) = M. Como L
e corpo de fatorac ao de f(x) K[x], um polin omio separ avel sobre K, ele tambem corpo
de fatorac ao de f(x) K[x] M[x], um polin omio separavel sobre M e pelo Teorema
3.3.2 temos que L[M e galoisiana, isto e T(Aut
M
(L) = M.
36 CAP

ITULO 3. INTRODUC

AO
`
A TEORIA DE GALOIS
(2) Vamos provar primeiro :
Armacao 1: Aut
M
(L) Aut
K
(L) (M) = M para todo Aut
K
(L)
Dem: Aut
M
(L) Aut
K
(L) para todo Aut
K
(L) Aut
M
(L)
1
= Aut
M
(L).
Aplicando T e a parte 1 do TFTG teremos T( Aut
M
(L)
1
) = T(Aut
M
(L)) =
T ((M) = M. Vamos agora provar que T( Aut
M
(L)
1
) = (M). Com efeito,
T(Aut
M
(L)
1
)
1
() = para todo Aut
M
(L)
1
() =

1
(), para todo Aut
M
(L)
1
() T(Aut
M
(L) = T(Aut
M
(L)) = T((M) =
M.
Armacao 2: Para todo Aut
K
(L), (M) = M M[K e uma extensao normal.
Dem:()
Como M[K e normal, se M, () M por ser conjugado de . Assim temos (M)
M.Como M[K e algebrico seguira que ser a sobrejetivo quando restrito a M, pelo lema
a seguir:
Lema 3.4.2 Se L[K e uma extensao algebrica entao para todo corpo intermediario M tal
que, K M L e : M M um K- homomorsmo injetivo entao e sobrejetivo.
Dem: Seja M. Quero provar que M tal que () = . Sei que e algebrico
sobre K. Seja p

,K
= x
n
+ a
n1
x
n1
+ ... + a
0
K[x]. Ent ao ()
n
+ a
n1
()
n1
+
... + a
0
= 0, isto e () tambem e raiz de p

,K
. Repetindo esse argumento temos que
(),
2
(), ...,
r
(), ... s ao razes de p

,K
e como este polinomio tem um n umero nito
de zeros temos que i > j tal que
i
() =
j
() e entao (
ij1
()) = e basta tomar
=
ij1
().
()
Seja
1
um conjugado qualquer de M. Sei que
1
L pois L[K e normal . Quero
mostrar que
1
M para provar que M[K e normal. Pelo 1o Teor. de Extens ao existe um
K- isomorsmo de K() em K(
1
) que leva em
1
usando o pol. irred. p

,K
. Pelo 2o
Teor. de Extens ao aplicado ao pol. f(x) K[x] K()[x] podemos estender ao corpo
de fatorac ao de f , o qual e L. Como (f(x)) = f(x) o corpo de fatoracao de (f(x))
tambem vai ser L e teremos um Aut
k
(L) que estende e ent ao () =
1
M por
hip otese. Assim M[K e normal e nossa Armac ao 2 est a provada e com ela a 1a parte da
3.4. O TEOREMA FUNDAMENTAL DA TEORIA DE GALOIS (TFTG) 37
parte 2 do TFTG. Podemos resumir o que foi feito acima no seguinte diagrama:
L

L

K()

K(
1
)

K
Id
K
Suponha agora que M[K e normal e considere o homomorsmo entre grupos:
: Aut
K
(L) Aut
K
(M)

M
est a bem denida pois j a provamos que se M[K e normal entao

M
Aut
K
(M).
Tambem e sobrejetivo pois dado Aut
K
(M) podemos estender a um K- automor-
smo de L, pois L e o corpo de fatoracao de f(x) K[x] sobre K, L e corpo de fatora cao
de f sobre M e podemos aplicar o 2o Teor. de Extens ao e teremos que Aut
K
(L) tal
que () = . Pelo 1o Teor. de isomorsmo da Teoria de Grupos temos
Aut
K
(M)
Aut
K
(L)
Ker
Mas Ker = Aut
M
(L) e terminamos a 2a parte do TFTG.
(3)
[L : M] = [L : T(((M))] = o(((M)) = o(Aut
M
(L))
[M : K] =
[L : K]
[L : M]
=
o(Aut
K
(L))
o(Aut
M
(L))
= [Aut
K
(L) : Aut
M
(L)]
38 CAP

ITULO 3. INTRODUC

AO
`
A TEORIA DE GALOIS
Bibliograa
[1] N umeros Racionais e Irracionais -Ivan Niven- SBM- 1984.
[2] N umeros irracionais e transcendentes- Djairo G. de Figueredo- SBM-1985.
[3] Contemporary Abstract Algebra - Joseph A. Gallian- 1994- 3a edic ao - Heath.
[4] Introdu cao ` a Teoria de aneis - Cristina M.Marques- 2001- Departamento de Ma-
tem atica-UFMG.
[5] Notas de Aula do Prof: Yves Lequain no IMPA-RJ em 1978.
39