Teoriagalois PDF

Anotacoes sobre Teoria de Galois.
Rodrigo Carlos Silva de Lima
Universidade Federal Fluminense - UFF-RJ

rodrigo.u.math@gmail.com
Sum
ario
1 Teoria de Galois
1.1
Teoria de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
A conexao de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2.1
Elemento primitivo . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.2.2
n-esimo polinomio ciclotomico . . . . . . . . . . . . . . . . . . . . . 23
1.3
A equacao geral de grau n . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
1.4
C e um corpo algebricamente fechado . . . . . . . . . . . . . . . . . . . . . 50
Captulo 1
Teoria de Galois
1.1
Teoria de Galois
Defini
c
ao 1 (K-automorsmo). Seja L|K uma extensao de corpos. Um automorsmo
f : L L e um K-automorsmo f (a) = a a K. Isto e um automorsmo que xa
os elementos de K. f e um automorsmo de L tal que f |K = I.
Defini
c
ao 2 (Grupo de Galois G(L|K)). Seja f : L L um K-automorsmo , L|K uma
extensao, denimos G(L|K) como conjunto das funcoes f que sao K- automorsmos.
G(L|K) = {f : L L, automorsmo, tal quef |K = I}.

Propriedade 1. O conjunto G(L|K) munido com a operacao de composicao de funcoes
e um grupo.
Demonstrac
ao.
A composicao de bijecoes e uma bijecao e a composicao de homomorsmo e um homomorsmo, portanto a a composicao de automorsmo e um automorsmo. Se f e g sao
K-automorsmo.
A operacao e fechada . Se a K, f, g G(L|K) ent
ao f (g(a)) = f (a) = a, da
f g G(L|K).
CAPITULO 1. TEORIA DE GALOIS
Temos a identidade no conjunto, que e a funcao I : L L tal que I(x) = x para
todo x L.
Se f G(L|K) ent
ao f 1 e um automorsmo de L tal que para todo a K
a = I(a) = f (f 1 (a)) = f 1 (f ( a)) = a.

Portanto G(L|K) e um grupo .
Defini
c
ao 3 (Grupo de Galois de L|K). O grupo de Galois de L|K e o grupo G(L|K).
Propriedade 2.
G(C|R) =< f >= {I, f }
onde f e a conjugacao complexa.
Demonstrac
ao. Sejam a extensao C|R, f : C C um R automorsmo. {1, i} e
uma base de C|R, entao cada t C se escreve como
t = a + bi, a, b R
f (t) = f (a + bi) = f (a) + f (b)f (i) = a + bf (i).
A funcao f e determinada por f (i). Como vale i2 = 1 tem-se
f (i2 ) = f (i)2 = f (1) = 1
logo f (i) e raiz de x2 + 1 = 0, da f (i) = i ou f (i) = i, entao existem 2 R automorsmos
I : C : C, I(a + bi) = a + bi e f : C C com f (a + bi) = a bi que e a conjugacao
complexa .
G(C|R) =< f >= {I, f, f 2 = I}.
De maneira similar temos se trocamos R por Q.
Exemplo 1. Seja R tal que 3 = 2, consideramos a extensao Q()|Q e um Qautomorsmo, f : Q() Q(), como {1, , 2 } e base de Q()|Q, todo elemento de
Q() se escreve de maneira u
nica como
= a + b + c2 , a b, c Q
logo
f () = f (a + b + c2 ) = a + bf () + cf ()2
f () e determinado por f (), como 3 = 2 entao f ()3 = 2, f () e raiz de x3 2, logo
o u
nico valor possvel e f () = , pois as outras razes sao complexas, logo f = I e
G(Q()|Q) = {I}.
Propriedade 3. Seja f (x) K[x] \ K e seja L um corpo de razes de f (x) sobre K. Se
: L L e um K-automorsmo de L e e uma raiz de f (x) entao () tambem e uma
raiz de f (x).
Demonstrac
ao. Seja
f (x) =
ak xk
k=0
f () = 0 =
ak k
k=0
aplicando , sabendo que (0) = 0 e por propriedades de automorsmo segue

(0) = 0 =
ak ()k
k=0
logo () e raiz.
Defini
c
ao 4 (Grupo de Galois de f (x)). Seja f (x) K[x] \ K e seja L um corpo de
razes de f (x) sobre K. O grupo de galois de f (x) e
G(f (x)|K) := G(L|K).
Propriedade 4. Se f (x) K[x] \ K tem n razes distintas em seu corpo de razes L,
entao G(L|K) e isomorfo a um subgrupo de Sn .
Demonstrac
ao. Seja B = {ak }n1 o conjunto das n razes de f (x). Se g G(L|K)
entao g(ak ) e raiz de f (x), com g injetora g(A) = A, g permuta as razes de f (x) .
Considere a funcao h : G(L|K) SB tal que h(g) = g|B . h e homomorsmo, pois
dado g1 , g2 G(L|K),
h(g1 g2 ) = g1 g2 |B = h(g1 ) h(g2 ) = g1 |B g2 |B
pois aplicados em x B assumem o mesmo valor. Vale que L = K(k )n1 = K[k ]n1 ,
g G(L|K) esta perfeitamente determinado por seus valores em B. Se g1 , g2 G(L|K)
tais que g1 |B = g2 |B entao g1 = g2 , logo f e injetora, portanto G(L|K) e isomorfo a um
subgrupo de SB w Sn .
Teorema 1. Seja f (x) K[x] K um polinomio separavel. Seja L um corpo de razes
de f (x) sobre K entao |G(L|K)| = [L : K].
Demonstrac
ao. Mostraremos que I : K K tem [L : K] extensoes a L, por inducao
sobre [L : K]. Se [L : K] = 1, entao L = K e G(L|K) = {I} e o resultado vale. Supondo
que [L : K] > 1, entao, f (x) tem algum fator irredutvel P (x) K[x] de grau d > 1,
xamos L uma raiz de P (x), como f (x) e separavel, entao P (x) tem d razes distintas,
todas em L. Assim, cada g G(L|K) e tal que = g() L, tambem e uma raiz de
P (x). Ha exatamente d, K-isomorsmos, g : K() K() extensoes de I : K K,
uma para cada raiz de P (x) L e um corpo de razes de f (x) sobre K() e K(). Cada
g : K() K() admite extensao g : L L, como
[L : K()] =
[L : K]
[L : K]
=
< [L : K]
[K() : K]
d
[L : K]
extensoes de cada um dos d, Kd
Isomorsmos, g : K() K(), portanto ha [L : K], K- isomorsmos de L.
por hipotese de inducao, ha [L : K()] =
Exemplo 2. Seja f (x) = x3 1 Q[x], o corpo de decomposicao de f (x) sobre Q e

2
2
Q(w) onde w = cos( ) + isen( ) e [Q(w) : Q] = 2, o polinomio mnimo de w sobre Q
3
3
2
2
e x + x + 1 = (x w)(x w ), entao G(Q(w)|Q) = {I, f }, pois o grupo deve possuir
ordem 2, logo possui I e mais alguma funcao f , como nao vale f (w) = w, pois f nao e a
identidade, entao vale f (w) = w2 . O grupo de Galois e cclico de ordem 2, gerado por f .
Exemplo 3. Seja f (x) = x3 2 Q[x], o seu corpo de razes sobre Q e Q(w,
[Q(w,
3
3
3
3
2) : Q] = [Q(w, 2) : Q( 2)] [Q( 2) : Q] = 6
|
{z
}|
{z
}
2
portanto
G(Q(w,
3
2)|Q) w S3 .
3
2),
Exemplo 4. Seja L = K(x), onde K = Zp (xp ), p um n

umero natural primo, L e um
corpo de decomposicao sobre K de f (y) = y p xp K[y]. O polinomio f (y) e irredutvel
em K[y] e nao e separavel, observamos que f (y) = (yx)p em L[y], nesse caso [L : K] = p,
g(L|K) = {I}, so podemos ter a identidade pois o automorsmo leva raiz em raiz.
Defini
c
ao 5 (Corpo intermediario). Seja L|K uma extensao de corpos. Chamamos um
corpo F de intermediario quando K F L.
Propriedade 5. Sejam L|K uma extensao de corpos e F um corpo intermediario. Entao
G(L|F ) e um subgrupo de G(L|K). Se F e F sao corpo intemediarios e F F entao
G(L, F ) G(L, F ).
Demonstrac
ao.
Se G(L, F ) entao e um automorsmo de L que xa F e como K F ela tambem
xa K, logo e um k- automorsmo, que mostra que todo elemento de G(L, F ) tambem
e elemento de G(L|K) logo G(L|F ) G(L|K). G(L|F ) e um grupo contido contido em
G(L|K), com a mesma operacao de composicao de funcoes, logo G(L|F ) e subgrupo de
G(L|K), o mesmo valendo para F e F .
Propriedade 6. Seja K F L uma cadeia de corpos com F |K corpo de decomposicao
sobre K de algum polinomio f (x) K[x] \ K. Se g G(L, K) entao g|F G(F |K).
Demonstrac
ao. Basta demonstrar que g(F ) = F pois g e homomorsmo que x K,
para ser automorsmo de F , sua imagem deve ser F , pois automorsmo e bijetivo.
Sejam (k )n1 as razes distintas de f (x) e g G(L|K), entao g(f )(x) = f (x) pois
f (x) K[x], os coecientes sao xados por g, vale g(ak ) = aJ em F , pois automorsmo
permuta razes, F = K(ak )n1 entao g(F ) = K(g(ak )n1 ) F. Como g e K-linear e injetora
[g(F ) : K] = [F : K]
logo g(F ) = F , pois possuem mesma dimensao como espaco vetorial sobre K.
Teorema 2. Sejam K F L uma cadeia de corpos com F |K corpo de decomposicao
sobre K de algum polinomio f (x) K[x] K e L|K corpo de decomposicao sobre K de
algum polinomio f (x) K[x] \ K. Entao G(L|F ) e um subgrupo normal de G(L|K) e
G(L|K)/G(L, F ) G(F, K).
Demonstrac
ao. Denimos h : G(L|K) G(F |K) com h(g) = g|F , pela propriedade
anterior, h esta bem denida. h e um homomorsmo de grupos, pois dados quaisquer
g1 , g2 G(L|K) temos que
g1 g2 |F = g1 |F g2 |F .
ker(h) = {g G(L|K) | g|F = I} = G(L|F ),
portanto G(L|F ) (o n
ucleo e subgrupo normal), e um subgrupo normal de G(L|K). Se
T G(F |K), ele se estende a um K- automorsmo de L, isto e, existe T2 G(L|K) tal
que T2 |F = T , isso mostra que h e uma funcao sobrejetora, pois basta tomar T2 G(L|K)
e aplicar h(T2 ) = T2 |F = T. Pelo teorema fundamental dos homomorsmos de grupos.
obtemos o isomorsmo de grupos
G(L|K)/G(L, F ) G(F, K).
Lembrando que o teorema dos isomorsmos diz que se f : G B um homomorsmo
entao h : G/(ker(f )) f (G) com h(gker(f )) = f (g) e um isomorsmo.
Defini
c
ao 6. Sejam L|K uma extensao de corpos e G = G(L, K). Para cada subgrupo
H de G , denimos
LH = {x L, g(x) = x, g K.}
Propriedade 7. LH e um corpo intermediario de L|K. Se H e H sao subgrupos de G
com H H entao LH LH .
Demonstrac
ao. Vale que K LH , pois quaisquer g H G e um K automorsmo
que e identidade em K, alem disso LH L pois e formado por elementos de L, falta
agora provar que tal conjunto e corpo.
Sejam , LH e g H arbitrario, lembrando que g e automorsmo, entao vale
g( ) = g() g() =
g(.) = g()g() = .
g( 1 ) = g()1 = 1 , = 0.
entao tambem vale que , e 1 sao elementos de LH , o que mostra LH ser subcorpo
de L.
Como H G entao g G e para todo a H temos g(a) = a, logo K LH , portanto

