Anda di halaman 1dari 206

ESTRUTURAS ALGBRICAS II

Por
Kalasas Vasconcelos de Araujo

UFS - 2009.2

Sumrio
Aula 1: Polinmios

1.1

Introduo . . . . . . . . . . . . . . . . . . . . . . .

10

1.2

Polinmios . . . . . . . . . . . . . . . . . . . . . . .

11

1.3

A estrutura algbrica dos polinmios e o significado


da expresso an xn + . . . a1 x + a0 . . . . . . . . . .

12

1.4

Termos e Monmios . . . . . . . . . . . . . . . . . .

18

1.5

Concluso . . . . . . . . . . . . . . . . . . . . . . .

19

RESUMO . . . . . . . . . . . . . . . . . . . . . . . . .

20

PRXIMA AULA . . . . . . . . . . . . . . . . . . . .

22

ATIVIDADES . . . . . . . . . . . . . . . . . . . . . .

23

LEITURA COMPLEMENTAR . . . . . . . . . . .

25

Aula 2: Algoritmo da diviso em k[x]

27

2.1

Introduo . . . . . . . . . . . . . . . . . . . . . . .

28

2.2

O Algoritmo da diviso em k[x]

. . . . . . . . . . .

28

2.3

O teorema do resto e do fator . . . . . . . . . . . . .

31

2.4

Concluso . . . . . . . . . . . . . . . . . . . . . . .

33

RESUMO . . . . . . . . . . . . . . . . . . . . . . . . .

33

PRXIMA AULA . . . . . . . . . . . . . . . . . . . .

34

ATIVIDADES . . . . . . . . . . . . . . . . . . . . . .

34

LEITURA COMPLEMENTAR . . . . . . . . . . .

35

Aula 3: Teoria da divisibilidade Em k[x]

37

3.1

Introduo . . . . . . . . . . . . . . . . . . . . . . .

38

3.2

Glossrio

. . . . . . . . . . . . . . . . . . . . . . .

39

3.3

Ideais em k[x] . . . . . . . . . . . . . . . . . . . . .

41

3.4

MDC em k[x] . . . . . . . . . . . . . . . . . . . . .

42

3.5

MDC 6 DIP . . . . . . . . . . . . . . . . . . . . . .

46

3.6

Irredutveis e Fatorao nica em k[x] . . . . . . . .

47

3.7

Irredutibilidade versus razes de funes polinomiais

49

3.8

Concluso . . . . . . . . . . . . . . . . . . . . . . .

49

RESUMO . . . . . . . . . . . . . . . . . . . . . . . . .

50

PRXIMA AULA . . . . . . . . . . . . . . . . . . . .

52

ATIVIDADES . . . . . . . . . . . . . . . . . . . . . .

52

LEITURA COMPLEMENTAR . . . . . . . . . . .

53

Aula 4: Irredutibilidade em Q[x]

55

4.1

Introduo . . . . . . . . . . . . . . . . . . . . . . .

56

4.2

Teste da raiz racional . . . . . . . . . . . . . . . . .

56

4.3

O contedo de um polinmio . . . . . . . . . . . . .

57

4.4

Lema de Gauss . . . . . . . . . . . . . . . . . . . .

59

4.5

Irredutibilidade em Q[x] irredutibilidade em Z[x] .

60

4.6

Concluso . . . . . . . . . . . . . . . . . . . . . . .

61

RESUMO . . . . . . . . . . . . . . . . . . . . . . . . .

61

PRXIMA AULA . . . . . . . . . . . . . . . . . . . .

62

ATIVIDADES . . . . . . . . . . . . . . . . . . . . . .

62

LEITURA COMPLEMENTAR . . . . . . . . . . .

63

Aula 5: Critrios de irredutibilidade


Em Z[x]

65

5.1

Introduo . . . . . . . . . . . . . . . . . . . . . . .

66

5.2

Critrio de Eisenstein . . . . . . . . . . . . . . . . .

67

5.3

Critrio Zp [x]

68

. . . . . . . . . . . . . . . . . . . . .

5.4

Critrio f (x + c) . . . . . . . . . . . . . . . . . . . .

70

5.5

O polinmio ciclotmico p (x), p primo

. . . . . . .

71

5.6

Concluso . . . . . . . . . . . . . . . . . . . . . . .

72

RESUMO . . . . . . . . . . . . . . . . . . . . . . . . .

73

PRXIMA AULA . . . . . . . . . . . . . . . . . . . .

73

ATIVIDADES . . . . . . . . . . . . . . . . . . . . . .

74

LEITURA COMPLEMENTAR . . . . . . . . . . .

75

Aula 6: Anis quocientes k[x]/I

77

6.1

Introduo . . . . . . . . . . . . . . . . . . . . . . .

78

6.2

Exemplos . . . . . . . . . . . . . . . . . . . . . . .

78

6.3

O anel quociente k[x]/I . . . . . . . . . . . . . . . .

79

6.4

A estrutura de k[x]/(p(x)) quando p(x) irredutvel .

83

6.5

Adjuno de razes . . . . . . . . . . . . . . . . . .

84

6.6

Concluso . . . . . . . . . . . . . . . . . . . . . . .

85

RESUMO . . . . . . . . . . . . . . . . . . . . . . . . .

86

PRXIMA AULA . . . . . . . . . . . . . . . . . . . .

86

ATIVIDADES . . . . . . . . . . . . . . . . . . . . . .

87

LEITURA COMPLEMENTAR . . . . . . . . . . .

89

Aula 7: Extenses de Corpos

91

7.1

Introduo . . . . . . . . . . . . . . . . . . . . . . .

92

7.2

Glossrio

. . . . . . . . . . . . . . . . . . . . . . .

92

7.3

Exemplos . . . . . . . . . . . . . . . . . . . . . . .

95

7.4

Fatos . . . . . . . . . . . . . . . . . . . . . . . . . . 101

7.5

Exerccios Resolvidos . . . . . . . . . . . . . . . . . 102

7.6

Concluso . . . . . . . . . . . . . . . . . . . . . . . 110

RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 110
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 111
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 111
LEITURA COMPLEMENTAR . . . . . . . . . . . 112

Aula 8: Extenso de um
Isomorfismo

113

8.1

Introduo . . . . . . . . . . . . . . . . . . . . . . . 114

8.2

m,F (x) = m,F (x) F ()


= F () . . . . . . . . 115

8.3

Extenso de isomorfismos para extenses simples . 116

8.4

Concluso . . . . . . . . . . . . . . . . . . . . . . . 119

RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 119
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 120
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 120
LEITURA COMPLEMENTAR . . . . . . . . . . . 121
Aula 9: Extenses algbricas

123

9.1

Introduo . . . . . . . . . . . . . . . . . . . . . . . 124

9.2

Finita algbrica . . . . . . . . . . . . . . . . . . . 125

9.3

Finitamente gerada algbrica ? . . . . . . . . . . 125

9.4

Finita finitamente gerada e algbrica . . . . . . . 126

9.5

Transitividade . . . . . . . . . . . . . . . . . . . . . 127

9.6

O corpo dos elementos algbricos . . . . . . . . . . 127

9.7

Algbrica 6 Finita . . . . . . . . . . . . . . . . . . . 128

9.8

Concluso . . . . . . . . . . . . . . . . . . . . . . . 129

RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 129
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 130
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 130
LEITURA COMPLEMENTAR . . . . . . . . . . . 131
Aula 10: Corpo de razes

133

10.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 134


10.2 Exemplos . . . . . . . . . . . . . . . . . . . . . . . 134
10.3 Existncia . . . . . . . . . . . . . . . . . . . . . . . 135
10.4 Unicidade . . . . . . . . . . . . . . . . . . . . . . . 136
10.5 Corpo de razes finita e normal . . . . . . . . . . 139

10.6 Concluso . . . . . . . . . . . . . . . . . . . . . . . 142


RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 142
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 143
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 144
LEITURA COMPLEMENTAR . . . . . . . . . . . 144
Aula 11: Separabilidade

145

11.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 146


11.2 Critrio da derivada para separabilidade de polinmios 147
11.3 O teorema do elemento primitivo . . . . . . . . . . . 147
11.4 Concluso . . . . . . . . . . . . . . . . . . . . . . . 149
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 150
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 150
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 151
LEITURA COMPLEMENTAR . . . . . . . . . . . 152
Aula 12: Noes elementares da
Teoria de Galois

153

12.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 154


12.2 O grupo de Galois . . . . . . . . . . . . . . . . . . . 154
12.3 Fatos . . . . . . . . . . . . . . . . . . . . . . . . . . 154
12.4 Exemplos . . . . . . . . . . . . . . . . . . . . . . . 155
12.5 A correspondncia de Galois . . . . . . . . . . . . . 161
12.6 Concluso . . . . . . . . . . . . . . . . . . . . . . . 164
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 165
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 165
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 166
LEITURA COMPLEMENTAR . . . . . . . . . . . 167
Aula 13: O teorema fundamental
da teoria de Galois

169

13.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 170


13.2 O Lema Principal . . . . . . . . . . . . . . . . . . . 170
13.3 Sobrejetividade . . . . . . . . . . . . . . . . . . . . 171
13.4 Injetividade . . . . . . . . . . . . . . . . . . . . . . 172
13.5 O Teorema Fundamental . . . . . . . . . . . . . . . 173
13.6 Concluso . . . . . . . . . . . . . . . . . . . . . . . 176
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 177
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 178
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 178
LEITURA COMPLEMENTAR . . . . . . . . . . . 179
Aula 14: Exemplos

181

14.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 182


14.2 Exemplo 1: GalQ (x3 2) . . . . . . . . . . . . . . . 182
14.3 Exemplo 2: GalQ (x4 2) . . . . . . . . . . . . . . . 185
14.4 Exemplo 3: GalQ (x8 2) . . . . . . . . . . . . . . . 187
14.5 Concluso . . . . . . . . . . . . . . . . . . . . . . . 190
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 190
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 192
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 192
LEITURA COMPLEMENTAR . . . . . . . . . . . 193
Aula 15: Solubilidade por Radicais

195

15.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 196


15.2 Grupos Solveis . . . . . . . . . . . . . . . . . . . . 197
15.2.1 Definio . . . . . . . . . . . . . . . . . . . 197
15.2.2 Exemplos . . . . . . . . . . . . . . . . . . . 197
15.2.3 Fatos . . . . . . . . . . . . . . . . . . . . . . 198
15.3 Extenses Radicais . . . . . . . . . . . . . . . . . . 198
15.3.1 Definio . . . . . . . . . . . . . . . . . . . 198
15.3.2 Exemplos . . . . . . . . . . . . . . . . . . . 198

15.3.3 Fatos . . . . . . . . . . . . . . . . . . . . . . 198


15.4 O Critrio de Solubilidade de Galois . . . . . . . . . 199
15.5 Uma quntica no solvel por radicais . . . . . . . . 200
15.6 Concluso . . . . . . . . . . . . . . . . . . . . . . . 202
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 202
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 203
LEITURA COMPLEMENTAR . . . . . . . . . . . 204

AULA

Polinmios
META:
Apresentar polinmios em uma indeterminada sobre um anel.

OBJETIVOS:
Ao fim da aula os alunos devero ser capazes de:
Definir polinmios em uma indeterminada sobre um anel.
Compatibilizar a estrutura do anel A com a de A[x].
Efetuar as operaes de soma e produto de polinmios.
Reconhecer o grau de um polinmio.
Reconhecer coeficientes, termos, termo lder, coeficiente lder, monmio
lder e o termo constante de um polinmio.

PR-REQUISITOS
Definio de anel, domnio de integridade e corpo.

Polinmios

1.1

Introduo

Prezado aluno, bem vindo ao curso estruturas algbricas II. Esta


nossa primeira aula e comearei fazendo-lhe a seguinte pergunta:
voc sabe a diferena entre as seguintes expresses?

a) f (X) = X 2 + X + 1, X R.

b) X R tal que X 2 + X + 1 = 0.

c) X 2 + X + 1.

At o momento, voc deveria saber tratarem-se, respectivamente,


de uma funo polinomial, uma equao polinomial e um polinmio.
Para diferenciarmos um objeto de um outro se faz necessrio sabermos a definio precisa de cada um deles. Neste caso, o que uma
funo? O que uma equao algbrica? O que um polinmio?

luz da teoria dos conjuntos, a diferena entre funo e equao


torna-se evidente. Os nomes varivel e incgnita servem justamente para diferenciarmos o papel de x quando o mesmo representa
o elemento genrico do domnio de uma funo ou uma soluo
genrica de uma equao. J o x figurando-se em um polinmio
passa a ser chamado de indeterminada.
Nesta aula, definiremos polinmios via um certo tipo de sequncias.
Esta definio evita o uso de indeterminada e ressalta a importncia da estrutura do anel dos coeficientes na estrutura de anel dos
polinmios.

16

AULA

Estruturas Algbricas II

1.2

Polinmios

A definio de polinmio que trazes consigo certamente como


uma expresso formal do tipo
an xn + + a1 x1 + a0
em que a0 , a1 , . . . , an so nmeros reais e i Z um inteiro positivo
para todo i, 0 i n.
Mas, voc sabe o que uma expresso formal? Qual o significado do termo axn ? Isto um produto ou meramente uma aglutinao de letras? Os coeficientes ai s devem necessariamente ser
reais ou complexos? O que mudaria no conjunto dos polinmios se
considerssemos seus coeficientes em Q, em Z ou at mesmo em
Zn ? At que ponto a estrutura algbrica dos coeficientes interfere
na estrutura algbrica do conjunto de polinmios? E o x, o que
realmente ele representa?
A definio a seguir tanto evita qualquer tipo de obstruo psicolgica quanto resolve a crise existencial dos polinmios e do x
enquanto indeterminada.
Definio 1.1. Seja A um anel. Um polinmio com coeficientes
no anel A uma sequncia infinita de elementos em A escrita na
forma
(a0 , a1 , a2 , . . .)
na qual todos os ai s so nulos exceto para uma quantidade finita
de ndices. Os elementos a0 , a1 , a2 , . . . so chamados coeficientes
do polinmio.
Usaremos o smbolo PA para denotar o conjunto de todos os
polinmios definidos sobre um anel A.

Dois polinmios

P = (a0 , a1 , a2 , . . .) e Q = (b0 , b1 , b2 , . . .) em PA so iguais se so


iguais como sequncias, isto , ai = bi para cada ndice i.

17

Polinmios
A sequncia nula (0, 0, 0, . . .) um polinmio chamado polinmio
nulo e denotado por 0. Se P = (a0 , a1 , a2 , . . .) PA no nulo
ento existe n 0 tal que an 6= 0 e ai = 0 para todo i > n. Tal
inteiro n chamado grau de P e denotado por deg P . Em smbolos,
deg P := max{i : ai 6= 0},

(P 6= 0).

OBS 1.1. O grau do polinmio nulo no est definido. No entanto,


a conveno deg (0, 0, 0, . . .) = no pe abaixo nenhuma das
propriedades requeridas para o grau de polinmios. Definiremos
deg 0 = para estendermos a noo de grau todos polinmios.
O uso deste smbolo requer certa maturidade matemtica mas,
para nossos propsitos, basta termos em mente que +k =
qualquer que seja k Z.

1.3

A estrutura algbrica dos polinmios e o


significado da expresso an xn + . . . a1 x + a0

Seja A um anel. Por definio de anel, esto definidas em A duas


operaes: a adio (a, b) 7 a + b e a multiplicao (a, b) 7 a.b
em que (a, b) A A. Usaremos tais operaes em A para induzir
uma adio e uma multiplicao no conjunto dos polinmios PA .
Teorema 1.1. As operaes
Adio:
(a0 , a1 , a2 , . . .) + (b0 , b1 , b2 , . . .) = (c0 , c1 , c2 , . . .)
onde ck = ak + bk para todo ndice k.
Multiplicao:
(a0 , a1 , a2 , . . .).(b0 , b1 , b2 , . . .) = (c0 , c1 , c2 , . . .)
onde ck = a0 bk + a1 bk1 + ak1 b1 + ak b0 para todo ndice k.

18

AULA

Estruturas Algbricas II

esto bem definidas em PA .


Prova: Devemos mostrar que PA fechado com respeito a tais
operaes. Sejam P e Q dois polinmios em PA . Se P ou Q o
polinmio nulo ento P + Q P ou Q e P Q = 0. Suponhamos
ento P e Q ambos no nulos de graus n e m, respectivamente.
Se k > max{n, m} ento ak + bk = 0, por definio de grau. Com
Pi=k
ai bki nulo.
relao ao produto, se k > n + m ento ck = i=0
De fato, se i > n ento ai = 0 donde ai bki = 0. Se i n ento
i n. Deste modo, k > n + m implica k i > n + m i
n + m n = m donde ai bki = 0 pois bki = 0. Assim, ck = 0
para todo k > n + m. 
O propsito de definir tais operaes em PA determinar uma
estrutura de anel compatvel com a estrutura do anel A de modo
que A possa ser visto como subanel de PA .
Teorema 1.2. A estrutua de anel em A induz uma estrutura de
anel em (PA , +, ). Alm disso, se A comutativo e/ou com identidade ento assim PA .
Prova: Com relao adio devemos mostrar que PA um grupo
abeliano. Mais precisamente,
G1 Elemento neutro: O polinmio nulo 0 = (0, 0, 0, . . .) tal
que O + P = P + = P qualquer que seja P PA . Logo, 0
o elemento neutro.
G2 Inverso aditivo: Se P = (a0 , a1 , a2 , . . .) PA ento P =
(a0 , a1 , a2 , . . .) PA tal que P + (P ) = 0. Logo,
todo polinmio admite inverso aditivo.
G3 Associatividade:

Sejam

P1

(a0 , a1 , a2 , . . .),

P2 = (b0 , b1 , b2 , . . .) e P3 = (c0 , c1 , c2 , . . .) polinmios em PA .

19

Polinmios
Desde que
(ai + bi ) + ci = ai + (bi + ci )
em A segue que (P1 + P2 ) + P3 = P1 + (P2 + P3 ).
G4 Comutatividade: Analogamente, a comutatividade em PA
decorre diretamente da comutatividade em A.
Com relao multiplicao:
M1 Associatividade:

Sejam

(a0 , a1 , a2 , . . .),

B = (b0 , b1 , b2 , . . .) e C = (c0 , c1 , c2 , . . .) polinmios em PA .


Por definio, a n-sima coordenada do produto (A.B).C

n
X

n
i
X
X

=
aj bij cni

(A.B)i .cni

i=0

i=0

j=0

n X
i
X

aj bij cni

i=0 j=0

au bv cw (u, v, w 0) ()

u+v+w=n

Por outro lado, a n-sima coordenada do produto A.(B.C)


n
X

ar (B.C) =

r=0

"nr
n
X
X

cs bnrs

r=0 s=0
n nrs
X
X
r=0

ar bs cnrs

s=0

au bv cw (u, v, w 0) ()

u+v+w=n

Deste modo, [(A.B).C]n = [A.(B.C)]n para todo ndice n.


Isto mostra a associatividade.

20

AULA

Estruturas Algbricas II

Distributividade : Sejam A, B, C PA como anteriormente. Ento,


[A.(B + C)]n =
=
=
=

n
X
i=0
n
X
i=0
n
X
i=0
n
X

ai .(B + C)ni
ai .(bni + cni )
ai .bni + ai cni
ai .bni +

n
X

i=0

ai .cni

i=0

= A.B + A.C
Logo, A.(B + C) = A.B + A.C. Do mesmo modo, (A +
B).C = A.C + B.C.
Isto mostra que (PA , +, ) um anel. Se A tem identidade 1A ,
ento (1A , 0, 0, 0, . . .) PA a identidade de PA (verifique!) e se
A comutativo ento
[A.B]n =

n
X
i=0

ai .bni =

n
X
i=0

bni ai =

n
X

bj anj .

i=0

Donde A.B = B.A. Isto conclui a demonstrao.

O prximo passo tornarmos A um subanel de PA . Lembramos


que um subanel de um anel B um subconjunto A B tal que A
um anel com as operaes definidas em B. Se, alm disso, B
anel com identidade ento exigido, adicionalmente, que 1A B.
Um anel B dito uma extenso de um anel A se A subanel de
B. Costuma-se denotar isto simplesmente por A B.
Queremos tornar PA uma extenso de A de modo que se a, b A
e Pa , Pb so os polinmios associados aos elementos a e b, respectivamente, ento Pa+b = Pa + Pb e Pab = Pa .Pb . Lembra-se de

21

Polinmios
homomorfismos de anis? Desejamos definir um homomorfismo de
A em PA . Uma funo : A Pa tal que (a + b) = (a) + (b)
e (a.b) = (a).(b). Alm disso, se A um anel comutativo com
identidade devemos ter satisfeita a condio (1A ) = 1PA . Queremos tambm que Im PA seja uma cpia de A. Isto se realiza
exigindo-se que o homomorfismo seja injetivo. Deste modo, A
ser isomorfo ao anel Im PA e ento poderemos fazer a identificao a = (a) = Pa . Em lgebra, tal procedimento cannico
quando se quer tornar um anel A subanel de outro anel B e no
se tem A B. Tudo isto resume-se por meio de um teorema.
Teorema 1.3. Seja PA o anel dos polinmios sobre um anel A. Se
A PA o conjunto de todos os polinmios da forma (a, 0, 0, 0 . . .),
a A, ento A um subanel de PA isomorfo A.
Prova: Defina a aplicao : A A , a 7 (a) = Pa =
(a, 0, 0, 0, . . .). Voc mesmo, prezado aluno, pode verificar que
bijetiva (Faa isto!). Alm disso,
(a+b) = (a+b, 0, 0, 0, . . .) = (a, 0, 0, 0, . . .)+(b, 0, 0, 0, . . .) = (a)+(b)
e
(a.b) = (a.b, 0, 0, 0, . . .) = (a, 0, 0, 0, . . .).(b, 0, 0, 0, . . .) = (a).(b).
Finalmente, (1A ) = (1A , 0, 0, 0, . . .) = 1PA . Assim, um isomorfismo de anis e caso A tenha identidade, um isomorfismo
de anis com identidade.

At o momento, estabelecemos os fatos bsicos sobre polinmios.


Agora, precisamos achar um jeito de exibir um polinmio em sua
forma usual. Denotaremos por x ao polinmio (0, 1, 0, 0, 0, . . .).
De acordo com o teorema acima, podemos fazer a identificao

22

Estruturas Algbricas II

AULA

a := (a, 0, 0, 0, . . .) para cada a A e obtermos a incluso de anis

A PA . Deste modo, ao escrevermos a estaremos pensando no


polinmio (a, 0, 0, 0, . . .). Com isto em mente vamos analisar as
potncias xn de x e os produtos axn .
Por definio de potncia:
x0 = 1PA

= (1A , 0, 0, 0, . . .)

x1 = x

= (0, 1, 0, 0, 0, . . .)

x2 = x x

= (0, 0, 1, 0, 0, 0, . . .)

e xn = xn1 x. Supondo xn1 = (0, . . . , 0, 1, 0, . . .) com 1 na


entrada de ndice n 1 (hiptese indutiva!) obtemos
xn = xn1 x = (0, . . . , 0, 1, 0, . . .)
com 1 na posio de ndice n. Logo, por induo segue que
X n = (a0 , a1 , a2 , . . . , an , . . .)
em que an = 1 e ai = 0 para todo i 6= n. Temos ainda

axn = (a, 0, 0, 0, . . .) (a0 , a1 , a2 , . . .)


= (aa0 , aa1 , aa2 , . . . , aan . . .)
= (0, 0, 0 . . . , 0, a, 0, . . .)
pois an = 1 e ai = 0 para todo i 6= n. Assim, dado um polinmio
(a0 , a1 , a2 , . . .) de grau n em PA podemos escrever
(a0 , a1 , a2 , . . .) = (a0 , 0, 0, . . .) + (0, a1 , 0, . . .) +
+ + (0, . . . , 0, an , 0, . . .)
= a0 + a1 x + a2 x2 + + an xn

23

Polinmios
Pela definio de igualdade de polinmios temos ainda que se b0 +
b1 x+b2 x2 + +bm xm uma outra forma de expressar o polinmio
(a0 , a1 , a2 , . . .) ento m = n e ai = bi para todo ndice i. Logo,
todo polinmio (a0 , a1 , a2 , . . .) PA com grau n se escreve, de
maneira nica, na forma
a0 + a1 x + a2 x2 + + an xn .
OBS 1.2. Nesta forma de expresso para polinmios usamos a
notao A[x] em vez de PA . A notao A[x] muito mais sugestiva. Por exemplo, se A = R ento podemos ver A[x] como
um espao vetorial sobre R (voc saberia exibir uma base e dizer
qual a sua dimenso?). Outra vantagem que na notao A[x], as
operaes com polinmios recaem naquelas vistas no ensino mdio e fundamental. Nesta notao, costuma-se denotar polinmios
pelas letras do alfabeto latino acrescidas de x entre parntese, isto
, a0 + a1 x + a2 x2 + + an xn = p(x), por exemplo.
OBS 1.3. Um elemento chamado de indeterminada sobre um
anel A se as expresses
a0 + a1 + a2 2 + + an n
esto definidas para todo inteiro no negativo n e a aplicao
: A[x] A[]
definida por
a0 + a1 x + a2 x2 + + an xn 7 a0 + a1 + a2 2 + + an n
define um isomorfismo de anis.

1.4

Termos e Monmios

Seja A um anel com identidade. Um polinmio da forma axn


chamado termo. Um termo com coefiente 1 denominado monmio

24

AULA

Estruturas Algbricas II

ou monomial. Dado um polinmio de grau n


f (x) = a0 + a1 x + + an xn
define-se:
Notao
Coeficientes:

a0 , a1 , . . . an

Termos:

a0 , a1 x, . . . an xn

Termo lder:

an xn

LT (f )

Monmio lder:

xn

LM (f )

Coeficiente lder:

an

LC (f )

Termo constante:

a0

OBS 1.4. Um polinmio dito mnico se possui termo lder monomial.


OBS 1.5. Em alguns textos, o adjetivo lder trocado por
dominante e as definies acima ficam: termo dominante, coeficiente dominante e monmio dominante. Neste texto, usaremos
lder em conformidade com uma notao mais universal.

1.5

Concluso

Na aula de hoje, elaboramos uma definio de polinmios que evita


qualquer tipo de expresses vagas e torna clara a noo de indeterminada. Vimos duas representaes de um polinmio: por meio de
sequncias e por meio de uma indeterminada x. A segunda mais
apelativa e prefervel perante a primeira. Por exemplo, a estrutura
de espao vetorial de R[x] sobre R com base infinita 1, x, x2 , . . .,
torna-se muito mais evidente usando indeterminada.

25

Polinmios

RESUMO

Seja A um anel qualquer (no necessariamente comutativo com


identidade).
Definies bsicas
Polinmio sobre A := sequncia infinita (a0 , a1 , a2 , . . .) com
ai A na qual todos os elementos asi so nulos exceto para
um nmero finito de termos. Os elementos ai s so chamados
coeficientes do polinmio (a0 , a1 , a2 , . . .).
PA := conjunto dos polinmios com coeficientes em A.
(0, 0, 0, . . .) PA chamado polinmio nulo.
Grau de Polinmios

, se P = 0
degP =
n = max{n : a =
n 6 0}, seP 6= 0
Operaes em A[x]:
Adio:
(. . . , ai , . . .) + (. . . , bi , . . .) = (. . . , ai + bi , . . .)
Multiplicao:
(. . . , ai , . . .) (. . . , bi , . . .) = (. . . , ci , . . .)
P
onde ci = j+k=i aj bk .
Estrutura algbrica: (PA , +, ) um anel.

Quadro comparativo entre a estrutura do anel A e a


estrutura do anel A[x]

26

AULA

Estruturas Algbricas II

A[x]

Comutativo

Sim

Com identidade

Sim

Domnio

Sim

Corpo

No

A Aplicao
: A A[x]
a 7 (a, 0, 0, 0 . . .)
define um isomorfismo de A no subconjunto
A = {(a, 0, 0, 0, . . .) : a A} PA .
Os elementos de A so chamados polinmios constantes ou
de grau zero. (O termo constante refere-se ao fato da funo
associada aos polinmios em A serem constantes.
O significado da expresso a0 + a1 x + . . . + an xn :
Fazendo as identificaes:
a := (a, 0, 0, 0, . . .)
x := (0, 1, 0, 0, 0, . . .)
Pode-se mostrar que
xn = (0, 0, . . . , 0, 1, 0, . . .)
com deg xn = n. E
axn = (0, 0, . . . , 0, a, 0, . . .)
tambm de grau n. Nestas condies, todo polinmio
(a0 , a1 , a2 , . . .) PA

27

Polinmios
de grau n pode ser escrito de maneira nica na forma:
a0 + a1 x + . . . an xn .
Notao: A[x] := {p(x) = a0 + a1 x + . . . an xn : ai A}.

A composio de um polinmio
Dado
a0 + a1 x + . . . an xn PA
defini-se
Notao
Coeficientes:

a0 , a1 , . . . an

Termos:

a0 , a1 x, . . . an xn

Termo lder:

an xn

LT (f )

Monmio lder:

xn

LM (f )

Coeficiente lder:

an

LC (f )

Termo constante:

a0

PRXIMA AULA

Na prxima aula, restringiremos nosso estudo de polinmios para


polinmios definidos sobre um corpo. O fato do anel de coeficientes
ser um corpo permite definir um algoritmo de diviso no anel de
polinmios. Tal algoritmo o pilar da aritmtica dos anis de
polinmios definidos sobre corpos.

28

AULA

Estruturas Algbricas II

ATIVIDADES

ATIV. 1.1. Nos itens abaixo so dados polinmios representados


por sequncia e pelo uso de indeterminada. Faa a transposio de
uma representao para a outra. Em cada caso, determine o grau
e o termo lder usando as notaes dadas no texto.
a) (0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, . . .).
b) (0, 2, 0, 4, 0, 6, 0, 8, 0, 0, 0, . . .)
c) 9x8 3x5 + x3 x + 4.
d) (3x 7)(x3 x + 1).
ATIV. 1.2. Efetue a operao indicada e simplifique sua resposta.
Em cada caso, determine o grau e o termo lder usando as notaes
usadas no texto.
a) (x + 2)3 em Z3 [x].
b) (x + 1)5 em Z5 [x].
c) (ax + b)p em Zp [x], p primo.
d) (x2 3x + 2)(2x3 4x + 1) em Z7 [x]
Sugesto: Nos itens de (a), (b) e (c) use a expanso do binmio
de Newton. Note que (a+b)p = ap +bp em Zp . No item (d) aplique
a propriedade distributiva.

