Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Por
Kalasas Vasconcelos de Araujo
UFS - 2009.2
Sumrio
Aula 1: Polinmios
1.1
Introduo . . . . . . . . . . . . . . . . . . . . . . .
10
1.2
Polinmios . . . . . . . . . . . . . . . . . . . . . . .
11
1.3
12
1.4
Termos e Monmios . . . . . . . . . . . . . . . . . .
18
1.5
Concluso . . . . . . . . . . . . . . . . . . . . . . .
19
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . .
20
PRXIMA AULA . . . . . . . . . . . . . . . . . . . .
22
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . .
23
LEITURA COMPLEMENTAR . . . . . . . . . . .
25
27
2.1
Introduo . . . . . . . . . . . . . . . . . . . . . . .
28
2.2
. . . . . . . . . . .
28
2.3
31
2.4
Concluso . . . . . . . . . . . . . . . . . . . . . . .
33
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . .
33
PRXIMA AULA . . . . . . . . . . . . . . . . . . . .
34
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . .
34
LEITURA COMPLEMENTAR . . . . . . . . . . .
35
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
47
3.7
49
3.8
Concluso . . . . . . . . . . . . . . . . . . . . . . .
49
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . .
50
PRXIMA AULA . . . . . . . . . . . . . . . . . . . .
52
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . .
52
LEITURA COMPLEMENTAR . . . . . . . . . . .
53
55
4.1
Introduo . . . . . . . . . . . . . . . . . . . . . . .
56
4.2
56
4.3
O contedo de um polinmio . . . . . . . . . . . . .
57
4.4
Lema de Gauss . . . . . . . . . . . . . . . . . . . .
59
4.5
60
4.6
Concluso . . . . . . . . . . . . . . . . . . . . . . .
61
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . .
61
PRXIMA AULA . . . . . . . . . . . . . . . . . . . .
62
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . .
62
LEITURA COMPLEMENTAR . . . . . . . . . . .
63
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
. . . . . . .
71
5.6
Concluso . . . . . . . . . . . . . . . . . . . . . . .
72
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . .
73
PRXIMA AULA . . . . . . . . . . . . . . . . . . . .
73
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . .
74
LEITURA COMPLEMENTAR . . . . . . . . . . .
75
77
6.1
Introduo . . . . . . . . . . . . . . . . . . . . . . .
78
6.2
Exemplos . . . . . . . . . . . . . . . . . . . . . . .
78
6.3
79
6.4
83
6.5
Adjuno de razes . . . . . . . . . . . . . . . . . .
84
6.6
Concluso . . . . . . . . . . . . . . . . . . . . . . .
85
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . .
86
PRXIMA AULA . . . . . . . . . . . . . . . . . . . .
86
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . .
87
LEITURA COMPLEMENTAR . . . . . . . . . . .
89
91
7.1
Introduo . . . . . . . . . . . . . . . . . . . . . . .
92
7.2
Glossrio
. . . . . . . . . . . . . . . . . . . . . . .
92
7.3
Exemplos . . . . . . . . . . . . . . . . . . . . . . .
95
7.4
Fatos . . . . . . . . . . . . . . . . . . . . . . . . . . 101
7.5
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
8.3
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
9.3
9.4
9.5
Transitividade . . . . . . . . . . . . . . . . . . . . . 127
9.6
9.7
9.8
Concluso . . . . . . . . . . . . . . . . . . . . . . . 129
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 129
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 130
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 130
LEITURA COMPLEMENTAR . . . . . . . . . . . 131
Aula 10: Corpo de razes
133
145
153
169
181
195
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
a) f (X) = X 2 + X + 1, X R.
b) X R tal que X 2 + X + 1 = 0.
c) X 2 + X + 1.
16
AULA
Estruturas Algbricas II
1.2
Polinmios
Dois polinmios
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).
1.3
18
AULA
Estruturas Algbricas II
Sejam
P1
(a0 , a1 , a2 , . . .),
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 , . . .),
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
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
20
AULA
Estruturas Algbricas II
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
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.
22
Estruturas Algbricas II
AULA
= (1A , 0, 0, 0, . . .)
x1 = x
= (0, 1, 0, 0, 0, . . .)
x2 = x x
= (0, 0, 1, 0, 0, 0, . . .)
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
24
AULA
Estruturas Algbricas II
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
1.5
Concluso
25
Polinmios
RESUMO
, 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.
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
28
AULA
Estruturas Algbricas II
ATIVIDADES
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
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.
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.
2.2
34
Estruturas Algbricas II
AULA
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
LT(f )
g = q 0 (x)g(x) + r0 (x)
LT(g)
q 0 (x) +
LT(f )
LT(g)
LT(f )
LT(g)
g + r0 (x).
priedades requeridas.
Exemplo 2.1. Vamos determinar o quociente e o resto da diviso
36
Estruturas Algbricas II
AULA
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
37
38
AULA
Estruturas Algbricas II
2.4
Concluso
RESUMO
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
lgebra
Geometria
Funes polinomiais
Polinmios
Grfico
Zero
Raiz
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
ATIVIDADES
40
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.
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.
3.1
Introduo
44
AULA
Estruturas Algbricas II
3.2
Glossrio
45
46
AULA
Estruturas Algbricas II
3.3
Ideais em k[x]
47
3.4
MDC em k[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,
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
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.
(3.1)
(3.2)
(3.3)
x 1 = x3 1 (x 1)(x2 + x)
(3.4)
51
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
52
Estruturas Algbricas II
AULA
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
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:
53
54
Estruturas Algbricas II
AULA
3.7
3.8
Concluso
55
RESUMO
Ideais em k[x]
I k[x] ideal I = (f (x)) para algum f (x) k[x]
MDC em k[x]
k[x] DIP Existe MDC em k[x]
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
Sim
No
57
PRXIMA AULA
ATIVIDADES
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
Irredutibilidade em Q[x]
4.1
Introduo
4.2
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:
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
63
Irredutibilidade em Q[x]
se possui contedo igual a 1.
Prova:
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.
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
Prova:
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
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
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
RESUMO
xn
a
b,
MDC(a, b) = 1, raiz de a0 +
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)).
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
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
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
5.2
Critrio de Eisenstein
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]
74
Estruturas Algbricas II
AULA
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)
76
AULA
Estruturas Algbricas II
5.5
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
2i
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
(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
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
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
PRXIMA AULA
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
b) x3 + 2x + 10
c) x3 2x2 + x + 15
d) x4 + 2
e) x4 2
f ) x4 x + 1
80
b) x3 7x2 + 3x + 3
, K=Q
c) x4 5
, K = Z17
d) x3 5
, K = Z11
AULA
Estruturas Algbricas II
LEITURA COMPLEMENTAR
81
AULA
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
6.1
Introduo
6.2
Exemplos
84
Estruturas Algbricas II
AULA
6.3
85
86
AULA
Estruturas Algbricas II
a 7 a
(6.6)
87
88
Estruturas Algbricas II
AULA
6.4
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
6.5
Adjuno de razes
90
Estruturas Algbricas II
AULA
Q[ p] = {a + b p : a, b Q}.
6.6
Concluso
91
RESUMO
PRXIMA AULA
92
AULA
Estruturas Algbricas II
ATIVIDADES
Q[ 2] = {a0 + a1 2 + + an ( 2)n : ai Q, n Z0 }.
93
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.
Q[ 2] = {a + b 2 : a, b Q}
Q[ 2]
Q[ 3] = {a0 + a1 3 + + an ( 3)n : ai Q, n Z0 }.
94
Estruturas Algbricas II
AULA
a
a
a
Q[ 3]. Mostre que ( ) =
para todo
Q. Conclua que
b
b
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
7.2
Glossrio
98
Estruturas Algbricas II
AULA
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
100
Estruturas Algbricas II
AULA
7.3
Exemplos
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
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
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:
103
Extenses de Corpos
(b) Operaes:
Adio:
(a + b p) + (c + d p) = (a + b) + (c + d) p
Multiplicao:
Im
com
Q[ p] = {a + b p : a, b Q}.
(d) Inverso multiplicativo:
(a + b p)1 =
a
b
p
2
2
2
pb
a pb
De fato,
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
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()
106
Estruturas Algbricas II
7.4
AULA
Fatos
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
108
(7.7)
Estruturas Algbricas II
AULA
=
=
bij i j .
1in,1jm
bij i j = 0
1in,1jm
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
i 2 C algbrico sobre Q.
p
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
113
Extenses de Corpos
Isto mostra que (p(x)) = Ker . Deste modo,
f ()
0 f (x)
Ker = (p(x))
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)
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
RESUMO
116
Estruturas Algbricas II
AULA
PRXIMA AULA
ATIVIDADES
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).
1 + 5 sobre Q.
3i +
2 sobre Q.
2 + i sobre Q.
2 + i sobre R.
5 sobre Q( 3).
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
120
AULA
Estruturas Algbricas II
8.2
IF
IF
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
122
Estruturas Algbricas II
AULA
: F [x] F 0 [x].
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))
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.
: F () F 0 (0 )
124
F0
Estruturas Algbricas II
AULA
F () F 0 (0 )
IF :
F0
um Q-automorfismo : Q( p, q) Q( p, q) tal que ( p) =
p e ( q) = q.
8.4
Concluso
RESUMO
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)) =
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
126
AULA
Estruturas Algbricas II
Q( 3, 5) tal que ( 3) = 3 e ( 5) = 5.
LEITURA COMPLEMENTAR
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
130
AULA
Estruturas Algbricas II
9.2
Finita algbrica
9.3
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
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
9.6
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
134
Estruturas Algbricas II
AULA
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
ATIVIDADES
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
LEITURA COMPLEMENTAR
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
10.2
Exemplos
140
Estruturas Algbricas II
AULA
10
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
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
142
Estruturas Algbricas II
AULA
10
: F () E()
no qual
() = . Temos ento o diagrama
SFF (f (x))
?
F ()
?
/ E()
O
?
/E
?
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
AULA
10
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 )
K()
KO
?
v;
vv
v
vv
, vvv
F (v)
?
/ F ()
O
?
/F
?
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
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
149
Corpo de razes
ATIVIDADES
LEITURA COMPLEMENTAR
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
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 )
Por
152
AULA
Estruturas Algbricas II
11.2
11
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.
11.3
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
vi v
wwj
e isto
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).
11.4
Concluso
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
156
Estruturas Algbricas II
AULA
11
ATIVIDADES
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
O iso-
Aplicando o iso-
12.3
Fatos
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)
: Q( p, q) Q( p, q)
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)
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
164
Estruturas Algbricas II
Vejamos como montar um tal isomorfismo. Primeiro,
AULA
12
7 1
7 2
7 3
7 4
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
165
Noes elementares da
Teoria de Galois
Segue, pela anlise das tbuas de operaes dos respectivos grupos, que a aplicao
: GalQ Q( p, q) H
166
AULA
Estruturas Algbricas II
12.5
12
A correspondncia de Galois
{ Subgrupos de GalF K}
GalE K
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) +
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
(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
a, c Q} = Q( q).
Note que
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 +
< 1 >
< 2 >
< 3 >
GalQ Q( p, q)
Corpos fixados
Q( p, q)
Q( p)
Q( q)
Q( pq)
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)
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
(H)
{ Subgrupos de GalF K }
GalE K
H
PRXIMA AULA
171
Noes elementares da
Teoria de Galois
ATIVIDADES
(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
12
LEITURA COMPLEMENTAR
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
13.2
O Lema Principal
176
Estruturas Algbricas II
define uma permutao no conjunto {1 , 2 , . . . , t } qual-
AULA
13
13.3
Sobrejetividade
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)).
13.4
Injetividade
178
Estruturas Algbricas II
AULA
13
13.5
O Teorema Fundamental
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.
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
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
182
Estruturas Algbricas II
AULA
13
RESUMO
183
O teorema fundamental
da teoria de Galois
PRXIMA AULA
ATIVIDADES
184
Estruturas Algbricas II
AULA
13
intermedirio.
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
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
14.2
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.
188
AULA
Estruturas Algbricas II
14
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
3
3
3
3
( 2) =
2, 2w, ou 2w2
(w) = w, ou w2
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 }
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, >
4
SFQ (x4 2) = Q( 2, i)
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( 2) = SFQ (t2 2)
< r, >
Estruturas Algbricas II
14.4
AULA
14
8
SFQ (x8 2) = Q( 2, i)
8
|GalQ (x8 2)| = [Q( 2, i) : Q] = 16.
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
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
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( 2) = 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
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
14
LEITURA COMPLEMENTAR
199
AULA
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
15.1
Introduo
A expresso
x=
b2 4ac
2a
202
Estruturas Algbricas II
por completo o problema exibindo seu critrio de solubilidade.
15.2
15.2.1
AULA
15
Grupos Solveis
Definio
15.2.2
Exemplos
203
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
15.3.2
Exemplos
p
7
7
2. Q( 5, 1 2, 1 + 2) extenso normal de Q.
15.3.3
Fatos
204
Estruturas Algbricas II
2. Seja F um corpo de caracterstica zero e f (x) F [x]. Se
AULA
15
15.4
205
15.5
206
Estruturas Algbricas II
[Q() : Q] = 5. Assim,
AULA
15
207
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
208
Estruturas Algbricas II
Extenses Radicais
AULA
15
ATIVIDADES
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
LEITURA COMPLEMENTAR
210