LH e um corpo intermediario de L|K.
Supondo H, H < G com H H . Se x L e xado por todos os elementos de H , x
e xado por todos os elementos de qualquer subconjunto de H , em particular x e xado
por todos os elementos de H H , logo x LH e da LH LH .
4
Exemplo 5. Determine G(L|K) para L = Q( 2) e K = Q. P (x) = x4 2 e irredutvel
4
sobre Q por criterio de Eisenstein, sendo polinomio mnimo de 2. As razes reais de
4
4
x4 2 sao 2 e 2 as outras sao complexas, logo temos duas possibilidades de funcoes
4
4
4
4
nao triviais f1 ( 2) = 2 ou f2 ( 2) = 2. Logo os automorsmos sao
G(L|K) = {I, f1 , f2 }.
2
2
3
Exemplo 6. Determine G(L|K) onde L = Q( 2, w) , K = Q, w = cos( + isen( )).
3
3
3
3
3
Sabemos que L e corpo de razes de x3 2 = (x 2)(x 2w)(x 2w2 ) e o grau
da extensao e 6, logo G(L|K) = 6
Fazemos a extensao primeiro com adjuncao de w, Q(w)|Q tem polinomio mnimo
x2 + x + 1 = (x w)(x w2 ), logo temos os automorsmos f1 (w) = w e f2 (w) = w2 .
3
3
Agora fazemos a adjuncao de 2, onde temos o polinomio mnimo x3 2 = (x 2)(x
3
3
2w)(x 2w2 ) logo com as possibilidades da primeira extensao temos os automorsmos
3
2
3
2
2w
3
2w2
3
2
w2
2w
w2
3
2w2
w2
2
2
+ isen( )).
5
5
5
4
3
2
4
3
2
w e raiz de x 1 = (x 1)(x + x + x + x + 1), P (x) = (x + x + x + x + 1) =
Exemplo 7. Determine G(L|K) onde L = Q(w) , K = Q, w = cos(
(x w)(x w2 )(x w3 )(x w4 ) e irredutvel sobre Q, sendo o polinomio mnimo e L o

corpo de razes, entao G(L|K) = 4, os possveis automorsmos sao
I(w) = w, f2 (w) = w2 , f (w) = w3 , f (w) = w4 .

Exemplo 8. Determine G(L|K) onde L = Q( 2, 3) , K = Q. Tomamos P (x) =

(x2 2)(x2 3), L e corpo de razes de P (x), vale |G(L|K)| = 4 = [Q( 2, 3) : Q]. Os
automorsmos sao 4
10
3 3
Propriedade 8. Seja algebrico sobre K e t G(K()|K), entao t() tem o mesmo

polinomio mnimo de sobre K.
Demonstrac
ao. Tomamos P (x) K[x], polinomio mnimo de , ele e irredutvel
logo nao possu razes em K, como t() e tambem raiz de P (x) segue o resultado.
Exemplo 9.
Se G(L|K) = {I} entao L = K?
3
Nao, pois por exemplo L = Q( 2) e K = Q, ent
ao o u
nico automorsmo e a
identidade, pois as outras razes do polinomio mnimo x3 2 sao complexas.
Se L = K ent
ao G(L|K) = {I}?
Sim, pois o K-automorsmo e L-automorsmo e por isso xa L, sendo a identidade.
Exemplo 10. G(C|R) e abeliano , pois possui dois elementos, e todo grupo de ordem 2
e abeliano.
1.2
A conex
ao de Galois
Propriedade 9 (Dedekind). Sejam L um corpo de (k )n1 automorsmos distintos de L.

Entao o conjunto {k }n1 e linearmente independente sobre L.
Demonstrac
ao. Supondo por absurdo que o conjunto seja linearmente independente
(LI) sobre L, entao existem (ak )n1 em L tais que
n
ak k (x) = 0, x L.
k=1
Podemos encontrar uma relacao que tem o menor n

umero de coecientes nao-nulos,
renomeando os automorsmos, se necessario, existe m n tal que
m
k=1
ak k (x) = 0, x L,
11
com cada ak nao nulo. Vale que m 2, pois se m = 1, {1 } e LI sobre L, pois se

0 = a1 1 (x) x
com a1 L, como 1 (1) = 1 entao
0 = a1 1 (1) = a1 .
Entao m 2, como 1 = m existe y L tal que 1 (y) = m (y), temos substituindo x
por yx em
ak k (x) = 0
k=1
que
ak k (xy) =
k=1
multiplicando
ak k (x)k (y) = 0, x L,
k=1
ak k (x) = 0 por 1 (y) temos
k=1
m
ak k (x)1 (y) = 0
k=1
subtraindo de
ak k (x)k (y) temos
k=1
m
ak k (x)k (y)
k=1
k=1
ak k (x)1 (y) =
ak k (x)(k (y) 1 (y)) = 0, x L.
k=2
O coeciente de m (x) e am (m (y) 1 (y)) = 0, entao a equacao acima tem no maximo

m 1 < m escalares nao-nulos, contrariando a minimalidade de m, o que e absurdo entao
{}n1 e LI sobre L.
Teorema 3. Seja G um subgrupo nito de um grupo de automorsmo de um corpo L e
seja LG o corpo xo de G
LG = {x L | (x) = x, G}
entao [L : LG ] = |G|.
12
Demonstrac
ao. Seja n = |G| e G = {k }n1 com 1 = I.
Suponha por absurdo que [L : LG ] = m < n. Seja {k }m
1 base de L|LG , seja A a
matriz m n com entradas em L denida por A(k,j) = j (k ), o sistema AX = 0 tem
uma solucao nao-nula
a11
a12
1 (1 )
a1n
2 (1 )
a2n
1 (2 ) 2 (2 )
=
..

.

amn
1 (m ) 2 (m )
x1
x
2
X= .
..
xn
a21 a22
A= .
..
am1 am2
n (1 )
n (2 )
n (m )
temos mais colunas do que linhas, entao o sistema AX = 0 tem uma solucao (nao
trivial) nao-nula (xk )n1 em Ln , tal que
n
j (k )xj = 0 k Im
j=1
a expressao acima dada pelo produto da k-esima linha da matriz A pela coluna da matriz
m
m
ak k , logo, substituindo na
X. Se L entao existem (ak )1 LG tais que =
k=1
expressao acima temos

n
j ()xj =
j=1
n
m
m
ak k )xj =
j (ak )j (k )xj =
j (
j=1
j=1 k=1
k=1
m
k=1
ak (
j (k )xj ) = 0
j=1
{z
=0
pois cada j (ak ) = ak que segue de ak LG , isso vale para todo L, com (xk )n1
nao todos nulos, portanto os automorsmos (k )n1 sao linearmente dependentes sobre L,
o que contradiz a proposicao anterior, portanto m n.
em L, linearmente
Suponha que [L : LG ] > n, entao existem pelo menos (k )n+1
1
independentes sobre LG . Consideramos a matriz n (n + 1) com entradas em L, denida
com A(k,j) = k (j ),
a11
a12
a1n
a21 a22
A= .
..
am1 am2
13
1 (1 ) 1 (2 )
1 (n+1 )
a2n
2 (1 ) 2 (2 )
=
..

.

amn
n (1 ) n (2 )
x1
x
2
X= .
..
xn+1
2 (n+1 )
n (n+1 )
o sistema AX = 0 tem uma solucao nao nula (xk )n+1

em Ln+1 e
1
n+1
k (j )xj = 0, k In
j=1
a soma acima e obtida pelo produto da k-esima linha da matriz A pela coluna da matriz
X, entre todas as solucoes nao nulas, escolhemos a relacao com o menor n
umero de
coecientes nao nulos, digamos (xk )r1 nao nulos e (xk )n+1
r+1 nulos ( renomeando os elementos
se necessario), da temos
k (j )xj = 0, k In .
j=1
Seja G entao {
k }n1
= G, pois e automorsmo, logo bijetivo e injetivo e a

r
composicao de automorsmos e automorsmo, aplicando em

k (j )xj temos
j=1
r
(k (j ))(xj ), k In
j=1
o sistema acima e equivalente ao sistema

r
k (j )(xj ), k In
j=1
pois de certa maneira apenas troca as linhas, multiplicando

(x1 ) e a equacao
j=1
j=1
k (j )(xj ) = 0 por x1 temos
k (j )xj = 0 por
14
k (j )xj (x1 ) = 0
j=1
k (j )(xj )x1 = 0, k In
j=1
subtraindo a primeira da segunda temos

r
k (j )(xj (x1 ) (xj )x1 ) = 0 =
j=1
k (j )(xj (x1 ) (xj )x1 )
j=2
pois em 1 o coeciente se anula x1 (x1 ) (x1 )x1 = 0. Esse sistema de equacoes tem
menos termos nao nulos que a quantidade mnima r, logo se os coecientes nao sao todos
nulos chegamos numa contradicao. Caso os coecientes sejam nulos
(xj (x1 ) (xj )x1 ) = 0, j Ir
se isso ocorre entao xj (x1 ) = (xj )x1 da
1
xj x1
= (xj x1
1 = (xj )(x1 )
1 ), G, j Ir
r
da xj x1
ao nulos e um elemento x1 L tais que
1 LG e existem (k )1 em LG n
xj = x1 j j Ir ,
r
r
a equacao
k (j )xj = 0 com k = 1 se torna
j xj = 0 pois 1 = I , substituindo
j=1
xj = x1 j temos
j=1
r
j x1 j = 0,
j=1
como x1 = 0, cancelamos x1 chegando em

r
j j = 0,
j=1
da obtemos que {ak }r1 e linearmente dependente sobre LG , o que e uma contradicao,
portanto [L : LG ] n, da primeira etapa temos [L : LG ] n logo [L : LG ] = n = |G|.
Propriedade 10. Sejam L|K uma extensao nita e G = G(L, K). Se H e um subgrupo
de G entao
[LH : K] =
[L : K]
.
|H|
15
Demonstrac
ao. Basta mostrarmos que G = G(L|K) e nito, logo H tambem e nito
e pelo teorema anterior [L : LH ] = |H| e da
[LH : K] =
[L : K]
[L : K]
=
.
[LH : H]
|H|
Vamos mostrar que |G(L|K)| [L : K] = m, seja {k }m

1 uma base de L|K. Suponha,
por absurdo que existam pelo menos (k )m+1
k automorsmos distintos de L. Seja A a
1
matriz m (m + 1) com entradas em L, denida com A(k,j) = j (k ), o sistema linear
AX = 0 tem uma solucao nao-nula (xk )m+1
Lm+1 , tal que
1
m+1
j (k )xj = 0, k Im .
j=1
Seja L. Entao existem (ak )m

1 em K, tais que
=
ak k ,
k=1
logo
=0
z
}|
{
m
m+1
m+1
m
m+1
ak
ak k )xj =
j ()xj =
j (
j (k )xj = 0.
j=1
j=1
k=1
k=1
j=1
pois j e automorsmo e xa cada ak , isto acontece para todo L, com (xk )m+1
nao
1
todos nulos, isso signica que {k }m+1
sao linearmente dependentes o que contradiz o
1
resultado ja provado (Dedekind) entao |G(L|K)| [L : K].
Teorema 4. Seja L|K uma extensao nita com G = G(L|K). Sao equivalentes
1. LG = K, isto e, LG(L|K) = K.
2. Cada polinomio irredutvel p(x) K[x] com uma raiz em L e separavel e tem todas
as razes em L. A extensao e normal e separavel.
3. L e corpo de decomposicao sobre K de algum polinomio separavel f (x) K[x].
Demonstrac
ao.
16
1) 2). Seja P (x) K[x] monico irredutvel, tendo uma raiz inL. Como K = LG ,
pelo resultado anterior |G| = [L : LG ] = [L : K]. Considere os elementos distintos