29

Polinmios
ATIV. 1.3. Quais dos seguintes subconjuntos de A[x] so subanis
de A[x]?
a) Polinmios com termo constante nulo.
b) B = {a0 + a1 x + + an xn : ai = 0, para i mpar }.
c) B = {a0 + a1 x + + an xn : ai = 0 sempre que i for par }
ATIV. 1.4. Mostre que se A um domnio de integridade ento
A[x] um dominio de integridade. Se k um corpo ento k[x]
tambm um corpo?
Sugesto: Para a primeira parte, suponha A[x] no domnio e
mostre que A necessariamente no domnio. Para a segunda,
mostre que x no admite inverso multiplicativo em A[x], isto , a
igualdade g(x).x = 1 para g(x) A[x] conduz uma contradio.
ATIV. 1.5. Considere a aplicao : A A[x] definida por
(a) = (0, a, 0, 0, 0 . . .). Tal aplicao um homomorfismo de
anis?
Sugesto: Repare se a igualdade (a.b) = (a).(b) ou no
satisfeita.
ATIV. 1.6. Mostre que o grau de polinmios satisfaz s seguintes
propriedades:
i) deg p(x) + q(x) max { deg f (x), deg q(x)}
ii) deg p(x)q(x) = deg p(x) + deg q(x), se A domnio.
iii) D um exemplo com desigualdade estrita no item (i) e
caracterize quando ocorre tal desigualdade.

30

AULA

Estruturas Algbricas II

LEITURA COMPLEMENTAR

GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.
KAPLANSKY, I., Introduo teoria de Galois, Notas de Matemtica
no 13, IMPA, 1966.

31

AULA

Algoritmo da diviso em k[x]


META:
Introduzir um algoritmo de diviso para anis de polinmios definidos
sobre corpos.

OBJETIVOS:
Ao fim da aula os alunos devero ser capazes de:
Aplicar o algoritmo da diviso para determinar o quociente e o
resto na diviso entre polinmios.
Conceituar funo polinomial e zeros de uma funo polinomial.
Estabelecer a diferena entre polinmios e funes polinomiais.
Enunciar e provar o teorema do resto e do fator.

PR-REQUISITOS
A estrutura de anel para polinmios. Embora no seja necessrio,
os conhecimentos do ensino mdio sobre diviso de polinmios,
funes polinomiais, teorema do resto e do fator e uma reviso sobre o algoritmo da diviso para os inteiros ajudariam num melhor
rendimento desta aula.

Algoritmo da diviso em k[x]

2.1

Introduo

Nesta aula, partiremos do seu conhecimento do ensino mdio e fundamental sobre diviso de polinmios e formalizaremos tal mtodo
em forma de um algoritmo. A unicidade do quociente e do resto e
o fato do resto ser nulo ou possuir grau estritamente menor que o
grau do divisor so as propriedades fundamentais deste algoritmo.
A ltima propriedade de extrema importncia terica e ter profundas consequncias no estudo de polinmios. A primeira delas
o teorema do fator e do resto j conhecido por voc do ensino
mdio. As outras veremos na aula seguinte. Convm lembrar que
LT(g) denota o termo lder do polinmio g.
OBS 2.1. Ao longo deste curso, a menos que seja dito o contrrio,
usaremos a letra k para denotar um corpo.

O Algoritmo da diviso em k[x]

2.2

Sejam f (x) = 3x5 + 2x4 + 2x3 + 4x2 + x 2 e g(x) = 2x3 + 1


dois polinmios em Q[x]. Para dividir f por g, obtemos o primeiro
3x5
3
termo do quociente
= x2 . Este o resultado da diviso dos
3
2x
2
termos dominantes de f e g. A diferena
3
5
f (x) x2 g(x) = r1 (x) = 2x4 + 2x3 + x2 + x 2
2
2
nos fornece o primeiro resto parcial. Repetindo este procedimento
para r1 (x) no lugar de f (x) obtemos o segundo resto parcial
5
r2 (x) = r1 (x) xg(x) = 2x3 + x2 2.
2
Note que deg f (x) > deg r1 (x) > deg r2 (x). Podemos aplicar este
procedimento enquanto o grau do resto for menor do que o grau de
g(x). Ao fazer isto, obtemos uma sequncia de restos r1 , r2 , r3 , . . .
na qual

34

Estruturas Algbricas II

AULA

deg r1 > deg r1 > deg r2 > deg r3 > . . .

Se deg f > deg g ento, aps no mximo k = degf degg +1


passos, devemos ter deg rk < deg g. Assim, f (x) = g(x).q(x) +
r(x) com r(x) = rk (x) satisfazendo as condies r(x) = 0 ou
0 deg r(x) < deg g(x). Se deg f (x) < deg g(x) podemos fazer
r(x) = f (x) e obter, ainda, f (x) = g(x).0 + r(x) com r(x) = 0 ou
0 deg r(x) < deg g(x). Em forma de algoritmo o que temos o
seguinte:
Input:

g, f

(g 6= 0)

Output: q, r.
q := 0; r = f
Enquanto r 6= 0 e LT(g) dividir LT(r) faa
q := q+ LT(r)/ LT(g)
r := r [LT(r)/LT(g)] g
O grau do dividendo r, em cada passo, estritamente menor que o
grau do dividendo do passo anterior. Assim, o algoritmo termina
no mximo em deg f deg g +1 passos. Isto mostra a existncia
de q e r tais que
f = qg + r
com r = 0 ou 0 deg r deg g. Podemos, ainda, mostrar que
o quociente q(x) e o resto r(x), assim obtidos, so nicos. De
fato, suponham q1 , q2 dois quocientes e r1 , r2 dois restos para uma
mesma diviso de f por g com os restos satisfazendo as condies
acima. Ento,
q1 g + r1 = f = q2 g + r2
donde (q1 q2 )g = r2 r1 . Se q1 6= q2 , ento, q1 q2 6= 0. Assim,
deg r2 r1 = deg (q1 q2 )g = deg (q1 q2 ) + deg g deg g

35

Algoritmo da diviso em k[x]


e isto uma contradio, pois, ambos r1 e r2 tm graus menor do
que o grau de g. Logo, q1 = q2 e, portanto,
r1 r2 = (q1 q2 )g = 0g = 0
donde r1 = r2 . O resultado que acabamos de provar chamado
algoritmo da diviso. Segue o enunciado em forma de teorema.
Teorema 2.1. (Algoritmo da diviso) Seja k um corpo e f (x), r(x)
k[x] com g(x) 6= 0. Ento, existem nicos polinmios q(x), r(x)
k[x] tais que
f (x) = q(x)g(x) + r(x)
com r(x) = 0 ou 0 deg r(x) < deg g(x).

Prezado aluno, caso voc no tenha se convencido da existncia de


q e r em forma de algoritmo, segue a prova convencional.
Prova: (Existncia) Se f (x) = 0 ou deg f < deg g(x) faa r(x) =
f (x) e q(x) = 0. Suponha deg f (x) deg g(x). Neste caso, proced)
eremos por induo em deg f (x). O polinmio h(x) = f (x) LT(f
LT(g) g

tem grau menor que o polinmio f (seus termos dominantes so


iguais). Por hiptese indutiva, existem q 0 (x), r0 (x) k[x] tais que
h(x) = f (x)

LT(f )
g = q 0 (x)g(x) + r0 (x)
LT(g)

com r0 (x) = 0 ou 0 deg r0 (x) < deg g(x). Assim,



f (x) =
Ento, q(x) = q 0 (x) +

q 0 (x) +

LT(f )
LT(g)

LT(f )
LT(g)

g + r0 (x).

e r(x) = r0 (x) satisfazem as pro-

priedades requeridas.
Exemplo 2.1. Vamos determinar o quociente e o resto da diviso

36

Estruturas Algbricas II

AULA

de f (x) = 3x4 2x3 + 6x2 x + 2 por g(x) = x2 + x + 1 em Q[x].

3x4 2x3 + 6x2 x + 2 | x2 + x + 1


3x2 3x3 3x2

3x2 5x + 8

5x3 + 3x2 x + 2
5x3 + 5x2 + 5x
8x2 + 4x + 2
8x2 8x 8
4x 6
Resposta: Quociente: 3x2 5x + 8; Resto: 4x 6.

2.3

O teorema do resto e do fator

Seja A B uma extenso de anis. Uma funo f : A B


dita polinomial se existem a0 , a1 , . . . , an A tais que
f (a) = a0 + a1 a + an an
para todo a A. Um elemento a A tal que f (a) = 0 chamado
zero da funo f . Seja
p(x) = a0 + a1 x + an xn A[x]
o polinmio associado funo polinomial f . A relao entre
polinmios e funes polinomiais sultil e merece algum comentrio. Para todo polinmio
q(x) = b0 + b1 x + bm xm A[x]
est associado uma funo polinomial f A A definida por f (a) =
q(a) onde q(a) denota a operao b0 +b1 a+ bm am em A. Assim,
q(a) = b0 + b1 a + bm am equivale a substituir a no lugar de x
em q(x) (tal operao no est definida no anel de polinmios).

37

Algoritmo da diviso em k[x]


Um elemento a A tal que q(a) = 0 chamado raiz do polinmio
q(x). A sultileza aqui que funes polinomiais e polinmios so
objetos distintos. A correspondncia

{polinmios em A[x]} {Funes polinomiais}


embora seja sempre sobrejetiva no em geral injetiva. o que
mostra o exemplo abaixo.
Exemplo 2.2. Em Z2 [x] o polinmio f (x) = x2 + 1 no nulo,
mas a funo polinomial f : Z2 Z2 a funo nula.
Exemplo 2.3. Os polinmios p(x) = x4 +x+1, q(x) = x3 +x2 +1
Z3 [x] definem as funes polinomiais f : Z3 Z3 , f (r) = r4 +r+1
e g : Z3 Z3 , g(t) = t3 + t2 + 1. Tem-se f (0) = 1 = g(0),
f (1) = 0 = g(1) e f (2) = 1 = g(2). Assim, f (r) = g(r) para todo
r Z3 . Logo, f e g definem a mesma funo em Z3 embora, como
polinmios, sejam distintos.
Teorema 2.2. (Teorema do resto) O resto da diviso de um polinmio
f (x) k[x] por x a f (a).
Prova: Existem nicos q(x), r(x) k[x] tais que
f (x) = q(x)(x a) + r(x)
com r(x) = 0 ou 0 deg r(x) < deg (x a) = 1. Ento, r(x) = 0
ou deg r(x) = 0. Assim, r(x) necessariamente uma constante
c k. Da igualdade acima segue a igualdade
f (a) = q(a)(a a) + c = c = r(x).

Teorema 2.3. (Teorema do fator) Seja f (x) k[x]. Um elemento


a k uma raiz de f (x) se e somente se x a divide f (x).
Prova: Seja r(x) o resto da diviso de f (x) por x a. Pelo
teorema do resto, tem-se r(x) = f (a). Assim, a raiz de f (x)
f (a) = r(x) = 0 x a divide f (x).

38

AULA

Estruturas Algbricas II

2.4

Concluso

Nesta aula, implementamos um algoritmo de diviso em k[x]


semelhante quele dos nmeros inteiros. Como consequncia imediata, obtivemos a relao fundamental entre os zeros de uma
funo polinomial e os fatores lineares da forma xa do polinmio
que a define; a saber: o teorema do resto e do fator. A respeito do
que diz estes resultados, podemos extrair duas importantes concluses. Primeira, um polinmio admite sempre um nmero finito
de razes tendo seu grau como cota superior. Segunda, a existncia de razes para um polinmio relativa ao anel de coeficientes
em que se considera o polinmio. Por exemplo, x2 + 1 no possui
razes reais, mas admite duas razes em C.

RESUMO

Algoritmo da diviso em k[x]

Input:

g, f

(g 6= 0)

Output: q, r.
q := 0; r = f
Enquanto r 6= 0 e LT(g) dividir LT(r) faa
q := q+ LT(r)/ LT(g)
r := r [LT(r)/LT(g)] g
Em forma de teorema:
Seja k um corpo e f (x), r(x) k[x] com g(x) 6= 0. Ento, existem
nicos polinmios q(x), r(x) k[x] tais que
f (x) = q(x)g(x) + r(x)

39

Algoritmo da diviso em k[x]


com r(x) = 0 ou 0 deg r(x) < deg g(x).

Funes polinomiais versus polinmios


Os polinmios p(x) = x4 + x + 1, q(x) = x3 + x2 + 1 Z3 [x] so
distintos mas esto associados mesma funo polinomial.
Anlise

lgebra

Geometria

Funes polinomiais

Polinmios

Grfico

Zero

Raiz

Interseo com o eixo das abscissas

Teorema do resto
Resto(p(x), x a) = p(a).

Teorema do fator
a k raiz de p(x) k[x] x a divide p(x).

PRXIMA AULA

Na prxima aula estudaremos a aritmtica do anel de polinmios


k[x]. Por meio do algoritmo da diviso, mostraremos que k[x]
um domnio de ideais principais (DIP), isto , todo ideal de k[x]
principal. Isto acarretar na existncia de MDC em k[x] e no fato
de k[x] ser um domnio fatorial (DFU).

ATIVIDADES

ATIV. 2.1. Enuncie o algoritmo da diviso em k[x].


ATIV. 2.2. Aplique o algoritmo da diviso para determinar polinmios
q(x) e r(x) tais que f (x) = q(x)g(x) + r(x) com r(x) = 0 ou
0 deg r(x) deg g(x).

40

AULA

Estruturas Algbricas II

a) f (x) = x3 + x 1, g(x) = x2 + 1 em R[x].


b) f (x) = x5 1, g(x) = x 1 em R[x].
c) f (x) = x5 x3 + 3x 5, g(x) = x2 + 7 em Q[x].
d) f (x) = x5 x3 + 3x 5, g(x) = x 2 em Q[x].
e) f (x) = x5 x3 + 3x 5, g(x) = x + 2 em Z5 [x].
f) f (x) = x5 x3 + 3x 5, g(x) = x3 + x 1 em Z3 [x].
ATIV. 2.3. Sejam f (x), g(x) Z[x] e g(x) = b0 +b1 x+ +bm xm
onde bm = 1. Mostre que existem q(x), r(x) Z[x] tais que f (x) =
q(x)g(x) + r(x) onde r(x) = 0 ou 0 deg (r(x) deg g(x).
ATIV. 2.4. Enuncie e demonstre os teoremas do resto e do fator.
ATIV. 2.5. Seja : Z[x] Zn [x] a funo definida do seguinte
modo:
(a0 + a1 x + + an xn ) = a0 + a1 x + + an xn .
Mostre que um homomorfismo sobrejetivo de anis.

LEITURA COMPLEMENTAR

GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.

41

AULA

Teoria da divisibilidade
Em k[x]
META:
Obter a propriedade de fatorao nica para anis de polinmios
definidos sobre corpos.

OBJETIVOS:
Ao final da aula o aluno dever ser capaz de:
Estabelecer os principais conceitos da teoria de divisibilidade para
anis de polinmios: unidades, divisores, divisor de zero, associados, irredutveis, primos, mximo divisor comum e elementos
relativamente primos.
Descrever a estrutura dos ideais em k[x].
Usar os fatos de k[x] ser DIP e DFU na soluo de problemas na
teoria de polinmios.
Aplicar o algoritmo de Euclides no clculo de MDC de polinmios.
Expressar o MDC(f (x), g(x)) como combinao linear de f (x) e
g(x).
Relacionar o MDC(f (x), g(x)) e o gerador do ideal gerado por f (x)
e g(x).

PR-REQUISITOS

Algoritmo da diviso em k[x]. Uma reviso da teoria da divisibilidade em Z ajudaria na compreenso desta aula.

Teoria da divisibilidade Em k[x]

3.1

Introduo

Prezado aluno, voc deve estar familiarizado com a aritmtica dos


inteiros. A aritmtica de k[x], k corpo, notavelmente semelhante
de Z. Ambos admitem um algoritmo de diviso, mximo divisor
comum e fatorao nica em primos.
O "set up" da aritmtica de um anel A reside na noo de divisibilidade: dados a, b A dizemos que b divide a se existe c A
tal que a = bc. Desta noo, define-se: unidades, divisores de
zero, elementos associados, elementos irredutveis, elementos primos, mnimo mltiplo comum e mximo divisor comum. Por isso,
num nvel mais elementar a aritmtica , por vezes, chamada teoria
de divisibilidade. Por outro lado, qualquer noo fundamentada
na definio de divisibilidade pode ser interpretada via a noo de
ideais principais. Para se ter uma idia, um elemento a dito assodef

ciado a b a|b e b|a (a) = (b) onde (x) = {ax | a A} denota


o ideal principal gerado por x. Assim, em DIPs, aritmtica, teoria
de divisibilidade e estudo dos ideais principais so equivalentes e
o uso de um dos termos depende apenas do ponto de vista. O
primeiro reflete o da teoria dos nmeros enquanto que o ltimo
o da lgebra abstrata. Esta aula trata justamente da teoria de
divisibilidade do anel de polinmios em uma indeterminada sobre
um corpo k. A idia central fazer um paralelo com a teoria j
conhecida dos inteiros.
Na seo 3.2 so apresentadas as definies necessrias para a
leitura do captulo corrente. Sem t-las em mente fica impossvel
compreender as idias contidas neste captulo. aconselhvel que
num primeiro contato com lgebra, a cada palavra que remonte
uma definio, o aluno pare a leitura e relembre mentalmente a
definio a fim de certifica-se que sua leitura esteja sendo ativa e

44

AULA

Estruturas Algbricas II

no meramente como a de um romance.


Na seo 3.3 descreveremos a estrutura dos ideais em k[x]. Mostraremos que todo ideal em k[x] principal, isto , k[x] DIP. Finalmente, na seo 3.4 mostraremos a existncia de MDC em k[x]
atravs do algoritmo de Euclides tambm conhecido como algoritmo das divises sucessivas. Tal algoritmo ainda nos permite
escrever o MDC como uma combinao dos fatores.

3.2

Glossrio

1. Divisibilidade: um elemento b A divide um elemento


a A em A se existe c A tal que a = bc. Neste caso, diz-se
tambm que a mltiplo de b, b divisor de a ou b um
fator de a.
2. Unidade: divisor da identidade; elemento a A tal que
ab = 1A para algum binA; elemento a A para o qual a
equao ax = 1A admite soluo em A. Em um anel no
trivial (1A 6= 0A ) toda unidade no nula. Pode-se mostrar
que o elmento b A tal que ab = 1A nico. Este elemento
chamado inverso de a e denotado por a1 . Denotaremos por
U(A) ao conjunto das unidades em A. (Exemplo: U(Zn ) =
{x : mdc(x, n) = 1})
3. Inversvel: o mesmo que unidade.
4. Divisor de zero: elemento a A tal que existe elemento
no nulo b A tal que ab = 0; elemento a para o qual a
equao ax = 0 admite soluo no trivial (6= 0); elemento
a A tal que o endomorfismo A A, x 7 ax admite ncleo
no trivial (equivalentemente, no injetivo).

45

Teoria da divisibilidade Em k[x]


5. Nilpotente: elemento a A para o qual existe inteiro positivo n tal que an = 0. O menor inteiro positivo n tal que
an = 0 chamado ndice de nilpotncia.
6. Elementos associados: elementos a, b A tais que a|b e
b|a. Em domnios, isto equivalente a dizer que a = ub para
alguma unidade u A.
7. Divisor trivial: unidades e associados um elemento.
8. Divisor prprio:

divisor no trivial de um elemento.

Exemplo: U(Z12 ) = {1, 5, 7, 11}. Logo, 2 um divisor trivial


de 10 pois um de seus associados. Por outro lado, 3 divisor prprio de 6 pois 3|6 com 3 no unidade e nem associado
de 6.
9. Elemento irredutvel: elemento no unidade a A cujos
divisores so seus associados ou unidades.
10. Elemento redutvel: elemento no unidade que no irredutvel. Em outras palavras, elemento que possui divisores
prprios.
11. Elemento primo: elemento no unidade p A para o qual
vale a seguinte propriedade: p|ab p|a ou p|b.
12. Mximo divisor comum (MDC): o mximo divisor comum de a1 , . . . , ar A (no todos nulos) um elemento
d A tal que
i) d|ai para todo i, 1 i r.
ii) Se c A divide cada ai ento c|d.
13. Elementos relativamente primos: Elementos cujo MDC
1.

46

AULA

Estruturas Algbricas II

14. Domnio de fatorao nica (DFU): domnio A no qual


todo elemento no nulo e no unidade a A satisfaz as
seguintes condies:
i) a = p1 , pr , pi A irredutvel para todo i, 1 i r.
ii) Se a = q1 qs uma outra fatorao com cada qi irredutvel ento r = s e, a menos de uma reordenao nos
ndices, pi associado qi para cada i, 1 i r.
15. Domnio de ideais principais (DIP): domnio no qual
todo ideal principal.
16. Domnio Euclidiano: domnio A no qual est definido uma
funo : A Z0 satisfazendo as seguintes propriedades:
i) Se a, b A so no nulos ento a (ab).
ii) Se a, b A e b 6= 0 ento existem q, r A tais que
a = bq + r com r = 0 ou 0 (r) (b). Exemplo: a
funo mdulo juntamente com o algoritmo da diviso
em Z define em Z uma estrutura de domnio euclidiano.
A notao A indica o conjunto dos elementos no nulos
de A e Z0 o conjunto dos inteiros no negativos.

3.3

Ideais em k[x]

Um ideal de um anel A um subconjunto I A tal que (I, +)


subgrupo aditivo de (A, +) e ax I sempre que a A e x I.
Um ideal I A dito principal se I = (a) para algum a A onde
(a) = {ax : x A}.
Teorema 3.1. k[x] DIP.

47

Teoria da divisibilidade Em k[x]


Prova: Seja I k[x] um ideal. Se I = (0) o ideal nulo nada
temos a provar. Suponhamos I no nulo. Considere o conjunto
S = { deg f : f I}
Desde que I 6= 0, existe f I, f 6= 0. Ento, S Z0 no
vazio. Pelo Princpio da Boa Ordem existe f (x) I tal que deg
f mnimo dentre os graus de todos os polinmios em I. Vamos
mostrar que I = (f (x)). A incluso (f (x)) I segue da definio
de ideal visto que f (x) I. Seja g(x) I. Pelo algoritmo da
diviso, existem q(x), r(x) k[x] tais que
g(x) = q(x)f (x) + r(x)
com r(x) = 0 ou 0 deg r(x) < deg f (X). Ora, se r(x) 6= 0
ento r(x) = g(x) q(x)f (x) I (pois g(x), q(x)f (x) I) com
deg r(x) < deg f (x). Isto contradiz a minimalidade de deg f (x).
Logo, r(x) = 0 e g(x) = q(x)f (x) (f (x)). Assim, I (f (x))
donde I = (f (x)).

3.4

MDC em k[x]

A existncia de MDC em k[x] uma consequncia direta do fato


de k[x] ser DIP.
Teorema 3.2. (Existncia de MDC) Sejam f (x), g(x) k[x]. Ento, MDC(f (x), g(x)) existe e nico a menos de um produto por
uma constante no nula em k.
Prova: Considere (f (x), g(x)) k[x] o ideal gerado por f (x) e
g(x). Desde que k[x] DIP, existe d(x) k[x] tal que (d(x)) =
(f (x), g(x)). Vamos mostrar que d(x) = MDC(f (x), g(x)). Primeiramente, d(x)|f (x) e d(x)|g(x) pois, f (x), g(x) (f (x), g(x)) =

48

Estruturas Algbricas II

AULA

(d(x)). Suponha h(x) k[x] tal que h(x)|f (x) e h(x)|g(x). En-

to, f (x) = h(x)q1 (x) e g(x) = h(x)q2 (x). Desde que d(x)
(f (x), g(x)) existem r(x), s(x) k[x] tais que d(x) = r(x)f (x) +
s(x)g(x). Logo,

d(x) = r(x)f (x) + s(x)g(x)


= r(x)h(x)q1 (x) + s(x)h(x)q2 (x)
= h(x) [r(x)q1 (x) + s(x)q2 (x)]
donde h(x)|d(x). Resta mostrar a unicidade a menos de uma multiplicao por uma constante no nula. Suponham d1 (x), d2 (x) sob
as condies de serem um mximo divisor comum de f (x) e g(x).
Por definio de MDC segue que d1 (x)|d2 (x) e d2 (x)|d1 (x). Logo,
d1 (x) d2 (x) donde d1 (x) = ud2 (x) com u U(k[x]) = k \ 0.

OBS 3.1. O teorema acima nos mostra que o MDC de dois polinmios
f, g k[x] um gerador do ideal (f, g). Embora este resultado
tenha relevncia terica ele no nos ensina como obter o MDC de
f (x) e g(x). A rigor, deveramos determinar o polinmio de menor
grau escrito como combinao linear de f (x) e g(x). Na prtica,
isto torna-se impraticvel. Felizmente, existe um algoritmo clssico, conhecido como Algoritmo Euclidiano, para computar o MDC
de dois polinmios. Este algoritmo fundamentado no resultado
a seguir.
Lema 3.1. Sejam f (x), g(x) k[x]. Se f (x) = q(x)g(x) + r(x)
com q(x), r(x) k[x] ento MDC(f (x), g(x)) = MDC(g(x), r(x)).
Prova:

Usaremos noes de ideais e a verificao das incluses

ficaro como exerccios. A relao f (x) = q(x)g(x) + r(x) fornecenos as incluses de ideais (f ) (g, r) e (r) (f, g).

Logo,

49

Teoria da divisibilidade Em k[x]


(f, g) (g, r) (f, g). Assim, (MDC(f, g)) = (f, g) = (g, r)
= (MDC(g, r)) donde MDC(f, g) = MDC(g, r). 
Eis o Algoritmo Euclidiano para computar MDC(f, g):
Input: f, g
Output: h
h := f
s := g
Enquanto s 6= 0 faa
r := resto (h, s)
h := s
s := r
Caso o leitor no tenha visualizado, este algoritmo aquele visto
no ensino fundamental e chamado mtodo das divises sucessivas.
De fato, dados f, g k[x], g 6= 0, o algoritmo nos fornece:
Passo

Resultado

h0 = f , s0 = g e f = q0 g + r0 , r0 = resto(f, g).

h1 = s0 = g, s1 = r0 e g = q1 r0 + r1 , r1 = resto(g, r0 ).

h2 = r0 , s2 = r1 e r0 = q2 r1 + r2 , r2 = resto(r0 , r1 ).

h3 = r1 , s3 = r2 e r1 = q3 r2 + r3 , r3 = resto(r1 , r2 ).
..
.

Pela propriedade do resto, tem-se uma sequncia estritamente decrescente de inteiros no negativos
deg r0 > deg r1 > deg r2 > . . ..
Usando o princpio da boa ordem pode-se mostrar (verifique!) que
em algum passo, necessariamente, deveremos ter um resto nulo,
digamos no passo n + 1. Deste modo,

50

AULA

Estruturas Algbricas II

Passo
n
n+1

Resultado
hn = rn2 , sn = rn1 e rn2 = qn rn1 + rn .
hn+1 = rn1 , sn+1 = rn e rn1 = qn+1 rn + 0.

onde rn+1 = resto(rn1 , rn ) = 0. Pelo Lema 3.1, MDC(f, g) =


MDC(g, r0 ) = MDC(r0 , r1 ) = . . . = MDC(rn1 , rn ) = MDC(rn , 0)
= rn .
OBS 3.2. Outra propriedade tambm importante de tal algoritmo
que nos permite expressar o MDC(f, g) como uma combinao
linear entre f e g. De fato, basta retroceder aos passos do algoritmo
para determinar r, s k[x] tais que MDC(f, g) = rf +sg. Vejamos
um exemplo para ilustrar tais idias.
Exemplo 3.1. Vamos calcular o MDC entre f (x) = x4 x3 x2 +1
e g(x) = x3 1 e express-lo como uma combinao linear de f (x)
e g(x). Seguindo os passos do algoritmo obtm-se:
x4 x3 x2 + 1 = (x 1)(x3 1) x2 + x
x3 1 = (x 1)(x2 + x) + x 1
x2 + x = x(x 1)

(3.1)
(3.2)
(3.3)

Assim, MDC (f (x), g(x)) = x 1. Vamos agora expressar o MDC


obtido como combinao linear de f (x) e g(x). Isolando x 1 na
equao 3.2 tem-se:

x 1 = x3 1 (x 1)(x2 + x)

(3.4)

Por outro lado, isolando x2 + x na equao 3.1 e substituindo na


equao 3.4 obtm-se:

51

Teoria da divisibilidade Em k[x]

x 1 = x3 1 (x 1)(x2 + x)


= x3 1 (x 1) x4 x3 x2 + 1 (x 1)(x3 1)
= [1 + (x 1)(x 1)] (x3 1)
(x 1)(x4 x3 x2 + 1)
= (x2 + 2)(x3 1) + (x + 1)(x4 x3 x2 + 1)

3.5

MDC 6 DIP

Em geral, todo DIP admite MDC. Neste exemplo, mostraremos


que a recproca no verdadeira por exibir um anel com MDC
que no DIP. Considere Z[x] e 2, x Z[x]. Vamos mostrar que
o ideal (2, x) no principal. Suponha, por absurdo, que existe
p(x) Z[x] tal que (2, x) = (p(x)). Ento, existiriam r(x), s(x)
Z[x] tais que
p(x) = r(x).2 + s(x).x
Por outro lado 2 (2, x) = (p(x)) donde 2 = p(x)q1 (x). Assim, 0
= deg 2 = deg p(x) + deg q1 (x) donde deg p(x) = 0. Logo, p(x) =
c Z um polinmio constante. Analogamente, x = p(x)q2 (x)
para algum q2 (x) Z[x]. Assim, 1 = LC x = c.LC q2 (x) (onde LC
denota o coeficiente lder). Concluso: c U(Z) = {1} (onde
U(A) denota o conjunto das unidades de A). Podemos considerar
c = 1 (Por qu?). Assim,
1 = p(x) = r(x).2 + s(x).x
Isto um absurdo (voc sabe por qu?). Logo, tal p(x) no existe.
OBS 3.3. O domnio Z[x] no um DIP. Mas, pode-se mostrar se
A DFU ento A[x] DFU (a prova disto est alm das pretenses

52

Estruturas Algbricas II

AULA

deste texto!). Como Z DFU ento Z[x] DFU. Logo, admite