do conjunto nito {() | G} L, tal conjunto e nito pois permuta as
razes de P (x), sendo {() | G} = {k }n1 com 1 = . Denimos
g(x) =
(x j ) =
j=1
onde S0 = 1,
S1 =
k , , S k =
k=1
Snk xk (1)nk
k=0
kPk
k, Sn =
kPn
Ps e o multiconjunto de todas combinacoes de produto de s razes de ndices distintos. Cada G permuta {k }, logo xa suas funcoes simetricas elementares,
isto e , (Sj ) = Sj j In . Como LG = K entao g(x) K[x] e tem todas razes
distintas. Os polinomios P (x) e g(x) tem como raiz comum em L, temos que
mdc(P (x), g(x)) = 1 em L[x] entao mdc(P (x), g(x)) = 1 em K[x]. Como P (x) e
irredutvel em P (x) entao mdc(P (x), g(x)) = P (x) em K[x] logo P (x) divide g(x),
as razes de P (x) sao distintas, isto e, o polinomio e separavel e tem todas razes
em L.
2) 3). Dado L, ele e algebrico sobre K, pois L|K e nita, logo algebrica.
Tomando 1 L e P1 (x) K[x] seu polinomio mnimo, por hipotese P1 (x) tem
todas suas razes em L e e separavel. Seja K1 L um corpo de decomposicao de
P1 (x) sobre K. Se K1 = L ja temos nosso polinomio, caso contrario escolhemos
2 L tal que 2 nao seja elemento de K1 . Seja P2 (x) o polinomio mnimo de 2
sobre K, por hipotese P2 (x) e separavel e tem todas as suas razes em L, tomamos
K2 L o corpo de decomposicao do polinomio separavel P1 (x)P2 (x) K[x], se
K2 = L, terminamos, caso contrario continuamos o processo, que tem que parar
pois [L : K] e nito. (Observacao: Se P1 (x) e P2 (x) tem uma raiz em comum, ela
nao pode ser do corpo K, pois se nao seriam redutveis, e nao podem ser de L, pois
sendo irredutveis, seriam polinomios identicos, pois o polinomio mnimo e u
nico,
por isso P1 (x)P2 (x) e separavel.)
3) 1) Vale que |G(L|K)| = [L : K] por L ser corpo de decomposicao de algum
polinomio separavel f (x) K[x] e temos tambem |G(L|K)| = [L : LG ] da [L :
17
LG ] = [L : K] como K LG L temos por multiplicatividade dos graus que

[L : K] = [L : LG ][LG : K] [LG : K] = 1
| {z }
[L:K]
por isso LG = K.
Defini
c
ao 7 (Extensao galoisiana). Uma extensao nita de corpos e dita galoisiana
satisfaz uma das condicoes do teorema anterior.
Propriedade 11. Sejam L|K uma extensao nita F um corpo intermediario e
G(L|K) entao
G(L|(F )) = G(L|F ) 1 .
Essa propriedade diz que podemos colocar o automorsmo para forado smbolo.
Demonstrac
ao. Primeiro vamos mostrar que G(L|F ) 1 G(L|(F )). Por isso
tomamos y G(L|F ) e arbitrario em (F ), para que a inclusao seja verdadeira, temos
que ter y 1 () = , pois da y 1 xa elemento de (F ) (ja sendo automorsmo, por
ser composicao desse tipo de funcao).
Como (F ) entao = () para algum F ( temos tambem 1 () = ) e
y 1 () = (y) 1 () = y() = () =
logo y 1 () G(L|(F )).
Agora mostramos que G(L(F )) G(L|F ) 1 mostrando que 1 G(L(F ))
G(L|F ).
1 T () = 1 () =
o que prova as duas inclusoes, entao vale a igualdade.
Teorema 5 (Teorema fundamental da teoria de Galois). Sejam L|K uma extensao nita,
normal e separavel, com [L : K] = n, G = G(L|K),
F = {F | K F L e F e corpo}
H = {H | H < G}
18
H subgrupo de G.
Consideremos as funcoes
: F H com (F ) = G(L|F )
: H F com (H) = LH ,
entao
1. |G| = n, isto e, |G(L|K)| = [L : K].
2. e revertem as inclusoes,
= IH e = IF
3. Seja F corpo com K F L, entao
[L : F ] = |G(L|F )| e [F : K] =
|G|
= (G : G(L|F )).
|G(L|F )|
4. Seja F corpo com K F L. F |K e normal G(L|F ) G (subgrupo normal de

G). Nesse caso G(F |K) e isomorfo a G/(G(L|F ).
Demonstrac
ao.
1. Sabemos que se L|K e nita , normal e separavel com G = G(L|K) entao LG = K.
Sabemos tambem que [L : LG ] = |G| logo [L : LK ] = |G| = n.
2. Sabemos que (F ) = G(L|F ) e H < G temos (H) = LH entao
(G(L|F )) = LG(L|F ) = ((F )),
isto e, ((F )) = LG(L|F ) , temos que F LG(L|F ) , pois em LG(L|F ) os automorsmos
de G(L|F ) xam F , isso implica que
F ((F )).
19
Temos tambem (H) = LH ((H)) = (LH ) = G(L|LH ). H G(L|LH ) pois

G(L|LH ) e o conjunto dos automorsmos que xam LH , os automorsmos de H
xam LH por denicao. Resumindo, temos
H ((H))
F ((F )).
Como L|K e normal e separavel entao L|F e normal e separavel e vale
LG(L|F ) = F, isto e ((F )) = F,
logo = IF .
Vale LG(L|K) = K quando L|K e normal e separavel como H G(L|K), todo
automorsmo de H xa K, entao o corpo xo LH satisfaz K LH L. Logo LH
e normal e separavel e da vale LG(L|LH ) = LH e vale |H| = [L : LH ] da |H| = [L :
LG(L|LH ) ] e novamente [L : LG(L|LH ) ] = |G(L|LH )| = |H|, como H G(L|LH ) e os
grupos sao nitos, obtemos que H = G(L|LH ) = ((H)) e da = IH .
3. L|F e normal e separavel da F = LG(L|F ) , da |G(L|F )| = |L : F |, pelo item (1),
por multiplicatividade dos graus temos
[F : K] =
[L : K]
|G(L|K)|
=
.
[L : F ]
|G(L|F )|
4. ). Se F |K e normal entao F |K e corpo de decomposicao sobre K de algum

polinomio f (x) K[x] \ K e como L|K e normal ela e corpo de decomposicao sobre
K de algum polinomio g(x) K[x] \ K e G(L|F ) e um subgrupo normal de G(L|K)
com G(L|K)/G(L|F ) w G(F |K), que e um resultado que ja provamos.
). Suponha H = G(L|F ) G(L|K), entao G(L|F ) 1 = (L|F ) G(L|K).
Pela propriedade anterior temos que G(L|K) que
G(L|F ) 1 = G(L|(F )),
logo
G(L|(F )) = G(L|F ) G(L|K).
20
Temos tambem que

(F ) = LG(L|(F )) = LG(L|F ) = F
para cada G(L|K) portanto |F e um k-automorsmo de F , para cada
G(L|K).
Seja F e P (x) K[x] o polinomio mnimo de sobre K. P (x) e separavel e tem
todas as suas razes em L. Se L e outra raiz de P (x) entao existe G(L|K)
tal que () = , logo F e por isso F |K e corpo de razes de um polinomio
separavel sobre K, portanto F |K e normal.
Propriedade 12. Se L|K e uma extensao de Galois nita e K F L entao L|F e
uma extensao de Galois.
Demonstrac
ao. Como L|K e normal e separavel, entao L|F tambem e normal e
separavel.
Primeiro L|F e normal, temos que L e corpo de razes de algum polinomio p(x)
K[x] \ K, e claro que p(x) F [x] \ F , pois K F e L e corpo de razes desse polinomio.
L|F tambem e separavel pois o polinomio mnimo de L sobre F divide o polinomio
mnimo de sobre K.
Exemplo 11. Sendo K F L, se L|K e galois entao F |K pode nao ser galois, como
4
4
e o caso de Q( 2, i)|Q( 2)|Q, F |K nao e normal.
4
Se L|F e F |K sao galois, entao L|K pode nao ser galois, como e o caso de Q( 2)|Q( 2)|Q,
4
onde cada degrau tem grau 2 logo e normal (tambem separavel, logo galois) e Q( 2)|Q
nao e galois.
1.2.1
Elemento primitivo
Propriedade 13. Sejam L|K e um grupo de Galois nito e L entao o grau [K() : K]
e o tamanho da orbita de . e um elemento primitivo de L|K
|{() = G(L|K)}| = [L : K].
Demonstrac
ao. Como e separavel sobre K, entao [K() : K] e o n
umero de
razes do polinomio mnimo de sobre K, e essas razes estao todas em L, pois L|K e
21
galois. As razes do polinomio mnimo de sobre K formam a orbita de por G(L|K) (

automorsmo envia raiz em raiz).
Dizer L = K() e equivalente a dizer que G(L|K) leva pela quantidade de elementos
|G(L|K)| = [L : K], pois o subgrupo nesse caso e o grupo todo, que corresponde a extensao
toda L|K.
Exemplo 12. Seja K o corpo de razes sobre Q de x4 3, mostre que [K : Q] = 8 e
G(K|Q) w D4 . Temos que
x4 3 = (x
Tomamos =
4
4
4
4
3)(x + 3)(x i 3)(x + i 3) C[x].
4
3, vale [Q() : Q] = 4, pois x4 3 e irredutvel sobre Q por criterio de
Eisenstein. Vale que x2 + 1 e irredutvel sobre Q(), logo [Q(, i), Q()] = 2 e da por
multiplicatividade dos graus [Q(, i), Q] = 8. Tal corpo e corpo de razes de x4 3, vale
|G(K|Q)| = 8 = [Q(, i), Q].
Como |G(L|Q)| e isomorfo a um subgrupo de S4 , |S4 | = 4.3.2 = 8.3 = 23 .2, entao G(K|Q)
e p-Sylow de S4 , D4 e isomorfo a um subgrupo de S4 , como todos p-Sylows sao conjugados
( e por isso isomorfos), segue que G(K|Q) e isomorfo a D4 . Podemos ver com mais detalhes
Primeiro fazemos a extensao Q(i)|Q, com polinomio mnimo x2 + 1, o que garante dois
automorsmos, depois fazemos a adjuncao de logo Q(, i)|Q temos o polinomio mnimo
x4 3, o que junto com a extensao anterior garante 8 automorsmos que simbolizamos
na tabela abaixo
4
( 3)
4
3
4
i 3
R2
4
3
R3
4
i 3
4
3
RS
4
i 3
(i)
R2 S
R3 S
4
4
3 i 3
i
Existe um u
nico subcorpo F K tal que F |Q seja normal e [F : Q] = 4.
Usamos o seguinte resultado da teoria de Galois, seja F corpo com K F L. F |K
e normal G(L|F ) G(L|K) e G(F |K) e isomorfo a G(L, K)/G(L, F ).
22
O grupo das simetrias do quadrado possui apenas um subgrupo normal com dois
elementos, que e o subgrupo {1, R2 }, isso implica a existencia de apenas um corpo F
intermediario com grau da extensao
[F : K] = |G(F |K)| = |G(L, K)|/|G(L, F )| =
8
=4
2
pois como F |K e normal e separavel, vale a identidade acima ( K = Q no caso ).
4
Um elemento primitivo de F |Q e 3 + i, pois a orbita, possui 8 elementos
4
4
I( 3 + i) = 3 + i
4
4
R( 3 + i) = i 3 + i
4
4
R2 ( 3 + i) = 3 + i
4
4
R3 ( 3 + i) = i 3 + i
4
4
S( 3 + i) = 3 i
4
4
RS( 3 + i) = i 3 i
4
4
R2 S( 3 + i) = 3 i
4
4
R3 S( 3 + i) = i 3 i.
Temos assim 8 elementos distintos logo
4
3 + i e um elemento primitivo de F |Q.