MDC. Seja d(x) = MDC (2, x) (voc saberia mostrar que d(x) =
1?). Por definio de MDC, (2, x) (d(x)) = (1) = Z[x] mas
d(x) = 1 6 (2, x), pois (2, x) no principal. Assim, MDC (2, x)
no pode ser escrito como combinao linear de 2 e x.

3.6

Irredutveis e Fatorao nica em k[x]

Seja A um anel. Lembramos que um elemento a A dito irredutvel se no admite divisores prprios. Em outras palavras, se
b|a ento ou b unidade ou b a. No caso de domnios, a b
se e somente se a = ub com u uma unidade. Em nosso caso, k[x]
domnio. Ento, dizer que p(x) associado a q(x) equivalente
a dizer que p(x) = cq(x) para algum c k, isto , p(x) e q(x)
diferem por uma constante. Comecemos por investigar os elementos irredutveis de k[x]. Mostraremos que polinmios irredutveis
so elementos primos em k[x] - esta uma condio bsica para
um anel ser DFU. Precisaremos do seguinte fato elementar visto
em Estruturas Algbricas I: em um domnio euclidiano A (ou em
que vale o algoritmo euclidiano) se a|bc e MDC (a, b) = 1 ento
a|c (voc sabe provar isto?).
Lema 3.2. Irredutveis em k[x] so elementos primos.
Prova:

Seja p(x) k[x] irredutvel. Pela definio de elemento

primo, devemos mostrar que se p(x)|f (x)g(x) ento p(x)|f (x) ou


p(x)|g(x). Suponha p(x)|f (x)g(x) com p(x) 6 |f (x). Por definio
de irredutvel, o fato de p(x) no dividir f (x) implica que p(x) e
f (x) so relativamente primos. Assim, p(x)|f (x)g(x) com MDC
(p(x), f (x)) = 1. Ento, p(x)|g(x) como queramos demonstrar.


53

Teoria da divisibilidade Em k[x]


OBS 3.4. Pelo lema acima, se p(x) irredutvel e p(x) divide o
produto q1 (x) qr (x) ento p(x) divide um dos fatores qi (x) para
algum i, 1 i r (pode-se provar isto usando-se recursivamente
o lema ou por induo no nmero de fatores). Deste modo, sempre
que tivermos p1 (x), . . . , pr (x) e q1 (x), . . . , qs (x) irredutveis com
p1 (x) pr (x) = q1 (x) qs (x)
poderemos supor p1 |q1 a menos de uma permutao nos ndices.
Teorema 3.3. (Fatorao nica em k[x]) Seja k um corpo. Todo
polinmio no constante f (x) k[x] um produto de polinmios
irredutveis em k[x]. Esta fatorao nica a menos de uma
constante no nula, isto , se
f (x) = p1 (x) pr (x) e f (x) = q1 (x) qs (x)
so duas fatoraes em irredutveis de f (x) ento r = s e, a menos
de uma permutao nos ndices, pi = ui qi com ui k, ui 6= 0, para
todo i, 1 i r.
Prova:

(Existncia) Seja f (x) k[x] um polinmio no

constante. Usaremos induo em deg f (x) = n 1. Se deg


f (x) = 1 ento f (x) irredutvel (todo polinmio de grau 1 irredutvel). Suponhamos o teorema verdadeiro para todo polinmio
de grau < n. Se f (x) irredutvel ento nada temos a provar pois
f (x) = 1.f (x) que um produto de irredutveis com somente um
fator (permissvel em nosso contexto). Se f (X) redutvel ento,
por definio, f (x) = g(x)h(x) com deg g(x) < n e deg h(x) < n.
Por hiptese indutiva, g(x) = u1 p1 pr e h(x) = u2 pr+1 pk
com u1 , u2 k. Pondo u = u1 u2 temos f (x) = up1 pk como
queramos.
(Unicidade) Sejam f (x) = u1 p1 pr e f (x) = u2 q1 qs duas

54

Estruturas Algbricas II

AULA

fatoraes de f em irredutveis. Se r 6= s podemos supor, sem

perda de generalidade, r < s. Ento, a menos de uma permutao


nos ndices, p1 q1 , p2 q2 , . . . , pr qr . Assim, p1 pr =
cq1 qr qr+1 qs donde qr+1 qs = u k donde qr+1 , . . . , qs so
unidades. Isto contradiz a irredutibilidade de qr+1 , . . . , qs . Logo,
r = s e pi qi para todo i, 1 i r.

3.7

Irredutibilidade versus razes de funes polinomiais

As noes de irredutibilidade e zeros de funes polinomiais so


antagnicas. Para que um polinmio (de grau > 1) seja irredutvel
sobre um corpo k no suficiente mas necessrio que ele no
admita razes em k (teorema do fator). Em linguagem simblica:
irredutibilidade sobre k no existncia de razes em k.
A recproca no verdadeira. Considere dois polinmios quadrticos f (x), g(x) R[x] sem razes em R. Ento, h(x) = f (x)g(x)
no admite razes reais e, no entanto, redutvel.
A no equivalncia da implicao acima no a desfavorece teoricamente. Sua contrapositiva de grande utilidade terica e nos
fornece um critrio de redutibilidade para polinmios de grau 2.
importante tambm ressaltar que para polinmios de grau 2 e 3
a implicao acima torna-se uma equivalncia. Todas estas observaes so decorrentes dos teoremas do resto e do fator.

3.8

Concluso

Estruturalmente, a teoria da divisibilidade em k[x], k corpo,


idndica de Z. Ambos so domnios euclidianos. Apenas a funo

55

Teoria da divisibilidade Em k[x]


norma difere. Em Z dada pela funo mdulo a 7 |a| e em k[x],
pela funo grau f (x) 7 deg f (x). Consequentemente, tanto a
teoria de ideais quanto a existncia e o clculo do MDC tambm
so idnticos. Em geral, todo domnio euclidiano um DIP e
admite MDC.

RESUMO

Ideais em k[x]
I k[x] ideal I = (f (x)) para algum f (x) k[x]

O elemento f (x) que gera o ideal I um polinmio de menor grau


em I.

MDC em k[x]
k[x] DIP Existe MDC em k[x]

De fato, todo gerador de um ideal no nulo (f (x), g(x)) (existe


pois k[x] DIP) um MDC de f (x) e g(x). A recproca tambm
verdadeira para domnios euclidianos. Deste modo, em domnios
euclidianos, embora o MDC no seja nico, quaisquer dois so associados. Assim, em k[x], existe um nico MDC mnico. Alguns
textos definem o MDC em k[x] como este representante mnico
nesta classe de equivalncia e garante, j na definio, a unicidade
do MDC.

56

AULA

Estruturas Algbricas II

Algoritmo Euclidiano
Input: f, g
Output: h
h := f
s := g
Enquanto s 6= 0 faa
r := resto (h, s)
h := s
s := r
Quadro comparativo entre a teoria de divisibilidade de Z,
k[x] e Z[x] .
Z

k[x]

Z[x]

Comutativo

Sim

Sim

Com identidade

Sim

Sim

Domnio

Sim

Sim

Euclidiano

Sim

No

DIP

Sim

No

DFU

Sim

Sim

MDC

Sim

Sim

MDC pode ser escrito como combinao linear

Sim

No

OBS 3.5. Em geral, tem-se as seguintes incluses (todas prprias):


Domnios euclidianos DIP DFU.
Irredutibilidade versus razes de funes polinomiais

irredutibilidade sobre k no existncia de razes em k.

57

Teoria da divisibilidade Em k[x]


A recproca no verdadeira: x2 + 1 no possui razes reais donde
(x2 + 1)2 tambm no possui razes reais, mas redutvel. Contudo, vale a recproca para polinmios de grau 2 e 3.

Fatorao nica em k[x]

k corpo k[x] DFU

PRXIMA AULA

Focalizaremos o estudo de irredutibilidade no anel de polinmios


definidos sobre o corpo dos racionais. Mostraremos que a irredutibilidade em Z[x] suficiente para a irredutibilidade em Q[x].

ATIVIDADES

ATIV. 3.1. Classifique e caracterize os elementos em k[x] quanto


a cada definio dada no glossrio.
ATIV. 3.2. Mostre que a noo de elementos associados define
uma relao de equivalncia em k[x]. Verifique que para cada classe
de equivalncia existe um nico representante mnico.
ATIV. 3.3. Determine todos os polinmios irredutveis de grau 2
e 3 em Z2 [x].
ATIV. 3.4. Calcule MDC (f (x), g(x)) em Q[x] para os pares de
polinmios nos itens abaixo. Expresse o MDC como combinao
linear entre os pares de polinmios dados.
a) f (x) = x3 6x2 + x + 4; g(x) = x5 6x + 1.

58

AULA

Estruturas Algbricas II

b) f (x) = x2 + 1; g(x) = x6 + x3 + x + 1.
ATIV. 3.5. Mostre que o MDC nico a menos de um fator
constante no nulo. Em outras palavras, mostre que d1 (x), d2 (x)
so MDC de f (x) e g(x) se e somente se d1 (x) d2 (x). Deste
modo, existe um nico MDC mnico.
ATIV. 3.6. Verifique que a igualdade 1 = r(x)2 + s(x)x um
absurdo quaisquer que sejam r(x), s(x) k[x]
ATIV. 3.7. Mostre que se p(x)|f (x)g(x) e MDC (p(x), f (x)) = 1
ento p(x)|g(x).
ATIV. 3.8. Mostre que se p(x) irredutvel e p(x) 6 |f (x) ento
p(x) e f (x) so relativamente primos. Conclua que irredutveis em
k[x] so primos.
ATIV. 3.9. Demonstre a implicao: irredutibilidade sobre k
no existncia de razes em k. Mostre a recproca para polinmios
de grau 2 e 3.
ATIV. 3.10. Mostre que todo polinmio de grau 1 irredutvel
sobre k[x].

LEITURA COMPLEMENTAR

GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.

59

AULA

Irredutibilidade em Q[x]
META:
Fundamentar a busca de critrios de irredutibilidade em Z[x] para
mostrar irredutibilidade em Q[x].
OBJETIVOS:
Ao final da aula o aluno dever ser capaz de:
Definir polinmios primitivos em Z[x].
Enunciar o lema de Gauss.
Mostrar que um polinmio primitivo irredutvel em Z[x] se e
somente se irredutvel em Q[x].
PR-REQUISITOS

As definies de raiz de polinmio, mximo divisor comum e elemento irredutvel.

Irredutibilidade em Q[x]

4.1

Introduo

Nesta aula, restringiremos nosso estudo de polinmios ao conjunto


Q[x]. Focalizaremos sobre os elementos irredutveis. Pela relao
entre redutibilidade e existncia de razes, comearemos por caracterizar as razes racionais de um polinmio em Q[x]. Este
o teste da raiz racional. Na seo 4.2, abordaremos o conceito de
contedo de um polinmio com coeficientes inteiros e provaremos o
resultado fundamental a cerca deste; a saber: o teorema de Gauss.
Na seo que segue, provaremos o lema de Gauss, nosso principal
resultado desta aula. Finalmente, fecharemos a aula colhendo o
fruto de tanto esforo. Concluiremos que irredutibilidade em Q[x]
pode ser obtida por meio de irredutibilidade em Z[x].

4.2

Teste da raiz racional

Seja f (x) = a0 + a1 x + + an xn Z[x] um polinmio de grau


r
r
n 1. Seja Q uma raiz no nula de f (x). Podemos assumir
s
s
nos menores termos, isto , MDC (r, s) = 1. Por definio de raiz,
r
an
r
f ( ) = a0 + a1 + rn n = 0.
s
s
s
Multiplicando ambos os termos da igualdade acima por sn obtmse:
r
f ( ) = a0 sn + a1 rsn1 + an1 rn1 s + an rn = 0.
s
Assim,
a0 sn = a1 rsn1 + an1 rn1 s + an rn
= r a1 sn1 + an1 rn2 san rn1
e

62

AULA

Estruturas Algbricas II

4
an an = a0 sn + a1 rsn1 + an1 rn1 s

= s a1 sn2 + an1 rn2
As duas ltimas equaes acarretam r|a0 sn e s|an rn . Mas, MDC
(r, s) = 1 implica MDC (rn , s) = MDC (r, sn ) = 1. Logo, r|a0 e
s|an . Podemos resumir este resultado na forma de um teorema.
Teorema 4.1. (Teste da raiz racional) Seja f (x) = a0 + a1 x +
+ an xn um polinmio com coeficientes inteiros. Se um nmero
r
racional no nulo com MDC (r, s) = 1 raiz de f (x), ento r|a0
s
e s|an .
Exemplo 4.1. As possveis razes em Q de f (x) = 2x4 + x3
r
21x2 14x+12 so da forma com r {1, 2, 3, 4, 6, 12}
s
e s {1, 2}. Assim,
r
1 3
{1, 2, 3, 4, 6, 12, , }
s
2 2
1
so as nicas razes racionais de f (x).
2
Usando o teorema do fator obtm-se:

Pode-se verificar que 3 e

1
f (x) = (x + 3)(x )(2x2 4x 8).
2
Exemplo 4.2. As nicas razes racionais possveis do polinmio
f (x) = x3 + 4x2 + x 1 so 1. Mas, f (1) = 5 e f (1) = 1. Logo,
f (x) no possui razes em Q. Como deg f (x) = 3 segue que f (x)
irredutvel sobre Q.

4.3

O contedo de um polinmio

O contudo de um polinmio no nulo f (x) = a0 +a1 x+ an xn


Z[x] o MDC de seus coeficientes. Um polinmio dito primitivo

63

Irredutibilidade em Q[x]
se possui contedo igual a 1.

Notao: cont(f (x)) = MDC (a0 , a1 . . . , an ).

O set up no estudo do contedo de polinmios reside no seguinte


fato: se um primo p Z divide todos os coeficientes de um produto
f (x)g(x) de polinmios em Z[x] ento p divide todos os coeficientes
de f (x) ou p divide todos os coeficientes de g(x).

Teorema 4.2. (Gauss) Seja p Z primo e f (x) = a0 + a1 x +


+ an xn e g(x) = b0 + b1 x + bm xm dois polinmios em Z[x]
no nulos. Seja h(x) = f (x)g(x) = c0 + c1 x + cn+m xn+m . Se
p|ci (0 i n + m) ento p|ai (0 i n) ou p|bi (0 i m).

Prova:

(Reduo ao absurdo) Suponha que existam i0 , j0 tais

que p 6 |ai0 e p 6 |bj0 . Sejam ar e bs os primeiros coeficientes de f (x)


e g(x) (a contar de c0 e b0 ), respectivamente, no divisveis por p.
Pela escolha de r e s, p|ai 0 i < r e p|bj 0 j < s. Ento,

cr+s = a0 br+s + ar1 bs+1 + ar bs + ar+1 bs1 + ar+s b0

tal que p|cr+s por hiptese e p|a0 , . . . , ar1 , b0 , . . . , bs1 pela escolha de r e s. Logo, p|ar bs . Como p primo (hiptese) devemos
ter p|ar ou p|bs , absurdo.

OBS 4.1. Se cf (x) = g(x)h(x), f (x), g(x), h(x) Z[x], ento

f (x) =
g (x)h(x)
com g(x), h(x)
Z[x], deg g(x) = deg g(x) e

deg h(x)
= deg h(x) . Aplique a lei do cancelamento em domnios
juntamente com o teorema anterior para todos os fatores primos
de c.

64

AULA

Estruturas Algbricas II

4.4

Lema de Gauss

Dados f (x) = x4 4x3 + 6x 2 e g(x) = 5x3 + 6x 3 temos


cont(f ) = 1 e cont(g) = 1. Assim, ambos f e g so primitivos.
Por outro lado,

f (x).g(x) = 5x7 20x6 + 6x5 + 3x4 + 2x3 + 36x2 30x + 6

e cont(f g) = 1. Este resultado no mera coincidncia e sim uma


regra. Se considerarmos dois polinmios primitivos, o produto ser
sempre primitivo. Em outras palavras, a noo de primitivo
preservada pelo produto. Este resultado conhecido como lema
de Gauss.
OBS 4.2. Se a um inteiro positivo e f (x) Z[x] ento
1
cont(af ) = a.cont(f ). Em particular, se d = cont(f ) ento f
d
primitivo.

Teorema 4.3. (Lema de Gauss) O produto de polinmios


primitivos um polinmio primitivo. Mais geralmente, o contedo
do produto o produto dos contedos.

Prova:

Sejam f (x), g(x) Z[x] primitivos e d = cont(f g).

Queremos provar que d = 1. Suponha d 6= 1. Existe ao menos


um primo p tal que p|d. Por definio de MDC, p divide todos os
coeficientes de f g. Pelo teorema 4.2, p divide todos os coeficientes
de f ou p divide todos os coefientes de g. Logo, p | cont(f ) ou
p | cont(g), isto , p|1, uma contradio. Assim, d = 1. Para
finalizar, sejam f (x), g(x) Z polinmios quaisquer e d1 ,d2 seus
1
1
respectivos contedos. Ento,
f e
g so primitivos donde
d1
d2

65

Irredutibilidade em Q[x]


1
f
d1



1
g
d2


=

1
f g tambm primitivo. Assim,
d1 d2



1
cont(f g) = cont d1 d2
fg
d1 d2


1
= d1 d2 .cont
fg
d1 d2
= d1 d2 .1 = d1 d2 = cont(f )cont(g). 

4.5

Irredutibilidade em Q[x] irredutibilidade


em Z[x]

A equivalncia acima precisa de algumas ressalvas. Primeiro, a


noo de irredutibilidade relativa e no absoluta. Por exemplo,
2 um polinmio irredutvel em Z[x], mas unidade em Q[x] e
2x4 redutvel em Z[x], mas irredutvel em Q[x]. Segundo, um
polinmio com coeficientes em Q[x] no pode ser considerado um
polinmio em Z[x]. Deste modo, para a equivalncia acima fazer
sentido devemos considerar polinmios primitivos.
Seja f (x) Z[x] primitivo. Obviamente, irredutibilidade em Q[x]
implica irredutibilidade em Z[x] (raciocine por contrapositiva!).
Suponha f (x) redutvel em Q[x], isto , f (x) = g(x)h(x) com
g(x), h(x) Q[x] e deg g(x), deg h(x) < deg f (x). Existem inteiros
a e b tais que ag(x), bh(x) Z[x]. Ento, abf (x) = (ag(x)) (bh(x))
uma fatorao de abf (x) em Z[x]. Denotando c = ab e g(x) =

ag(x) e h(x)
= bh(x) temos cf (x) = g(x)h(x).
Segue da obser
vao 4.1 que f (x) =
g (x)h(x)
com deg g(x) = deg g(x) < deg

f (x) e deg h(x)


= deg h(x) < deg f (x). Assim, f (x) redutvel em
Q[x] implica f (x) redutvel em Z[x]. Temos provado o seguinte:
Teorema 4.4. Um polinmio primitivo em Z[x] irredutvel em
Z[x] se e somente se irredutvel em Q[x].

66

Estruturas Algbricas II

AULA

OBS 4.3. Dado f (x) Q[x], existe um inteiro c tal que cf (x)

Z[x]. Temos f (x) redutvel em Q[x] se e somente se cf (x) irredutvel em Q[x]. Assim, com respeito redutibilidade em Q[x]
podemos sempre supor o polinmio em Z[x]. Ademais, como redutibilidade invariante pela noo de associados e sobre corpos
sempre existe associado mnico (nico) podemos tambm supor
f (x) primitivo. Pelo teorema anterior, f (x) irredutvel em Z[x]
implica f (x) irredutvel em Q[x]. Deste modo, se quisermos provar
que um polinmio f (x) em Q[x] irredutvel (em Q[x]) suficiente
provar a irredutibilidade em Z[x] de um polinmio primitivo em
Z[x] associado f (x) em Q[x]. neste fato que reside a importncia de se elaborar critrios de irredutibilidade em Z[x].

4.6

Concluso

Por meio do conceito de contedo de um polinmio com coeficientes


inteiros, concluimos que o estudo dos irredutveis em Q[x] est
includo no estudo dos irredutveis em Z[x]. Da a necessidade de
se obter critrios de irredutibilidade em Z[x].

RESUMO

Teste da raiz racional


Se um nmero racional
a1 x + + an

xn

a
b,

MDC(a, b) = 1, raiz de a0 +

Z[x] ento a|a0 e b|an .

O contedo de um polinmio
1. Definio: cont (a0 +a1 x+ +an xn ) = MDC (a0 , . . . , an ).
2. Polinmio primitivo: polinmio de contedo 1.

67

Irredutibilidade em Q[x]
3. Teorema: (Gauss) Se um primo p divide todos os coeficientes de um produto de polinmios ento p divide todos os
coeficientes de um dos fatores.
Lema de Gauss
cont(f (x)g(x)) = cont(f (x))cont(g(x)).

Irredutibilidade em Q[x] versus Irredutibilidade em Z[x]


Para polinmios primitivos vale a equivalncia
Irredutibilidade em Z[x] Irredutibilidade em Q[x].
Consequncia:
Seja f (x) Q[x] e f(x) seu associado mnico em Z[x].
Ento, f(x) irredutvel em Z[x] implica f (x) irredutvel
em Q[x].

PRXIMA AULA

Seguindo a motivao dos resultados obtidos nesta aula, buscaremos critrios de irredutibilidade em Z[x].

ATIVIDADES

ATIV. 4.1. Use o teste da raiz racional para escrever cada polinmio
como um produto de polinmios irredutveis em Q[x].
a) 3x5 + 2x4 7x3 + 2x2 .

68

AULA

Estruturas Algbricas II

b) 2x4 5x3 + 3x2 + 4x 6.


ATIV. 4.2. Mostre que

p irracional para cada p primo.

ATIV. 4.3. Mostre que todo polinmio no nulo f (x) Q[x]


pode ser escrito de maneira nica na forma f (x) = cf(x) com
c Q e f(x) Z(x) primitivo. Conclua que todo polinmio em
Q[x] possui um nico associado mnico em Z[x].
ATIV. 4.4. Seja f (x) Z(x) primitivo. Mostre que se f (x)
redutvel em Q(x) ento f (x) redutvel em Z(x).

LEITURA COMPLEMENTAR

GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.

69

AULA

Critrios de irredutibilidade
Em Z[x]
META:
Determinar critrios de irredutibilidade em Z[x] para mostrar irredutibilidade em Q[x].
OBJETIVOS:
Ao final da aula o aluno dever ser capaz de:
Aplicar os critrios de irredutibilidade para determinar se um dado
polinmio com coeficientes inteiros irredutvel em Q[x].
PR-REQUISITOS

A definio de isomorfismo de anis e a noo de polinmio irredutvel.

Critrios de irredutibilidade
Em Z[x]

5.1

Introduo

Considere f (x) = x4 5x2 + 1 Q[x]. Vamos testar a redutibilidade de f (x) em Q[x]? Pela aula anterior, suficiente testarmos
a redutibilidade de f (x) em Z[x]. As possveis combinaes dos
graus para fatoraes de f (x) so da forma 1.1.1.1, 1.1.2, 1.3 e 2.2.
As trs primeiras implicam (pelo teorema do fator) na existncia
de pelo menos uma raiz racional. Pelo teste da raiz racional, as
nicas possveis razes de f (x) em Q[x] so 1, 1. Mas, f (1) =
f (1) = 3 6= 0. Logo, f (x) no possui razes em Q e, portanto,
no possui fatores de grau 1. Deste modo, a nica maneira de
fatorao para f (x) seria na forma
f (x) = (a2 x2 + a1 x + a0 )(b2 x2 + b1 x + b0 ), a0 , a1 , b0 , b1 Z
No entanto, f (x) mnico e isto acarreta a2 = b2 = 1 (voc
consegue enxergar isto?). Assim temos:
f (x) = (x2 + a1 x + a0 )(x2 + b1 x + b0 ).
Efetuando este produto obtemos:
x4 +(a1 +b1 )x3 +(a0 +a1 b1 +b0 )x2 +(a1 b0 +a0 b1 )x+a0 b0 = x4 5x2 +1
Da igualdade de polinmios, obtemos o seguinte sistema em Z:
a1 + b1 = 0 a0 + a1 b1 + b0 = 5 a1 b0 + a0 b1 = 0 a0 b0 = 1
Mas, a0 b0 = 1 em Z acarreta a0 = b0 = 1 ou a0 = b0 = 1 e
a1 + b1 = 0 acarreta a1 = b1 . Ento, da equao
a0 + a1 b1 + b0 = 5
podemos concluir que
a21 1 1 = 5 ou a21 + 1 + 1 = 5

72

Estruturas Algbricas II

AULA

donde a21 = 7 ou a21 = 3. Como no existem inteiros cujo quadra-

dos so 3 ou 7 segue a impossibilidade de fatorar f (x) em Z[x].


Assim, f (x) irredutvel em Z[x], logo tambm em Q[x].
Observe, prezado aluno, que a tarefa de caracterizar irredutibilidade pela definio impraticvel. Por exemplo, voc saberia discutir a irredutibilidade do polinmio x17 +6x13 15x4 +3x2 9x+12
em Q[x]? Imagine quantas combinaes possveis existem para se
fatorar tal polinmio. Felizmente, existem critrios muito eficazes
para nos auxiliar nesta tarefa. o que nos ensina os critrios de
irredutibilidade a seguir.

5.2

Critrio de Eisenstein

Seja f (x) = a0 + a1 x + . . . an xn Z[x] no constante. Suponha


que existe um primo p Z tal que p|a0 , . . . , p|an1 , p - an e p2 - a0 .
Vamos mostrar, nestas condies, que f (x) irredutvel em Q[x].
Seguiremos o raciocnio por reduo ao absurdo. Suponhamos f (x)
redutvel em Q[x] e um primo p nas condies acima. Pela aula
anterior, f (x) admitiria uma fatorao em Z[x], digamos
f (x) = (b0 + b1 x + + br xr )(c0 + c1 x + + cs xs )
com bi , cj Z, 1 r < n e 1 s < n. Temos a seguinte sequncia
de implicaes:
1. p|a0 , a0 = b0 c0 e p primo p|b0 ou p|c0 . Podemos supor
p|b0 .
2. p - an , an = br cs p - br e p - cs .
3. p2 - a0 , a0 = c0 b0 e p|b0 p - c0 .

73

Critrios de irredutibilidade
Em Z[x]
4. p|b0 e p - br existe um menor inteiro k, 1 k r, tal que
p - pk .
O inteiro k, determinado no item 4, tem a seguinte propriedade:
p|bi , 0 i < k, e p - bk
com 1 k r < n. Desde que
ak = b0 ck + b1 ck1 + + bk1 c1 + bk c0
temos
bk c0 = ak b0 ck b1 ck1 + bk1 c1

(5.5)

Mas, p|ak (k < n) e p|bi , para i < k. Ento p divide cada parcela
do membro direito da equao 5.5 e, portanto, p|bk c0 . Isto implica
p|bk e p|c0 , um absurdo. Este resultado conhecido como critrio
de Eisenstein. Segue o enunciado em forma de teorema.
Teorema 5.1. (Critrio de Eisenstein) Seja f (x) = a0 + a1 x +
+ an xn Z[x] no constante. Se existe um primo p Z tal que
p|a0 ,. . .,p|an1 , p - an e p2 - a0 , ento, f (x) irredutvel em Q[x].

Exemplo 5.1. O polinmio x17 + 6x13 15x4 + 3x2 9x + 12 dado
na introduo irredutvel em Q[x] pelo critrio de Eisenstein para
p = 3. Os polinmios da forma xn p so irredutveis pelo critrio
de Eisenstein para p primo.

5.3

Critrio Zp [x]

Embora o critrio de Eisenstein seja bastante eficiente, existem


muitos polinmios para os quais o critrio no se aplica. Por
exemplo, f (x) = x5 + 8x4 + 3x2 + 4x + 7. Neste caso, precisamos

74

Estruturas Algbricas II

AULA

desenvolver um novo mtodo. Para todo inteiro n est definido o

homomorfismo de anis de polinmios


n : Z[x] Zn [x]
em que para cada polinmio f (x) = a0 + a1 x + ar xr associa
o polinmio n (f (x)) = a0 + a1 x + + ar xr onde ai denota a
classe de equivalncia de ai no anel quociente Zn . Usaremos este
homomorfismo para p primo. Assim, o anel quociente Zp um
corpo e podemos ento aplicar toda a teoria desenvolvida at aqui
para anis polinomiais sobre corpos.
Seja f (x) = a0 + a1 x + an xn Z[x] de grau n. Considere
um primo p tal que p - an . Ento, p (f (x)) um polinmio em
Zp [x] de grau n visto que an 6= 0 pois p - an . Vamos mostrar
que se p (f (x)) irredutvel em Zp [x] ento f (x) irredutvel em
Z[x]. Usaremos a contrapositiva. Se f (x) redutvel em Z[x] ento
f (x) = g(x)h(x) com g(x), h(x) polinmios no constantes em Z[x]
de graus menores do que n, digamos r e s, respectivamente. Se
br e cs so os coeficientes lderes de g(x) e h(x), respectivamente,
ento an = br cs . Como p - an , ento, p - br e p - cs . Assim, br
e cs so no nulos em Zp . Ento, deg p (g(x)) = deg g(x) e deg
p (h(x)) = deg h(x). Como p (f (x)) = p (g(x))p (h(x)) segue
que p (f (x)) redutvel em Zp [x]. Temos demonstrado o seguinte
resultado:
Teorema 5.2. Seja f (x) Z[x] um polinmio no constante e
seja p um primo que no divida o coeficiente lder de f (x). Se
p (f (x)) irredutvel em Zp [x] ento f (x) irredutvel em Q[x].

Exemplo 5.2. Vamos mostrar que f (x) = x5 + 8x4 + 3x2 + 4x + 7
irredutvel em Q[x]. Para p = 2 temos 2 (f (x)) = x5 + x2 + 1.

75

Critrios de irredutibilidade
Em Z[x]
p (f (x)) no admite fatores lineares em Z2 [x], pois no possui
razes em Z2 (verifique isto). Os nicos polinmios de grau dois
em Z2 [x] so x2 , x2 + x, x2 + 1 e x2 + x + 1 e nenhum destes
divide p (f (x)) (use o algoritmo da diviso para verificar isto!).
Assim, f (x) tambm no admite fatores quadrticos em Z2 [x].
Finalmente, p (f (x)) tambm no admite fatores de grau 3 e 4
pois se tivesse o outro fator seria de grau 2 ou 1, que impossvel.
Logo, p (f (x)) irredutvel em Z2 [x]. Pelo teorema 5.2 f (x)
irredutvel em Q[x].

5.4

Critrio f (x + c)

Seja f (x) k[x] e c k. A aplicao : k[x] k[x], (f (x)) =


f (x + c), define um isomorfismo. Assim, f (x) irredutvel em k[x]
se e somente se (f (x)) = f (x + c) irredutvel em k[x]. Em
forma de teorema:
Teorema 5.3. Seja f (x) k[x], k corpo, e c k. Se f (x + c)
irredutvel em k[x] se e somente se f (x) irredutvel em k[x].

Tal critrio aparentemente no traz nehuma luz caracterizao da


irredutibilidade de um polinmio. Mas, ele aplicado em conjunto
com outros critrios pode ser bastante til. Por exemplo, considere
f (x) = x4 +4x+1 Q[x]. Temos f (x+1) = (x+1)4 +4(x+1)+1 =
x4 + 4x3 + 6x2 + 8x + 6 irredutvel pelo critrio de Eisenstein para
p = 2. Logo, x4 + 4x + 1 irredutvel em Q[x]. Prezado aluno,
voc pode fazer o teste de irredutibilidade tentando fatorar tal
polinmio como foi feito na introduo esta aula e verificar qual
dos dois mtodos o mais trabalhoso. Outro exemplo segue na
seo a seguir.

76

AULA

Estruturas Algbricas II

5.5

O polinmio ciclotmico p (x), p primo

Em matemtica, a palavra ciclotomia remonta ao problema histrico de dividir o crculo em um dado nmero de partes iguais ou,
equivalentemente, de construir polgonos regulares com rgua e
compasso. conhecido que um polgono regular de n lados
construtvel (isto significa com rgua e compasso) se e somente se
(n) uma potncia de 2. Lembramos que (n) denota a funo
phi de Euler em n Z0 e corresponde quantidade de inteiros
positivos < n relativamente primo com n. Na teoria de grupos,
(n) a ordem do grupo multiplicativo das unidades de Zn . Podese mostrar que (n) uma potncia de 2 se e somente se n =
q

2r p1 pk com pi = 22 i + 1 primo para todo i = 1, . . . , r. Os


q

primos da forma 22 i + 1 so chamados primos de Fermat (1601q

1665). Fermat conjecturou que todos os nmeros da forma 22 + 1


q

so primos. De fato, 22 + 1 primo para q < 5, mas Euler (17075

1783) mostrou em 1732 que 22 +1 = 6416.700.417. Na literatura


corrente consta que at o momento no se conhece nenhum primo
de Fermat para q acima de 4.
A relao da ciclotomia com nossa aula consiste no fato que dividir
o crculo em n arcos iguais equivalente construo com rgua
e compasso da n-sima raiz complexa da unidade. Um nmero
complexo = a + bi dito construtvel se o ponto do plano complexo (a, b) construtvel com rgua e compasso. Sabe-se que um
complexo construtvel somente se o corpo Q[] possui como
dimenso vetorial sobre Q uma potncia de 2. A dimenso vetorial de Q[] sobre Q chamada grau pelo fato de coincidir com o
grau do polinmio mnico irredutvel sobre Q tendo como raiz.
Denota-se por [Q[] : Q] o grau de Q[] sobre Q. Se = exp

2i
n

uma n-sima raiz complexa da unidade ento [Q[] : Q] = (n).

77

Critrios de irredutibilidade
Em Z[x]
A prova deste resultado no trivial e precisa antes de mais nada
determinar o polinmio mnimo de . Tal polinmio chamado o
n-simo polinmio ciclotmico e denotado por n (x).
Se = exp

2i
n

uma n-sima raiz da unidade ento n = exp2i =

1 donde raiz do polinmio xn 1 = (x1)(xn1 +xn2 + x+


1). Se 6= 1 ento raiz do polinmio xn1 + xn2 + x + 1.
Quando n = p primo, q(x) = xp1 + xp2 + x + 1 irredutvel
sobre Q e portanto o p-simo polinmio ciclotmico p (x). De
xp 1
fato,
= q(x). Assim,
x1
q(x + 1) =

(x + 1)p 1
x+11


p
p
xp1 + + x + 1 1
xp +
p1
1

xp +

p
p1

xp1 + +

= xp1 +

Como p divide

p
p1

p
1

xp2 + +

p
1

para todo r, 0 < r < p, segue pelo critrio

r
de Eisenstein que q(x) = xp1 + xp2 + x + 1 irredutvel.

5.6

Concluso

Embora no exista um mtodo geral para determinar irredutibilidade em Q[x], conseguimos, por meio dos critrios elaborados nesta
aula, caracterizar a irredutibilidade de certos tipos de polinmios.
O principal critrio o de Eisenstein. Eles so de extrema utili-

78

AULA

Estruturas Algbricas II

dade tanto na teoria dos corpos quanto na teoria de Galois.

RESUMO

Critrio de Eisenstein
Seja f (x) = a0 + a1 x + + an xn Z[x] no constante.
Se existe um primo p Z tal que p|a0 ,. . .,p|an1 , p - an
e p2 - a0 ento f (x) irredutvel em Q[x].
Critrio Zp [x]
Seja f (x) Z[x] um polinmio no constante e seja p
um primo que no divida o coeficiente lder de f (x). Se
p (f (x)) irredutvel em Zp [x] ento f (x) irredutvel
em Q[x].
Critrio f (x + c)
Seja f (x) k[x], k corpo, e c k. Se f (x + c)
irredutvel em k[x] ento f (x) irredtvel em k[x].
O polinmio ciclotmico p (x), p primo

p (x) = xp1 + xp2 + + x + 1.

PRXIMA AULA

Na prxima aula iniciaremos a segunda fase do curso. Ser uma


aula de transio entre o estudo de polinmios e a teoria de corpos.
Estudaremos os anis quocientes obtidos por meio de ideais em

79

Critrios de irredutibilidade
Em Z[x]
k[x]. muito importante que voc ganhe maturidade na estrutura
de tais anis, pois ser a teoria que dar suporte toda teoria dos
corpos vista neste curso.

ATIVIDADES

ATIV. 5.1. Mostre que os seguintes polinmios f (x) Z[x] so


irredutveis sobre Q[x].
a) f (x) = x4 + 2x3 + 2x2 + 2x + 2.
b) f (x) = x7 31.
c) f (x) = x6 + 15.
d) f (x) = x3 + 6x2 + 5x + 25.
e) f (x) = x4 + 8x3 + x2 + 2x + 5.
f) f (x) = x4 + 10x3 + 20x2 + 30x + 22.
ATIV. 5.2. Determine quais dos seguintes polinmios so irredutveis sobre Q.
a) x3 x + 1

b) x3 + 2x + 10

c) x3 2x2 + x + 15

d) x4 + 2

e) x4 2

f ) x4 x + 1

ATIV. 5.3. Determine quais dos seguintes polinmios sobre os


seguintes corpos K so irredutveis:
a) x7 + 22x3 + 11x2 44x + 33 , K = Q

80

b) x3 7x2 + 3x + 3

, K=Q

c) x4 5

, K = Z17

d) x3 5

, K = Z11

AULA

Estruturas Algbricas II

LEITURA COMPLEMENTAR

CLARK, Allan, Elements of abstract algebra. Dover, 1984


GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.

81

AULA

Anis quocientes k[x]/I


META:
Determinar as possveis estruturas definidas sobre o conjunto das
classes residuais do quociente entre o anel de polinmios e seus
ideais.

OBJETIVOS:
Ao final da aula o aluno dever ser capaz de:
Reconhecer as estruturas de anel e espao vetorial do conjunto
quociente k[x]/I.
Caracterizar uma base de k[x](f (x)) como um espao vetorial sobre o corpo k.
Reconhecer a classe x em k[x]/(f (x)) como uma raiz do polinmio
f (x).
Usar o processo de adjuno de razes para determinar corpos de
razes de alguns polinmios.

PR-REQUISITOS

As seguintes noes de lgebra linear: espao vetorial, dependncia


e independnica linear, base e dimenso.

Anis quocientes k[x]/I

6.1

Introduo

Seja A um anel e I A um ideal. A relao de congruncia


mdulo o ideal I (a b a b I) define uma relao de
equivalncia em A. A classe de equivalncia de um elemento a
o conjunto a = {a + b : b I} = a + I. O importante na
definio de congruncia que usa apenas a estrutura aditiva de
A. Sendo (A, +) um grupo abeliano, (I, +) um subgrupo normal
de A. Assim, o quociente A/I grupo aditivo com a operao
a + b = a + b. A operao a.b = a.b define uma multiplicao
em A/I. O anel (A/I, +, .) chamado anel quociente ou anel de
classes residuais mdulo I. Se A comutativo com identidade 1A
ento A/I comutativo com identidade 1A . So fundamentais os
seguintes resultados:
1. A/I domnio se e somente se I ideal primo.
2. A/I corpo se e somente se I ideal maximal.
3. Em um domnio de ideais principais (DIP), ideais primos so
mximos.

6.2

Exemplos

Exemplo 6.1. Em Z[x],


x2 + x + 1 x + 3 mod x + 2
pois x2 + x + 1 (x + 3) = x2 4 = (x 2)(x + 2) I, I = (x + 2).
Exemplo 6.2. Vamos mostrar que Z2 [x]/(x2 + x + 1) um anel
com exatamente 4 elementos. Seja f (x) Z2 [x]/(x2 + x + 1).
Ento f (x) Z2 [x] e pelo algoritmo da diviso existem nicos
q(x), r(x) Z2 [x] tais que f (x) = q(x)(x2 +x1 )+r(x) onde r(x) =

84

Estruturas Algbricas II

AULA

0 ou 0 deg r(x) < 2. Assim, r(x) = ax + b para a, b Z2 . Deste

modo, para toda classe f (x) existe um representante de grau 1


ax + b Z2 [x] tal que f (x) = ax + b. Vamos mostrar que este
representante nico. De fato, ax + b = cx + d implica ax + b
(cx + d) = (a c)x + b d = q(x)(x2 + x + 1). Se ax + b 6= cx + d
ento segue da ltima igualdade que 1 deg ((a c)x + b d)
= deg q(x)(x2 + x + 1) 2, contradio. Logo, ax + b = cx + d.
Assim, Z2 [x]/(x2 + x + 1) = {ax + b : a, b Z2 }. Pela unicidade
da representao de uma classe por polinmios de grau 1 podemos
omitir as barras e simplesmente escrever Z2 [x]/(x2 + x + 1) =
{ax + b : a, b Z2 } que um anel com 4 elementos: 0, 1, x
e 1 + x. Note que x(x + 1) = x2 + x = x + 1 + x = 1, pois
x2 x + 1 em Z2 [x]/(x2 + x + 1). Assim, toda classe no nula
possui inverso multiplicativo e, portanto, Z2 [x]/(x2 + x + 1) um
corpo. Prezado aluno, se voc no percebeu, x2 +x+1 irredutvel
em Z2 [x] logo gera um ideal primo. Sendo Z2 corpo, Z2 [x] DIP
e, portanto, primos so maximais. Logo, (x2 + x + 1) maximal
donde Z2 [x]/(x2 + x + 1) corpo.

6.3

O anel quociente k[x]/I

Seja I k[x] um ideal no nulo. Sendo k[x] um DIP ento I =


(f (X)) para algum f (x) = xn + an1 xn1 + a1 x + a0 (por qu
mnico?). Se I trivial, isto , nulo ou gerado por uma unidade
(constantes no nulas) ento k[x]/(0) = k[x] ou k[x]/(1) = (0)
(anel nulo). Vejamos o caso no trivial. Neste caso,

n = deg f (x) > 0

85

Anis quocientes k[x]/I


e o exemplo 6.2 nos diz como procedermos. Por definio de anis
quocientes,
k[x]/(f (x)) = {g(x) : g(x) k[x]}
onde g(x) = {g(x) + h(x) : h(x) I} = g(x) + I.
1. Dado g(x) k[x]/I, o algoritmo da diviso em k[x] nos
fornece nicos q(x), r(x) k[x] tais que
g(x) = q(x)f (x) + r(x)
com r(x) = 0 ou 0 deg r(x) < n. Assim,
r(x) = bn1 xn1 + + b1 x + b0
um polinmio de grau n 1 e
g(x) = q(x)f (x) + r(x)
= q(x)f (x) + r(x)
= r(x)
Portanto, toda classe g(x) k[x]/I possui um representante
de grau n 1.
2. Suponhamos que r1 (x), r2 (x) k[x] sejam dois representantes de grau n 1 para uma mesma classe g(x)
k[x]/I. Ento r1 (x) = g(x) = r2 (x) donde r1 (x) r2 (x) =
r1 (x) r2 (x) = 0. Se r1 (x) 6= r2 (x) ento
r1 (x) r2 (x) = q(x)f (x)
e isto uma contradio, pois o grau esquerda sempre
n1 e o grau direita sempre n. Assim, r1 (x) = r2 (x).

86

AULA

Estruturas Algbricas II

3. Seja k = {a : a k} k[x]/I o conjunto das classes dos


polinmios constantes em k[x]. A aplicao
|k : k k[x]/I,

a 7 a

define um homomorfismo de ncleo nulo (verifique isto!) cuja


imagem o conjunto k. Pelo teorema fundamental do isomorfismo, k ' k. Deste modo, podemos fazer a identificao
a := a para cada a k e obtermos a incluso k k[x]/I.
Tal incluso preserva toda a estrutura do corpo k dentro
de k[x]/I e isto caracteriza uma extenso de anis. Assim,
k[x]/I uma extenso do corpo k (de anis!) na qual a classe
x satisfaz a relao
xn + an1 xn1 + + a1 x + a0 = 0

(6.6)

Para ver isto, observe a seguinte sequncia de igualdades:


xn + an1 xn1 + + a1 x + a0 = xn + an1 xn1 + +
a1 x + a0
= f (x) = 0 = 0.
OBS 6.1. De 1) e 2) acima segue que
k[x]/(f (x)) = {r(x) : deg r(x) n 1}
= {b0 + + cn1 xn1 : bi k}
= {b0 + b1 x + + bn1 xn1 : bi k}
Por 3), podemos omitir as barras sobre as classes dos elementos de
k e assim obtemos:
k[x]/I = {b0 + b1 x + + bn1 xn1 : bi k}
Note que as expresses
b0 + b1 x + + bn1 xn1

87

Anis quocientes k[x]/I


so combinaes lineares de 1, x, . . . , xn1 k[x]/I com coeficientes em k. Alm disso, (k[x]/I, +) um grupo aditivo abeliano
( anel!) e com respeito multiplicao por elementos de k distributivo, associativo e 1.g(x) = g(x). Isto define uma estrutura
de espao vetorial de k[x]/I sobre k tendo 1, x, . . . , xn1 como conjunto de geradores. Pela unicidade das expresses em grau n 1
segue a independncia linear de tal conjunto. Assim,
1, x, . . . , xn1
um conjunto de geradores linearmente independentes. Logo,
uma base de k[x]/I como um espao vetorial sobre k com n elementos. Ento,
dimk k[x]/I = n = deg f (x)
onde a expresso acima denota a dimenso de k[x] sobre k.
OBS 6.2. Este procedimento uma forma de construir espaos
vetoriais de dimenso finita arbitrria tendo ainda uma estrutura
adicional de anis. Tal estrutura hbrida o que se chama de klgebra. Sobe tal aspecto, k[x]/I uma k-lgebra gerada por x e
isto denotado por k[x]. Assim, temos a igualdade de notaes
k[x]/I = k[x]. Em geral, uma k-lgebra finitamente gerada por
g1 , . . . , gr denotada por k[g1 , . . . , gr ] e chamada k-lgebra de tipo
finito. Tal linguagem significa dizer que k[g1 , . . . , gr ] um anel
contendo k como subanel e tendo adicionalmente uma estrutura de
k-espao vetorial. Um elemento em k[g1 , . . . , gr ] uma expresso
polinomial em g1 , . . . , gr com coeficientes em k.
OBS 6.3. A relao 6.6 no somente nos fornece uma dependncia
linear de 1, x, . . . , xn1 sobre k como tambm nos diz que f (x) = 0.
Assim, x uma raiz do polinmio f (x). Deste modo k[x]/I = k[x]
uma extenso de k contendo uma raiz de f (x) k[x]. No caso em

88

Estruturas Algbricas II

AULA

que k[x] um corpo, este procedimento de construo de razes de

polinmios chama-se adjuno de razes. Isto constituir o cerne


da teoria de extenses de corpos nas aulas subsequentes. Por isso,
precisamos saber quando k[x]/I corpo e isto o que nos motiva
para a prxima seo.

6.4

A estrutura de k[x]/(p(x)) quando p(x) irredutvel

Considere os seguintes fatos j vistos:


1. k[x] DIP (teorema 3.3).
2. Polinmios irredutveis em k[x] so elementos primos (Lema 3.2).
3. Elementos primos geram ideais primos.
4. Em um DIP ideais primos so ideais maximais.
5. O anel quociente A/I corpo se e somente se I e ideal
maximal.

Concluso:
p(x) k[x] irredutvel k[x]/(p(x)) corpo.
OBS 6.4. Vale a recproca da implicao acima. Veja atividade 6.1.
Exemplo 6.3. O polinmio p(x) = x2 + 1 irredutvel em R[x],
pois de grau 2 e no tem razes reais (R um corpo ordenado).
Assim, o anel quociente R[x]/(x2 +1) corpo. Pela observao 6.1,
R[x]/(x2 + 1) = {a + bx : a, b R} com a + bx = 0 se e somente
se a = b = 0. Em R[x], x2 + 1 = 0 donde x2 = 1. Deste modo, a
aplicao : R[x] C, a + bx 7 a + bi define um isomorfismo de
corpos com (a) = a para todo a R.

89

Anis quocientes k[x]/I

6.5

Adjuno de razes

Na seo 6.3, mais precisamente na observao 6.3, foi exibida a


noo de adjuno de razes. Seja dado um polinmio f (x) k[x].
O mtodo de adjuno de razes consiste nos seguintes passos:
Passo 1 Considere um fator irredutvel p(x) de f (x) em k[x]
(existe, pois k[x] DFU).
Passo 2 O anel quociente k[x]/(p(x)) = k[x] um corpo contendo k ( extenso de k) tendo x como raiz de p(x) (ver
observao 6.3). Como p(x)|f (x) ento x tambm raiz de
f (x).
Passo 3 Denotando x := 1 temos k k[1 ] com 1 raiz de
f (x) (k[1 ])[x] ( os coeficientes de f (x) esto em k[1 ]).
Pelo teorema do fator, podemos escrever f (x) = (x1 )a1 q1 (x)
com q1 (x) k[1 ][x] de grau < f (x) e q1 (1 ) 6= 0. Aplicando
os Passos 1 e 2 agora para q1 (x) obtemos um fator irredutvel
p2 (x) (k[1 ])[x] de modo que o corpo (k[1 ])[x]/(p2 (x))
contm k[1 ] com x := 2 uma raiz de p2 (x). Logo, k[1 ][2 ] =
k[1 , 2 ] um corpo contendo k[1 ] (logo k) e as razes 1 , 2
de f (x).
Passo 4 Em k[1 , 2 ] temos f (x) = (x 1 )a1 (x 2 )a2 q2 (x),
com q2 (i ) 6= 0, i = 1, 2. Repetindo o Passo 3 obtemos um
polinmio irredutvel p3 (x) k[1 , 2 ][x], com deg p3 (x) <
deg q2 (x) < deg p2 (x) tal que f (x) = (x1 )a1 (x2 )a2 (x
3 )a3 q3 (x) k[1 , 2 ][x]/(p3 (x)) = k[1 , 2 , 3 ], 3 = x em
k[1 , 2 ][x]/(p3 (x)) e q3 (i ) 6= 0, i = 1, 2, 3.
O procedimento acima termina aps um nmero finito de passos
(no mximo em n passos) com
f (x) = (x 1 )a1 (x r )ar k[1 , 2 , , r ][x].

90

Estruturas Algbricas II

AULA

OBS 6.5. O corpo k[1 , 2 , , r ] o menor corpo contendo

todas as razes de f (x) e chamado o corpo de razes de f (x).


As razes 1 , , r so todas distintas e os expoentes ai s so
chamados multiplicidades da raiz i . Alm disso, em geral no
so necessrios n passos para se chegar ao corpo de razes de um
polinmio de grau n. s vezes, apenas um necessrio.
Exemplo 6.4. Seja p Z um primo. Ento, f (x) = x2 p
irredutvel em Q[x]. Assim, Q[x]/(x2 p) = Q[], = x
Q[x]/(x2 p) uma raz de x2 p. Como Q[] a outra raiz
de x2 p segue que x2 p = (x )(x + ) Q[][x]. Denotando

por p, segue da observao 6.1 a seguinte igualdade:

Q[ p] = {a + b p : a, b Q}.

Q[ p] o corpo de razes de x2 p sobre Q pois Q[ p] = Q[ p, p]


o menor corpo contendo Q e as razes de x2 p.

6.6

Concluso

O anel quociente k[x]/I, I 6= (0), possui uma estrutura de espao


vetorial sobre k de dimenso finita e igual ao grau do polinmio
gerador de I. Isto possibilita a integrao da teoria dos anis com
lgebra linear. Subjacente estas duas est a estrutura de corpo
do anel k[x]/I quando I gerado por um polinmio irredutvel.
Toda esta confluncia de estruturas em um s objeto algbrico,
j tornaria o anel quociente k[x]/I interessante por si s. Mas, o
fato de conter uma raiz do polinmio gerador do ideal I confere ao
mesmo o estatus de principal objeto algbrico.

91

Anis quocientes k[x]/I

RESUMO

Dado f (x) k[x] no constante, eis o que se pode dizer a respeito


do anel quociente k[x]/(f (x)):
1. k[x]/(f (x)) um anel contendo o corpo k.
2. k[x]/(f (x)) = k[x] espao vetorial sobre k de dimenso
finita n = deg f (x) com base 1, x, x2 , . . . , xn1 .
3. A classe x k[x]/(f (x)) uma raiz do polinmio f (x).
4. Se f (x) irredutvel sobre k[x] ento k[x]/(f (x)) um corpo
contendo k e a raiz x de f (x).
5. Se f (x) irredutvel ento k[x]/(f (x)) = k[x] o menor
corpo contendo k e a raiz = x de f (x).
6. O processo acima de passar ao quociente k[x]/(f (x)) para
determinar o menor corpo contendo k e uma raiz de f (x)
chamado de adjuno da raiz x ao corpo k.
7. A iterao do processo de adjuno de razes determina o
menor corpo contendo k e todas as razes do polinmio f (x).
O corpo assim obtido chamado corpo de razes de f (x).

PRXIMA AULA

Iniciaremos o estudo de teoria dos corpos, pr-mbulo teoria de


Galois. Usaremos os conhecimentos obtidos nesta aula sobre os
anis quocientes para nos auxiliar nesta tarefa.

92

AULA

Estruturas Algbricas II

ATIVIDADES

ATIV. 6.1. Seja k um corpo. Mostre a equivalncia entre as


seguintes afirmaes:
i) p(x) irredutvel em k[x].
ii) k[x]/(p(x)) um corpo.
iii) k[x]/(p(x)) um domnio de integridade.
Sugesto: Use os seguintes fatos conhecidos:
a) Corpos so domnios.
b) A/I domnio I ideal primo.
b) A/I corpo I maximal.
c) A DIP (I ideal primo I ideal maximal).
d) k corpo k[x] DIP.
e) k corpo irredutveis em k[x] so elementos primos (logo,
geram ideais primos).
ATIV. 6.2. Seja p Z primo. Mostre que se p(x) Zp [x]
irredutvel de grau n ento Zp [x]/(p(x)) um corpo contendo Zp
com pn elementos.
ATIV. 6.3. Considere o conjunto

Q[ 2] = {a0 + a1 2 + + an ( 2)n : ai Q, n Z0 }.

93

Anis quocientes k[x]/I

Mostre que Q[ 2] um subcorpo de R como segue. Defina a


funo

: Q[x] R, f (x) 7 (f (x)) = f ( 2).


i) Mostre que um homomorfismo com conjunto imagem

Q[ 2].
ii) Mostre que Ker = (x2 p).
iii) Use o teorema fundamental do isomorfismo para concluir que

Q[x]/(x2 p)
= Q[ 2].
iv) Caracterize a irredutibilidade de x2 2 e conclua que o anel
quociente Q[x]/(x2 p) corpo. Do isomorfismo acima,

Q[ 2] um corpo contido em R.

v) Mostre que se K um subcorpo de R contendo Q e 2 ento

K contm Q[ 2]. Conclua que Q[ 2] o corpo de razes de


x2 2 sobre Q.

vi) Mostre que todo elemento de Q[ 2] se escreve de maneira

nica na forma a + b 2, com a, b Q e, portanto,

Q[ 2] = {a + b 2 : a, b Q}

vii) Determine o inverso de um elemento no nulo a + b 2

Q[ 2]

viii) Determine a dimenso de Q[ 2] como um espao vetorial


sobre Q.
ATIV. 6.4. Mesma questo anterior para

Q[ 3] = {a0 + a1 3 + + an ( 3)n : ai Q, n Z0 }.

94

Estruturas Algbricas II

AULA

ATIV. 6.5. Mostre que Q[ 2] e Q[ 3] no so corpos isomorfos.

Sugesto: Suponha que exista um isomorfismo : Q[ 2]

a
a
a
Q[ 3]. Mostre que ( ) =
para todo
Q. Conclua que
b
b

( 2) = 2 Q[ 3]. Mostre que isto uma contradio por

mostrar que 2 6 Q[ 3].


ATIV. 6.6. Mostre que Z2 [x]/(x3 + x + 1) um corpo contendo
todas as trs razes de x3 + x + 1.
ATIV. 6.7. Racionalize a frao

1+

1
.
2+ 34

LEITURA COMPLEMENTAR

GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.

95

AULA

Extenses de Corpos
META:
Determinar as noes e fatos bsicos da teoria dos corpos.

OBJETIVOS:
Ao final da aula o aluno dever ser capaz de:
Definir: Caracterstica de corpos, extenso de corpos, grau de uma
extenso, extenso finita, extenso finitamente gerada, extenso
simples, elemento algbrico e transcendente, polinmio mnimo,
corpo de razes de um polinmio, extenso algbrica e corpo algebricamente fechado.
Determinar a caracterstica de um corpo.
Expressar uma extenso simples k[] como um quociente k[x]/(p(x))
em que p(x) o polinmio mnimo de .
Determinar uma base vetorial de uma extenso algbrica simples.
Determinar as operaes adio e multiplicao para extenso algbricas simples.
Determinar o inverso de um elemento dado em uma extenso algbrica simples.

PR-REQUISITOS
Observao 6.1 e seo 6.4 da aula 6.

Extenses de Corpos

7.1

Introduo

Iniciaremos o estudo de extenses de corpos. Na primeira seo,


so listadas todas as definies bsicas que iremos precisar.
muito importante que voc interiorize tais definies. Sem elas em
mente fica impossvel acompanhar o restante do curso.
Nas sees que seguem, veremos alguns exemplos e os principais
fatos sobre o tema.
A fim de tornar mais dinmica a exposio do assunto, as provas
dos fatos so dadas em uma seo parte em forma de exerccios resolvidos. Desta maneira, os resultados tornam-se problemas tericos que precisam ser resolvidos e voc est convidado
resolv-los antes mesmos de ver a soluo. Este modo ativo de
estudo forar voc a relacionar as idias sobre os assuntos anteriores. Bons estudos!

7.2

Glossrio

Ao longo desta seo, F denotar um corpo.


Caracterstica de corpos A caracterstica de um corpo F , denotado por Ch F , o gerador no negativo do homomorfismo
de grupos (anis)
: Z F, n 7 n.1F = 1F + 1F .
{z
}
|
n parcelas

Em outras palavras, a caracterstica de um corpo zero ou


o menor inteiro positivo n tal que n.1F = 0.
Subcorpo primo O subcorpo primo de um corpo F o subcorpo
de F gerado pela identidade multiplicativa 1F .

98

Estruturas Algbricas II

AULA

Extenso de um corpo Um corpo K dito uma extenso de F

se K contm F como um subcorpo. Notao: F K. O


corpo F chamado de corpo base da extenso F K.
Grau de uma extenso O grau de uma extenso de corpos F
K, denotado por [K : F ], a dimenso de K considerado
como um espao vetorial sobre F .
Extenso finita Uma extenso F K chamada finita se [K : F ]
finito. Caso contrrio, a extenso dita infinita.
Corpos finitamente gerados O corpo gerado sobre F por uma
coleo finita de elementos 1 , . . . , r K, denotado por
F (1 , . . . , r ), o menor subcorpo de K contendo F e
1 , . . . , r .
Extenso finitamente gerada Extenso F
existem finitos elementos 1 , . . . , r

K na qual
K tais que

K = F (1 , . . . , r ).
Extenso simples Extenso F K na qual existe K tal
que K = F ().
Elemento algbrico Seja F K uma extenso de corpos. Um
elemento K dito algbrico sobre F se existe um polinmio
no nulo f (x) F [x] tal que f () = 0. Em outras palavras, o
ncleo do homomorfismo : F [x] K, f (x) 7 (f (x)) =
f () no nulo.
Elemento transcendente Elemento no algbrico.
Polinmio mnimo Seja F K uma extenso de corpos e
K algbrico sobre F . O polinmio mnimo de sobre F ,
denotado por m,F (x), o polinmio de menor grau em F [x]

99

Extenses de Corpos
tendo como raiz. Em outras palavras, m,F (x) o gerador do ncleo do homomorfismo entre F [x] e K definido
por f (x) 7 f ().
Corpo de razes de um polinmio Chama-se corpo de razes
de um polinmio f (x) F [x] ao menor corpo contendo F e
todas as razes de f (x).
Extenso algbrica Um corpo K dito uma extenso algbrica
de F se todo elemento de K algbrico sobre F .
Fecho algbrico O fecho algbrico de um corpo F um corpo,
denotado por F , algbrico sobre F e satisfazendo a condio
em que todo polinmio f (x) F [x] fatora-se completamente
em F .
Corpo algebricamente fechado Corpo

no

qual

todo

polinmio com coeficientes em K possui uma raiz em K.