automorsmos sao 4
2
3
L|Q e normal, por ser corpo de decomposicao de um polinomio e separavel pois extensao algebrica em caracterstica zero e separavel.
Vale que 2 = I, 2 = I e = , por isso temos G(L|Q) Z2 Z2 .
23
Defini
c
ao 8 (Extensao abeliana). Uma extensao de Galois E|F e dita ser abeliana se
o grupo de galois G(E, F ) e abeliano. Se o grupo de galois associado e nao abeliano a
extensao e dita ser nao abeliana.
Defini
c
ao 9 (Extensao cclica). Uma extensao de Galois E|F e dita ser cclica se o grupo
de galois G(E, F ) e cclica. Se o grupo de galois associado e nao cclico a extensao e dita
ser nao cclica.
Observac
ao 1. Seja n 1 um natural, o polinomio xn 1 Q[x] se decompoe em c[x]
como
x 1=
n
n1
(x wk )
k=0
onde w = cos
2
2
+ isen . Q(w)e corpo de decomposicao sobre Q de xn 1 Q[x].
n
n
Defini
c
ao 10. Denotaremos por Un (C) conjunto das razes complexas n-esimas da unidade
Un (C) = {wk , 1 k < n, k N.}
Propriedade 14. Un (C) e um grupo cclico de ordem n gerado por w.
Defini
c
ao 11 (Raiz primitiva). Qualquer gerador do grupo Un (C) e chamado de raiz
primitiva n-esima da unidade.
Corol
ario 1. Pelo teorema da estrutura dos grupos cclicos nitos as razes primitivas
n-esima da unidade sao wj onde 1 j < n e mdc(n, j) = 1.
1.2.2
n-
esimo polin
omio ciclot
omico
Defini
c
ao 12 (n-esimo polinomio ciclotomico). O n-esimo polinomio ciclotomico e denido por
n (x) =
(x wj )
jA
onde w = cos
2i
2
2
+ isen
= e n e A = {j | 1 j < n e mdc(n, j) = 1.}
n
n
24
Corol
ario 2.
n (x) = |A| = (n)
pois a quantidade dos elementos do conjunto A = {j | 1 j < n e mdc(n, j) = 1.} e
(n).
Corol
ario 3. n (x) e monico.
Corol
ario 4. Se p e primo x 1 = (x 1)
p
p1
x e
k=0
p1
xk e irredutvel em Q[x] e e o
k=0
polinomio mnimo de (wk )p1

zes primitivas p-esimas da unidade, nesse caso
1 ) as p 1 ra
[Q[w] : Q] = p 1
e
p (x) =
p1
(x w ) =
k
p1
xk .
k=0
k=0
Propriedade 15.
xn 1 =
d (x).
d|n
Corol
ario 5.
n=
(d).
d|n
O n-esimo polinomio ciclotomico n (x) tem as seguintes propriedades

Propriedade 16.
n (x) Z[x]
Propriedade 17. n (x) e irredutvel em Q[x].
Propriedade 18. Se w e uma raiz complexa primitiva n-esima da unidade, entao
[Q(w) : Q] = (n) e G(Q(w)|Q) Zn .
n (x) e o polinomio mnimo de w sobre Q e n (x) = (n). Vale ainda que G(Q(w)|Q) =
{k | mdc(k, n) = 1}, onde k (w) = wk . Alem disso Q(w) e corpo de decomposicao de
xn 1.
25
Exemplo 14. Melhore a estimativa [K : Q] 8! para o caso em que K e o corpo de

razes de um polinomio de grau 8, redutvel, mas sem razes em Q.
Nao podemos fatorar o polinomio P (x) em fatores lineares. As possibilidades sao de
grau (6, 2), (5, 3), (4, 4) com dois termos, com tres termos (4, 2, 2), (3, 3, 2) e (2, 2, 2, 2) a
que garante na pior das hipoteses garante um maior grau e a primeira opcao que pode
fornecer o grau da extensao como 6!.2!.
Exemplo 15. Seja K o corpo de razes sobre Q de x4 3, mostre que [K : Q] = 8 e
G(K|Q) w D4 . Temos que
4
4
4
4
x4 3 = (x 3)(x + 3)(x i 3)(x + i 3) C[x].
4
Tomamos = 3, vale [Q() : Q] = 4, pois x4 3 e irredutvel sobre Q por criterio de
Eisenstein. Vale que x2 + 1 e irredutvel sobre Q(), logo [Q(, i), Q()] = 2 e da por
multiplicatividade dos graus [Q(, i), Q] = 8. Tal corpo e corpo de razes de x4 3, vale
|G(K|Q)| = 8 = [Q(, i), Q].
Como |G(L|Q)| e isomorfo a um subgrupo de S4 , |S4 | = 4.3.2 = 8.3 = 23 .3, entao G(K|Q)
e p-Sylow de S4 , D4 e isomorfo a um subgrupo de S4 , como todos p-Sylows sao conjugados
( e por isso isomorfos), segue que G(K|Q) e isomorfo a D4 . Podemos ver com mais detalhes
Primeiro fazemos a extensao Q(i)|Q, com polinomio mnimo x2 + 1, o que garante dois
automorsmos, depois fazemos a adjuncao de logo Q(, i)|Q temos o polinomio mnimo
x4 3, o que junto com a extensao anterior garante 8 automorsmos que simbolizamos
na tabela abaixo
4
( 3)
4
3
4
i 3
R2
4
3
R3
4
i 3
4
3
RS
4
i 3
(i)
R2 S
R3 S
4
4
3 i 3
i
Existe um u
nico subcorpo F K tal que F |Q seja normal e [F : Q] = 4.
Usamos o seguinte resultado da teoria de Galois, seja F corpo com K F L. F |K
e normal G(L|F ) G(L|K) e G(F |K) e isomorfo a G(L, K)/G(L, F ).
26
O grupo das simetrias do quadrado possui apenas um subgrupo normal com dois
elementos, que e o subgrupo {1, R2 }, isso implica a existencia de apenas um corpo F
intermediario com grau da extensao
[F : K] = |G(F |K)| = |G(L, K)|/|G(L, F )| =
8
=4
2
pois como F |K e normal e separavel, vale a identidade acima ( K = Q no caso ).
4
Um elemento primitivo de F |Q e 3 + i, pois a orbita, possui 8 elementos
4
4
I( 3 + i) = 3 + i
4
4
R( 3 + i) = i 3 + i
4
4
R2 ( 3 + i) = 3 + i
4
4
R3 ( 3 + i) = i 3 + i
4
4
S( 3 + i) = 3 i
4
4
RS( 3 + i) = i 3 i
4
4
R2 S( 3 + i) = 3 i
4
4
R3 S( 3 + i) = i 3 i.
Temos assim 8 elementos distintos logo
4
3 + i e um elemento primitivo de F |Q.


automorsmos sao 4
2
3
L|Q e normal, por ser corpo de decomposicao de um polinomio e separavel pois extensao algebrica em caracterstica zero e separavel.
27
Exemplo 17. Uma extensao de grau 4 com grupo de Galois isomorfo a Z4 e Q(w)|Q
onde w e uma raiz 5-esima primitiva da unidade.
Seja L = Q() onde = 2 + 2, entao G(L|Q) w Z4 . O grau da extensao L|Q e 4,

pois e raiz de x4 4x + 2, que e irredutvel sobre Q por criterio de Eisenstein. Temos
a fatoracao em R[x]
(x 2 + 2)(x + 2 + 2)(x 2 2)(x + 2 2)
perceba que 2 2 Q() pois, 2 = 2 + 2 2 2 = 2 Q() e
2 + 2 2 2 = 4 2 = 2 Q()
| {z } | {z }
a
logo 2 2 Q() e todas outras razes do polinomio acima. Temos a.b = 2 e
a2 = 2 + 2 logo a2 2 = 2 de onde segue

b=
a2 2
a
a2 2
,
a
2 2 2
2 22
2
S (a) = s(b) =
=
= 2+ 2
2 2
2 2
consideramos entao o automorsmo s com s(a) =
a ordem de um elemento nao nulo nao e 2, portanto o grupo nao e isomorfo a Z2 Z2 ,

sendo isomorfo a Z4 .
Exemplo 18. O grupo de Galois de x15 1 sobre Q e isomorfo a z2 z4 .
o grupo de Galois de x15 1 e isomorfo a Z15

, e temos os isomorsmos
w Z3 Z5 w Z2 Z4 .
Z15
Exemplo 19. Seja wn = e
2i
n
C entao
2 Q(wn ), entao 2 Q(w8 ).
Q(w8 ) = L contem w8 , logo o elemento
2i
8
=e
i
4
2
2
2
= cos( ) + isen( ) =
+i
=
(1 + i)
4
4
2
2
2
28
como potencias de w8 tambem estao contidas em L, entao w82 L

i
w82 = e 2 = cos( ) + isen( ) = i L

2
2
portanto 1 + i L e o seu inverso tambem o que implica 2 L.
Sabemos que [Q(wn ) : Q] = (n) onde tal funcao satisfaz

(nm) = (n)(m)
mdc(n, m) = 1, (p) = p 1 e (pn ) = pn pn1 .
Se 2 Q(w) entao Q( 2) Q(w) e Q( 2, w) Q(w). Por multiplicatividade do

grau temos
[Q(w,
2) : Q] = [Q(w, 2) : Q( 2)] [Q( 2) : Q] 4

|
{z
}|
{z
}
2
2
quando w = wn com n > 2, L tera um elemento complexo pois 0 < 2 < n 0 <
<
n
2
logo sen( ) nao se anula e temos um n
umero complexo na extensao. Entao podemos
n
descartar todas extensoes com grau menor que 4.
1. Para n = 1 e n = 2 temos Q(wn ) = Q pois
cos(
cos(
2
2
) + isen( ) = 1
1
1
2
2
) + isen( ) = 1.
2
2
A adjuncao e feita com elementos ja presentes no corpo.

2. [Q(w3 ) : Q] = (3) = 2 < 4 logo nao temos
2 Q(w3 ).
3. [Q(w6 ) : Q] = (6) = (2)(3) = 2 < 4 logo nao temos
2 Q(w6 ).
Faltam os dois u
ltimos casos. Sabemos que [Q(w5 ) : Q] = (5) = 4, vamos mostrar
que [Q(w5 ) : Q( 2)] = 4 tambem, logo nao pode valer 2 Q(w5 ). Q(w5 ) e corpo de
razes de x4 + x3 + x2 + x + 1 = P (x), que e fatorado como
29
(x w)(x w2 )(x w3 )(x w4 ) C[x]

qualquer potencia w, w2 , w3 , w4 tambem gera Q(w), pois temos (5) = 4 geradores para
as razes da unidade, entao se qualquer um desses elementos pertence a Q( 2) segue que
Q( 2) = Q(w5 ), o polinomio mnimo de Q(w5 ) sobre Q( 2) deve dividir P (x) e nao

pode possuir fatores lineares pelo que observamos, logo podemos ter apenas polinomio de
grau 2 ou 4, os casos sao os seguintes de possveis fatoracoes em Q( 2)[x], lembramos

que w5 = 1 ( considere o produto dos fatores)
(x w)(x w2 ) w3 e w7 = w5 .w2 = w2 como termo independentes , o que nao
pode acontecer.
(x w)(x w3 ) w4 e w6 = w como termos independentes, tambem nao podemos
ter.
(x w)(x w4 ) w5 = 1 como termos independentes,
o que podemos ter, porem
51
o coeciente de x e w + w4 , cuja soma resulta em
(pode ser complicado
2
demonstrar isso) que nao pertence a Q( 2)[x]. Logo nao pode valer 2 Q(w5 ).
Agora o u
ltimo caso
Sabemos que [Q(w7 ) : Q] = (7) = 6, vamos mostrar que [Q(w5 ) : Q( 2)] = 6
tambem, logo nao pode valer 2 Q(w7 ). Q(w7 ) e corpo de razes de x6 + x5 + x4 + x3 +

x2 + x + 1 = P (x), que e fatorado como
(x w)(x w2 )(x w3 )(x w4 )(x w5 )(x w6 ) C[x]