Em smbolos, K = K.
Extenso normal Extenso F K na qual todo polinmio irredutvel em F [x] possuindo um raiz em K fatora-se completamente em K.
Extenso de um isomorfismo Sejam F L e E K duas
extenses de corpos e : F E um homomorfismo de
corpos. Um homomorfismo : L K dito uma extenso
de se (c)
= (c) para todo c F .
Polinmio separvel Polinmio sem razes mltiplas. Se f (x)
F [x] separvel de grau n ento f (x) possui n razes distintas
em seu corpo de razes.
Elemento separvel Um elemento em uma extenso K de F
dito separvel sobre F se raiz de um polinmio sepa-

100

Estruturas Algbricas II

AULA

rvel em F [x]. Equivalentemente, dito separvel sobre


F se algbrico sobre F e seu polinmio mnimo m,F (x)
separvel.
Extenso separvel Extenso F K na qual todo elemento em
K separvel sobre F .

7.3

Exemplos

1. O corpo dos nmeros racionais Q tem caracterstica zero. De


fato, o subgrupo abeliano aditivo de Q gerado pela identidade
1 o conjunto Z dos inteiros. Logo, n.1 6= 0 para todo inteiro
positivo n. Assim, todo corpo contendo um subanel isomorfo
Z de caracterstica zero.
2. Se p primo ento Fp = Zp um corpo de caracterstica
positiva p. De fato,
p.1Fp = 1Fp + + 1Fp = p = 0.
|
{z
}
p parcelas

3. A relao entre caracterstica de um corpo F e seu corpo


primo como segue. Todo corpo F contm um elemento
identidade 1F . Da estrutura de corpo, F contm o grupo
abeliano aditivo gerado por 1F , aqui denotado por < 1F >.
A aplicao : Z F , n 7 n.1F , define um homomorfismo
no somente de grupos mas tambm de anis. Temos Im
= < 1F >. Existem dois casos:
Caso 1: Ker = 0. Neste caso, n 6= 0 implica (n) =
n.1F 6= 0. Assim, no existe n 6= 0 tal que n.1F = 0.
Isto significa ch F = 0. Pelo teorema fundamental do
isomorfismo, Z
=< 1F >. Desde que corpos de fraes

101

Extenses de Corpos
de domnios isomorfos so tambm isomorfos ento F
contm um corpo K isomorfo Q. Por construo e
definio de corpo primo, K
= Q o corpo primo de F .
Caso 2: Ker 6= 0. Sendo Z DIP, o ncleo Ker principal, Ker = (p). Podemos supor p > 0. Lembramos
que p, na condio de gerador do ideal, o menor inteiro
positivo em Ker . Por definio de ncleo, p o menor
inteiro positivo tal que (p) = p.1F = 1F + 1F = 0.
Isto justamente a definio de caracterstica. Assim,
ch F = p. O anel quociente Z/(p) domnio (isomorfo
um subanel de um corpo). Logo, p primo. Assim,
FP
= Zp = Z/(p) o corpo primo de F .
4. O polinmio x2 +1 irredutvel sobre R, logo o anel quociente
R[x]/(x2 + 1) um corpo. esta altura eis o que devemos
saber sobre um corpo:
(a) A expresso de um elemento genrico do corpo. Neste
caso, um elemento tpico de R[x]/(x2 + 1) unicamente
escrito na forma a + bx, a, b R com x satisfazendo a
relao x2 + 1 = 0 (ver exemplo 6.3).
(b) Efetuar a adio e a multiplicao. Neste caso:
Adio: (a + bx) + (c + dx) = (a + b) + (c + d)x.
Multiplicao:
(a + bx).(c + dx) = ac + adx + bcx + bdx2
= (ac bd) + (ad + bc)x
onde temos feito a substituio x2 = 1.
(c) Expressar, se possvel, por meio de um isomorfismo o
corpo como um corpo j conhecido. Neste caso, R[x]
=

102

Estruturas Algbricas II

AULA

C pois a aplicao : R[x] C, a + bx 7 a + bi define


um isomorfismo de corpos.
(d) Exibir, se possvel, o inverso de um elemento no nulo
geral. Neste caso, para a, b R no simultaneamente
nulos:
(a + bx)1 =
=
=
=

1
a + bx
1
a bx
.
a + bx a bx
a bx
2
a (bx)2
a
b
x
2
2
2
a +b
a + b2

5. Determinar o grau da extenso R R[x]. A dimenso de


um espao vetorial a cardinalidade de uma base qualquer.
Assim, devemos determinar uma base de R[x] sobre R. Lembramos que uma base um conjunto de geradores linearmente independentes.
(a) Conjunto de geradores: 1, x. De fato, todo elemento de
R[x] se escreve na forma a + bx = a.1 + b.x.
(b) Independncia linear: a + bx = 0 a + bx = 0
R[x]/(x2 +1) a+bx (x2 +1) a+bx = q(x)(x2 +1).
Se a + bx 6= 0 ento, 1 deg (a + bx) = deg q(x) +
deg (x2 + 1) 2, contradio. Logo, a + bx = 0 implica
a = b = 0.

6. Considere o corpo Q[ p]
= Q[x]/(x2 p) obtido no exemplo 6.4. Como no exemplo anterior, as caractersticas bsicas

da extenso Q Q[ p] so:
(a) Elemento genrico:

a + b p ( tal expresso nica).

103

Extenses de Corpos
(b) Operaes:
Adio:

(a + b p) + (c + d p) = (a + b) + (c + d) p
Multiplicao:

(a + b p).(c + d p) = (ac + p.bd) + (ad + bc) p

(c) A aplicao : Q[x] R, f (x) 7 f ( p), define um


homomorfismo de anis de ncleo Ker = (x2 p)
(prove isto!). Assim,
Q[x]/(x2 p)
=

Im

com

Im = {a0 +a1 p+ +an pn : ai Q, n Z0 } R

onde o conjunto direita denotado por Q[ p]. Neste


caso, temos mostrado que

Q[ p] = {a + b p : a, b Q}.
(d) Inverso multiplicativo:

(a + b p)1 =

a
b

p
2
2
2
pb
a pb



7. Q[ p] : Q = 2, pois 1, p uma base de Q[ p] sobre Q.


a2

De fato,

(a) Geradores: Todo elemento de Q[ p] se escreve na forma

a + b p = a.1 + b. p.
(b) Independncia linear: Da unicidade da expresso

a + b p segue que a + b p = 0 a = b = 0.

104

Estruturas Algbricas II

AULA

Daqui por diante, se F [x] o anel quociente F [x]/(p(x)),


usaremos o grau de p(x) para determinar o grau da extenso.
Em smbolos: [F [x] : F ] = n = deg p(x) ( ver exemplo 6.1).
8. Em Z2 [x], p(x) = x2 + x + 1 irredutvel. Segue as caractersticas do corpo Z2 [x] = Z2 [x]/(x2 + x + 1):
(a) Elemento genrico:
a + b
com 2 + + 1 = 0, isto , 2 = 1 = + 1. A
expresso acima nica.
(b) Operaes:
Adio:
(a + b) + (c + d) = (a + b) + (c + d)
Multiplicao:
(a + b).(c + d) = ac + (ad + bc) + bd2
= ac + (ad + bc) + bd( + 1)
= (ac + bd) + (ad + bc + bd)
(c) Inverso multiplicativo:
(a + b)1 = (a + b) + b
(d) [Z2 [] : Z2 ] = deg (x2 + x + 1) = 2. Logo, Z2 [] um
corpo com 4 elementos.
OBS 7.1. Em geral, se p(x) irredutvel em Zp [x], p
primo, ento Zp [] = Zp [x]/(p(x) um corpo de caracterstica p com pn elementos.
9. Seja F = Q e p(x) = x3 2 irredutvel em Q[x] (Eisenstein,
p = 2). As caractersticas bsicas do corpo Q[x]/(x3 2) so:

105

Extenses de Corpos
(a) Elemento genrico:
a + b + c2
com 3 2 = 0, isto , 3 = 2 ( = x). A expresso
acima nica.
(b) Operaes:
Adio:
(a1 + b1 + c1 2 ) + (a2 + b2 + c2 2 ) =
(a1 + a2 ) + (b1 + b2 ) + (c1 + c2 )2
Multiplicao:
(a1 + b1 + c1 2 )(a2 + b2 + c2 2 ) = r()

onde r(x) Q[x] o resto da diviso do produto


(a1 + b1 x + c1 x2 )(a2 + b2 x + c2 x2 ) por x3 2.
(c) Inverso multiplicativo: Dado g() = a+b+c2 Q[]
considere o polinmio g(x) = a+bx+cx2 Q[x]. Podese mostrar que MDC(x3 2, g(x)) = 1, (mostre isto
usando o fato de x3 2 ser irredutvel em Q[x] e deg
g(x) < deg x3 2). Pelo teorema de Bezout, existem
a(x), b(x) Q[x] que verificam a igualdade
a(x)g(x) + b(x)(x3 2) = 1
Passando s classes e lembrando que x = , obtemos
a()g() = 1 donde a() = g()1 (isto resolve a atividade 6.7).
(d) [Q[] : Q] = deg (x3 2) = 3.

106

Estruturas Algbricas II

7.4

AULA

Fatos

1. Multiplicatividade dos graus: Se F K e K L so extenses finitas ento F L finita e [L : F ] = [L : K] [K : F ].


2. Sejam K, L extenses finitas do corpo F e : K L um
isomorfismo de corpos tal que (c) = c para todo c F .
Ento, [K : F ] = [L : F ].
3. Seja F um corpo e seja p(x) F [x] um polinmio irredutvel
sobre F [x]. Ento,
(a) Existe uma extenso K de F contendo uma raiz de p(x).
(b) Suponha K uma extenso de F contendo uma raiz
de p(x). Seja F () o subcorpo de K gerado por F e .
Ento,
F ()
= F [x]/(p(x)).
Em particular, F () = F [].
4. Seja K uma extenso de F e K. So equivalentes as
afirmaes abaixo a respeito de um polinmio p(x) F [x]:
(a) p(x) gera o ncleo do homomorfismo : F [x] F [],
f (x) 7 f ().
(b) p(x) irredutvel em F [x] e tem como raiz.
(c) p(x) o polinmio de menor grau em F [x] tendo como
raiz.
OBS 7.2. Se q(x) F [x] um outro polinmio em F [x]
satisfazendo uma das condies acima ento (q(x)) = (p(x))
donde q(x) p(x). Assim, existe um nico polinmio mnico
nesta classe de polinmios associados satisfazendo tais
condies. Este polinmio, denotado por m,F (x), chamado
polinmio mnimo de .

107

Extenses de Corpos
5. Sejam K uma extenso de F e K algbrico sobre F com
polinmio mnimo m,F (x) F [x] de grau n. Ento,
(a) F ()
= F [] = F [x]/(m,F (x)).
(b) {1F , , 2 , , n1 } uma base de F () sobre F .
(c) [F () : F ] = n.

7.5

Exerccios Resolvidos

A menos que seja dito o contrrio, K uma extenso do corpo F .


1. Prove o fato 1: F K e K L finitas F L finita e
[L : F ] = [L : K][K : F ].
Soluo: Suponha [L : K] = n e [K : F ] = m. Por definio
de grau, seja
= {1 , . . . , n }
uma base de L sobre K e seja
= {1 , . . . , m }
uma base de K sobre F . Considere o conjunto
= {i j : 1 i n, 1 j m} L
com nm elementos. Basta mostrar que uma base de L
sobre F .
i) um conjunto de geradores de L sobre F : Seja u L.
Por definio de base, existem escalares a1 , . . . , an K
tais que
u = a1 1 + + an n

108

(7.7)

Estruturas Algbricas II

AULA

Desde que base de K sobre F e a1 , . . . , an so


elementos de K ento, para cada i = 1, . . . , n, existem
escalares b1i , . . . , bmi F tais que
a1 = b11 1 + b1m m
a2 = b21 1 + b2m m
..
.
an = bn1 1 + bnm m

Substituindo as igualdades acima na igualdade 7.7 obtemos


u = (b11 1 + + b1m m )1 + +
(bn1 1 + + bnm m )n

=
=

bij i j .

1in,1jm

ii) um conjunto linearmente independente: Seja dada


uma combinao linear nula
X

bij i j = 0

1in,1jm

com bij F . Podemos escrever a igualdade acima na


forma:
(b11 1 + +b1m m )1 + +(bn1 1 + +bnm m )n = 0.
em que bi1 1 + + bim m K para todo i = 1, . . . , n.
Mas, 1 , . . . , n so linearmente independentes sobre K

109

Extenses de Corpos
donde
b11 1 + b1m m = 0
b21 1 + b2m m = 0
..
.
bn1 1 + bnm m = 0

com bij F . Como 1 , . . . , m so linearmente independentes sobre F segue que bij = 0 para todo i =
0 . . . , n e para todo j = 0, . . . , m.
2. Seja {Ei : i I} uma famlia de subcorpos de um corpo K.
Mostre que a interseo iI Ei um subcorpo de K.
Soluo: Os elementos 0K e 1K esto em cada Ei , i I,
por definio de subcorpo. Logo, 0K , 1K iI Ei . Dados
a, b iI Ei , por definio de interseo, a, b Ei para
todo i I. Logo, a b, ab, a1 (se a 6= 0) esto em cada
Ei para todo i I donde tambm esto em iI Ei . Como
iI Ei K, K corpo, ento iI Ei no possui divisores de
zero. Assim, iI Ei corpo.
3. Se u K mostre que F (un ) F (u).
Soluo: Por definio, F (un ) o menor corpo contendo F
e un . Como F (u) o menor corpo contendo F e u segue
que F (u) contm F e toda potncia un . Por minimalidade,
F (un ) F (u).
4. Se v K e c F , mostre que F (c + v) = F (v) = F (cv).
Soluo: Por definio, F (c + v) contm F e c + v. Temos
v = c + v c F (c + v) desde que c, c + v F (c + v). Assim,

110

Estruturas Algbricas II

AULA

F (c + v) um corpo contendo F e v. Por minimalidade,


F (v) F (c + v). Por outro lado, F (v) contm c e v donde
c + v F (v). Da, F (c + v) F (v) por minimalidade. Logo,
F (c + v) = F (v).
5. Mostre o fato 2: Sejam K, L extenses finitas do corpo F e
: K L um isomorfismos de corpos tal que (c) = c para
todo c F . Ento, [K : F ] = [L : F ].
Soluo: Com a hiptese (c) = c para todo c F , pode
ser considerado como um isomorfismo de espaos vetoriais.
Assim, L e K so espaos vetoriais sobre F isomorfos. Logo,
tm a mesma dimenso.
p

i 2 C algbrico sobre Q.
p

Soluo: Denotando = i 2 e eliminando os radicais

6. Mostre que

mostra-se que
8 24 3 = 0.
Assim, f (x) = x8 2x4 3 Q[x] no nulo e
q

f ( i 2) = f () = 8 24 3 = 0.
7. Se u, v K e u + v algbrico sobre F mostre que u
algbrico sobre F (v).
Soluo: Por definio de elemento algbrico, existe um
polinmio f (x) F [x], no nulo, tal que f (u + v) = 0.
Seja f (x) = a0 + a1 x + + xn , ai F e n > 0 (podemos
supor f (x) mnico). Ento,
f (u + v) = a0 + a1 (u + v) + + (u + v)n = 0.
Efetuando as operaes na equao acima obtemos
f (u + v) = f (v) + b1 u + + bn1 un1 + un = 0

111

Extenses de Corpos
em que f (v), b1 , . . . , bn1 F (v). Assim,
g(x) = f (v) + b1 x + + bn1 xn1 + xn F (v)[x]
no nulo e tem u como raiz. Logo, u algbrico sobre F (v).
8. Prove o fato 3: Seja F um corpo e seja p(x) F [x] um
polinmio irredutvel sobre F [x]. Ento,
(a) Existe uma extenso K de F contendo uma raiz de p(x).
(b) Suponha K uma extenso de F contendo uma raiz
de p(x). Seja F () o subcorpo de K gerado por F e .
Ento,
F ()
= F [x]/(p(x)).
Em particular, F () = F [].
Soluo:
i) Se p(x) F [x] irredutvel ento K = F [x]/(p(x))
uma extenso de F (pois F K) na qual o elemento
= x raiz de p(x) F [x] K[x].
ii) A funo : F [x] K, (f (x)) = f (), define
um homomorfismo em que p(x) Ker . Sendo p(x)
irredutvel, o ideal (p(x)) F [x] maximal e (p(x))
Ker F [x]. Como Ker ( F [x] (as constantes
no pertencem ao ncleo) segue da maximalidade de
(p(x)) que Ker = (p(x)). Assim,
F [x]/(p(x))
=

Im

= F []
= {ao + a + + an r : ai F }
= {ao + a + + an1 n1 :
ai F, n = deg p(x)}

112

Estruturas Algbricas II

AULA

(com tal expresso na ltima igualdade nica). Mas,


F () corpo e contm F e . Logo, contm todo
elemento na forma a0 + a1 + + an1 n1 . Assim,
F [] F (). Por outro lado,
F []
= F [x]/(p(x))
corpo contendo F e . Pela definio de F () como
menor corpo contendo F e temos F () F []. Assim, F () = F []
= F [x]/(p(x)).
9. Prove o fato 4: Seja K uma extenso de F e K. So
equivalentes as afirmaes abaixo a respeito de um polinmio
p(x) F [x]:
(a) p(x) gera o ncleo do homomorfismo : F [x] F [],
f (x) 7 (f (x)) = f ().
(b) p(x) irredutvel em F [x] e tem como raiz.
(c) p(x) o polinmio de menor grau em F [x] tendo como
raiz.
Soluo:
(i) (ii) Por hiptese, Ker = (p(x)). Por definio de
ncleo, p() = 0. Pelo teorema fundamental do isomorfismo, F [x]/(p(x))
= F [] K. Assim, o anel
quociente F [x]/(p(x)) subanel do corpo K, logo
domnio. Isto mostra que o ideal (p(x)) primo donde
p(x) irredutvel.
(ii) (iii) A hiptese p(x) irredutvel em F [x] implica
(p(x)) ideal maximal em F [x]. A hiptese p() = 0
implica
(p(x)) Ker ( F [x].

113

Extenses de Corpos
Isto mostra que (p(x)) = Ker . Deste modo,
f ()

0 f (x)

Ker = (p(x))

f (x) = g(x)p(x), para algum g(x) F [x]


deg f (x) deg p(x).
(iii) (i) Seja Ker = (q(x)). Ento, p() = 0
p(x) Ker p(x) = q(x)g(x) para algum g(x)
F [x] deg p(x) deg q(x). Mas, q(x) tem como
raiz e p(x) o polinmio de menor grau tendo como
raiz. Logo, deg q(x) deg p(x). Assim, deg q(x) = deg
p(x) e temos deg g(x) = 0. Logo, p(x) q(x) donde
(p(x)) = (q(x)) = Ker .
10. Prove o fato 5: Sejam K uma extenso de F e K algbrico sobre F com polinmio mnimo m,F (x) F [x] de
grau n. Ento,
i) F ()
= F [] = F [x]/(m,F (x)).
ii) {1F , , 2 , , n1 } uma base de F () sobre F .
iii) [F () : F ] = n.
Soluo:
i) Segue da implicao (iii) (i) no fato 4.
ii) Foi provado na observao 6.1 da aula 6.
iii) Definio de grau de uma extenso e do item anterior.

11. Determine [Q( 6 2) : Q].


Soluo: O polinmio x6 2 Q[x] irredutvel (Eisenstein,

6
p = 2) e tem 6 2 como raiz. Ento, m
6
2,Q (x) = x 2 donde

[Q( 6 2) : Q] = deg m
6
2,Q (x) = 6.
12. Determine o polinmio mnimo de

114

2 + i sobre Q e sobre R.

AULA

Estruturas Algbricas II
Soluo: Denotando =

2 + i e eliminando os radicais

obtemos
4 22 + 9 = 0.
Se p(x) = x4 2x2 + 9 Q[x] ento p() = 0. As possveis
razes racionais de p(x) so 1, 3 9. Mas, p(1) = 10,
p(3) = 54 e p(9) = 6.390. Deste modo, p(x) pode ser
fatorado em Q[x] somente como um produto p(x) = (x2 +
ax + b)(x2 + cx + d) com a, b, c, d Q. Tal igualdade acarreta
nas equaes:

a+c = 0

(7.8)

b + ad + d = 2

(7.9)

ad + bc = 0

(7.10)

bd = 9.

(7.11)

As equaes 7.8 e 7.10 implica a(d b) = 0 donde a = 0 ou


d = b. Se a = 0 obtemos, usando as equaes 7.9 e 7.11, a
equao quadrtica b2 + 2b 9 = 0 cujo discriminante =
40. Logo, no possui solues racionais. Por outro lado, se
b = d, obtemos b2 = 9. Assim, o sistema acima no admite
solues racionais e, portanto, p(x) mnico e irredutvel em
Q[x]. Ento m,Q (x) = x4 2x2 + 9. Vejamos sobre os reais.

Como acima, = 2 + i implica 2 2 2 + 3 = 0. Assim,

p(x) = x2 2 2x + 3 R[x] e tem discriminante = 4.


Logo, p(x) R[x] mnico e irredutvel sobre R[x] donde

m,R (x) = x2 2 2x + 3.
13. Seja K um elemento algbrico sobre F de grau mpar.
Mostre que F () = F (2 ).

115

Extenses de Corpos
Soluo: Suponha F () 6= F (2 ). Desde que F () = F (2 )
se e somente se F (2 ) temos 6 F (2 ). Ento, o
polinmio quadrtico x2 2 F (2 ) mnico e tem razes
no pertencentes F (2 ). Isto implica x2 2 irredutvel
sobre F (2 )[x]. Logo, m,F (2 ) (x) = x2 2 e, portanto,
[F () : F (2 )] = 2. Da,
[F () : F ] = [F () : F (2 )]F (2 ) : F ] = 2.[F (2 ) : F ]
donde [F () : F ] par, contradio.

7.6

Concluso

A estrutura de espao vetorial subjacente uma extenso de corpos


fundamental no estudo de extenses de corpos. Destaca-se a
noo do grau de uma extenso. Tal noo juntamente com a de
polinmio mnimo nos fornece toda a estrutura de uma extenso
simples.

RESUMO

Seja F K uma extenso de corpos.


Grau da extenso F K:
[K : F ] = dimF K (dimenso de espaos vetoriais).
Multiplicatividade dos graus:
F K e K L finitas [L : F ] = [L : K][K : F ].
Caracterizao do polinmio mnimo:
Seja K algbrico sobre F e considere o homomorfismo
: F [x] K, f (x) 7 f ()

116

Estruturas Algbricas II

AULA

Dado p(x) F [x], tem-se:


p(x) = m,F (x) Ker = (p(x))
p(x) irredutvel e p() = 0

Estrutura de uma extenso algbrica simples:


Sejam K uma extenso de F e K algbrico sobre F com
polinmio mnimo m,F (x) F [x] de grau n. Ento,
a) F ()
= F [] = F [x]/(m,F (x)).
b) {1F , , 2 , , n1 } uma base de F () sobre F .
c) [F () : F ] = n.

PRXIMA AULA

Estudaremos a noo de extenses de isomorfismo. Ser de muita


utilidade na determinao do grupo de Galois de uma extenso de
corpos. No momento, ser contextualizada para dar uma condio
suficiente para caracterizar isomorfismo entre duas extenses simples.

ATIVIDADES

ATIV. 7.1. Mostre que [K : F ] = 1 se e somente se K = f .


ATIV. 7.2. Mostre que {1, x} uma base de Z2 [x]/(x2 + x + 1)
sobre Z2 .
ATIV. 7.3. Se F, K, L so corpos tais que F K L e [L : F ]
finita, mostre que [K : F ] finita e [K : L] [L : F ].

117

Extenses de Corpos
ATIV. 7.4. Se [K : F ] = p, p primo, mostre que no existe corpo
E tal que F ( E ( K.
ATIV. 7.5. Mostre que Q(2 3i) = Q(1 + i).

ATIV. 7.6. Determine [Q( 5 7) : Q].


ATIV. 7.7. Se L um corpo tal que F K L e v L
algbrico sobre F , mostre que v algbrico sobre K.
ATIV. 7.8. Determine o polinmio mnimo de cada elemento a
seguir sobre o corpo especificado:
a)
b)
c)
d)
e)

1 + 5 sobre Q.

3i +

2 sobre Q.

2 + i sobre Q.
2 + i sobre R.

5 sobre Q( 3).

ATIV. 7.9. Se K uma extenso de corpo de Q de grau 2, mostre

que K = Q( d) para algum inteiro livre de quadrado d (livre de


quadrado significa d no divisvel por p2 para todo primo p).

LEITURA COMPLEMENTAR

GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.

118

AULA

Extenso de um
Isomorfismo
META:
Obter uma condio suficiente para duas extenses simples serem
isomorfas e elaborar um mtodo para construir automorfismos de
uma extenso fixando o corpo base.

OBJETIVOS:
Ao final da aula o aluno dever ser capaz de:
Definir extenso de um isomorfismo.
Usar o critrio sobre polinmios mnimos para determinar se duas
extenses simples so isomorfas.
Aplicar o mtodo descrito na aula para construir automorfismos
de uma extenso finitamente.

PR-REQUISITOS
A noo de isomorfismo de corpos e polinmio mnimo e o fato 5
da seo 7.4.

Extenso de um
Isomorfismo

8.1

Introduo

Dada uma funo f : A B e um subconjunto C A, a restrio


de f ao conjunto C a funo f|C : C B definida por f|C (x) =
f (x) para x C. Seja : F E um homomorfismo de corpos
e sejam A, B anis tais que F A, E B. Um homomorfismo
: A B dito uma extenso de (ou que estende-se )
se |F = .
Se : F E um homomorfismo (isomorfismo) de corpos ento
a aplicao
: F [x] E[x]
definida por
(a
0 + a1 x + + an xn ) = (a0 ) + (a1 )x + + (an )xn
define um homomorfismo (isomorfismo) de F [x] em E[x] (voc
consegue verificar isto?). Alm disso, se c F F [x] ento
(c)

= (c) e, consequentemente, uma extenso de . Em


outras palavras, todo homomorfismo (isomorfismo) : F E
estende-se um homomorfismo (isomorfismo) : F [x] E[x]
definido por
(a
0 + a1 x + + an xn ) = (a0 ) + (a1 )x + + (an )xn .
Nesta aula, mostraremos que a igualdade entre os polinmios
mnimos de dois elementos algbricos sobre um mesmo corpo acarreta isomorfismo entre as extenses simples geradas pelos mesmos.
Veremos que esta condio de igualdade entre polinmios mnimos,
para ocorrer isomorfismo, o caso particular para se estender o automorfismo identidade.

120

AULA

Estruturas Algbricas II

8.2

m,F (x) = m,F (x) F ()


= F ()

Sejam L e K duas extenses de um mesmo corpo F e sejam L


e K elementos algbricos. Se m,F (x) = m,F (x) ento, do
fato 5 da seo 7.4, tem-se
F () = F []
= F [x]/(m (x)) = F [x]/(m (x))
= F [] = F ().
Podemos mostrar ainda que existe um isomorfismo
: F () F ()
satisfazendo as condies () = e (c) = c para todo c F .
De fato, o isomorfismo identidade sobre F , aqui denotado por IF ,
se estende um isomorfismo IF sobre F [x]. Considere o diagrama
de homomorfismos

IF

F [x] F [x]/(m,F (x))


F [x]
= F ()

IF

Ento, o homomorfismo composio IF sobrejetivo (composio de homomorfismos sobrejetivos) e


IF (f (x)) = 0 f () = 0 f (x) (m,F (x))
Mas, (m,F (x)) = (m,F (x)) donde
IF (f (x)) = 0 f (x) (m,F (x))
Assim, Ker IF = (m,F (x)). Denotando
J = Ker ( IF ) = (m,F (x)),
segue, pelo teorema fundamental do isomorfismo, que a aplicao
: F [x]/J F []

121

Extenso de um
Isomorfismo
definida por
(f (x)) = IF (f (x)) = (f (x)) = (f (x)) = f ()
define um isomorfismo. Temos os seguintes isomorfismos

F () F [x]/J F [].
Ento,
1 : F () F ()
um isomorfismo tal que 1 (f ()) = (f (x)) = f (). Em
particular, 1 () = e 1 (c) = c para todo c F .

1
3
3
3
Exemplo 8.1. Considere = 2 R e = 2( +
i)
2
2

3
1
C. Note que = +
i uma raiz cbica complexa da
2
2
unidade, pois = cos 120 + sin 120 i = e2i/3 (frmula de Euler)

3
e, portanto, 3 = e2i = 1. Assim, 3 = ( 3 2)3 = 3 2 3 =
2.1 = 2. Ento, e so razes do polinmio x3 2 Q[x].
Como x3 2 irredutvel em Q[x], e tm polinmios mnimos
iguais sobre Q[x]. Pelo resultado acima, existe um isomorfismo

1
3
3
3
: Q( 2) Q[ 2( +
i))
2
2
tal que () = e (c) = c para todo c Q (extenso da identidade sobre Q).

8.3

Extenso de isomorfismos para extenses


simples

Segue uma generalizao do resultado acima.


Teorema 8.1. Seja : F F 0 um isomorfismo de corpos e K, K 0
extenses de F e F 0 , respectivamente. Seja K algbrico sobre

122

Estruturas Algbricas II

AULA

F com polinmio mnimo m,F (x) F [x] e 0 K 0 algbrico sobre

F 0 com polinmio mnimo m0 ,F 0 F 0 . Seja : F [x] F 0 [x] a


extenso de como acima. Se (m
,F (x)) = m0 ,F 0 (x) ento

existe um isomorfismo : F [] F 0 [0 ] estendendo tal que


() = 0 .

Prova: Assim como na seo anterior, o isomorfismo estende-se


um isomorfismo

: F [x] F 0 [x].

Observe que F 0 [x]/((m


,F (x)) = F 0 [x]/(m0 ,F 0 (x))
= F 0 (0 ),
pois (m
,F (x)) = m0 ,F 0 (x) por hiptese. Temos o seguinte diagrama de homomorfismos

F [x] F 0 [x] F [x]/((m


,F (x))
= F (0 )

F0

onde

)(x)) = (f
)(0 ).
(f
(x)) = ((f
)(x)) = ((f

A composio acima um homomorfismo sobrejetivo, pois composio de homomorfimos sobrejetivos homomorfismo sobreje-

123

Extenso de um
Isomorfismo
tivo. Alm disso,
(f
(x)) = 0 ((f
))(0 ) = 0
(f
(x)) = 0
(f
(x)) ((m
,F (x)))
(f
(x)) = g(x)(m
,F (x))
(f
(x)) = (h(x))

(m
,F (x))
(f
(x)) = (h(x)m

,F (x))
f (x) = h(x)m,F (x)
f (x) = (m,F (x))

Usamos acima o fato de ser isomorfismo. Denotando =


,
temos Ker = (m,F (x)). Assim, pelo teorema fundamental
do isomorfismo, a aplicao
: F [x]/(m,F (x)) F 0 (0 )
dada por (f (x)) = (f (x)) = ((f
))(0 ) define um isomorfismo.
Temos ento os seguintes isomorfismos:

F () F [x]/(m,F (x)) F 0 (0 ).
Assim,
1 : F () F 0 (0 )
um isomorfismo tal que 1 (f ()) = (f (x)) = ((f
))(0 ).
Em particular, 1 () = 0 e 1 (c) = (c) para todo
c F.

OBS 8.1. Daqui por diante, usaremos o diagrama

: F () F 0 (0 )

124

F0

Estruturas Algbricas II

AULA

para representar o teorema acima. Nestes termos, o resultado


F ()
= F () sempre que m (x) = m (x), obtido na seo anterior, um caso particular do teorema acima e tem sua representao pictrica dada por
:

F () F 0 (0 )

IF :

F0

onde IF denota o isomorfismo identidade em F .


OBS 8.2. Uma extenso da identidade : Q Q ser chamada
um Q-homomorfismo, Q-isomorfismo ou Q-automorfismo conforme
seja um homomorfismo, isomorfismo ou automorfismo, respectivamente.
Exemplo 8.2. Sejam p, q Z primos positivos. Mostre que existe


um Q-automorfismo : Q( p, q) Q( p, q) tal que ( p) =

p e ( q) = q.

8.4

Concluso

Estender isomorfismos de corpos perante a anlise de polinmios


mnimos prtico e ser de muita utilidade na teoria de Galois.

RESUMO

Todo homomorfismo (isomorfismo) : F E estende-se


um homomorfismo (isomorfismo) : F [x] E[x] definido
por
(a
0 + a1 x + + an xn ) = (a0 ) + (a1 )x + + (an )xn .

125

Extenso de um
Isomorfismo
m,F (x) = m,F (x) F ()
= F ().
Seja : F F 0 um isomorfismo de corpos e K, K 0 extenses de F e F 0 , respectivamente. Seja K algbrico
sobre F com polinmio mnimo m,F (x) F [x] e 0 K 0 algbrico sobre F 0 com polinmio mnimo m0 ,F 0 F 0 . Seja :
F [x] F 0 [x] a extenso de como acima. Se (m
,F (x)) =

m0 ,F 0 (x) ento existe um isomorfismo : F [] F 0 [0 ]


estendendo tal que () = 0 .

PRXIMA AULA

Estudaremos extenses algbricas. Relacionaremos os tipos de extenses com extenses algbricas sempre buscando condies suficientes para caracterizar quando uma extenso dada algbrica
sobre o corpo base.

ATIVIDADES

Durante as atividades a seguir, K uma extenso do corpo F .


ATIV. 8.1. Seja : F E um isomorfismo de corpos, f (x)
F [x] e : F [x] E[x] o isomorfismo induzido por . Mostre que:
i) deg f (x) = deg (f (x)).
ii) f (x) irredutvel se e somente se (f (x)) irredutvel. item[iii)]
Sejam K e L extenses de F e E, respectivamente. Se
:
K L uma extenso de e K uma raiz de f (x)
mostre que
() L uma raiz de (f (x)).

126

AULA

Estruturas Algbricas II

ATIV. 8.2. Mostre que existe um automorfismo : Q( 3)

Q( 3) tal que ( 3) = 3 e (c) = c para todo cinQ.


ATIV. 8.3. Mostre que existe o isomorfismo obtido na ativi
dade anterior estende-se um Q-automorfismo : Q( 3)( 5)

Q( 3)( 5) tal que ( 5) = 5.



ATIV. 8.4. Mostre que existe um Q-automorfismo : Q( 3, 5)

Q( 3, 5) tal que ( 3) = 3 e ( 5) = 5.

ATIV. 8.5. Mostre que existe um Q-automorfismo : Q( 2, i)

Q( 2, i) tal que ( 2) = 2 e (i) = i.

ATIV. 8.6. Mostre que existe um Q-automorfismo : Q( 2, i)

Q( 2, i) tal que ( 2) = 2 e (i) = i.

ATIV. 8.7. Mostre que existe um Q-automorfismo : Q( 2, i)

Q( 2, i) tal que ( 2) = 2 e (i) = i.

LEITURA COMPLEMENTAR

DUMMIT, David S., FOOTE, Richard M. Abstract Algebra. John


Wiley and Sons, 3.ed., USA, 2004.
GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.

127

AULA

Extenses algbricas
META:
Determinar condies necessrias e/ou suficientes para caracterizar extenses algbricas.

OBJETIVOS:
Ao final da aula o aluno dever ser capaz de:
Reconhecer se uma dada extenso algbrica.

PR-REQUISITOS
As seguintes definies sobre extenses: algbrica, finita, finitamente gerada.

Extenses algbricas

9.1

Introduo

Para sua maior comodidade, seguem as definies usadas nesta


aula.

O Grau de uma extenso F K a dimenso de K como


espao vetorial sobre F . Notao: [K : F ].
Extenso finita := extenso de grau finito.

F K dita finitamente gerada := existem u1 , . . . , ur K


tais que K = F (u1 , . . . , ur ).

K algbrico sobre F := existe f (x) F [x], f (x) 6= 0, com


f () = 0.

F K algbrica := todo elemento de K algbrico sobre F .

Todo corpo F algbrico sobre si mesmo. De fato, para todo


F , o polinmio f (x) = x F [x] no nulo e tem como
raiz.
Esta aula para relacionar os trs tipos de extenses de corpos:
finita, finitamente gerada e algbrica. A relao buscada aqui
de implicao, isto , quem implica em quem. A implicao finita
algbrica a fundamental. Desta seguiro as outras. Por exemplo, finitamente gerada por elementos algbricos algbrica.
A recproca algbrica finita no vale em geral. O que vale a
equivalncia algbrica + finitamente gerada finita.
Aproveitando o contexto do estudo de extenses algbricas, definiremos o fecho algbrico de um corpo F sobre um corpo K e mostraremos
que o conjunto, assim considerado, admite a estrutura de corpo.

130

AULA

Estruturas Algbricas II

9.2

Finita algbrica

Seja K uma extenso finita de grau n. Por definio de grau, a


dimenso de K como um espao vetorial sobre F n. O conjunto 1, , 2 , . . . , n tem n + 1 elementos e, portanto, tem cardinalidade maior que a dimenso de K sobre F . Ento linearmente dependente. Por definio de dependncia linear, existem
a0 , a1 , . . . , an F , no todos nulos, tais que
a0 .1 + a1 . + an n = 0.
Logo, f (x) = a0 + a1 x + + an xn F [x] no nulo (por qu?)
e tem como raiz. Assim, todo elemento K algbrico sobre
F . Por definio, K algbrico sobre F .
Teorema 9.1. Toda extenso finita algbrica.

9.3

Finitamente gerada algbrica ?

Seja F (1 , . . . , r ) uma extenso finitamente gerada de um corpo


F . Se um dos i s transcendente sobre F ento F (1 , . . . , r )
infinita sobre F (por qu?). Assim, a implicao s tem sentido
quando 1 , . . . , r so algbricos sobre F . Neste caso, a resposta
afirmativa.
Teorema 9.2. Se K = F (1 , . . . , r ) uma extenso finitamente
gerada de F por elementos algbricos 1 , . . . , r , ento K uma
extenso algbrica finita de F .
Prova: Pela seo anterior basta provarmos a finitude. Usaremos
induo em r. Se r = 1 ento K = F (1 ) com 1 algbrico sobre
F . Ento, [F (1 : F ] = deg m,F (x), logo finita. Suponhamos
toda extenso finitamente gerada por r 1 elementos algbricos

131

Extenses algbricas
sobre F finita e consideremos K = F (1 , . . . , r ) com 1 , . . . , r
algbricos sobre F . Por hiptese indutiva, F (1 , . . . , r1 ) finita
sobre F . Por outro lado, 1 algbrico sobre F implica 1 algbrico sobre L = F (1 , . . . , r1 ). A extenso simples L(r ) =

F (1 , . . . , r1 ) (r ) = K ento finita sobre L. Temos ento
F L K com K finita sobre L e L finita sobre F . Pela multiplicatividade dos graus, K finita sobre F .

9.4

Finita finitamente gerada e algbrica

A seo anterior mostra que finitamente gerada e algbica finita.


Esta seo trata da recproca esta implicao.
Teorema 9.3. F K finita F K finitamente gerada e
algbrica.
Prova: A condio necessria foi provada na seo anterior. Resta
provar a condio suficiente. Suponha F K finita de grau r.
Sejam 1 , . . . , r uma base de K sobre F . Temos
F F (1 , . . . , r ) K
com K finita sobre F . Ento, F F (1 , . . . , r ) finita e vale a
igualdade
[K : F ] = [F (1 , . . . , r ) : F ][K : F (1 , . . . , r )]
donde
[K : F ] = r [F (1 , . . . , r ) : F ].
Mas, 1 , . . . , r F (1 , . . . , r ) so linearmente independentes
sobre F , logo
[F (1 , . . . , r ) : F ] r = [K : F ].

132

AULA

Estruturas Algbricas II

Assim, [F (1 , . . . , r ) : F ] = r = [K : F ]. Logo,
r = r.[K : F (1 , . . . , r )]
donde [K : F (1 , . . . , r )] = 1 e, portanto, K = F (1 , . . . , r ).
.

9.5

Transitividade

A noo de extenso algbrica transitiva.


Teorema 9.4. Se F K L so extenses de corpos com L
algbrica sobre K e K algbrica sobre F ento L algbrica sobre
F.
Prova: Seja L. Por hiptese, L algbrico sobre K. Assim,
algbrico sobre K. Por definio de elemento algbrico, existe
um polinmio f (x) = am xm + + a1 x + a0 K[x], no nulo,
tal que f () = am m + + a1 + a0 = 0, ai K. Desde que
a0 , . . . , am L = F (a0 , . . . , am ), algbrico sobre L. Assim,
F L L() com L() finita sobre L. Mas, L finitamente
gerada sobre F por elementos algbricos. Pela seo anterior, L
finita sobre F . Pelo teorema da multiplicatividade dos graus,
L() finita sobre F . Pelo teorema 9.1, L() algbrica sobre F
donde algbrico sobre F . Desde que temos considerado K
arbitrrio segue que K algbrico sobre F .

9.6

O corpo dos elementos algbricos

Seja F K uma extenso de corpos. Denotemos por F K o conjunto dos elementos de K algbricos sobre F . Temos F F K , pois
F K e todo elemento de F algbrico sobre F . Se , F K

133

Extenses algbricas
ento e so algbricos sobre F , por definio de F K . Ento,
F F (, ) uma extenso algbrica. Como F (, ) corpo,
temos + , ., , F (, ) F K . Do mesmo modo, se
no nulo ento 1 F (, ) F K . Assim, F K fechado
sob adio e multiplicao bem como sob inversos aditivos e multiplicativos. Logo, F K corpo. Este corpo chamado de fecho
algbrico de F em K ou relativo ao corpo K.

9.7

Algbrica 6 Finita

Vamos conhecer agora um exemplo de uma extenso algbrica no


finita. Considere a extenso Q C e seja QC o fecho algbrico dos
racionais relativo aos complexos. Por definio, QC o conjunto

dos complexos algbricos sobre Q. Os nmeros n 2 R C so


n
n
todos elementos de QC com polinmio mnimo m
2,Q (x) = x 2

(Eisenstein, p = 2). Logo, [Q( n 2) : Q] = n. Ento, para todo


p

inteiro positivo k, Q Q( k+1 )2 QC com [Q( k+1 2) : Q] =

k + 1 > k. Logo, [QC : Q] > k qualquer que seja o inteiro positivo


k. Portanto, QC uma extenso algbrica infinita de Q.
OBS 9.1. Considere o corpo QR = QC R dos nmeros reais
algbricos sobre Q. O corpo Q enumervel. Qualquer que seja o
inteiro positivo n, o nmero de polinmios de grau exatamente n
enumervel (um polinmio de grau n determinado unicamente
pelos seus n + 1 coeficientes em Q). Como um polinmio de grau
n tem no mximo n razes, o conjunto
QR (n) = { R : deg m,Q(x) = n}
enumervel. Finalmente, QR = n>0 QR (n) uma unio enumervel de conjuntos enumerveis e, portanto, tambm enumervel. Como R no enumervel, existem elementos reais no

134

Estruturas Algbricas II

AULA

algbricos, isto , transcendentes sobre Q. Temos a incluso prpria

QR ( R donde QR ( C. Segue tambm que R uma extenso infinita dos racionais.


OBS 9.2. Sabemos que = 3, 14159 . . . e e = 2.71828 . . . so
transcendentes sobre Q (a prova no trivial!). Ver o livro do
Hardy (Leitura complementar) para uma introduo ao assunto.

9.8

Concluso

As extenses algbricas finitamente geradas possuem uma estrutura algbrica bastante simples: so espaos vetoriais de dimenso
finita.

RESUMO

Finita
SK IIIII
}}}}
IIII
}
}
IIII
}}}}
IIII
}
}
}
IIII
}
}}
IIII
}
}
}
}
IIII
}
}
}
IIII
}
}}
}
IIII
}
}
}
I(
}
z }


Algbrica

Finitamente gerada

Contra-exemplos:
Algbrica 6 Finita: QR sobre Q.
Algbrica 6 Finitamente gerada: QR sobre Q.
Finitamente gerada 6 Finita: Q() sobre Q.
Finitamente gerada 6 Algbrica: Q() sobre Q.

135

Extenses algbricas
Transitividade
L

L
algbrica

+3 K algbrica

K
algbrica

PRXIMA AULA

Voltaremos a ver o processo de adjuno de razes para construo


do corpo de razes de um polinmio. Mostraremos a existncia de
tais corpos, a unicidade, e a caracterizaremos por meio de extenses
finita e normal.

ATIVIDADES

ATIV. 9.1. Determine uma base de cada extenso de Q dada


abaixo.

a) Q( 5, i).

b) Q( 2, 3, 5).

c) Q( 3 2, 3).

d) Q( 2 + 3).
ATIV. 9.2. Se F K uma extenso finita e algbrico sobre
K prove que [K() : K] [F () : F ].

136

Estruturas Algbricas II

AULA

ATIV. 9.3. Suponha que , K so algbricos sobre F .


a) Se deg m,F (x) = m e deg m,F (x) = n so relativamente
primos (MDC(m, n) = 1)), mostre que [F (, ) : F ] = mn.
b) Mostre, por meio de um contraexemplo, que a concluso da
parte a) pode ser falsa se m e n no so relativamente primos.

c) Determine [Q( 2, 3 2) : Q].

LEITURA COMPLEMENTAR

DUMMIT, David S., FOOTE, Richard M. Abstract Algebra. John


Wiley and Sons, 3.ed., USA, 2004.
GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008.
HARDY, G. H., WRIGHT, E. M. An introduction to the theory
of numbers. 4.ed., Oxford University Press, 1960.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.

137

AULA

Corpo de razes
META:
Conceituar corpo de razes de um polinmio sobre um corpo, determinar sua existncia e unicidade e caracteriz-lo por meio de
extenses finitas e normais.

OBJETIVOS:
Ao final da aula o aluno dever ser capaz de:
Determinar o corpo de razes de alguns polinmios.
Reconhecer se uma dada extenso normal.

PR-REQUISITOS
As noes de extenso finita e finitamente gerada, o processo de
adjuno de razes e o teorema de extenso de isomorfismos para
extenses simples.

10

Corpo de razes

10.1

Introduo

Seja F K uma extenso de corpos e f (x) F [x] um polinmio


no constante. Vimos, na aula 06, que o anel quociente F [x]/I,
onde I = (f (x)), nos fornece um anel no qual o polinmio f (x)
possui uma raiz, a saber x. No entanto, F [x]/I pode no ser um
corpo. Sabemos que F [x]/I corpo se e somente se o polinmio
f (x) irredutvel sobre F [x]. O procedimento exibido na seo 6.5,
chamado adjuno de razes, nos fornece um mtodo para construirmos a menor extenso de F contendo todas as razes de f (x).
Nesta aula, retomaremos este processo e mostraremos que o corpo,
assim construdo, nico a menos de um isomorfismo. Este corpo
, por definio, o corpo de razes de f (x) sobre F . Usaremos a
notao SFF (f (x)) para denotar o corpo de razes de f (x) sobre
F . Assim, dado f (x) k[x], uma extenso K de F um corpo de
razes de f (x) sobre F se K satisfaz as seguintes condies:
i) f (x) decompe-se em K, isto , f (x) = c(x 1 ) (x r )
para certos 1 . . . , r K.
ii) K = F (1 , . . . , r ).
A caracterizao do corpo de razes de um polinmio dada por
meio de uma noo bastante refinada em teoria dos corpos; a saber:
normalidade. Mostraremos que uma extenso um corpo de razes
de um polinmio se e somente se finita e normal. Este ser nosso
grande resultado nesta aula e de extrema importncia na teoria de
Galois. Comearemos com alguns exemplos a fim de fixar idias.

10.2

Exemplos

Exemplo 10.1. O corpo de razes de x2 2 sobre Q o corpo

Q( 2), pois Q(x)/(x2 2)


= Q( 2) e 2 Q( 2).

140

Estruturas Algbricas II

AULA

Exemplo 10.2. SFR (x2 +1) = C desde que x2 +1 = (xi)(x+i)

10

C[x] e C = R(i). Mas, SFQ (x2 + 1) = Q(i) 6= C.


Exemplo 10.3. SFQ (x4 7x2 + 10) = SFQ ((x2 2)(x2 5)) =


Q( 2, 5) = Q( 2, 5).
Exemplo 10.4. SFF (ax + b) = F desde que ax + b = a(x + b/a)
com b/a F .

10.3

Existncia

Teorema 10.1. Seja F um corpo e f (x) F [x] um polinmio no


constante de grau n. Ento, existe um corpo de razes de f (x) sobre
F , aqui denotado por SFF (f (x)), tal que [SFF (f (x)) : F ] n!.
Prova: (induo em deg f (x) = n). Se deg f (x) = 1 ento f (x) =
ax + b com a, b F , a 6= 0. Logo, f (x) = a(x (b/a)) com
b/a F . Como F = F (b/a) segue ento que F = SFF (f (x))
e [F : F ] = 1 1!. O teorema verificado para n = 1. Suponha
n > 1 e o teorema verdadeiro para polinmios de grau n 1. Pelo
uso da fatorao nica em F [x] seja p(x) um fator irredutvel de
f (x) em F [x]. Sabemos que o anel quociente
F [x]/(p(x)) = F []
onde = x um corpo ((p(x)) ideal maximal) contendo F como
subcorpo e como uma raiz de p(x). Desde que p(x) divide f (x)
segue que tambm raiz de f (x). Pelo teorema do fator, em
F [][x], tem-se
f (x) = (x )g(x)
para algum g(x) F [][x] de grau n 1. Alm disso, da irredutibilidade de p(x) segue que m,F (x) = p(x). Portanto,
[F [] : F ] = deg p(x) n (p(x)|f (x)).

141

Corpo de razes
Agora, deg g(x) = n1. Por hiptese indutiva, existe SFF [] (g(x)),
o corpo de razes de g(x) sobre F [], com
[SFF [] (g(x)) : F []] (n 1)!
Por definio de corpo de razes, temos
g(x) = c(x 2 ) (x n ), 2 , . . . , n SFF [] (g(x)).
e
SFF [] (g(x)) = F [](2 , . . . , n ) = F (, 2 , . . . , n )
Ento,
f (x) = (x )g(x) = c(x )(x 2 ) (x n ) SFF [] (g(x)).
com
SFF [] (g(x)) = F [](2 , . . . , n ) = F (, 2 , . . . , n ).
Logo, SFF [] (g(x)) = SFF (f (x)) e isto mostra a existncia do
corpo de razes de f (x) sobre F . Finalmente,
[SFF (f (x)) : F ] = [SFF (f (x)) : F []].[F [] : F ]
= [SFF [] (g(x)) : F []].[F [] : F ]
(n 1)!n = n!
pois [SFF [] (g(x)) : F []] (n 1)! e [F [] : F ] n.

10.4

Unicidade

Teorema 10.2. Seja : F E um isomorfismo de corpos,


f (x) F [x] no constante, e (f (x)) E[x]. Ento, estende-se
um isomorfismo SFF (f (x))
= SFE ((f (x))).

142

Estruturas Algbricas II

AULA

Prova: (induo no grau de f (x)) Se deg f (x) = 1, ento f (x) =

10

ax+b, a, b F e a 6= 0. Logo, f (x) = a(x(b/a)) com b/a F .


Como F [b/a] = F segue, por definio de corpo de razes, que
SFF (f (x)) = F .
Suponhamos deg f (x) = n e o teorema verdadeiro para polinmios
de grau n 1. Seja p(x) um fator irredutvel mnico de f (x)
em F [x]. O isomorfismo extenso : F [x] E[x] leva p(x) no
polinmio irredutvel mnico (p(x)). Toda raiz de p(x) tambm
raiz de f (x), pois p(x) divide f (x). Assim, SFF (f (x)) contm
todas as razes de p(x). Da mesma forma, SFE ((f (x)) contm
todas as razes de (p(x)). Seja SFF (f (x)) uma raiz de p(x) e
SFE ((f (x))) uma raiz de (p(x)). Pelo teorema de extenso
para extenses simples, estende-se um isomorfismo

: F () E()
no qual
() = . Temos ento o diagrama
SFF (f (x))

SFE ((f (x)))

?

F ()

?
/ E()
O

?
/E

?

Os elementos e so razes de f (x) e (f (x)). Pelo teorema do


fator,
f (x) = (x )g(x), g(x) F ()[x]
e
(f (x)) = (x )(g(x)) = (x ())(g(x)) = (x )(g(x)).
Em SFF (f (x)) temos
f (x) = c(x )(x 2 ) (x n )

143

Corpo de razes
com SFF (f (x)) = F (, 2 , . . . , n ). Analogamente, em SFE ((f (x))),
temos
(f (x)) = c0 (x )(x 2 ) (x n )
com SFE ((f (x))) = E(, 2 , . . . , n ). Ento,
c(x )(x 2 ) (x n ) = (x )g(x)
e
c0 (x )(x 2 ) (x n ) = (x )(g(x)).
Donde,
g(x) = c(x 2 ) (x n )
e
(g(x)) = c0 (x 2 ) (x n )
Ento, por definio de corpo de razes,
SFF () (g(x)) = F ()(2 , . . . , n ) = F (, 2 , . . . , n ) = SFF (f (x))
e
SFE() ((g(x))) = E()(2 , . . . , n ) = E(, 2 , . . . , n ) = SFE ((f (x))).
Desde que g(x) tem grau n 1, a hiptese indutiva aplicada para
g(x) e (g(x)) sobre o isomorfismo F ()
= E() implica que tal
isomorfismo estende-se um isomorfismo SFF (f (x))
= SFE ((f (x))).
.
Corolrio 10.1. Dois corpos de razes de um mesmo polinmio
so isomorfos.
Prova: Seja f (x) F [x] um polinmio no constante e sejam K
e L dois corpos de razes de f (x) sobre F . O teorema anterior
aplicado ao isomorfismo identidade IF : F F mostra que existe
um isomorfismo K
= L (extenso da identidade). 

144

Estruturas Algbricas II

10.5

Corpo de razes finita e normal

AULA

10

Uma extenso de corpos F K dita normal se


i) K uma extenso algbrica de F ; e
ii) todo polinmio p(x) F [x], irredutvel sobre F , que tem
uma raiz K possui todas as suas razes em K.
Podemos dizer, ento, que uma extenso F K normal se e somente se K contm o corpo de razes de todo polinmio irredutvel
sobre F que tem uma raiz em K. Sabemos que toda extenso finita
algbrica e finitamente gerada. Se K uma extenso finita de um
corpo F ento existem 1 , . . . , r K tais que K = F (1 , . . . , r ).
Sejam pi (x) F [x] o polinmio mnimo de cada i , i = 1, . . . , r.
Se, alm disso, K uma extenso normal de F ento K contm
todas as razes de cada pi (x). Deste modo, se
1i = i , 2i , . . . , ni i K
so todas as razes de pi (x) ento
K = F (1 , . . . , r )
= F (11 , . . . , 1n1 , . . . , 1r , . . . , nr r )
= SFF (p1 pr ).
Assim, toda extenso normal e finita o corpo de razes de um
polinmio. O resultado a seguir mostra que a recproca tambm
verdadeira.
Teorema 10.3. Um corpo K um corpo de razes sobre o corpo
F de algum polinmio em F [x] se e somente se K uma extenso
finita e normal de F .

145

Corpo de razes
Prova: A condio necessria foi provada acima. Resta mostrar
a condio suficiente. Suponha K = SFF (f (x)), o corpo de razes
de um polinmio f (x) F [x]. Por definio de corpos de razes:

K = F (1 , . . . , n )

onde 1 , . . . , n so todas as razes de f (x). Ento, K finita


sobre F , pois toda extenso finitamente gerada por elementos algbricos finita. Seja p(x) F [x] um polinmio irredutvel em
F [x] tendo uma raiz v K. Podemos supor p(x) mnico. Sejam L = SFK (p(x)) o corpo de razes de p(x) sobre K e L
uma outra raz de p(x). Desde que mv,F (x) = p(x) = m,F (x)
ento o isomorfismo identidade em F estende-se um isomorfismo
F (v)
= F (). Temos ento, o seguinte diagrama:

K()

KO
?

v;
vv
v
vv
, vvv

F (v)

?
/ F ()
O

?
/F

?

Queremos mostrar que K() = K. Temos

K() = F (1 , . . . , n )()
= F (1 , . . . , n , )
= F ()(1 , . . . , n )
= SFF () (f (x)).

146

Estruturas Algbricas II

AULA

10

e
SFF (v) (f (x)) = F (v)(1 , . . . , n )
= F (v, 1 , . . . , n )
= F (1 , . . . , n )(v)
= K(v) = K.
pois v K, por hiptese. Assim, K e K() so corpos de razes
do mesmo polinmio f (x) sobre corpos isomorfos. Pelo teorema
da unicidade, o isomorfismo F (v)
= F () estende-se um isomorfismo K
= K(). Temos [K : F ] = [K() : F ], pois espaos
vetoriais isomorfos tm mesma dimenso. Logo, pela multiplicatividade dos graus:
[K : F ] = [K() : F ] = [K() : K][K : F ]
donde [K() : K] = 1. Ento, K() = K e K. Isto conclui a
demonstrao.

.

OBS 10.1. A noo de corpo de razes de um polinmio fundamental na teoria dos corpos. Sabemos, ao menos teoricamente,
que para todo polinmio existe um corpo no qual podemos determinar todas as suas razes. A resposta afirmativa para a existncia de corpos de razes tambm nos fornece uma outra questo.
Se para todo corpo F existe um corpo no qual todo polinmio no
constante com coeficientes em F decompe-se completamente. Em
outras palavras, um corpo contendo os corpos de razes de todos
os polinmios no constantes com coeficientes em F . A resposta
afirmativa e a construo de um tal corpo no trivial e est
acima do nvel deste curso. O corpo, assim determinado, denotado por F e chamado de fecho algbrico de F . Assim como o
corpo de razes, o fecho algbrico de um corpo nico a menos de

147

Corpo de razes
isomorfismo. Um corpo K no qual todo polinmio no constante
com coeficientes em K fatora-se completamente chamado corpo
algebricamente fechado. Pode-se mostrar que o fecho algbrico de
um corpo algebricamente fechado. O exemplo mais conhecido
de um fecho algbrico o corpo C dos complexos sobre R. Este
resultado ficou conhecido como teorema fundamental da lgebra.
Ironicamente, no existe ainda uma prova completamente algbrica
do teorema fundamental da lgebra. Obteremos neste curso, uma
prova usando teoria de Galois e mnimos conhecimentos de anlise.
Para uma leitura mais detalhada sobre este assunto consultar os
livros listados nas leituras complementares.

10.6

Concluso

Corpo de razes um tipo de extenso algbrica finitamente gerada


muito especial: os geradores compem o conjunto das razes de um
polinmio. Esta peculiaridade a distingue de todas as outras extenses algbricas finitamente geradas. Embora tenham a mesma
estrutura simples de um espao vetorial de dimenso finita, o fato
dos geradores serem todas as razes de um polinmio confere aos
corpos de razes uma forte propriedade: normalidade.

RESUMO

DEFINIO
Dado f (x) F [x], chama-se corpo de razes de f (x)
sobre F ao menor corpo contendo F e todas as razes
de f (x).

148

Estruturas Algbricas II

AULA

10

NOTAO:
SFF (f (x)) := corpo de razes de f (x) sobre F .
OBSERVAO:
SFF (f (x)) := f (1 , . . . , n ) com f (x) = c(x1 ) (x
n ).
EXISTNCIA:
Seja F um corpo e f (x) F [x] um polinmio no
constante de grau n. Ento, existe um corpo de razes
de f (x) sobre F .
UNICIDADE:
Dois corpos de razes de um mesmo polinmio so isomorfos.
CARACTERIZAO:
K = SFF (f (x)) K uma extenso normal e finita
do corpo F .

PRXIMA AULA

Estudaremos extenses separveis. O principal resultado ser o


teorema do elemento primitivo, a saber: toda extenso separvel
finitamente gerada simples.

149

Corpo de razes

ATIVIDADES

ATIV. 10.1. Mostre que x2 3 e x2 2x 2 tm o mesmo corpo


de razes sobre Q.
ATIV. 10.2. Determine SFQ (x4 3), SFQ (x 2) e SFQ (x7 5).
ATIV. 10.3. Seja f (x) F [x] no constante. Mostre que se
[SFF (f (x)) : F ] primo, SFF (f (x)) uma raiz de f (x), e
6 F , ento SFF (f (x)) = F ().
ATIV. 10.4. Seja f (x) F [x] no constante. Se E um corpo
tal que F E SFF (f (x)) mostre que K = SFE (f (x)).
ATIV. 10.5. Determine SFQ (xn p), p primo. Determine tambm [SFQ (xn p) : Q].