qualquer potencia w, w2 , w3 , w4 , w5 , w6 , w7 tambem gera Q(w), pois temos (7) = 6 gera
dores para as razes da unidade, entao se qualquer um desses elementos pertence a Q( 2)
segue que Q( 2) = Q(w7 ), o polinomio mnimo de Q(w7 ) sobre Q( 2) deve dividir P (x)
e nao pode possuir fatores lineares pelo que observamos, logo podemos ter apenas po
linomio de grau 3 ou 6, os casos sao os seguintes de possveis fatoracoes em Q( 2)[x],
lembramos que w7 = 1 ( considere o produto dos fatores)
30
Em quase todas combinacoes teremos problemas com os termos independentes, pois
teremos elementos (wk )71 , o u

nico caso que nao tem essa propriedade e quando
multiplicamos os fatores (x w)(x w2 )(x w4 ) que gera termo
independente
i( 7 + i)
w7 = 1 (com o outro fato c
ubico tambem), porem w + w2 + w4 =
que nao
2
pertence a Q( 2).
Logo nenhuma dessas extensoes Q(wk )|Q contem
2.
Exemplo 20. Seja L|Q extensao galoisiana de grau 10.

L admite exatamente um subcorpo de grau 2 sobre Q.
Temos que o grupo G := G(L|Q) satisfaz |G(L|Q)| = [L : Q] = 10, pois a extensao e

de Galois.
O grupo G possui 2-Sylow e 5-Sylow. Vale n5 {1, 2} e n5 1 mod 5, logo
n5 = 1, o grupo possui apenas um 5-Sylow, que e portanto normal em G. Por associacao
entre subgrupo e subcorpo, existe exatamente um corpo F com |{z}
K F L, F |K e
Q
10
normal pois G(L|F ) G e vale G(F |K) w G(L|K)/G(L|F ) logo |G(F |K)| =
=2e
| {z }
5
5Sylow
|G(F |K)| = [F : K] = 2.
Mostre que ha duas possibilidades: Ou L admite um u
nico subcorpo de grau 5 sobre
Q ou E admite cinco subcorpos de grau 5 de grau 5 sobre Q.

Temos 2-Sylow subgrupos com n2 {1, 5} e n2 1 mod 2, tanto 1 ou 5 satisfazem a
congruencia, podemos ter entao um 2-Sylow ou cinco 2-Sylows distintos, a cada um deles
ca associado um subcorpo Fk de L tal que |G(L|Fk )| = 2 e
[Fk : K] =
|G|
10
=
=5
|G(L|Fk )
2
logo temos um ou cinco subcorpos de L de grau 5 sobre K.
31
Sobre a diculdade de construir extensoes galoisianas de grau 10 sobre Q.

Se f (x) K[x] \ K tem n razes distintas em seu corpo de razes L, entao G(L|K)
e isomorfo a um subgrupo de Sn . Como f (x) irredutvel e separavel em uma extensao
galoisiana, temos |G(L|K)| = [L : K] logo para termos |G(L|K)| = 10 e necessario que
[L : K] = 10 e como G(L|K) deve ser isomorfo a um subgrupo de Sn , |Sn | = n!, entao
devemos ter n 5, pois a ordem do subgrupo deve dividir a ordem do grupo e so temos
fator 5 na ordem de Sn , para n 5, portanto o polinomio deve ter pelo menos grau 5
(5 razes distintas). Uma diculdade de encontrar extensoes de grau 10 sobre Q consiste
em determinar as razes dos polinomios de grau maior que 4, dos quais nao existe metodo
metodo geral de obtencao de razes com operacoes algebricas sobre os coecientes do
polinomio.
A extensao Q(w)|Q onde w e raiz primitiva 11-esima da unidade tem grupo de galois
de ordem (11) = 10. Logo e uma extensao do tipo que procuramos, os elementos do
grupo de galois sao
{k }10
1
onde k (w) = wk .
Propriedade 19. Assuma todos corpos citados contidos em um corpo em comum. Valem
as propriedades
1. Se E|K e F |K sao abelianos entao EF |K e abeliano.
2. Se E|K e abeliano entao EF |F e abeliano.
3. Se E|K e abeliano entao E|F e F |K sao abelianos, onde K F E.
Demonstrac
ao.
1. Temos o isomorsmo
Gal(EF |K) Subgrupo[Gal(E|K) Gal(F |K)].
| {z } | {z }
abeliano
abeliano
2. Como Gal(EF |F ) Gal( E|K ) entao Gal(EF |F ) e abeliano.
|{z}
abeliano
32
3. Existe H < Gal(E|K) tal que F = E H (F e corpo xo por H), o que implica
Gal(E|F ) = H < Gal(E|K) o que implica E|F abeliano.
| {z }
abeliano
Agora como G(E|F ) e abeliano logo normal em G(E|K) entao pelo teorema de
Galois temos que F |K e normal e
G(F |K)
G(E|K)
G(E|F )
como o grupo quociente de grupos abelianos e um grupo abeliano, entao segue o

resultado.
Se trocamos abeliano por cclico (1) nao vale, porem (2) e (3) continuam sendo verdadeiras, pois grupo quociente de grupos cclicos e um grupo cclico e subgrupo de um
grupo cclico tambem e um grupo cclico.
Exemplo 21. Seja E|Q uma extensao Galoisiana de grau p2 q, com p = q primos. Suponha
que q = 1 mod p e p2 = 1 mod q.
G(E|Q) e abeliano.
Como a extensao e Galoisiana entao vale | G(E|Q) | = [E : Q] = p2 .q. G possui p| {z }

G
Sylows e q-Sylows, valendo nq {1, p, p2 } e nq 1 mod q, por limitacao do enunciado

nao podemos ter nq = p2 , pois se nao valeria p2 1 mod q, tambem nao podemos ter
nq = p, pois da p 1 mod q, q|(p 1) o que implica que q divide p2 1 = (p 1)(p + 1)
e da p2 1 mod q o que entra em contradicao com nossa suposicao, entao nq = 1 e o
q-Sylow e normal.
Da mesma maneira, temos np {1, q} e np 1 mod p e por hipotese do problema
nao temos q = 1 mod p, logo np = 1 e o p-Sylow e normal. Seja H o p-Sylow e K
o q-Sylow, H K e subgrupo de H e K, portanto |H K| divide mdc(p2 , q) = 1, logo
H K = {e} e pelo princpio de contagem vale
|HK| =
|H||K|
= |H| |K| = p2 q
|H K|
33
entao HK = G. Sabemos que tanto H quanto K sao grupos abelianos, pois sao grupos
de ordem p2 e q, com p e q primos, vamos mostrar que HK tambem e abeliano.
Seja y G entao y = ab com a H e b K. Considere
ab.a1 b1 =
a .
|{z}
H
(b.a1 b1 )
| {z }
H Pois
e normal em G
1
(aba )
. |{z}
b1 K
| {z }
K Pois
e normal em G K
Logo aba1 b1 H K = {e}, aba1 b1 = e, implica ab = ba. Sejam entao y = ab e

x = a .b , y, x G, temos
yx =(0) aba b =(1) aa bb =(2) a ab b =(3) a b ab = xy
onde de (0) para (1) e de (2) para (3) usamos comutatividade dos elementos de K e H e
de (1) para (2) usamos comutatividade em K e H, logo o grupo e abeliano.
Mostre que E admite ao menos um subcorpo de grau p sobre Q.
Como G e abeliano, vale a reciproca do teorema de Lagrange que e, para qualquer

divisor d da ordem de G temos um subgrupo de ordem d em G. Como pq|(p2 q), entao
temos subgrupo G(E|F ) de G com ordem pq, valendo [E|F ] = |G(E|F )| e da
[F : Q] =
|G|
p2 q
=
= p.
|G(E|F )|
pq
Entao temos um subcorpo F de E com grau p sobre Q.

Exemplo 22. Seja wn uma raiz primitiva n-esima da unidade sobre Q. Para n = 6, 7, 8,
determine o polinomio mnimo de wn sobre Q e todos os autorsmos do corpo Q(wn ).
Faremos os casos em ordem, primeiro 6, depois 7 e nalmente 8. Denotaremos Q(wn ) = L
, Q = K , dado n xo, w = wn , k (w) = wk .
Caso Q(w6 ).
x6 1 =
34
d (x) = 1 (x)2 (x)3 (x)6 (x).
d|6
1 (x) = x 1 2 (x) = x + 1 3 (x) = x2 + x + 1 6 (x) = x2 x + 1

6 (x) = x2 x + 1 e o polinomio mnimo de w6 , G(Q(w6 )|Q) w Z6 , (6) = (2)(3) = 2,
temos 2 automorsmos
x6 1 = (x3 1)(x3 + 1) = [(x 1)(x2 + x + 1)][(x + 1)(x2 x + 1)] =