LEITURA COMPLEMENTAR

DUMMIT, David S., FOOTE, Richard M. Abstract Algebra. John


Wiley and Sons, 3.ed., USA, 2004.
GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008.
HARDY, G. H., WRIGHT, E. M. An introduction to the theory
of numbers. 4.ed., Oxford University Press, 1960.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.
STEWART, Ian. Galois Theory, Chapman & Hall, 3.ed, 2004.

150

AULA

Separabilidade
META:
Conceituar extenses separveis e mostrar que toda extenso
separvel e finitamente gerada simples.

OBJETIVOS:
Ao final da aula o aluno dever ser capaz de:
Determinar a separabilidade de extenses sobre corpos de caracterstica zero.
Usar o teorema do elemento primitivo para determinar um elemento primitivo para certas extenses separveis finitamente
geradas.

PR-REQUISITOS
As noes de extenso simples, extenses finitamente gerada e multiplicidade de razes.

11

Separabilidade

11.1

Introduo

Seja f (x) F [x]. Se raiz de f (x), o teorema do fator aplicado


sucessivamente nos permite escrever

f (x) = (x )r g(x)

com g(x) F [x] e g() 6= 0. O inteiro positivo r, assim determinado, chamado de multiplicidade da raiz . Uma raiz dita
simples se possui multiplicidade 1. Um polinmio f (x) F [x]
dito separvel se possui somente razes simples em seu corpo de
razes. Deste modo, se f (x) separvel de grau n ento f (x) possui
n razes distintas sobre SFF (f (x)) e, portanto,

f (x) = c(x 1 ) (x n )

com 1 , . . . , n SFF (f (x) (c SFF (f (x))) e i 6= j se i 6= j.


Um elemento K, K F , dito separvel sobre F se m,F (x)
separvel.
Uma extenso F K separvel se todo elemento u K
separvel sobre F .
Separabilidade crucial na teoria de Galois e est intrinsicamente
relacionada caracterstica do corpo base da extenso.

Por

exemplo, toda extenso sobre um corpo de caracterstica zero


separvel. Subjacente separabilidade de uma extenso finitamente gerada reside o pilar da teoria de Galois: o teorema do
elemento primitivo. Ele garante que toda extenso separvel finitamente gerada simples.

152

AULA

Estruturas Algbricas II

11.2

11

Critrio da derivada para separabilidade


de polinmios

Usaremos a derivada de um polinmio para caracterizar a irredutibilidade de um polinmio. Felizmente, a derivada de um polinmio
recai em uma operao estritamente algbrica e no precisaremos
recorrer a nenhum conhecimento de anlise matemtica.
Definio 11.1. Dado f (x) = an xn + a1 x + a0 F [x] a
derivada, f 0 (x), de f (x) o polinmio
f 0 (x) = nan xn1 + + 2a2 x + a1 .
OBS 11.1. Vale as seguintes propriedades:
i) (f + g)0 (x) = f 0 (x) + g 0 (x).
ii) (f g)0 (x) = f 0 (x)g(x) + f (x)g 0 (x). (Regra de Leibniz)
Teorema 11.1. f (x) F [x] separvel MDC(f, f 0 ) = 1.

Corolrio 11.1. Toda extenso sobre um corpo de caracterstica


zero separvel.

11.3

O teorema do elemento primitivo

OBS 11.2. Ao longo desta seo, usaremos a notao ZL (f (x))


para denotar o conjunto das razes de um polinmio f (x) F [x]
sobre uma extenso L de F . Quando quisermos denotar o conjunto
de todas as razes omitiremos o L e escreveremos simplesmente
Z(f (x)).
Eis o teorema:
separvel e finitamente gerada simples.

153

Separabilidade
Eis a prova:(induo no nmero de geradores, F infinito)
Suponha K = F (u1 , . . . , ur ) separvel sobre F .
Caso r = 1: K = F (u1 ) j simples e nada tem-se para provar.
Caso r = 2: Suponha K = F (v, w) separvel sobre F . Sejam
q(x) = mw,F (x) e p(x) = mv,F (x) com graus n e m,
respectivamente. Seja L = SFF (p(x)q(x)) o corpo de razes
de q(x)p(x). Por hiptese de separabilidade, q(x) possui n
razes distintas w = w1 , w2 , . . . , wn e p(x), m razes distintas
v = v1 , v2 , . . . , vm . Em smbolos,
Z(q(x)) = {w = w1 , w2 , . . . , wn } com wi 6= wj se i 6= j
e
Z(p(x)) = {v = v1 , v2 , . . . , vn } com vi 6= vj se i 6= j.
Da infinitude de F , existe c F tal que c 6=

vi v
wwj ,

1im

e 1 < j n. Seja u = v +cw. Vamos mostrar que K = F (u).


Considere o polinmio h(x) = p(u cx) F (u)[x]. Ento, w
raiz de h(x) desde que u cw = v e p(v) = 0. Se algum wj ,
j 6= 1, raiz de h(x), ento h(wj ) = p(u cwj ) = 0. Logo,
u cwj {v, v2 , . . . , vm }. Assim, u cwj = vi para algum
i, 1 i m, donde v + cw cwj = vi . Da, c =

vi v
wwj

e isto

contradiz a escolha de c. Portanto,


Z(q(x)) Z(h(x)) = {w}
Ento, h(x), q(x) F (u)[x] e ambos tm w como raiz. Pela
condio de polinmio mnimo, devemos ter mw,F (u) (x)|q(x)
e mw,F (u) (x)|h(x). Assim,
Z(mw,F (u) (x)) Z(q(x)) Z(h(x)) = {w}.

154

Estruturas Algbricas II
Deste modo, w L a nica raiz de mw,F (u) (x). Mas,

AULA

11

mw,F (u) (x)|q(x) e q(x) separvel implica mw,F (u) (x) separvel. Logo, mw,F (u) (x) F (u)[x] um polinmio mnico,
separvel com uma nica raiz. Ento, mw,F (u) (x) = x c
para algum c F (u). Como mw,F (u) (w) = 0, segue que
c = w e, portanto, w F (u). Mas, v = u cw com
u, w F (u) implica v F (u). Assim, F (v, w) F (u). Por
outro lado, u = v + cw F (v, w) implica F (u) F (v, w).
Logo, F (u) = F (v, w).

Caso geral: Seja K = F (u1 , . . . , ur ) separvel sobre F . Temos


K = F (u1 , . . . , ur1 )(ur ) com F (u1 , . . . , ur1 ) separvel sobre F . Por hiptese indutiva, F (u1 , . . . , ur1 ) = F (v) para
algum v F (u1 , . . . , ur1 ). Logo, K = F (v, ur ) separvel
sobre F . Pelo caso de dois geradores, K = F (w), w K.


11.4

Concluso

Exibir um extenso como uma extenso simples no uma tarefa


fcil. Para extenses separveis e finitamente geradas, o teorema
do elemento primitivo no somente mostra que tais extenses so
simples, mas torna este processo bem computacional. Por este
motivo, o teorema do elemento primitivo o resultado mais forte
provado at o momento.

155

Separabilidade

RESUMO

Separabilidade
f (x) separvel := f (x) tem somente razes simples.
separvel sobre F := algbrico sobre F e m,F (x)
separvel.
F K separvel := separvel sobre F , K.
Critrio da derivada para separabilidade
f (x) F [x] separvel MDC(f, f 0 ) = 1.
Toda extenso sobre um corpo de caracterstica zero
separvel.
Teorema do elemento primitivo
K = F (1 , . . . , n ) separvel sobre F K = F ()
para algum K.
Nota: O elemento como acima chamado elemento
primitivo da extenso.

PRXIMA AULA

Estudaremos a teoria de Galois propriamente dita. Veremos a


parte bsica da teoria. Comearemos por estudar o grupo de Galois
de uma extenso e finalizaremos com a correspondncia de Galois
entre subgrupos do grupo de Galois e corpos intermedirios. A
parte no trivial estabelece a bijetividade em tal correspondncia
para extenses galoisianas (finita, normal e separvel).

156

Estruturas Algbricas II

AULA

11

ATIVIDADES

ATIV. 11.1. Mostre as propriedades abaixo sobre a derivada de


polinmios usando a definio de derivada dada no texto.
i) (f + g)0 (x) = f 0 (x) + g 0 (x).
ii) (f g)0 (x) = f 0 (x)g(x) + f (x)g 0 (x). (Regra de Leibniz)
ATIV. 11.2. Mostre que um polinmio f (x) F [x] separvel
MDC(f, f 0 ) = 1.
ATIV. 11.3. Mostre que toda extenso sobre um corpo de caracterstica zero separvel.
ATIV. 11.4. Mostre que toda extenso finita sobre um corpo de
caracterstica zero simples.
ATIV. 11.5. Mostre que todo polinmio separvel com uma nica
raiz tem grau 1.
ATIV. 11.6. Determinar Q(, ) de modo que Q(, ) =
Q() para cada e dados.
1. =
2. =
3. =

2, = i.
2, =

2.

2, tal que 4 + 6 + 2 = 0.


ATIV. 11.7. Determine tal que Q( 2, 3, 5) = Q().

157

Separabilidade

LEITURA COMPLEMENTAR

GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.

158

AULA

Noes elementares da
Teoria de Galois
META:
Conceituar o grupo de Galois e a correspondncia de Galois de
uma extenso de corpos.

OBJETIVOS:
Ao final da aula o aluno dever ser capaz de:
Definir o grupo de Galois de uma extenso de corpos.
Definir corpo intermedirio de uma extenso de corpos.
Definir corpo fixado de um subgrupo do grupo de Galois e estabelecer a correspondncia de Galois de uma extenso.
Determinar o grupo de Galois de certas extenses de corpos.
Determinar a correspondncia de Galois para certas extenses.

PR-REQUISITOS
Teoria de grupos: definio de grupo, ordem de um grupo, subgrupo, subgrupo normal, isomorfismo de grupos, o grupo de permutaes Sn .
Teoria de corpos: Aulas 8, 9, 10 e 11.

12

Noes elementares da
Teoria de Galois

12.1

Introduo

12.2

O grupo de Galois

Seja K uma extenso de um corpo F . Um F -automorfismo de


K um automorfismo : K K que fixa os elementos de F ,
isto , (c) = c para todo c F . Na linguagem da aula 8, um
F -automorfismo uma extenso : K K do automorfismo
identidade IF : F F . Denotamos por GalF (K) ao conjunto de
todos os F -automorfismos de K.
Se e so dois automorfismos de K extenses da identidade em
F ento a composio tambm um automorfismo de K
extenso da identidade em F .
Composio define uma operao em GALF K
A composio de funes uma operao associativa.

O iso-

morfismo identidade em K uma extenso da identidade em F .


E, se GalF K ento (c) = cc F .
morfismo inverso

Aplicando o iso-

a ambos os termos da igualdade obtm-se

c = 1 (c) = 1 (c). Logo, GalF K fechado com respeito


inversos. Ento
GalF K um grupo com respeito operao composio

Definio 12.1. O grupo GalF K chamado o grupo de Galois


da extenso F K.

12.3

Fatos

1. Seja K uma extenso de um corpo F e f (x) F [x]. Se


K raiz de f (x) e GalF K ento () tambm

160

Estruturas Algbricas II
raiz de f (x).

AULA

12

2. Seja K = SFF (f (x)) o corpo de razes de f (x) F [x] sobre F e sejam , K. Ento, existe GalF K tal
que () = se somente se e tm o mesmo polinmio
mnimo.
3. Seja K = F (1 , . . . , n ) uma extenso algbrica sobre F . Se
, GalF K e (i ) = (i ), para todo i = 1, 2, . . . , n ento = . Em outras palavras, um automorfismo em GalF K
completamente determinado pelas imagens de 1 , . . . , n .
4. Se K um corpo de razes de um polinmio separvel f (x)
F [x] de grau n ento GalF K isomorfo um subgrupo de
Sn .

12.4

Exemplos

Exemplo 12.1. O grupo de Galois de C sobre R. Primeiramente, devemos expressar C como uma extenso simples ou finitamente gerada se possvel. Sabemos que C = R(i). Em seguida,
determinamos os polinmios mnimos de cada gerador, neste caso,
mi,R = x2 + 1. Agora, usaremos os fatos acima para determinar
GalR C.
1. Pelo fato 1, GalF K (i) raiz de x2 + 1 (i) = i
ou (i) = i. Assim, s podem existir no mximo dois F automorfismos de C, isto , |GalR C| 2.
2. Como i e i so razes do mesmo polinmio mnimo, o fato 2
nos garante a existncia de , GalR C tal que (i) = i e
(i) = i.

161

Noes elementares da
Teoria de Galois
3. Pelo fato 3, nos diz que um elemento GalR C fica completamente determinado pelas imagens dos geradores da extenso, neste caso pela imagem de i. De fato, para todo
z = a + bi C, temos:
(z) = (a + bi) = (a) + (bi) = (a) + (b)(i) =
a + bi, pois (c) = c se c R (definio de GalF K) e
(i) = i por construo). Logo, = , a identidade em
C.
(z) = (a + bi) = (a) + (bi) = (a) + (b) (i) =
a + b(i) = a bi. Logo, a aplicao conjugao
em C.
Como |GalR C| 2 e {, } GalR C segue que GalR C =
{, }.
4. Finalmente, o fato 4 afirma que o grupo de Galois do corpo de
razes de um polinmio separvel de grau n um subgrupo
de Sn . Neste caso, temos o isomorfismo : GalR C S2
definido por 7 e 7 (12). Note que ambos os grupos
so isomorfos ao grupo aditivo Z2 .

Exemplo 12.2. O grupo de Galois de Q( p, q) sobre Q,
p, q primos. A extenso j est na forma finitamente gerada. S
que desta vez so dois geradores, isto , a extenso no simples.
Vamos aos procedimentos:
1. Polinmios mnimos dos geradores:
mp,Q (x) = x2 p. Razes:
mq,Q (x) = x2 q. Razes:
2. Possveis imagens dos geradores

162

p, p.

q, q.

pe

q:

AULA

Estruturas Algbricas II

z=
zz
z
z
:zzz

DDD
DD
DD
D!

z=
zz
z
z
:zzz

12

DDD
DD
DD
D!


Concluso: Existem 4 possveis Q-automorfismos de Q( p, q):

p
7
p

q 7
q

1
p
7
p

q
7 q

2
p
7
p

q
7
q

3
p
7
p

q
7 q

3. Existncia de , 1 , 2 , 3 :
(a) Existncia de 1 . Considere o diagrama:

Q( p, q)

Q( p, q)


?
Q( p)

IQ(p)

?
/ Q(p)

onde IQ(p) denota a identidade em Q( p). Como


mq,Q(p) (x) = x2 q = mq,Q(p) (x)
segue que o isomorfismo identidade IQ(p) estende-se
um isomorfismo

: Q( p, q) Q( p, q)

tal que ( q) = q. Desde que fixa os elementos de

Q( p), em particular fixa cada elemento em Q. Deste



modo, GalQ Q( p, q). Faa 1 = .

163

Noes elementares da
Teoria de Galois
(b) Existncia de 2 : Anloga de 1 . (Faa como exerccio, prezado aluno!)
(c) Existncia de 3 : A igualdade
mp,Q (x) = x2 p = mp,Q (x)
implica que existe um isomorfismo

: Q( p) Q( p)
extenso da identidade que leva

p em p. Do mesmo

modo, a igualdade
mq,Q(p (x) = x2 q = mq,Q(p) (x)
implica a existncia de um isomorfismo

3 : Q( p)( q) Q( p)( q)

extenso de que leva q em q. Ento, 3 um


elemento de GalQ Q( p, p) (verifique!) tal que p 7


p e q 7 q. Assim, |GalQ Q( p, q)| 4 e
existem quatro elementos distintos , 1 , 2 , 3 em

GalQ Q( p, q) segue que

GalQ Q( p, q) = {, 1 , 2 , 3 }.
(d) Temos

SFQ ((x2 p)(x2 q)) = Q( p, p, q, q)



= Q( p, q).

Logo, Q( p, q) o corpo de razes do polinmio separvel (x2 p)(x2 q). Pelo grau ser 4, segue do fato 4,

que GalQ Q( p, q) isomorfo um subgrupo de S4 .

164

Estruturas Algbricas II
Vejamos como montar um tal isomorfismo. Primeiro,

AULA

12

estabelea uma bijeo entre os conjunto das quatro


razes distintas de (x2 p)(x2 q) com o conjunto
{1, 2, 3, 4}, digamos

7 1
7 2
7 3
7 4

Com isto, podemos enxergar um elemento do grupo



GalQ Q( p, q) como uma permutao em {1, 2, 3, 4}

de acordo com sua ao em p e q. Por exemplo, a


ao de 1 dada por:

7 1 ( p) = p

7 1 ( q) = q)

7 1 ( p) = p

7 1 ( q) = 1 ( q) = ( q) = q

Em notao de permutao:

p
q p q

p q p
q
ou, equivalentemente, segundo nossa correspondncia
biunvoca:

1 2 3 4
1 4 3 2

Em notao de ciclos temos (24). Adotaremos a notao


de ciclos daqui por diante. Neste caminho, temos a
seguinte correspondncia: 7 (1), 1 7 (24), 2 7
(13), 3 7 (13)(24). A tbua de operaes do grupo

GalQ Q( p, q) dada por

165

Noes elementares da
Teoria de Galois

Fazendo as identificaes (1) = e, (24) = 1 , (13) =


2 e (24)(13) = 3 , a tbua para o subgrupo H =
{(1), (24), (13), (24)(13)} de S4 dada por

Segue, pela anlise das tbuas de operaes dos respectivos grupos, que a aplicao

: GalQ Q( p, q) H

definida por 7 (1), 1 7 (24), 2 7 (13), 3 7


(13)(24) um isomorfismo.

OBS 12.1. O grupo GalQ Q( p, q) tambm isomorfo
Z2 Z2 . Prezado aluno, voc seria capaz de definir um tal
isomorfismo usando as tbuas de operaes dos dois grupos?
Tente, por favor.

166

AULA

Estruturas Algbricas II

12.5

12

A correspondncia de Galois

Seja F K uma extenso de corpos e GalF K o grupo de Galois


de K sobre F . Esto definidos:
Corpo intermedirio da extenso F K:
Um corpo E tal que F E K.
Subgrupo de GalF K associado um corpo intermedirio
E:
(E) := GalE K := { automorfismos de K que fixam E}.
Corpo intermedirio associado um subgrupo H de GalF K:
(H) = {x K : (x) = x, para todo H}
OBS 12.2. O corpo (H) chamado corpo fixado de H.
De acordo com as associaes acima fica bem definida a correspondncia:
{ Corpos intermedirios de F K}
E
(H)

{ Subgrupos de GalF K}
GalE K

A correspondncia assim definida conhecida como a correspondnica


de Galois da extenso F K.

Exemplo 12.3. Considere GalQ Q( p, q) = {, 1 , 2 , 3 } como
no exemplo 12.2. Vamos determinar o corpo fixado (H) do subgrupo H = {, 1 }. Por definio,

(H) = {x Q( p, q) : (x) = x, H}.

Desde que fixa todo o corpo Q( p, q) (isomorfismo identidade),

basta determinarmos os elementos de Q( p, q) fixados por 1 .

167

Noes elementares da
Teoria de Galois


Sabemos que {1, p, q, pq} uma base de Q( p, q) sobre Q.

Assim, todo elemento x Q( p, q) pode ser escrito na forma:

x = a + b p + c q + d pq
para nicos a, b, c, d Q. Ento, 1 (x) = x se e somente se

a + b p + c q + d pq = 1 (a + b p + c q + d pq)

= 1 (a) + 1 (b)1 ( p) +

1 (c)1 ( q) + 1 (d)1 ( pq)

Sabemos que 1 (c) = c para todo c Q, 1 ( p) = p e 1 ( q) =

q. Ento,

a + b p + c q + d pq = a + b p c q + d1 ( p)1 ( q)

= a + b p c q + d p( q)


= a+b pc qd p q
Pela unicidade da expresso de um elemento com respeito uma
base, temos 1 (x) = x se e somente se a = a, b = b, c = c e
d = d se e somente se a, b Q e c = d = 0. Portanto, 1 (x) = x

se e somente se x = a + b p + 0. q + 0 pq = a + b p se e somente

se x Q( p). Logo, (H) = Q( p).


Outra maneira de determinar (H), seria como segue: 1 (x) = x

para todo x P, pois 1 fixa Q e p. Ento, Q( p) (H)



Q( P , q). Como [Q( P , q) : Q( p)] = 2, primo, segue que


(H) = Q( p) ou (H) = Q( P , q). Mas, 1 ( q) = q 6=


q donde q 6 (H). Logo, (H) 6= Q( P , q) e, portanto,

(H) = Q( p).
OBS 12.3. Seguindo o exemplo acima temos
Para o subgrupo < 2 >= {, 2 } (subgrupo simples gerado
por 2 :

a + b p + c q + d pq (< 2 >)

168

Estruturas Algbricas II

AULA

12

se e somente se

a + b p + c q + d pq = 2 (a + b p + c q + d pq)

= a b p + c q d pq

se e somente se b = d = 0. Assim, (< 2 >) = {a + c q :

a, c Q} = Q( q).
Note que

3 ( pq) = 3 ( p)3 ( q) = ( p)( q) = pq


Assim, para o subgrupo < 3 >= {, 3 }:

a + b p + c q + d pq (< 3 >)
se e somente se

a + b p + c q + d pq = 3 (a + b p + c q + d pq)

= a b p c q + d pq
se e somente se b = c = 0. Assim, (< 2 >) = {a +

d pq : a, d Q} = Q( pq). Temos mostrado a seguinte


correspondncia:
Subgrupos
{e}

< 1 >

< 2 >

< 3 >

GalQ Q( p, q)

Corpos fixados

Q( p, q)

Q( p)

Q( q)

Q( pq)

Costuma-se representar tal correspondncia na linguagem de

169

Noes elementares da
Teoria de Galois
reticulados:


Q( p, q)

LLL
LLL
rrr
r
r
LLL
r
r
r
L
r
r

Q( pq)
Q( p)
Q( p)
MMM
MMM
qqq
MMM
qqq
q
q
MMM
q
qqq

{e, 1 }

o {e} OOOO
OOO
ooo
o
o
OOO
oo
o
OOO
o
ooo
OOO
OOO
OOO
OO

{e, 3 }

oo
ooo
o
o
ooo
o

{e, 2 }

GalQ Q( p, q)

Onde subcorpos e subgrupos se correspondem de acordo com


suas respectivas posies.

12.6

Concluso

toda extenso de corpos est associado o grupo de Galois da extenso. Nesta associao, existe uma correspondncia entre corpos
intermedirios e subgrupos. Esta o que se chama correspondncia de Galois. A idia obter informaes estruturais da extenso
via teoria de grupos.

170

AULA

Estruturas Algbricas II

12

RESUMO

Dada uma extenso F K:


Grupo de Galois:
GalF K := { conjunto dos F -automorfismos de K }
Correspondncia de Galois:
{ Corpos intermedirios de F K}

(H)

{ Subgrupos de GalF K }
GalE K
H

onde (H) = {x K : (x) = x, H} chamado o


corpo fixado de H.

PRXIMA AULA

Iremos determinar condies suficientes sobre a extenso para que


a correspondncia de Galois seja biunvoca.

171

Noes elementares da
Teoria de Galois

ATIVIDADES

ATIV. 12.1. Demonstre todos os fatos da seo 12.3.



ATIV. 12.2. Determine GalQ ( 2, 3) e mostre que tal grupo
isomorfo um subgrupo de S4 . Determine tal isomorfismo.
ATIV. 12.3. A tbua de Z2 Z2 = {(0, 0), (1, 0), (0, 1), (1, 1)}
dada por
+

(0, 0)

(1, 0)

(0, 1)

(1, 1)

(0, 0)

(0, 0)

(1, 0)

(0, 1)

(1, 1)

(1, 0)

(1, 0)

(0, 0)

(1, 1)

(0, 1)

(0, 1)

(0, 1)

(1, 1)

(0, 0)

(1, 0)

(1, 1)

(1, 1)

(0, 1)

(1, 0)

(0, 0)


Defina explicitamnte um isomorfismo entre o grupo GalQ Q( 2, 3)
e o grupo Z2 Z2 .
Sugesto: Use as tbuas de operaes dos dois grupos.

ATIV. 12.4. Determine GalQ ( 2, 3, 5) e mostre que tal grupo
isomorfo um subgrupo de S8 . Determine tal isomorfismo.

Mostre tambm que GalQ ( 2, 3, 5)
= Z2 Z2 Z2 .
ATIV. 12.5. Mostre que a correspondncia de Galois est bem
definida. Em outras palavras, mostre que:
a) Se E um corpo intermedirio da extenso F K ento
GalE K um subgrupo de GalF K.
b) Se H um subgrupo de GalF K ento (H) um corpo
intermedirio da extenso F K.
ATIV. 12.6. Mostre que ((E)) E para todo corpo intermedirio de F K e ((H)) H para todo subgrupo H de
GalF K.

172

Estruturas Algbricas II

AULA

ATIV. 12.7. Mostre que a correspondncia de galois reversa

12

com relao incluso. Mais precisamente, mostre que:


a) E1 E2 implica (E2 ) (E1 ).
b) H1 H2 implica (H2 ) (H1 ).

LEITURA COMPLEMENTAR

DUMMIT, David S., FOOTE, Richard M. Abstract Algebra. John


Wiley and Sons, 3.ed., USA, 2004.
GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.
STEWART, Ian. Galois Theory, Chapman & Hall, 3.ed, 2004.

173

AULA

O teorema fundamental
da teoria de Galois
META:
Demonstrar o teorema fundamental da teoria de Galois.

OBJETIVOS:
Ao final da aula o aluno dever ser capaz de:
Enunciar o teorema fundamental da teoria de Galois.
Determinar e exibir a correspondncia de Galois de certas extenses.

PR-REQUISITOS
Aula 12.

13

O teorema fundamental
da teoria de Galois

13.1

Introduo

Todo o esforo de nossos estudos sero compensados aps apreciarmos os resultados desta aula. Na aula anterior, estabelecemos

a correspondncia de Galois E 7 (E) e H 7 (H) entre o


conjunto de corpos intermedirios de uma extenso F K e os
subgrupos do grupo de Galois GalF K = (F ). O teorema fundamental da teoria de Galois mostra que esta correspondncia
biunvoca quando a extenso finita, normal e separvel. Uma
extenso reunindo estas trs propriedades chamada extenso de
Galois.

13.2

O Lema Principal

Lema 13.3. Se F K finita ento K simples, normal e


separvel sobre o corpo fixado de qualquer subgrupo H de GalF K.
Prova: Esboo:
Seja H um subgrupo de GalF K e (H) seu corpo fixado.
1. K algbrico sobre (H).
2. Para cada K e H, () raiz do polinmio mnimo
de sobre (H), m,(H) (x).
3. O conjunto das imagens de por automorfismo em H finito.
4. Sejam
= 1 , 2 , . . . , t K
todas as imagens distintas de por elementos em H. Ento,
(i ) {1 , 2 , . . . , t }
para todo i = 1, 2, . . . , t e a aplicao restrio
: {1 , 2 , . . . , t } {1 , 2 , . . . , t }

176

Estruturas Algbricas II
define uma permutao no conjunto {1 , 2 , . . . , t } qual-

AULA

13

quer que seja H.


5. O polinmio
f (x) = (x 1 )(x 2 ) . . . (x t )
separvel, tem como raiz e (f (x)) = f (x) para todo
H. Logo, f (x) (H)[x].
6. K uma extenso separvel de (H) e finitamente gerada
sobre (H).
7. Pelo teorema do elemento primitivo, K = (H)() para algum K.
8. K = (H)() o corpo de razes de f (x) sobre (H), logo,
normal sobre (H).

13.3

Sobrejetividade

Teorema 13.1. Se F K finita ento H = ((H)) e |H| =


[K : (H)] para todo subgrupo H de GalF K.
Prova: K = (H)() normal e separvel, pelo lema fundamental. Ento,
[K : (H)] = deg m,(H) (x) = n
com m,(H) (x) separvel e fatorando-se completamente sobre K.
Se ((H)) ento fixa todos os elementos do corpo (H).
Em particular, fixa todos os coeficientes do polinmio m,(H) (x).
Ento, para todo ((H)), leva numa das n razes distintas de m,(H) (x). Desde que um automorfismo ((H)) fica

177

O teorema fundamental
da teoria de Galois
completamente determinado pela imagem em , existem no mximo n elementos em ((H)). Da incluso H ((H)), segue
as desigualdades
|H| |((H))| n = [K : (H)].
Seja
f (x) = (x )(x 2 ) (x t )
como no esboo da prova do lema fundamental com = . Ento,
existem ao menos t elementos em H, pela definio de f (x). Alm
disso, f (x) (H)[x] e tem como raiz. Ento, m,(H) (x) divide
f (x). Da,
|H| t = deg f (x) deg m,(H) (x) = n = [K : (H)]
Combinando todas as desigualdades obtidas, temos
|H| |((H))| [K : (H)] |H|.
Assim, |H| = |((H))| = [K : (H)] e H = ((H)).

Corolrio 13.1. A correspondncia de Galois sobrejetiva para


extenses finitas.

13.4

Injetividade

Lema 13.4. Seja F E K extenses de corpos. Se K Galois


sobre F ento K Galois sobre E.

Teorema 13.2. Se F K uma extenso de Galois ento E =


((E)) para todo corpo intermedirio E.
Prova: Temos E ((E)). Resta mostrar que ((E)) E, ou
seja, x ((E)) x E. Por contrapositiva, esta implicao

178

Estruturas Algbricas II

AULA

equivalente mostrar que se x 6 E ento x 6 ((E)). Mas, por

13

definio de corpo fixado, x 6 ((E)) significa dizer que existe


(E) tal que (x) 6= x. Assim, o resultado fica provado se
conseguirmos mostrar a seguinte implicao:
x 6 E (x) 6= x para algum (E).
Pelo lema acima, K Galois sobre E. Assim, K extenso algbrica de E. Seja K. Se 6 E, ento m,E (x) tem grau
2 (se deg m,E (x) = 1, estaria em E). As razes de m,E (x)
so todas distintas por separabilidade, e todas esto em K por
normalidade. Seja K uma outra raiz de m,E (x) distinta de
. Pelo fato 2 da seo 12.3, existe (E) = GalE K tal que
() = 6= . Assim, 6 ((E)), como queramos demonstrar.
.
Corolrio 13.2. A correspondncia de Galois injetiva para extenses de Galois.

Corolrio 13.3. Seja K uma extenso finita sobre F . Ento


K Galois sobre F F = (GalF K).

13.5

O Teorema Fundamental

Teorema 13.3. Se K uma extenso de Galois sobre F , ento:


1. Existe uma bijeo entre o conjunto de todos os corpos intermedirios da extenso e os subgrupos do grupo de Galois
GalF K, dada por associar cada corpo intermedirio E o
subgrupo (E) = GalE K.
2. Esta correspondncia reversa com respeito incluso, isto
, E1 E2 se e somente se (E2 ) (E2 ).

179

O teorema fundamental
da teoria de Galois
3. [K : E] = |(E)| e [E : F ] = |(F ) : (E)|, para todo E,
F E K.
4. Um corpo intermedirio E normal sobre F se e somente se
(E) um subgrupo normal de (F ), e neste caso (F )/(E)
=
GalF E.
Prova:
1. A bijetividade de tal correspondncia j foi provada nas
sees 13.3, 13.4.
2.

i) E1 E2 todo E2 -automorfismo de K E1 -automorfismo de K, por definio de F -automorfismos (E2 )


(E1 ).
ii) Suponha H1 H2 . Se x K fixado por todo automorfismo em H2 , , em particular, fixado por todo
automorfismo em H1 . Assim, (H2 ) (H1 ).

3. Pelo teorema 13.2, E = ((E)). Por outro lado, o teorema 13.1 diz que |H| = [K : (H)]. Fazendo H = (E),
temos
[K : E] = [K : ((E))] = |(E)|.
Em particular, se F = E, [K : F ] = |(F )| = |GalF K|. Pelo
teorema de Lagrange,
[K : E][E : F ] = [K : F ]
= |GalF K| = |GalE K||GalF K : GalE K|
onde |GalF K : GalE K| denota o ndice do subgrupo GalE K
em GalF K. Dividindo a equao acima por [K : E] =
|GalE K| segue que [E : F ] = |GalF K : GalE K|.

180

Estruturas Algbricas II
4. Suponha GalE K E GalF K (subgrupo normal). Se p(x)

AULA

13

um polinmio irredutvel em F [x] com uma raiz em E,


devemos mostrar que p(x) fatora-se em E[x], ou seja, cada
raiz de p(x) est em E. Como K normal sobre F , sabemos que p(x) fatora-se em K[x]. Existe um automorfismo
GalF K tal que () = (), pois e tm mesmo
polinmio mnimo (fato 2). Por definio de subgrupo normal, GalE K = GalE K. Deste modo, qualquer que seja
GalE K, existe 1 GalE K para o qual vale a igualdade
= 1 . Como E, temos
() = (()) = (1 ()) = () =
Assim, fixado por cada elemento de GalE K. Logo,
por definio de corpo fixado, (GalE K) = ((E)) =
E.
Reciprocamente, suponha E normal sobre F . E finito sobre
F , pois F E K e K finito sobre F . Defina a aplicao
: GalF K GalF E
onde () = |E a restrio de um F -automorfismo de K
ao corpo E. Temos
i) est bem definida. De fato, seja GalF K. Devemos mostrar que |E GalF E. Observe que
a) Dado E, seja p(x) = m,F (x). E normal
sobre F , logo, p(x) fatora-se em E[x]. Assim, todas
as razes de p(x) esto em E. Como () raiz de
p(x) ento () E. Portanto, (E) E e |E
define um endomorfismo em E.
b) Para todo E, define uma permutao no conjunto { = 1 , 2 , . . . , t } das razes do polinmio

181

O teorema fundamental
da teoria de Galois
mnimo m,F (x). Ento, = (i ) para algum
i = 1, 2 . . . , t. Pela normalidade de E sobre F ,
i E. Isto mostra a sobrejetividade de |E .
Ento, |E : E E um automorfismo. Como
GalF K, fixa cada elemento de F . Logo, |E GalF E.
ii) : GalF K GalF E um homomorfismo sobrejetivo
de grupos. Fica como exerccio provar que homomorfismo. Provaremos a sobrejetividade. Como K
uma extenso normal e finita sobre F , K = SFF (f (x))
para algum f (x) F [x]. Desde que F E, K =
SFE (f (x)). Consequentemente, cada GalF E pode
ser estendido um F -automorfismo GalF K tal que
|E = (ver teorema 10.2).
iii)
Ker = { GalF K : |E = IE identidade em E}
= { GalF K : (x) = x x E}
= { GalF K : GalE K}
= GalE K
Assim, GalE K E GalF K.
v) Pelo teorema fundamental do isomorfismo,
GalF K/GalE K
= GalF E.

13.6

Concluso

Em geral, finitude suficiente para caracterizar a sobrejetividade


na correspondncia de Galois. As condies que faltam finitude
para determinar a injetividade so normalidade e separabilidade.

182

Estruturas Algbricas II

AULA

Alm da bijetividade na correspondncia de Galois para exten-

13

ses de Galois, o teorema fundamental caracteriza a normalidade


de um dado corpo intermedirio E via normalidade do subgrupo
associado (E). Tal relao completamente fechada entre duas estruturas distintas confere teoria de Galois uma beleza esttica
e profundidade terica raramente vista na histria do pensamento
humano.

RESUMO

Finitude sobrejetividade da correspondncia de Galois.


Finitude + Normalidade + Separabilidade injetividade da
correspondncia de Galois.
TEOREMA FUNDAMETAL DA TEORIA DE GALOIS
Se K uma extenso de Galois sobre F , ento:
1. Existe uma bijeo entre o conjunto de todos os corpos
intermedirios da extenso e os subgrupos do grupo de
Galois GalF K, dada por associar cada corpo intermedirio E o subgrupo (E) = GalE K.
2. Esta correspondncia reversa com respeito incluso,
isto , E1 E2 se e somente se (E2 ) (E2 ).
3. [K : E] = |(E)| e [E : F ] = |(F ) : (E)|, para todo
E, F E K.
4. Um corpo intermedirio E normal sobre F se e somente se (E) um subgrupo normal de (F ), e neste
caso (F )/(E)
= GalF E.

183

O teorema fundamental
da teoria de Galois

PRXIMA AULA

Estudaremos a solubilidade por radicais de uma equao algbrica


definida sobre um corpo de caracterstica zero. Veremos que uma
equao algbrica solvel por radicais se e somente se o grupo de
Galois do polinmio f (x) um grupo solvel.

ATIVIDADES

ATIV. 13.1. Prove todos os itens do esboo da prova do lema


principal.
ATIV. 13.2. Mostre a sobrejetividade da correspondncia de Galois para extenss finitas.
ATIV. 13.3. Mostre o lema 13.4: Seja F E K extenses de
corpos. Se K Galois sobre F ento K Galois sobre E.
ATIV. 13.4. Prove o corolrio 13.3: Seja K uma extenso finita
sobre F . Ento
K Galois sobre F F = (GalF K).
ATIV. 13.5. Se K Galois sobre F mostre que existe uma quantidade finita de subcorpos intermedirios.
ATIV. 13.6. Se K uma extenso normal de grau primo sobre
Q ento GalQ k
= Zn .
ATIV. 13.7. Mostre que a aplicao : GalF K GalF E, 7
|E define um homomorfismo de grupos.

184

Estruturas Algbricas II

AULA

ATIV. 13.8. Seja K uma extenso de Galois de F e E um corpo

13

intermedirio.

Mostre que todo F -automorfismo : E E

estende-se um F -automorfismo : K K.
ATIV. 13.9. Determine a correspondncia de Galois das seguintes
extenses:

a) Q( d) sobre Q.
b) SFQ (x2 + x + 1) sobre Q.

c) Q( 2, 3) sobre Q.
d) Q(i,

2) sobre Q.

LEITURA COMPLEMENTAR

DUMMIT, David S., FOOTE, Richard M. Abstract Algebra. John


Wiley and Sons, 3.ed., USA, 2004.
GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.
STEWART, Ian. Galois Theory, Chapman & Hall, 3.ed, 2004.

185

AULA

Exemplos
META:
Ilustrar o teorema fundamental da teoria de Galois com algumas
correspondncias no triviais.

OBJETIVOS:
Ao final da aula o aluno dever ser capaz de:
Compreender e reproduzir os exemplos apresentados no texto e determinar outras correspondncias no triviais.

PR-REQUISITOS
Alm da Aula 13, o aluno dever saber a estrutura de grupos finitos
at ordem oito e determinar razes complexas da unidade.

14

Exemplos

14.1

Introduo

Na aula anterior, vimos a teoria da correspondncia de Galois.


Nesta, a ilustraremos por meio de alguns exemplos no triviais.
Voc dever estudar cada exemplo com ateno e preencher todos
os detalhes. Aproveite para aplicar seus conhecimento sobre grupos
de ordem at oito e razes complexas da unidade.

14.2

Exemplo 1: GalQ (x3 2)

1. Corpo de razes de x3 2 sobre Q:


Se w
C uma raiz cbica complexa da unidade (w =

1
2i
+
, por exemplo) ento 3 2, 3 2w e 3 2w2 so todas
2
2
as razes de x3 2. Assim,

3
3
3
SFQ (x3 2) = Q( 2, 2w, 2w2 )

3
= Q( 2, i)
Como SFQ (x3 2) um corpo de razes de um polinmio
sobre um corpo de caracterstica zero, ento SFQ (x3 2)
Galois sobre Q.
2. Ordem do grupo de Galois:
|GalQ SFQ (x3 2)| = [SFQ (x3 2) : Q]

3
3
3
= [Q( 2, i) : Q( 2)][Q( 2) : Q]
= 2.3 = 6.

3. Elementos de GalQ (x3 2):

188

AULA

Estruturas Algbricas II

14

Tendo em mente o diagrama:

Q( 3 2, w)

Q( 3 2)

Q
sabemos que um elemento GalQ SFQ (x3 2) fica com
pletamente determinado pelas imagens em 3 2 e w. Sabemos

tambm que ( 3 2) e (w) so razes, respectivamente, dos


3
2
polinmios m
3
2,Q(x) = x 2 e mw,Q(x) = x + x + 1. Ento,

3
3
3
3
( 2) =
2, 2w, ou 2w2

(w) = w, ou w2

As combinaes entre estas imagens nos do seis possveis


elementos para GalQ SFQ (x3 2). Como
|GalQ SFQ (x3 2) = 6,
necessariamente existem estes seis elementos. So eles:

1
2

3
3
3
3
3
2 7 3 2
2 7
2w
2 7
2w2
w

w2

3
2 7

4
2 7

2w

w2

5
2 7

2w2

w2

Note que 12 = 2 , 13 = 32 = , 1 3 = 4 , 12 3 = 5 e
3 1 = 5 = 12 3 . Denotando 1 = e 3 = r obtemos
GalQ (x3 2) = {, r, , 2 , r, r2 }
= < r, : r2 = 3 = , r = 2 r >

189

Exemplos
Assim, GalQ (x3 2)
= D3 , o grupo de simetrias de um
tringulo.
4. A correspondncia de Galois:
(a) Subgrupos do grupo GalQ (x3 2):
{{}, {, , 2 }, {, r}, {, r}, {, r2 }, GalQ (x3 2)}
ou em termos de geradores
{< >, < >, < r >, < r >, < r2 >, < r, >}
(b) Subcorpos correspondentes: Seja
{1,

2,

2
3
3 2
2 , w, w 2, w 2 }

uma base de SFQ (x3 2) sobre Q.


i. (< >): Temos w2 = 1 w, desde que w raiz
da equao x2 + x + 1 = 0. Ento, (x) = x se e
somente se

3
3 2
3
3 2
a + b 2 + c 2 + dw + ew 2 + f w 2 =

3
3
3
3
a e 2 + (f c) 4 + dw + (b e)w 2 cw 4.
Isto ocorre se e somente se b = c = f = e = 0.
Assim, (x) = x se e somente se
x = a + dw Q(w)
donde (< >) = Q(w).
Analogamente se determina os outros corpos fixados e
obtm-se a seguinte correspondncia:

190

AULA

Estruturas Algbricas II

14
Subgrupos

14.3

{}

<r>

< r >

< r2 >

Corpos fixados

Q( 3 2, w)

Q( 3 2)

Q( 3 2w)

Q( 3 2w2 )

<>

Q(w)

< r, >

Exemplo 2: GalQ (x4 2)

1. Corpo de razes de x4 2 sobre Q:

4
SFQ (x4 2) = Q( 2, i)

2. Ordem do grupo de Galois:

|GalQ SFQ (x4 2)| = [SFQ (x4 2) : Q]

4
4
4
= [Q( 2, i) : Q( 2)][Q( 2) : Q]
= 2.4 = 8.

191

Exemplos
3. Elementos de GalQ (x4 2):

4
i

2 7
7

4
i

2 7
7

2i

3
2 7 4 2i

2 r
2 7 4 2
7

2
2 7 4 2

2 7

2 7
7

2i

3 r
2 7 4 2i
7

4. Correspondncia de Galois:

Subgrupos
ordem 1 :

{}

ordem 2 :

<r>

< 2 >
< r >
< 2 r >
< 3 r >
Ordem 4 :

Ordem 8 :

192

Corpos fixados

Q( 4 2, w)

Q( 4 2)

Q( 2, i) = SFQ (t4 t2 2)

Q((1 + i) 4 2)

Q(i 4 2)

Q((1 i) 4 2)

<>

< r, 2 >

< r, r >

Q(i) = SFQ (t2 + 1)

Q( 2) = SFQ (t2 2)

Q( 2i) = SFQ (t2 + 2)

< r, >

Estruturas Algbricas II

14.4

Exemplo 3: GalQ (x8 2)

AULA

14

Corpo de razes de x8 2 sobre Q:

8
SFQ (x8 2) = Q( 2, i)

Ordem do grupo de Galois:

8
|GalQ (x8 2)| = [Q( 2, i) : Q] = 16.

Elementos do grupo de Galois: Um elemento do grupo


de Galois GalQ SFQ (x8 2) determinado por sua ao sobre

= 8 2 e i. Sabemos ainda que tal ao leva numa raiz de


seu polinmio mnimo m,Q (x) = x8 2 (irredutvel por Ei

8
8
8
seinstein, p = 2)
e
leva
i
em
i.
Sejam
2,
2w,
.
.
.
,
2w7

1
2i
onde w = +
uma raz oitava complexa da unidade.
2
2
Deste modo existem exatamente 16 possibilidades.

i
7 i

w 7 w

i
7 i

w 7 w7


7 w

i
7 i

w
7 w5


7 w7

i
7 i

w
7 w3

193

Exemplos


7 w6

i
7
i

w
7 w

r2


7 w2

i
7 i

w
7 w7


7 w7

i
7
i

w
7 w5

r3


7 w

i
7 i

w
7 w3

i
7 i

w 7 w

r4

i
7 i

w 7 w7


7 w5

i
7
i

w
7 w5

r5

i
7 i

w 7 w3

7 w2

r6

7 w6

i
7

w
7


7 w3

i
7
i

w
7 w5

i
7

w
7

w7

r7


7 w5

i
7 i

w
7 w3

Para computar a imagem de w perante os isomorfismos acima


1
consideramos a relao w = (1+i)4 . Como existem exatos
2
16 elementos no grupo de Galois e os que existem esto entre
estes 16 acima, os 16 isomorfismos acima existem e compem
o grupo de galois do polinmio x8 2. Temos ainda as re-

194

AULA

Estruturas Algbricas II
laes 8 = r2 = e r = r3 . Assim, temos mostrado

14

que


GalQ (x8 2) = r, : 8 = r2 = , r = r3

Correspondncia de Galois:

Subgrupos

Corpos fixados

ordem 1 :

Q( 8 2, i)

{}

< r2 >

< r6 >

< r4 >

<r>

< 4 >

< 4 , r6 >

< 4 , r >

< 2 >

< r3 >

< r >

Q(i 4 2)

Q( 4 2)

Q( 2, i)

Q((1 + i) 4 2)

Q((1 i) 4 2)

< r, 2 >

Q( 2)

<>

< r3 , 2 >

ordem 2 :

Q( 8 2w)

Q( 8 2w3 )

Q( 8 2w2 )

Q( 8 2)

Q(i, 4 2)

Ordem 4 :

Ordem 8 :

Q(i)

Q( 2)

Ordem 16 :
GalQ (x8 2)

195

Exemplos

14.5

Concluso

Determinar a correspondncia de Galois uma tarefa trabalhosa


e requer um bom conhecimento da teoria dos grupos finitos. ,
portanto, uma excelente oportunidade para colocarmos em prtica
nossos conhecimentos sobre teoria elementar de grupos.

RESUMO

GalQ (x3 2)
= D3
Correspondncia de Galois

Subgrupos
{}

<r>

< r >

< r2 >

Corposfixados

Q( 3 2, w)

Q( 3 2)

Q( 3 2w)

Q( 3 2w2 )

<>

Q(w)

< r, >

GalQ (x4 2)
= D4
Correspondncia de Galois

Subgrupos
ordem 1 :

196

{}

Corposfixados

Q( 4 2, w)

Estruturas Algbricas II

ordem 2 :

< r >
< 2 r >
< 3 r >

<>

< r, 2 >
< r, r >
Ordem 8 :

14

Q( 2, i) = SFQ (t4 t2 2)

Q((1 + i) 4 2)

Q(i 4 2)

Q((1 i) 4 2)

< 2 >

Ordem 4 :

Q( 4 2)

<r>

AULA

Q(i) = SFQ (t2 + 1)

Q( 2) = SFQ (t2 2)

Q( 2i) = SFQ (t2 + 2)

< r, >

GalQ Q( 8 2, i):
Correspondncia de Galois:

Subgrupos

Corposfixados

ordem 1 :
{}

< r2 >

< r6 >

< r4 >

<r>

< 4 >

Q( 8 2, i)

ordem 2 :

Q( 8 2w)

Q( 8 2w3 )

Q( 8 2w2 )

Q( 8 2)

Q(i, 4 2)

197

Exemplos

Ordem 4 :
< 4 , r6 >

< 4 , r >

< 2 >

< r3 >

< r >

Q(i 4 2)

Q( 4 2)

Q( 2, i)

Q((1 + i) 4 2)

Q((1 i) 4 2)

< r, 2 >

Q( 2)

<>

< r3 , 2 >

Ordem 8 :

Q(i)

Q( 2)

Ordem 16 :
GalQ (x8 2)

PRXIMA AULA

Apresentaremos o critrio de solubilidade por radicais de Galois


para equaes algbricas.

ATIVIDADES

ATIV. 14.1. Para cada exemplo desta aula, mostre que cada
corpo intermedirio de fato o corpo fixado do subgrupo correspondente. Determine ainda os corpos intermedirios que so
normais sobre o corpo base.

198

Estruturas Algbricas II

AULA

ATIV. 14.2. Mostre que GalQ SFQ (x4 2)


= D4 e determine a

14

correspondncia de Galois de SFQ (x4 2) sobre Q. Mostre tambm


que GalQ(i) SFQ (x4 2)
= Z4 .

ATIV. 14.3. Determine a correspondncia de Galois de Q( 2, 3, 5)
sobre Q.

LEITURA COMPLEMENTAR

DUMMIT, David S., FOOTE, Richard M. Abstract Algebra. John


Wiley and Sons, 3.ed., USA, 2004.
GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.
STEWART, Ian. Galois Theory, Chapman & Hall, 3.ed, 2004.

199

AULA

Solubilidade por Radicais


META:
Apresentar o critrio de solubilidade por radicais de Galois para
equaes algbricas.

OBJETIVOS:
Ao final da aula o aluno dever ser capaz de:
Enunciar o critrio de Galois.
Exibir uma quntica no solvel por radicais.
PR-REQUISITOS
Aula 14, teorema de Cauchy sobre p-grupos, grupos de permutaes e o uso de derivadas para construo de Grficos de funes.

15

Solubilidade por Radicais

15.1

Introduo

A expresso
x=

b2 4ac
2a

bastante conhecida por voc. a frmula para a soluo da


equao quadrtica ax2 +bx+c = 0 sobre os reais (poderia ser sobre
corpos de caracterstica 6= 2). Embora muito menos conhecidas,
existem frmulas anlogas para a soluo de equaes algbricas
de grau 3 e 4. A analogia consiste em que tais frmulas envolvem
somente as operaes definidas sobre um corpo (adio, subtrao,
multiplicao e diviso) e extrao de razes. Equaes assim resolvidas (por meio de frmulas envolvendo radicais e operaes
elementares no corpo) ficaram conhecidas por equaes solveis
por radicais e o processo, bem como o problema de determinar tais
solues, foi chamado solubilidade por radicais.
A disparidade entre a simplicidade para obteno da frmula para
equaes quadrticas e a engenhosidade e complexidade para solubilidade das equaes cbicas e qurticas instigou matemticos
de vrias geraes. De 1600 A.C. 1771. O problema tornou-se
ainda mais instigante quando Ruffini e Abel exibiram independentemente qunticas (equaes algbricas de grau 5) no solveis por
radicais. Isto foi em torno de 1820. Extinguia-se o sonho de se
obter frmulas radicais para resolver uma equao algbrica geral
de grau n.
O balde de gua fria jogado por Abel e Ruffini no problema da
solubilidade de equaes algbricas no foi suficiente para fazer os
matemticos desistirem completamente do problema. Muito pelo
contrrio, apenas tornou o problema ainda mais desafiador: saber
se uma dada equao algbrica de grau n 5 seria ou no solvel
por radicais. Por volta de 1830, varist Galois(1811-1832) resolveu

202

Estruturas Algbricas II
por completo o problema exibindo seu critrio de solubilidade.

15.2
15.2.1

AULA

15

Grupos Solveis
Definio

Um grupo G dito solvel se existe uma cadeia de subgrupos


G = G0 G1 G2 Gn1 Gn = {e}
na qual cada Gi um subgrupo normal do grupo precedente Gi1
e o grupo quociente Gi1 /Gi abeliano.

15.2.2

Exemplos

1. Todo grupo abeliano G solvel, pois G {e} satisfaz as


condies requeridas.
2. S3 solvel. De fato, < (123) > um subgrupo normal de
G de ordem 3 (verifique!) e a cadeia
S3 < (123) > {e}
tal que S3 / < (123) > abeliano (ordem 2) e < (123) >
/{e} =< (123) > abeliano (grupo cclico).
3. Seja F um corpo de caracterstica zero e uma raiz primitiva da unidade. A extenso K = F () o corpo de razes do
polinmio xn 1, logo normal. Desde que F tem caracterstica zero, K separvel sobre F . Ento, K de Galois sobre
F . O grupo de Galois GalF K solvel. De fato, quaisquer
que sejam , GalF K, () e () so razes de xn 1,
logo so potncias de ( raiz primitiva!). Assim,
() = ( ()) = ( r ) = ()r = ( s )r = rs

203

Solubilidade por Radicais


() = (()) = ( s ) = ()s = ( r )s = rs
donde = . Ento, GalF K abeliano, logo solvel.

15.2.3

Fatos

1. Sn no solvel para n 5.
2. Imagem homomrfica de um grupo solvel solvel.

15.3
15.3.1

Extenses Radicais
Definio

Um corpo K dito ser uma extenso radical de um corpo F se


existe uma cadeia de corpos
F = F0 F1 F2 Fr = K
na qual para cada i = 1, 2, . . . , r, tem-se Fi = Fi1 (i ) com im
Fi1 para algum inteiro m.

15.3.2

Exemplos

1. Toda extenso quadrtica (grau dois) radical. (Atividade)


p

p
7
7
2. Q( 5, 1 2, 1 + 2) extenso normal de Q.

15.3.3

Fatos

1. Seja F, E, L corpos de caracterstica zero com F E L =


E() e k E. Se L finita sobre F e E normal sobre F ,
ento existe uma extenso M de L que radical sobre E e
normal sobre F .

204

Estruturas Algbricas II
2. Seja F um corpo de caracterstica zero e f (x) F [x]. Se

AULA

15

f (x) = 0 solvel por radicais, ento existe uma extenso


radical normal de F contendo um corpo de razes de f (x).

15.4

O Critrio de Solubilidade de Galois

Seja F um corpo de caracterstica zero e f (x) F [x]. Ento,


f (x) solvel por radicais o grupo de Galois de f (x)
solvel.

A prova deste resultado parte de um curso de ps-graduao.


Para o que precisaremos na prxima seo segue um esboo para
a prova da condio necessria.

1. Existe uma extenso normal radical K de F contendo


SFF (f (x)) (Fato 2).

2. SFF (f (x)) normal sobre F . (Caracterizao de extenses


normais via corpos de razes)

3. GalF SFE (f (x)) solvel.

OBS 15.1. O ltimo item no esboo da prova acima admite a


seguinte generalizao:

Seja K uma extenso radical normal de F , ambos de


caracterstica zero. Ento, GalF E solvel para todo
corpo intermedirio E normal sobre F .

205

Solubilidade por Radicais

15.5

Uma quntica no solvel por radicais

O grupo de galois do polinmio f (x) = 2x5 10x + 5 Q[x]


isomorfo S5 , no solvel. Consequentemente, a equao
f (x) = 2x5 10x + 5 = 0
no solvel por radicais. Deste modo,
No existe uma frmula envolvendo somente as operaes
definidas no corpo e extrao de razes para a soluo de
uma equao algbrica geral de grau 5.

Para ver que GalF (f (x)) isomorfo S5 siga os seguintes passos:


1. Usando a tcnica de derivadas aprendida no clculo I, mostre
que 1 so os pontos crticos (reais) de f (x) = 0.
2. Pelo uso da segunda derivada, mostre que f (x) = 0 admite
um nico mximo relativo em x = 1, um nico mnimo
relativo em x = 1 e um ponto de inflexo em x = 0. (Esboce
o grfico)
3. Conclua que a equao f (x) = 0 admite exatamente trs
razes reais distintas. Use o teorema do valor mdio para
funes contnuas.
4. Mostre que f (x) irredutvel em Q[x].
5. Sabemos que GalQ SFQ (f (x)) = [SFQ (f (x)) : Q] (Teorema
fundamental da teoria de Galois).
6. Se qualquer raiz de f (x) ento m,Q (x) = f (x). Logo,

206

Estruturas Algbricas II
[Q() : Q] = 5. Assim,

AULA

15

GalQ SFQ (f (x)) = [SFQ (f (x)) : Q]


= [SFQ (f (x)) : Q()][Q() : Q]
= 5[SFQ (f (x)) : Q()]
Ento, 5 primo e divide a ordem do grupo GalQ SFQ (f (x)).
Pelo teorema de Cauchy, GalQ SFQ (f (x)) admite um subgrupo cclico de ordem 5 (ou elemento de ordem 5).
7. O grupo de Galois, considerado como um grupo de permutaes das razes de f (x), um subgrupo de S5 . Os
nico elementos de S5 de ordem 5 so os 5-ciclos. Ento,
GalQ SFQ (f (x)) um subgrupo de S5 contendo um 5-ciclo.
8. O isomorfismo conjugao em C induz um automorfismo em
SFQ (f (x)) intercalando as duas nicas razes complexas de
f (x) e fixando as outras trs razes reais. Este automorfismo
como um elemento de GalQ SFQ (f (x)) uma transposio.
9. Deste modo, GalQ SFQ (f (x)) um subgrupo de S5 contendo
uma transposio e um 5-ciclo. Logo, GalQ SFQ (f (x)) = S5
(Atividade).
Prezado aluno, chegamos ao final do curso. compreensvel o
cansao ocasionado pelo enorme esforo dispendido para chegarmos at aqui. Mas, o deleite da aprendizagem na matemtica
proporcional ao quanto no trivial for o que estivermos aprendendo. Fatos no triviais no so por acaso e sua compreenso
requer dedicao e perseverana. Eis o que torna a matemtica
um conhecimento de poucos.

207

Solubilidade por Radicais

15.6

Concluso

O critrio de solubilidade de Galois resolveu um problema milenar. Somente isto j seria suficiente para tornar seu critrio uma
das solues mais importantes da histria da matemtica. Mas,
a maior importncia deste critrio consiste no uso de uma estrutura abstrata (grupos) para resolver um problema sem nenhuma
conexo aparente. Isto no somente evidenciou o potencial da
lgebra para soluo de problemas mas iniciou uma nova era na
matemtica chamada moderna.

RESUMO

Grupos Solveis Um grupo G dito solvel se existe uma


cadeia de subgrupos
G = G0 G1 G2 Gn1 Gn = {e}
na qual cada Gi um subgrupo normal do grupo precedente
Gi1 e o grupo quociente Gi1 /Gi abeliano.

No existe uma frmula envolvendo somente as operaes


definidas no corpo e extrao de razes para a soluo de
uma equao algbrica geral de grau 5

208

Estruturas Algbricas II
Extenses Radicais

AULA

15

Um corpo K dito ser uma extenso radical de um corpo F


se existe uma cadeia de corpos
F = F0 F1 F2 Fr = K
na qual para cada i = 1, 2, . . . , r, tem-se Fi = Fi1 (i ) com
im Fi1 para algum inteiro m.
Critrio de Solubilidade de Galois
Seja F um corpo de caracterstica zero e f (x) F [x]. Ento,
f (x) solvel por radicais o grupo de Galois de f (x)
solvel.

A quntica 2x5 10x + 5 Q[x] no solvel por radicais.

ATIVIDADES

ATIV. 15.1. Faa uma pesquisa sobre as frmulas envolvendo


radicais para uma equao cbica. Use seus resultados para determinar as razes da equao x3 + 3x + 2 = 0.
ATIV. 15.2. Mostre que toda extenso radical finita.
ATIV. 15.3. Mostre que toda extenso quadrtica radical.
p
p

7
7
ATIV. 15.4. Mostre que o corpo Q( 5, 1 2, 1 + 2)
uma extenso radical de Q.
ATIV. 15.5. Seja H um subgrupo de S5 . Se H contm um 5-ciclo
e uma transposio ento H = S5 .

209

Solubilidade por Radicais


ATIV. 15.6. Use os passos para mostrar a no solubilidade por
radicais da quntica exibida no texto e construa uma outra quntica
no solvel por radicais.

LEITURA COMPLEMENTAR

DUMMIT, David S., FOOTE, Richard M. Abstract Algebra. John


Wiley and Sons, 3.ed., USA, 2004.
GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.
STEWART, Ian. Galois Theory, Chapman & Hall, 3.ed, 2004.

210