= (x 1)(x w)(x w2 )(x w3 )(x w4 )(x w5 )
2
2
2
2
4
4
) + isen( ), w2 = cos( ) + isen( ) e w4 = cos( ) + isen( ) sao razes
6
6
3
3
3
3
2
2
3
3
2
de x 1, w = cos( ) + isen( ) = 1, logo as razes de x x + 1 sao w e w5 , logo
2
2
os dois automorsmos sao
w = cos(
G(L|K) = {1 , 5 }.
E claro que o grupo e cclico gerado por 5 .
Caso Q(w7 ).
Temos G(L|K) Z7 , que e um grupo cclico de ordem (7) = 6. O grupo de galois de L

e
{1 , 2 , 3 , 4 , 5 , 6 } = G(L|K)
o polinomio mnimo e 7 (x),
x7 1 =
d (x) = 1 (x)7 (x) = (x 1)(x6 + x5 + x4 + x3 + x2 + x + 1)
d|7
(x6 + x5 + x4 + x3 + x2 + x + 1) = (x w)(x w2 )(x w3 )(x w4 )(x w5 )(x w6 ).

Vamos mostrar que 3 gera o grupo, logo o grupo e cclico. Lembramos que w7 = 1
32 (w) = w9 = w2 = 2 (w)
35
33 (w) = w6 = 6 (w)
34 (w) = w18 = w4 = 4 (w)
35 (w) = w12 = w5 = 5 (w)
36 (w) = w15 = w = 1 (w)
logo gera todos automorsmos.
Agora o u
ltimo caso.
Caso Q(w8 ).
x8 1 =
d (x) = 1 (x)2 (x)4 (x)8 (x) = (x 1)(x + 1)(x2 + 1)(x4 + 1)
d|8
temos 8 (x) = (x4 + 1) como o polinomio mnimo da raiz 8-esima da unidade.

2
2
Com w = cos( ) + isen( ), temos
8
8
w4 = cos(
8
8
) + isen( ) = 1
8
8
w2 = cos( ) + isen( ) = i
2
2
3
3
w6 = cos( ) + isen( ) = i
2
2
logo x4 + 1 = (x w)(x w3 )(x w5 )(x w7 ) e o grupo de galois e
G(L|K) = {1 , 3 , 5 , 7 }
que nao e um grupo cclico, pois cada elemento excetuando a identidade tem ordem 2,
usando w8 = 1
32 (w) = w9 = w
52 (w) = w25 = w
72 (w) = w49 = w.
36
Exemplo 23. Seja L o corpo de razes de polinomio (x2 2)(x2 + 3) = P (x) sobre Q.
Determine um elemento primitivo , o grupo de Galois e os corpos intermediarios de K|Q.
O corpo de razes de P (x) e formado pela adjuncao de dois elementos 2 e 3i, temos o
grau da extensao sendo 4, pois

[Q( 2, 3i), Q] = [Q( 2, 3i), Q( 2)][Q( 2), Q( 2)] = 2.2
pois (x2 2) e polinomio mnimo sobre Q de 2 e (x2 + 3) nao possui razes em Q( 2)

( sendo nesse caso irredutvel), logo [Q( 2, 3i), Q( 2)] tambem vale 2. Temos 4 automorsmos
3i
3i
Um elemento primitivo da extensao e
f1
3i
2+
f2
3i
f1 f2
3i
3i, pois a orbita desse elemento possui
4 elementos
I( 2 + 3i) = 2 + 3i
f1 ( 2 + 3i) = 2 + 3i
f2 ( 2 + 3i) = 2 3i
f3 ( 2 + 3i) = 2 3i.
Temos os seguintes subgrupos e subcorpos associados
H1 =< f1 > xa
H2 =< f2 > xa
3i, temos o subcorpo Q( 3i).
2, temos o subcorpo Q( 2).
H3 =< f1 f2 > xa
6i, temos o subcorpo Q( 6i). Ele xa tal subcorpo pois

f1 f2 ( 2 3i) = f1 f2 ( 2)f1 f2 ( 3i) = 2(1) 3i = 2 3i.
37
Exemplo 24. Considere as extensoes de corpos

C|R, F32 |F2 , Q(w)|Q onde w e uma raiz
3
1
+
i
3
primitiva 9-esima da unidade, Q( 7,
)|Q para cada uma das extensoes L|K
3
1. Mostre que L|K e normal.
C|R e normal, pois e uma extensao de grau 2, logo cclica , o grupo G(L|K) = {I, f },
onde f e a conjugacao complexa.

Em geral toda extensao da forma Fpn |Fp e normal e separavel e o grupo de auto-
morsmos e cclico, gerado por f , onde f : Fpn Fpn com f (x) = xp , chamada de
funcao de Frobenius e possui n elementos gerados por composicao de f .
No caso especial de p = 2 e n = 5, temos o automorsmo f : F32 F32 com
f (x) = x2 e o grupo de automorsmos possui 5 elementos, gerados pela composicao
de f .
x9 1 =
n (x) = 1 (x)3 (x)9 (x) = (x 1)(x2 + x + 1)9 (x)
d|9
como x 1 = (x ) 1 = (x3 1)(x6 + x3 + 1) = (x 1)(x2 + x + 1)(x6 + x3 + 1),

9
3 3
entao 9 (x) = (x6 + x3 + 1). Q(w)|Q e normal, pois e corpo de razes de 9 (x) =
(x6 + x3 + 1). O grupo de galois e
G(L|K) = {k | mdc(k, n) = 1} = {1 , 2 , 4 , 5 , 7 , 8 }
onde k (w) = wk o grupo dos automorsmos e cclico gerado por 2 , pois
22 (w) = w4 = 4 (w)
23 (w) = w8 = 8 (w)
24 (w) = w16 = w7 = 7 (w)
25 (w) = w14 = w5 = 5 (w)
26 (w) = w10 = w = 1 (w)
lembrando que w9 = 1, entao 2 gera o grupo de galois.
38
1 + i 3
3
Q( 7,
)|Q o grau da extensao e 6, pois por multiplicatividade do grau
3
1 + i 3
1 + i 3
3
3
3
[Q( 7,
) : Q] = [Q(
) : Q( 7)] [Q( 7) : Q] = 6
|
{z
}
3
3
|
{z
}
3
pois da primeira extensao o polinomio mnimo e x3 7 e da segunda extensao e
3
7) pois em C[x] possui razes nao reais. A
x2 + x + 1 que e irredut
vel
sobre
Q(
3
1
+
i
3
extensao Q( 7,
)|Q e corpo de razes do polinomio x3 7, pois temos a
3
fatoracao em C[x]
2
1 + 3i
1 3i
3
3
3
3
3
3
2
3
x 7 = (x 7)(x + 7x+ 7 ) = (x 7)(x 7(
))(x 7(
)),
2
2
logo a extens
ao e normal e temos 6 automorsmos. Subimosusando a extensao
1 + i 3
Q(
)|Q e depois a outra extensao , geramos entao os 6 automorsmos
3
w
onde w = cos(
f1
3
7w
f2
3
7w2
f3
3
7
f4
3
7w
f5
3
7w2
w2
w2
w2
2
2
) + isen( ), x2 + x + 1 = (x w)(x w2 )
3
3
Como x3 7 tem 3 razes distintas em seu corpo de razes razes L, como o grau da
extensao e 6, o grupo de galois e isomorfo a S3 , que nao e abeliano, e portanto tambem
nao e cclico.
Exemplo 25. Seja P (x) Q[x] um polinomio irredutvel, monico, de grau 3, tal que a
adjuncao de qualquer raiz dele gere uma extensao normal Q()|Q (nesse caso diremos
que o polinomio e normal sobre Q). Sejam 1 , 2 , 3 as razes de P (x), entao
Todas as razes sao reais.
Sabemos que o polinomio de grau 3 sempre tem uma raiz real , se ele tivesse alguma raiz
complexa entao
/ Q(), por isso ele nao pode possuir uma raiz complexa, todas as
39
razes sao reais. Entao o grau da extensao Q()|Q e 3, grau do polinomio. A extensao e
normal e separavel, logo de galois, o grupo |G(K|Q)| = 3, temos 3 automorsmos, vamos
determinar tais automorsmos.
Temos a identidade I, tomando outro automorsmo f = I, nao podemos ter automorsmo que xam 2 elementos, pois da xaramos obrigatoriamente 3 elementos e teramos
a identidade. Suponha que o automorsmo xe 1 elemento, sem perda de generalidade,
sendo
f (1 ) = 1 , f (2 ) = 3 , f (3 ) = 2
da teramos f 2 (2 ) = f (3 ) = 2 e f 2 (3 ) = f (2 ) = 3 , da f 2 = I e temos elemento
de ordem 2, o que nao pode acontecer, logo os automorsmos nao podem xar elementos.
Sabendo disso formamos os automorsmos
f (1 ) = 2 , f (2 ) = 3 , f (3 ) = 1
g(1 ) = 3 , g(2 ) = 1 , g(3 ) = 2 .

Vale que
= (1 2 )(1 3 )(2 3 ) Q
pois qualquer um dos automorsmos f , g ou I, xam tal n
umero, logo ele deve pertencer
ao corpo base Q, que e xo pelos automorsmos.
Pela aplicacao de f
(2 3 ) (2 1 ) (3 1 ) = = (1 2 )(1 3 )(2 3 )
| {z } | {z }
(1 2 )
(1 3 )
pela aplicacao de g
(3 1 ) (3 2 )(1 2 ) = = (1 2 )(1 3 )(2 3 )
| {z } | {z }
(1 3 )
(2 3 )
Antes dois resultados que usaremos.
40
Propriedade 20. Seja K uma extensao nita de F , se L1 e L2 sao subcorpos de K

contendo F , entao
[L1 L2 : F ] [L1 : F ][L2 : F ].
Se mdc([L1 : F ], [L2 : F ]) = 1 entao vale
[L1 L2 : F ] = [L1 : F ][L2 : F ].

Demonstrac
ao. Faremos a demonstracao por inducao sobre o n
umero de elementos
que geram L2 sobre F . Se L2 = F () temos
L1 L2 = L1 F () = L1 ()
por multiplicatividade dos graus temos
[L1 () : F ] = [L1 () : L1 ][L1 : F ]
basta mostrar entao que [L1 () : L1 ] [F () : F ], o que realmente vale pois o polinomio
mnimo de em L1 [x] divide o polinomio mnimo de com coecientes em F [x], da
[L1 () : F ] [F () : F ][L1 : F ].
Agora suponha o resultado verdadeiro para L2 gerado por n 1 elementos e seja
L2 = F (1 , , n ), entao L1 L2 = L1 F (1 , , n ) = L1 (1 , , n ) e
[L1 (1 , , n ) : F ] = [L1 (1 , , n ), L1 (1 , , n1 )] [L1 (1 , , n1 ) : F ]
{z
}|
{z
}
|
A
inducao
[F (1 , , n1 ) : F ][L1 : F ] [F (1 , , n ) : F (1 , , n1 )] = [L2 : F ][L1 : F ]
|
{z
}|
{z
}
A
inducao
a desigualdade A e a mesma usada no caso base da inducao. Logo ca provado.
Para a segunda parte, temos
[L1 L2 : F ] = [L1 L2 : L1 ][L1 : F ] [L1 : F ][L2 : F ]
[L1 L2 : F ] = [L1 L2 : L2 ][L2 : F ] [L1 : F ][L2 : F ]
pelo fato do mdc do grau das extensoes ser 1, segue que [L1 L2 : F ] e m
ultiplo do produto
grau dessas extensoes, o limitante superior garante que o fator multiplicado seja 1, logo
temos a igualdade.
41
Propriedade 21. Seja f (x) F [x] \ F irredutvel de grau n sobre F e K|F com [K :
F ] = m. Se mdc(m, n) = 1 entao f e irredutvel sobre K.
Demonstrac
ao. Seja g K[x] um fator irredutvel de f , de grau d > 0 (na pior das
hipoteses seria um fator linear). Seja uma raiz de g e L = K(), entao
[K() : F ] = [K() : K][K : F ] = d.m,
tambem temos
[K() : F ] = [K() : F ()] [F () : F ]
| {z }
n
logo n|dm e como mdc(n, m) = 1 entao n|d, por construcao temos d n, logo segue que
d = n, o fator irredutvel de f em K[x] e ele mesmo e f e irredutvel.
Exemplo 26. Sejam L e M subcorpos de C, tais que [L : Q] = 13 e [M : Q] = 17. Seja
LM o compositum de L e M . Entao vale [LM : Q] = 13.17, pois o grau das extensoes
sao primos entre si.
Se LM |Q e normal, entao vamos mostrar que L|Q e M |Q sao normais. Ja sabemos
que LM |M e LM |L sao normais. L|Q e normal G(LM |L) G(LM |Q) := G, sabemos
que
|G(LM |L)| = [LM : L] = 17,
de forma similar vale para a outra extensao.
G tem 13.17 elementos, logo possui 13-Sylow e 17-Sylow, temos n13 {1, 17} e n13 1
mod 13, portanto nao vale n13 = 17, pois 17 4 mod 13. Tem-se n17 {1, 13},
n17 1 mod 17, nao podemos ter n17 = 13 pois 13 1 mod 17. Portanto os p-Sylows
sao normais e da segue que tanto L|Q quanto M |Q sao normais.
No grupo G(LM |Q), temos apenas dois subgrupos nao triviais que sao os p-Sylows,
sendo normais, sao u
nicos e por isso LM |Q possui apenas dois corpos intermediarios que
sao L e M .
Agora suponha que L|Q e M |Q sejam extensoes normais, entao existem respectivamente p(x) Q[x] e g(x) Q[x], de graus 13 e 17, monicos, irredutveis. p(x) e irredutvel
sobre M e g(x) e irredutvel sobre L, pois em cada caso o grau do polinomio e primo com
42
o grau da extensao, temos que LM e corpo de razes g(x)p(x) = h(x), pois h(x) se fatora
em termos lineares em LM e LM e o menor corpo que contem L e M , logo e o corpo de
razes de h(x) Q[x] e portanto LM |Q e normal.
Exemplo 27. Seja L o corpo de razes sobre Q de x61 1. Determine o n
umero de corpos
intermediarios de L|Q e o grau de cada um desses corpos sobre Q.
O corpo de razes de x61 1 e Q(w) = L onde w e uma raiz primitiva 61-esima da
unidade. O grupo de automorsmo e isomorfo a Z61

w Z60 sendo grupo cclico, logo ele
possui exatamente 12 subgrupos que e a quantidade de divisores de 60
1, 2, 3, 5, 6, 10, 12, 15, 20, 30, 60

Existe um e apenas um subgrupo de G(L|Q) com tais ordens acima, pois o grupo e cclico.
Se os grupos G(L|Fk ) tivessem a ordem dada acima, entao a extensao [Fk : Q] tem grau
respectivamente
60, 30, 20, 15, 12, 10, 6, 5, 3, 2, 1.
Exemplo 28. Sejam L o corpo de razes de x14 3 sobre Q e G = Aut(L|Q).
Mostre que G(L|Q(
3)) e um subgrupo cclico de ordem 6 de G. Explicite um
14
gerador deste subgrupo.

Temos que
x 3=
14
13
(x
k
3w ) C[x]
14
k=0
o polinomio e irredutvel sobre Q, por criterio de Eisenstein. Vamos calcular o grau da
14
extensao L|Q, L = Q( 3, w) que e o corpo de razes do polinomio, onde w e uma raiz
primitiva 14-esima da unidade.
[Q(
14
14
14
3, w) : Q] = [Q( 3, w) : Q( 3)][Q( 3) : Q] = 6.14
14
o primeiro degrau da extensao tem grau 14 pois x14 3 e o polinomio mnimo, o segundo
tem grau 6, pois nenhum elemento complexo pertence ao corpo anterior x6 x5 + x4
43
x3 + x2 x + 1 = 14 (x) e polinomio mnimo.

x14 1 =
d (x) =
d|14
= 1 (x)2 (x)7 (x)14 (x) = (x1)(x+1)(x6 x5 +x4 x3 +x2 x+1)(x6 +x5 +x4 +x3 +x2 +x+1)
para determinar os automorsmos, subimoscom uma raiz 14-esima da unidade, percebendo que o simetrico de uma raiz de 14 (x) e uma raiz de 7 (x) e vice-versa, entao
podemos tomar w uma raiz 7-esima da unidade, lembrando que w7 = 1, entao os automorsmos permutam as razes de (x6 + x5 + x4 + x3 + x2 + x + 1), depois subimos outro
degrau da extensao, formando com as combinacoes dos automorsmos do degrau anterior
14
6.14 automorsmos, sendo que nesse degrau, denimos os automorsmos em 3 levando
nas razes de x14 3.
k1
14
14
Os automorsmo sao f(k,j) (|{z}
3) =
3w , f(k,j) (w) = wj com k I14 e j I6
:=a
14
. O automorsmo f(1,3) que xa
3 e faz f(1,3) (w) = w3 , gera os automorsmos de
14
G(L|Q( 3)), denotamos f(1,j) = j .
Vamos mostrar que 3 gera o grupo, logo o grupo e cclico. Lembramos que w7 = 1
32 (w) = w9 = w2 = 2 (w)
33 (w) = w6 = 6 (w)
34 (w) = w1 8 = w4 = 4 (w)
35 (w) = w1 2 = w5 = 5 (w)
36 (w) = w1 5 = w = 1 (w)
logo gera todos automorsmos.
Mostre que G(L|Q(w)) e um subgrupo normal cclico de ordem 14 de G, onde w e
uma raiz primitiva 14-esima da unidade. Explicite um gerador deste subgrupo.

G(L|Q(w)) e um grupo normal, pois Q(w)|Q e uma extensao normal. Denotaremos
f(k,1) = tk . Um gerador para o grupo e t4 (basta fazer as contas).
44
Exemplo 29. Mostre que toda raiz de x10 1 diferente de 1 e 1 e um elemento primitivo
de F34 |F3 .
Primeiro fatoramos
x10 1 = (x5 )2 1 = (x5 1)(x5 +1) = (x1)(x4 +x3 +x2 +x+1)(x+1)(x4 x3 +x2 x+1).
Vamos mostrar que P (x) = x4 + x3 + x2 + x + 1 e irredutvel sobre F3 , nao precisamos
mostrar que x4 x3 + x2 x + 1 e irredutvel pois segue do caso de P (x), pois P (x) =
x4 x3 + x2 x + 1, se fosse P (x) = h(x)g(x) entao P (x) = h(x)g(x) seria redutvel.
Sabemos que x5 1 = (x 1)(x4 + x3 + x2 + x + 1). P nao possui raiz em F3 , pois
P (0) = 1,
P (1) = 1 + 1 + 1 + 1 + 1 = 2
2 = 2 3 = 1 e 1 nao e raiz pois
P (1) = 1 1 + 1 1 + 1 = 1.
(Observamos tambem que qualquer raiz de P (x) deve ter ordem 5, pois x5 1 = (x
1)(x4 + x3 + x2 + x + 1).) Logo P nao pode ter fator c
ubico em F3 [x], pois se nao teria
raiz em F3 , u
nica possibilidade e ter fator quadratico.
Se P (x) tem um fator quadratico em F3 [x] entao P (x) = 0 tem uma raiz numa extensao
quadratica F32 , [F32 : F3 ] = 2 , F32 possui 32 elementos e |F32 | = 32 1 = 8. Pelo teorema
de Lagrange a ordem de qualquer elemento de F32 divide 8, logo nao existe elemento em
F32 de ordem 5. Nao temos fator quadratico irredutvel. Como nao podemos ter fator
c
ubico entao x4 + x3 + x2 + x + 1 e irredutvel sobre F3 assim como x4 x3 + x2 x + 1,
logo dada qualquer raiz de x10 1 que nao seja 1 ou 1, temos
[F3 () : F3 ] = 4
e da F3 () w F34 , qualquer dessas razes e um elemento primitivo de F34 |F3 .
Exemplo 30. Determine os polinomios minimais sobre F2 e F4 de uma raiz primitiva
setima da unidade.
45
Temos que
x7 1 = (x 1) (x6 + x5 + x4 + x3 + x2 + x + 1)
|
{z
}
P (x)
temos que a irredutibilidade dos fatores de P (x). Sabemos que qualquer raiz de P (x) tem
ordem 7, alem disso P (x) nao possui razes em F2 , pois P (0) = 1, P (1) = 1, logo nao
podemos fatorar P (x) com fatores lineares. Suponha que P tenha fator quadratico, entao
temos uma extensao de grau 2 sobre um elemento desse fator quadratico [F22 : F2 ] = 2,
|F22 | = 4, |F22 | = 3, por teorema de lagrange a ordem 7 teria que dividir 3, o que nao
acontece. Logo nao podemos ter fator quadratico, porem podemos ter fator c
ubico, pois
de maneira similar |F23 | = 8 e |F23 | = 7, [F23 : F2 ] = 3. E realmente podemos fatorar P
com fator c
ubico, pois
x6 + x5 + x4 + x3 + x2 + x + 1 = (x3 + x + 1)(x3 + x2 + 1)
o que pode ser vericado multiplicando os termos, pois o produto resulta em x6 + x5 +
x4 + |{z}
3 x3 + x2 + x + 1 = x6 + x5 + x4 + x3 + x2 + x + 1. Se w e uma raiz primitiva da
=1
unidade, entao o polinomio polinomio mnimo de w e uma dessas c

ubicas, das seis razes,
tres tem x3 + x + 1 como polinomio mnimo e as outras tres x3 + x2 + 1. Vejamos se tais
c
ubicas sao redutveis em F4 , |F4 | = 4, |F4 | = 3, a ordem dos elementos de F4 e 3, e 7 a
ordem das razes de P , nao divide 3, logo nenhum desses fatores possui raiz em F4 e da
os polinomios c
ubicos sao irredutveis, entao tambem sao polinomios mnimos das razes
primitivas da unidade.
3), determine o grupo de Galois de K|Q. L e corpo
de razes de (x2 3)(x2 + 1), temos [Q( 3), Q] = 2 e [Q(i, 3) : Q( 3)] = 2, pois
Exemplo 31. Seja L = Q(i,
temos respectivamente os polinomio mnimos x2 3 e x2 + 1, logo o grau de L|Q e 4.

Determinamos os 4 elementos do grupo de Galois
46

Seja p um primo. Se K contem uma raiz primitiva p-esima da unidade, entao as
possibilidades para p = 2, 3 ou 5. Sendo wp L entao Q(wp ) L e por multiplicatividade
do grau, temos que [Q(wp ) : Q] divide [L : Q] = 4, porem [Q(wp ) : Q] = (p) = p 1,
se p > 5 entao (p) = p 1 5 que nao divide 4, as possibilidades sao para p = 2, 3 ou
5, pois temos (2) = 1, ; (3) = 2 e (5) = 4 que dividem o grau de L|Q. Sendo que as
razes da unidade w2 = 1 e
2
2
1
3i
w3 = cos( ) + isen( ) = +
L.
3
3
2
2
Exemplo 32. Considere o polinomio x7 6 em Q[x]. Seja N o seu corpo de razes sobre
Q.
Mostre que o grau de N |Q e 42.
Temos que
x 6=
7
(x
7
6wk ) C[x]
k=0
7
onde w e uma raiz primitiva 7-esima da unidade, o corpo de razes e Q(w, 6), o grau
7
da extensao e 42, pois [Q( 6) : Q] = 7 com polinomio mnimo x7 6, e o grau de
7
7
[Q( 6, w) : Q( 6)] e 6, pois p(x) = x6 + x5 + x4 + x3 + x2 + x + 1 e irredutvel em Q e
7
7
tambem e irredutvel em Q( 6), pois tem grau coprimo com Q( 6)|Q de grau 7, entao
7
por multiplicatividade do grau temos [Q( 6, w) : Q] = 42.
Exiba um subcorpo L de N tal que L|Q nao seja normal.
7
Tomamos L = Q( 6), L|Q nao e uma extensao normal, pois o polinomio mnimo
x7 6 so possui uma raiz em L, as outras nao, se fosse normal teramos todas em L.
Mostre que existe um u
nico subcorpo F de N tal que [F : Q] = 6.
Fatoramos 42 = 7.3.2, n7 {1, 2, 3, 6} com n7 1 mod 7, segue que n7 = 1,

logo o u
nico 7-Sylow e normal, e u
nico subgrupo de ordem 7 do grupo de Galois G(N |Q)
47
(a extensao e normal e separavel.) Com isso existe F , com G(N |F ) < G(N |Q) com
|G(N |F )| = 7 e da
[F : Q] =
Sejam a =
7.6
|G|
=
= 6.
|G(N |F )|
7
7
6, w uma raiz primitiva setima da unidade e E = Q(a), mostre que
existe um homomorsmo injetivo
: G(N |Q(a)) G(Q(w)|Q).

Denimos como (k ) = tk , os automorsmos de G(N |Q(a) sao da forma k (w) = wk ,
que xam a e os automorsmos de G(Q(w)|Q), sao da forma tk (w) = wk tambem, logo o
homomorsmo denido dessa maneira e uma bijecao entre os grupos.
Ha quantos subcorpos intermediarios proprios em N |E?
x6 + x5 + x4 + x3 + x2 + x + 1 e irredutvel em E, pois e irredutvel em Q e coprimo com

o grau de E|Q. Entao a quantidade de subcorpos de N |E e a quantidade de subgrupos
de {tk }61 , t3 gera o grupo
{I, t23 , t3 , t43 , t53 , t33 }
com t63 = I. O u
nico subgrupo de ordem 2 e gerado por t33 , t23 e t43 geram o mesmo
subgrupo de ordem 3 e t3 e t53 geram o grupo todo. Portanto temos apenas dois subcorpos,
intermediarios proprios em N |E, um associado ao grupo de ordem 3 e o outro com o grupo
de ordem 2.
1.3
A equac
ao geral de grau n
Teorema 6. Sejam K um corpo com car(K) = 0 e (xk |n1 ) indeterminadas sobre K,

F = K(sk |n1 ) onde (sk |n1 ) sao as funcoes simetricas elementares e
f (x) =
k=0
(1)k sk xnk F [x].
48
Entao L = K(xk |n1 ) e corpo de razes de f (x) sobre F e sn = G(L|F ) e o grupo de

automorsmos de L|F.
Defini
c
ao 13 (Grupo sol
uvel). Um grupo nito G e sol
uvel sse existe uma cadeia de
subgrupos Nk com k [0, s]N , tal que N0 = G, Ns = {e}, Nk+1 Nk , Nk+1 Nk e
Nk /Nk+1 e abeliano para todo k [0, s 1]N .
Defini
c
ao 14 (Comutador de (a, b)( G)). Sejam (G, .) um grupo e (a, b)( G) denimos
o comutador de a, b por
[a, b] = aba1 b1
Defini
c
ao 15 (Comutador G de G). O comutador de G e o subgrupo G gerado pelos
comutadores [a, b] para quaisquer (a, b)( G)
G =< aba1 b1 | a, b G > .
Corol
ario 6. Se (G, .) e abeliano entao G = {e}.
Propriedade 22. G e normal em G.
Propriedade 23. G/G e abeliano.
Propriedade 24. Se N e um subgrupo normal de G tal que G/N e abeliano entao
G N , isto e, G e o menor subgrupo normal de G com a propriedade do grupo quociente
ser abeliano.
Defini
c
ao 16.
G0 = G
Gm+1 = (Gm ) .
Corol
ario 7.
Gm+1 Gm
Corol
ario 8. Gm /Gm+1 e abeliano.
49
Propriedade 25. (G, .) e um grupo sol

uvel sse Gr = {e} para algum r 1.
Propriedade 26. Se H e um subgrupo de G e G e sol
uvel entao H e sol
uvel.
Demonstrac
ao. H k < Gk para todo k natural. Se G e sol
uvel existe r N tal que
Gr = {e} logo H r Gr e H r = {e} implicando que H e sol
uvel.
Propriedade 27. Se G e sol
uvel e f : G G e um homomorsmo sobrejetor entao G e
sol
uvel . Em particular se N G e G e sol
uvel entao G/N e sol
uvel.
Propriedade 28. Seja N G. Se N e sol
uvel e G/N e sol
uvel entao G e sol
uvel.
Propriedade 29. Seja G = Sn com n 5 entao Gr para r natural contem cada 3-ciclo
de Sn . Em particular Sn nao e sol
uvel para n 5.
Considerando corpos de caracterstica zero
Defini
c
ao 17 (Extensao radical). Uma extensao M |K e dita radical se existe uma torre,
chamada torre radical simples
K = K0 , Ku Ku+1 u [0, s 1]N eKs = M
tal que para cada j [1, s]N existem j Kj , nj 1 com (j )nj Kj1 e Kj1 (j ) = kj .
Defini
c
ao 18 (Polinomio sol
uvel por radicais). Sejam f (x) K[x] K e L um corpo de
razes de f (x) sobre K. O polinomio f (x) e sol
uvel por radicais sse existe uma extensao
radical M |K tal que L M.
Propriedade 30. Seja M |K uma extensao radical, entao existe uma extensao radical
normal N |K tal que M N.
Sejam K um corpo com car(K) = 0, que contem uma raiz primitiva nesima da
unidade, a K, a = 0, f (x) = xn a e L o corpo de razes de f (x) sobre K.
Propriedade 31. L = K(b) onde b e qualquer raiz de f (x)
Propriedade 32. G(L|K) e abeliano.
50
Teorema 7. Se f (x) K[x] K e sol

uvel por radicais entao G(L|K) e sol
uvel onde L e
um corpo de razes de f (x) sobre K.
Corol
ario 9. O polinomio geral de grau n 5 nao e sol
uvel por radicais.
Propriedade 33. Seja p um natural primo e f (x) Q[x] um polinomio monico irredutvel
de grau p. Suponhamos que f (x) tem exatamente duas razes complexas nao reais entao
G(f (x)|Q) e o grupo simetrico Sp .
1.4
C
e um corpo algebricamente fechado
Defini
c
ao 19 (Corpo algebricamente fechado). O corpo K e chamado de algebricamente
fechado sse todo polinomio f (x) K[x] K tem uma raiz em K.
Propriedade 34. Seja K um corpo algebricamente fechado se f (x) K[x] e um polinomio de grau 1 entao existem a, k |n1 K tais que
f (x) = a
(x ak ).
k=1
Corol
ario 10. Se K e um corpo algebricamente fechado entao os polinomios monicos
irredutveis sao x , com inK.
Teorema 8. C e um corpo algebricamente fechado.
Propriedade 35. Assuma todos corpos citados contidos em um corpo em comum. Valem
as propriedades
1. Se E|K e F |K sao abelianos entao EF |K e abeliano.
2. Se E|K e abeliano entao EF |F e abeliano.
3. Se E|K e abeliano entao E|F e F |K sao abelianos, onde K F E.
Demonstrac
ao. (Rever)
51
1. Temos o isomorsmo
Gal(EF |K) Subgrupo[Gal(E|K) Gal(F |K)].
| {z } | {z }
abeliano
abeliano
2. Como Gal(EF |F ) Gal( E|K ) entao Gal(EF |F ) e abeliano.
|{z}
abeliano
3. Existe H < Gal(E|K) tal que F = E H , o que implica Gal(E|F ) = H < Gal(E|K)
| {z }
abeliano
o que implica E|F abeliano.
Se trocamos abeliano por cclico (1) nao vale, porem (2) e (3) continuam sendo verdadeiras.
Defini
c
ao 20 (Extensao abeliana maxima). Se K e um corpo, o compositum (?) de
todas extensoes abelianas de K em um fecho algebrico K a e chamado de extensao abeliana
maxima e denotada por K ab .
Corol
ario 11. Se E|K e galois, [E : K] = n entao G = Gal(E|K) e isomorfo a um
subgrupo de Sn , pelo teorema de Cayley.
Exemplo 33 (Extensao quadratica). Se [E : K] = 2, E = K(), E. Se car(K) = 2
podemos escrever P|K = x2 a = (x )(x + ) onde 2 = a, os automorsmo sao e
, com
() =
:
| = I
K
() =
:
| = I
K
logo Gal(E|K) = {, }
Exemplo 34 (Extensao c
ubica). Se [E : K] = 3 com car(K) = 3, F = K(), |K P (x) =
3, E = K(Rp ) = K(1 , 2 , 3 ) a extensao e galois, normal e separavel.
52
Sabemos que gal(E|K) < S3 logo |gal(E|K)| = 3 ou 6. Podemos supor P (x) =
x3 + ax + b, pois se temos y 3 + y 2 + y + , fazendo a mudanca y = x + o transformamos

3
no polinomio x3 + ax + b. Seja = ( 2 )( 3 )(2 3 ), onde = 1 .
Seja gal(E|K), permuta k .
Vale que
se e mpar
() = =
se e par
Podemos mostrar que = 4a3 27b2 = 2 , () = gal(E|K), como e

xo por qualquer , entao K.
Se K gal(E|K) () = , da e par, logo o grupo de galois nao e
o grupo todo, sao apenas os pares, isto e, gal(E|K) = A3 . Entao vericando = ,

podemos concluir qual e o grupo.
Exemplo 35. Seja K = Q, P (x) = x3 x + 1 e irredutvel sobre Q. O polinomio possui
grau 3 e nao possui razes racionais, logo e irredutvel (suas u
nicas possveis racionais
seriam 1 ou 1 , porem tais n
umeros nao sao razes).
= 23
/ Q gal(E|Q) = S3 .
Exemplo 36. Seja P (x) = x4 2 Q[x], ele e irredutvel em Q por criterio de Eisenstein,
suas razes sao exatamente os elementos do conjunto
4
4
4
4
Rp = { 2, 2, 2i, 2i}
4
seja = sqrt[4]2, podemos mostrar que E = Q(Rp ) = Q( 2, i), por duas inclusoes e
[E : Q] = 8. Precisamos achar um grupo de ordem 8 em S4 . G < S4 o grupo de galois,
|G| = 8, qual seria o subgrupo?.
Existe automorsmo que deixa Q() xo e associa i com i e automorsmo que
associa uma raz de x4 2 com i.
Podemos mostrar que o grupo de galois e
{I, , , 2 , 3 , , 2 , 3 }
o grupo e isomorfo ao grupo das simetrias do quadrado D4 .
53

Teoriagalois PDF

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Teoriagalois PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

Anotacoes sobre Teoria de Galois.

Rodrigo Carlos Silva de Lima

Universidade Federal Fluminense - UFF-RJ

n-esimo polinomio ciclotomico . . . . . . . . . . . . . . . . . . . . . 23

A equacao geral de grau n . . . . . . . . . . . . . . . . . . . . . . . . . . . 47

C e um corpo algebricamente fechado . . . . . . . . . . . . . . . . . . . . . 50

G(L|K) = {f : L L, automorsmo, tal quef |K = I}.

CAPITULO 1. TEORIA DE GALOIS

Temos a identidade no conjunto, que e a funcao I : L L tal que I(x) = x para

a = I(a) = f (f 1 (a)) = f 1 (f ( a)) = a.

CAPITULO 1. TEORIA DE GALOIS

aplicando , sabendo que (0) = 0 e por propriedades de automorsmo segue

CAPITULO 1. TEORIA DE GALOIS

Exemplo 2. Seja f (x) = x3 1 Q[x], o corpo de decomposicao de f (x) sobre Q e

CAPITULO 1. TEORIA DE GALOIS

Exemplo 4. Seja L = K(x), onde K = Zp (xp ), p um n

CAPITULO 1. TEORIA DE GALOIS

CAPITULO 1. TEORIA DE GALOIS

Como H G entao g G e para todo a H temos g(a) = a, logo K LH , portanto

Exemplo 7. Determine G(L|K) onde L = Q(w) , K = Q, w = cos(

(x w)(x w2 )(x w3 )(x w4 ) e irredutvel sobre Q, sendo o polinomio mnimo e L o

CAPITULO 1. TEORIA DE GALOIS

Propriedade 8. Seja algebrico sobre K e t G(K()|K), entao t() tem o mesmo

Se G(L|K) = {I} entao L = K?

Propriedade 9 (Dedekind). Sejam L um corpo de (k )n1 automorsmos distintos de L.

Podemos encontrar uma relacao que tem o menor n

CAPITULO 1. TEORIA DE GALOIS

com cada ak nao nulo. Vale que m 2, pois se m = 1, {1 } e LI sobre L, pois se

ak k (x) = 0 por 1 (y) temos

ak k (x)k (y) temos

ak k (x)(k (y) 1 (y)) = 0, x L.

O coeciente de m (x) e am (m (y) 1 (y)) = 0, entao a equacao acima tem no maximo

CAPITULO 1. TEORIA DE GALOIS

expressao acima temos

CAPITULO 1. TEORIA DE GALOIS

o sistema AX = 0 tem uma solucao nao nula (xk )n+1

= G, pois e automorsmo, logo bijetivo e injetivo e a

composicao de automorsmos e automorsmo, aplicando em

o sistema acima e equivalente ao sistema

pois de certa maneira apenas troca as linhas, multiplicando

k (j )(xj ) = 0 por x1 temos

CAPITULO 1. TEORIA DE GALOIS

subtraindo a primeira da segunda temos

k (j )(xj (x1 ) (xj )x1 ) = 0 =

k (j )(xj (x1 ) (xj )x1 )

como x1 = 0, cancelamos x1 chegando em

CAPITULO 1. TEORIA DE GALOIS

Vamos mostrar que |G(L|K)| [L : K] = m, seja {k }m

Seja L. Entao existem (ak )m

CAPITULO 1. TEORIA DE GALOIS

pelo resultado anterior |G| = [L : LG ] = [L : K]. Considere os elementos distintos

polinomio separavel f (x) K[x] e temos tambem |G(L|K)| = [L : LG ] da [L :

CAPITULO 1. TEORIA DE GALOIS

LG ] = [L : K] como K LG L temos por multiplicatividade dos graus que

CAPITULO 1. TEORIA DE GALOIS

4. Seja F corpo com K F L. F |K e normal G(L|F ) G (subgrupo normal de

CAPITULO 1. TEORIA DE GALOIS

Temos tambem (H) = LH ((H)) = (LH ) = G(L|LH ). H G(L|LH ) pois

4. ). Se F |K e normal entao F |K e corpo de decomposicao sobre K de algum

CAPITULO 1. TEORIA DE GALOIS

Temos tambem que

CAPITULO 1. TEORIA DE GALOIS

galois. As razes do polinomio mnimo de sobre K formam a orbita de por G(L|K) (