Algebra

Teorema de Galois e Aplicaes
Iniciamos esta seo recordado algumas denies que j introduzimos anteriormente. Nas Notas V encontramos na pgina 23 que um isomorsmo de automorsmo. Caso dizemos que
:KK F
de um corpo nele mesmo chamado
seja uma extenso de um corpo de
e a restrio de
seja a identidade,
um
F -automorsmo K
K. F,
Na pgina 24 encontramos a denio de grupo de mais precisamente
Galois de uma extenso
de um corpo
G(K; F )
o conjunto de todos os
F -automorsmos
de
K.
Temos que
G(K; F )
com a operao de composio de funes um grupo,
o grupo de Galois. Tambm na pgina 24 encontramos que o corpo de razes
de um polinmio separvel
f (x)
F [x]
chamado de extenso galoisiana de
F.
Pelo Corolrio da pgina 17 temos que
|G(K; F )| =
[K : F ].
Vamos escrever distintas de
f (x) = ao + a1 x + + an xn K
de
e sejam
1 , 2 , . . . , m
o conjunto de todas as razes
f (x)
em alguma extenso
(Relembre a denio de polinmio separvel e que
um polinmio separvel pode ter razes mltiplas). Logo agora
f (i ) = 0
qualquer que seja
i .
Tomemos
G(K; F ).
Como
n ao + a1 i + + an i = 0
aplicando-se
aos dois lados da igualdade Consequentemente
obtemos
ao +a1 (i )+ +an (i )n = 0, pois (aj ) = aj , para todo j = 1, . . . , n.

Portanto a restrio de
(i ) = t para alguma outra raiz t de f (x).
ao conjunto { 1 , 2 , . . . , m }
induz uma funo desse conjunto nele mesmo. Esse fato j tinha sido observado na demonstrao do item (3) da Proposio da pgina 11, Notas VII, mas agora vamos aprofundar um pouco mais essa observao. Observe que essa funo vai ser injetiva, pois
automorsmo.
Como o conjunto nito,
essa funo induzida vai ser sobrejetiva tambm, isto , a restrio de
ao conjunto { 1 , 2 , . . . , m }
um bijeo do conjunto nele mesmo, ou ento, uma permutao do conjunto. Recorde que na pgina 2 das Notas V denotamos o conjunto das permutaes de um conjunto com
m elementos por Sm .
a
Temos ento uma correspondncia Verica-se trivialmente que
: G(K; F ) Sm
onde
() = restrio de
{ 1 , 2 , . . . , m }.
um homomorsmo de grupos. Por outro lado,
pelo Corolrio da Proposio, pgina 14, Notas V, sabemos que disso que se
K = F (1 , 2 , . . . , m ).
Resulta
() = 1 = id
Seja
ento
= 1,
tambm. Logo
injetiva e acabamos de demonstrar que
Proposio.
o corpo de razes de um polinmio separvel isomorfo a um subgrupo de 1
f (x) F [x]
que tem
razes
distintas. Ento
G(K; F )
Sm .
Mais precisamente seja
: G(E; F ) Sm
a funo que associa a cada
G(E; F ) a permutao () : { 1, 2, . . . , n }
do conjunto
{ 1 , 2 , . . . , m }, (i) = j
(Poderamos ser mais formais denindo
{ 1, 2, . . . , n }
portanto
onde
se e somente se
(i ) = j .)
Ento
o homomorsmo injetivo e
G(K; F )
Im subgrupo de
Sm .
Podemos ento concluir que
[K : F ] = |G(K; F )| m!. () = 1 =
id ento
Vamos vericar a validade da armao se Estamos dizendo que se cadeia
= 1
que zemos acima.
(t ) = t ,
para todo
1 t m,
ento
= id.
Lembre-se que temos uma
F = Fo Fo (1 ) = F1 F1 (2 ) = F (1 , 2 ) Fi (i+1 ) Fm1 (m ) = F (1 , . . . , m ) = K.
Temos que a restrio de
a cada um dos
Ft
a identidade. De fato,
= id : Fo (1 ) Fo (1 ),
ou
= id : F1 F1 .
Igualmente para
F2 ,
e assim por diante at
Fm = K .
5
Vejamos um exemplo.
Seja
E = Q()
com
raiz primitiva quinta da unidade (
= 1
wr = 1,
para todo
1 r 4).
Temos que
raiz do polinmio
x5 1
e conforme vimos na
Armao 1, pgina 2 das Notas VI, o polinmio mnimo de e temos que
5 (x) = x4 + x3 + x2 + x + 1
o corpo de razes de
[Q() : Q] = Z/(p 1)Z
gr 5 = 4.
Tambm vimos que
Q()
5 (x)
G(Q(); Q)
Embora o clculo do grupo de Galois tenha sido abordado nas Notas VI, vamos reexamin-lo agora, tendo em vista que queremos imergir o grupo em Sabemos que um
S4 .
em outra raiz. Alm disso sabemos que Tomemos ento uma funo
tem que levar uma raiz de como
5 (x)
{ 1, , 2 , 3 , 4 } uma base de E
caracterizada por
Q espao vetorial.
:EE
() = 2
e vamos estende-la a base de
E : (1) = 1, () = 2 , ( 2 ) = 4 ,
( 3 ) = ,
de
( 4 ) = 3 .
Observe que estamos impondo o que natural para um automorsmo
E.
Isto , como queremos que
venha a ser um
Q-automorsmo 5 = 1
de
devemos impor que
( 2 ) = ()2 = 4 ,
do tipo
e assim por diante, mas lembrando que
e portanto vo ocorrer redues
( 3 ) = ()3 = 6 = .
Vamos em seguida estender por linearidade
a uma
Q-linear
de
E,
pondo
(ao 1 + a1 + a2 2 + a3 3 + a4 4 ) = ao 1 + a1 2 + a2 4 + a3 + a4 3 = ao 1 + a3 + a1 2 + a4 3 + a2 4 .
Como
leva base de espao vetorial em base de espao vetorial, como 2
Q-transformao
linear, j
ganhamos que todo
bijetora e vale temos
(x + y) = (x) + (y), x, y E .
Tambm verdade que para
x Q Q1 E
(x) = x.
S falta vericar que a funo
que construmos tambm
satisfaz
(xy) = (x)(y).
Mostre que que a funo construda acima tambm tem a propriedade:
Questo 1.
(xy) =
(x)(y), x, y E .
Podemos repetir o que acabamos de fazer para construir o grupo de Galois automorsmo de iniciamos com partir de
G(Q(); Q)
dos
Q-
E.
Chamemos de
o automorsmo que acabamos de construir.
Observe que
1 () = 2 .
e
Seguindo pelo mesmo caminho podemos tambm construir Vamos ento obter e assim
2 () = 3
3 () = 4 .
e
G(Q(); Q) = { 1, 1 , 2 , 3 }.
Podemos
tambm vericar que
2 3 = 1
3 2 = 1
um gerador do grupo de Galois.
Vamos agora olhar que permutaes de Vamos enumerar as razes de
S4
vo corresponder aos automorsmos que construmos.
5 (x)
da seguinte maneira:
1 = , 2 = 2 , 3 = 3 , 4 = 4 .
teremos ento que
1 (1) = 2, 1 (2) = 4, 1 (3) = 1, 1 (4) = 3.

Logo
corresponde a permutao
1 2 4 3 1.
Prosseguindo com esse trabalho vamos
encontrando as permutaes de vamos megulhar
S4
que correspondem aos outros dois elementos
3 .
Dessa forma
G(Q(); Q)
dentro de
S4
como um sugbrupo de ordem
4.
Mais ainda, pelo que
vimos a imagem de
G(Q(); Q)
dentro de
S4
so as potncias da permutao
(1243),
onde estamos
apenas indicando a sequncia
1 2 4 3 1.
Uma permutao desse tipo chamada de um
4-
ciclo (Sugerimos consultar o livro Elementos de lgebra de A. Garcia e Y. Lequain, Projeto Euclides, IMPA, 2002, nas pginas 198 a 214 para recordar as propriedades dos grupos de permutao).
O Grupos de Simtrico Sn
Embora no haja tempo nem espao para tratarmos do grupo simtrico
Sn
vamos recordar alguns
poucos fatos que usaremos. acima.
Sugerimos novamente a leitura do livro Garcia-Lequain mencionado
O grupo
Sn
um objeto tpico da matemtica combinatorial. Essa parte da matemtica trata de
problemas como o chamado problema das quatro cores relacionado a colorir os estados, ou pases, de um mapa de forma que no hajam duas guras com a mesma cor tendo fronteira em comum. O
Sn
em particular est relacionado com o estudo das simetrias de um polgono regular.
Recordemos que
Sn = { : {1, 2, . . . , n} {1, 2, . . . , n} |
bijetiva
}.
Vamos a seguir iniciar o
estudo das permutaes. Para cada permutao
vamos recordar que o signicado de
s :
s =
s vezes
Isto , uma composio de funes. Sabemos que a composio de funes bijetivas tambm bijetiva. Por isso todas as potncias de inverso (em
so funes bijetivas de
{1, 2, . . . , n}
em
{1, 2, . . . , n}.
Logo
tem
Sn )
para todo
s 1. s ? (s )1 = 1 1 1 = s .
s vezes
(1)
Qual seria o inverso de
Vamos ento denotar expoentes negativos como sendo a inversa de e todo
(1 )s .
Isto : Para toda
Sn
sZ
denimos
s vezes s 1 = funo identidade = 1 1 1

|s| vezes
se
s 1; s = 0; s<0
se se
Questo 2. Usando a denio acima mostre que as seguintes igualdades valem:

1.
r, s Z r, s Z
e toda
Sn , r s = r+s . Sn , (r )s = rs .
Em particular
2.
e toda
(r )1 = r .
3.
r, s, t Z
e toda
Sn , (r+s )t = rt+st .
Nas Notas V, quando introduzimos grupos vimos que para toda que
Sn
temos
|| = | < > | n!
||
divide
n! = |Sn |.
Essa informao no parece grande coisa neste caso. Anal
divisvel
por muita gente, Vamos detalhar um pouco mais a natureza de uma permutao discutindo o que chamamos de estrutura de ciclos.
Para cada
Sn chamamos de suporte
de
ao conjunto sup() = { j {1, 2, . . . , n} | (j) = j }. i {1, 2, . . . , n},

dadas por
Isto sup() o conjunto de elementos que a funo move. Claro que para todo com
i sup(),
temos
(i) = i.
Tomemos como exemplo as permutaes
, , S4
(1) = 2 (2) = 1 (3) = 4 (4) = 3; (1) = 3, (3) = 4, (4) = 1, (2) = 2 (1) = 3, (3) = 1, (2) = 4 (4) = 2.
Temos ento sup() exerccio sup(
= { 1, 2, 3, 4 },
e sup(
sup( )
= { 1, 3, 4 },
sup()
= { 1, 2, 3, 4 }.
Encontre agora, como
).
A primeira coisa que queremos destacar que
uma bijeo de sup() nele mesmo, isto ,

j
sup() existe
sup() vale que
(j)
sup(). Reciprocamente,
sup() tal que
j = (i).
Vejamos: sejam sup().
() j
sup() e
i { 1, . . . , n }
tal que
(j) = i.
Temos que mostrar que sup()
(i)
Logo
Procurando por um absurdo, vamos supor que Como tambm
(i) = i (i
(i) = i). 1
i = (i) = 2 (j).
(j) = i,
vamos ter
2 (j) = (j).
Aplicando-se
nos dois
lados da igualdade obtemos Logo
(j) = j ,
uma contradio com
j sup().
(sup()) sup() e tomando-se a restrio : sup() sup() temos um funo injetiva { 1, . . . , n }

em
( injetiva de
{ 1, . . . , n }).
Mas uma funo injetiva de um conjunto
nito
nele
mesmo sempre bijetiva. Como isso ca demonstrada a propriedade. Observamos que o que acabamos de ver que somente sup() importante para o estudo de
Anal, fora de sup(),
coincide com a identidade. Vamos exemplicar esse ponto de vista
estudando um tipo especial de permutao.
Denio.
{ 1, . . . , n }
de
Dizemos que
Sn
um
r-ciclo
caso exista um subconjunto e
{ j1 , j2 , . . . , jr }
para todo
elementos tal que
(j1 ) = j2 , (j2 ) = j3 ,. . . ,(jr ) = j1
(i) = i,
i { 1, . . . , n }
{ j1 , j2 , . . . , jr }. = { j1 , j2 , . . . , jr }.
Vejamos a seguir que
Vemos que sup() Observe que
|| = r,
como era de se esperar.
j2 = (j1 ), j3 = (j2 ) = 2 (j1 ),
e sucessivamente, 5
jt = t1 (j1 ),
at nalmente,
jr = r1 (j1 )
(A distncia entre um dizer de
jt (1 t r)
do conjunto e o ltimo elemento do conjunto,
jr ,
por assim
r t).
Arrumando um pouco as igualdades obtemos
jr = r1 (j1 ) = rt (t1 (j1 )) = rt (jt ).

Vamos voltar ao nosso objetivo, provar que
r = 1.
Temos que
j1 = (jr ) = (r1 (j1 )) = r (j1 ).

Como calculamos acima que
jr = r2 (j2 )
vamos ter
j2 = (j1 ) = ((jr )) = 2 (r2 (j2 ) = r (j2 ).

Vamos repetindo esse argumento para todos os casos. Por exemplo, dado que
1 t n,
vimos acima
jr = rt (jt ),
logo
jt = t1 (j1 ) = t1 ((jr )) = t (jr ) = t (rt (jt )) = r (jt ).

Podemo ento concluir que
r = 1.
Para
Observe que nossa contas mostram tambm que para todo
1t<r t+1=1
temos
t (j1 ) = jt+1 .
t<r
temos
t + 1 r.
Logo
jt+1 { j1 , j2 , . . . , jr } t = 1.
e como
podemos concluir que
jt+1 = j1 ,
isto ,
t (j1 ) = j1
o que implica em
Concluso:
A ordem de um
r-ciclo r.
De fato mostramos acima que
r = 1 e para todo 1 t < r, t = 1.
Isso equivale a dizer que
|| = r. r-ciclo
de suporte
Costumamos representar um
{ j1 , j2 , . . . , jr }
como uma sequncia
(j1 j2 jr ),
mais precisamente a sequncia em que os elementos movem-se para a direita.
Os elementos que
estiverem fora dessa sequncia esto fora do suporte, logo cam xos. Observe que essa representao no nica.
Exemplos: (234) S4
(1) = 1.
Observe que
a permutao
tal que
(2) = 3, (3) = 4, (342).
(4) = 2,
e tambm
tambm pode ser representado como
Na verdade podemos trocar Esse um
os termos ciclicamente sem alterar a sequncia. Assim tem ordem
(234) = (342) = (423).
3-ciclo
3. (234)
no indica em qual
Observe a expresso o
Sn
a permutao est.
Tambm em
S5
temos
3-ciclo (234).
Em qualquer um dos casos temos sup(234)
= { 2, 3, 4 }
e os elementos fora desse
conjunto cam xos. Se dissermos que ento
(234)
est em
S4
s o
ca xo. Se dissermos
(234) S5 ,
cam xos.
Outro exemplo seria
(35174) S8 .
e
Esse um
5-ciclo
e tem ordem
5.
Aqui temos
351
743
2 2, 6 6
88
(ser que esqueci de alguem?).
Um exemplo bastante interessante o caso permutao de
r = 2,
ou de um
2-ciclo.
Nesse caso chamamos a e todos os demais
transposio.
De fato um
2-ciclo i e j.
da forma
(ij)
com
iji 2.
elementos xos. Logo estamos transpondo
Uma transposio tem ordem
Mais tarde veremos
que formam um conjunto importante de permutaes. Um exemplo de permutao que no um
r-ciclo
dado por
S5
denida como
(1) =
2, (2) = 1, (4) = 5, (5) = 4,
(3) = 3.
Temos que sup()
= { 1, 2, 4, 5 }
mas no vale
2 4.
Questo 3.
(12)
e
Mostre que a permutao
do ltimo exemplo a composio das transposies
(45).
Isto
= (12) (45),
ou mais simplesmente
= (12)(45). 1-ciclo. j=i

Isso em ca xo.
Um ltimo comentrio acerca dos ciclos que tambm costuma-se falar em princpio no faz sentido. Mas tambm se escreve Logo
(i),
um
1-ciclo,
onde
ii
e todo
(i)
s outra maneira de representar a funo identidade.
Veremos a seguir que toda permutao se decompe em um produto de ciclos especiais. antes temos que fazer uma preparao.
Mas
Sejam
, Sn .
Se sup()
sup() = ,
ento
= . j
Isto
comutam.
Demonstrao: Tomemos
j {1, 2, . . . , n}
qualquer. Se
sup() e
sup() ento
(j) =
(j) = j
Se
e igualmente sup() e
(j) = (j) = j .
sup(), ento
(j)
sup(), pela propriedade
().
Logo
(j)
sup(),
por hiptese.
Portanto
(j) = ((j)) = (j).
Calculando do outro lado obtemos
(j) =
((j)) = (j).
Deixamos para o prximo exerccio o outro caso possvel. Juntando assim os dois
casos acima e mais o terceiro caso do prximo exerccio podemos concluir que todo
(j) = (j),
para
j {1, 2, . . . , n}.
Logo
= ,
como queramos demonstrar.
Questo 4. Mostre que se j sup() e j sup(), ento (j) = (j) = (j). Denio.
Dizemos que duas permutaes
so
disjuntas
no caso sup()
sup() = .
Acabamos de ver que duas permutaes disjuntas comutam. 7
Vejamos agora o teorema da decomposio em ciclos.
Teorema:
que
Para todo permutao
Sn
existem ciclos, dois a dois, disjuntos
1 , 2 , . . . , m
tais
= 1 2 m .
Mais ainda, essa decomposio nica a menos da ordem dos fatores.
A ressalva em relao a unicidade necessria pois como os ciclos so disjuntos, eles comutam entre si, pela propriedade anterior.
Demonstrao: Primeira parte.
Vamos dividir a demonstrao em duas partes. Primeiro mostramos que existe
decomposio. Depois que a decomposio nica. Vamos denir em
{ 1, 2, . . . , } kZ
a seguinte relao:
ij
existe
tal que
k (i) = j.
Questo 5. Mostre que a relao denida acima uma relao de equivalncia.

Como toda relao de equivalncia particiona o conjunto sobre o qual est denida vamos ter um decomposio se
{ 1, 2, . . . , } = X1 X2 Xm .
ento
Recordemos que
indica reunio disjunta. Isto , uma classe de equivalncia.
1 i = j m,
Xi Xj = .
Cada um desse subconjuntos
Xi
Isto
ij
Observe que alguns dos
existe
1km
tal que
i, j Xk .
Xi
podem ser unitrios.
Questo 6. Mostre que para todo 1 t n, com t sup(), temos que i t i = t.

Logo para todo
1 t n,
com
sup(), o ndice
para o qual
t Xk , 1 k m,
s pode
ter um elemento. Mais precisamente
Xk = { t }.
a
Para cada
1km
vamos representar a restrio de
Xk
por
|Xk .
Questo 7. Mostre que (Xk ) Xk 1 , e mais ainda que |Xk uma bijeo de Xk em Xk Dessa
forma
|Xk
uma permutao de
Xk . (j1 j2 ju ) t
tal que a restrio de
Vamos a seguir mostrar que existe um ciclo
a cada um dos
Xk
igual a esse ciclo. De fato, se
Xk = { t },
ento
sup() e assim
(t) = t.
Logo
|Xk = (t),
que como falamos representa a identidade.
1 Observe
que para todo
i Xk
temos
i (i).
8
Suponhamos agora que
Xk
no unitrio. Armamos primeiro que
Xk
sup(). De fato, seja
i Xk .
Como
Xk
no unitrio, existe Logo
j Xk
com
j = i.
Vimos que
i = j Xk t (i) = j , (i) = i,
tambm A
para algum teramos
t Z.
t (i) = i.
Dessa forma, se acontecesse de termos e
t (i) = i.
Concluso
(i) = i j1 Xk
sup().
Logo
Xk
sup(), como queramos.
seguir escolhemos um elemento
e vamos aplicando sucessivamente
para obter
{ j1 , j2 =
De fato, Vamos
(j1 ), j3 = (j2 ) = 2 (j1 ), . . . } Xk .

para qualquer ento assumir
Armamos que esse processo vai esgotar
Xk .
j Xk , j = j1 .
se
j = j1
j temos
j { j1 , j2 = (j1 ), j3 = (j2 ) = 2 (j1 ), . . . }. t

tal que
Como
j j1 ,
existe
j = t (j1 )
observe que podemos tomar
t 1. r = 0
De fato, ou
tem ordem nita, digamos Observemos que
a.
Pelo algortimo de Euclides,
t = aq + r,
com
0 < r < a.
r = 0.
Logo
Realmente, se
r = 0,
ento
t = ( a )q = 1
o que
acarreta
j = j1 ,
contra nossa suposio.
r 1
j = t (j1 ) = r (j1 ).
Logo se
Novamente obtemos tiver
j { j1 , j2 = (j1 ), j3 = (j2 ) = 2 (j1 ), . . . },

ento
como queramos.
Xk
uk
elementos,
Xk = { j1 , j2 = (j1 ), j3 = (j2 ) = 2 (j1 ), . . . , juk = uk 1 (j1 ) }.
Claro que isso implica que
|Xk = (j1 j2 juk ).
Questo 8. Nas condies acima, denominemos k = (j1 j2 juk ), para todo 1 k m.

que
Mostre
= 1 2 m .
que sejam
Para terminarmos a primeira parte, basta eliminarmos os termos k

a identidade.
1-ciclo, j que so
Segunda Parte.
Como
A unicidade.
Sejam
1 2 m = = 1 2
duas fatoraes de
em
ciclos disjuntos, dois a dois. Assumimos que so todos diferentes da identidade. Seja
sup(). e
(i) = i
necessariamente existem
a, b, 1 a m
como os
1 b
tais que
a (i) = (i)
b (i) = (i).
Isto ,
Mais ainda, como tanto os
s,
s so dois a dois disjuntos o a e o b so nicos.
para cada i sup() existem e so nicos 1 a m e 1 b tais que i sup(a ) e

a=1=b
e e assim
i sup(b ).
Para simplicar as coisas vamos supor
i sup(a )
i sup(b ).
Logo
(i) = 1 (i)
Como vimos na propriedade
(i) = 1 (i).
e
(), (i) sup(), 1 (i) sup(1 ),

e 9
1 (i) sup(1 ).
Logo
2 (i) = ((i)) = 1 (1 (i)) = 2 (i) 1
2 (i) = ((i)) = 1 (1 (i)) = 2 (i). 1
Vamos novamente ter
2 (i)
sup(),
2 (i) 1
sup(1 ), e
1 (i)2
sup(1 ) de forma que podemos
repetir o raciocnio e obter
3 (i) = 3 (i) = 3 (i). 1 1

Continuando com esse processo vemos que para todo
t1
temos
t (i) = t (i) = t (i). 1 1

Como
so ciclos essas igualdades mostram que
|1 | = |1 | e sup(1 ) = sup(1 ).
Logo
1 = 1 .
Podemos ento multiplicar a igualdade
1 2 m = = 1 2
por
1 = 1 1 1
e obter
2 3 m = 1 = 2 3 . 1
Denotando-se
1 = 1 1
temos agora a repetio da decomposio
2 3 m = 1 = 2 3 .
Vamos repetindo o processo e cancelando os ciclos
do lado esquerdo e
do lado direito. Se
m>
vamos ter um produto de ciclos dois a dois disjuntos e distintos da identidade igual a identidade. Isto sobra alguma coisa do tipo
1 = m+1 .
Mas isso impossvel pois sup(1) no so a identidade. acontecer. Logo
e sup(m+1
) =
sup(m+1 ) sup( m <
)=
pois os
Por um raciocnio simtrico podemos provar que e para todo
tambm no pode
m=
1am=
temos
a = a .
Portanto a decomposio nica.
Qual a vantagem de sabermos isso?
A vantagem est que se estudamos todos os ciclos de Vejamos a seguir um exemplo.
Sn
acabamos por conhecer todos os outros elementos. primeiro um propriedade geral de grupos.
Mostraremos
Seja
um grupo e
x, y G
dois elementos que comutam (xy
= yx)
Se
|x|
|y|
so nitos,
ento
|xy|
tambm nita.
Mais ainda, se
< x > < y >= { 1 },
ento
|xy| =
mnimo mltiplo comum de
|x|
|y|.
10
Demonstrao.
Quando dizemos que todo
Recordemos que a ordem de
gG
o nmero
|g| =
mnimo{ t
1 | g t = 1 }. g t = 1,
para
|g|
nita, porque o conjunto
{ t 1 | gt = 1 }
no vazio. Se
t 1,
ento dizemos que
tem ordem innita.
Vejamos agora a nossa propriedade. Como e
|x|
|y|
so nitos, existem
r, s 1
Logo
tais que
xr = 1
y s = 1.
Como
comutam, vamos obter
(xy)rs = xrs y rs = (xr )s (y s )r = 1.
|xy|
tambm
nita. Para mostramos a segunda parte recordemos que para um elemento
gG
temos
< g >= { g t |
t Z},
o sugbrupo gerado por
g,
e que se
|g| = n,
e que
nito, ento
< g >= { 1 = g 0 , g, g 2 , . . . , g n1 }.
so nmeros inteiros positivos. como
Estamos supondo Seja
< x > < y >= { 1 } n

e
|x| = n, |y| = m k = na
e
k =
m.
Ento
k = mb,
a, b Z.
Tomemos
agora
(xy)k = xk y k = (xn )a (y m )b = 1. t1
tal que e
Assim
(xy)k = 1. t
Para que
k = |xy|
devemos mostrar que
o menor inteiro
(xy)t = 1.
Seja
um tal inteiro. Como
xt y t = (xy)t = 1,
vamos ter
xt = y t . y t = 1.
Mas
xt < x >
y t < y >.
Logo
xt = y t < x > < y >= { 1 }. t

tal
Portanto
xt = 1
Sabemos porm que a ordem de
divide qualquer
xt = 1.
Isto
n|t.
Estudemos agora o
y.
Tomando-se o inverso dos dois lados da equao
y t = 1 obtemos (y t )1 =
e por e
11 = 1,
ou
y t = 1. k
Logo vale tambm que
m|t.
Mas se
divisvel por Mas se
m,
ento
tambm
divisvel por
(que um mnimo mltiplo comum de
n e m).
k|t,
k, t 1 vale que k t,
como queramos demonstrar.
Questo 9.
i=j
ordem tenhamos
Sejam
x 1 , . . . xn G ,
e
onde
um grupo. Suponhamos que quaisquer que sejam Mostre que o produto
xi xj = xj xi
< xi > < xj >= { 1, }. |x1 |, |x2 |, . . . , |xn |. n=2
y = x1 xn
tem
|y| =
Dica.
Trabalhe recursivamente, para
a propriedade demonstrada acima. Suponha que
vale para todo mostre que
nk xk+1
e demonstre que vale para
n=k+1
fazendo o seguinte: dena Termine usando o caso
y = x1 xk
comutam e
< y > < xk+1 >= { 1 }.
n = 2.
Questo 10. Sejam
A=
0 1 1 0
B=
A4 = 1, B 3 = 1,
1 1
elementos do grupo GL2 (Q) (a operao a multiplicao de matrizes). Mostre que mas
AB t = 1,
para todo
t 1.
Neste caso no temos a comutatividade, por isso o produto acaba com ordem innita. 11
Vamos agora aplicar as duas propriedades anteriores nos ciclos.
Sejam
, Sn
dois ciclos disjuntos. Ento
< > < >= { 1 }.

tais que
Demonstrao.
divide
Suponhamos que existem
s, t 1 ||
s = t < > < >.

ou
Armamos inicialmente que podemos assumir que ou
divide
s,
s < ||.
Igualmente, ou
||
t,
ou
t < ||.
Seja Se
a = ||
e vamos usar algortimo de Euclides e escrevemos Se
s = nq + s1 ,
com
s1 = 0, ou 0 < s1 < a.
pois
s1 = 0, ento || divide s e acabamos. s1 < ||

tal que
s1 = 0, ento s = (a )q s1 = s1 , s < ||, t

sem
n = 1.
Logo existe
s = s 1
e, como dissemos, podemos assumir
perda de generalidade. O mesmo raciocnio vale para
t.
Se
||
divide
ou
||
divide e
vamos ter
s = 1
Como e
ou
t = 1,
e o resultado ca demonstrado. Suponhamos agora que
0 < s < ||
0 < t < ||.
e so ciclos, existem j1 , . . . , ja { 1, . . . , n } e i1 , . . . , ib { 1, . . . , n } tais que = (j1 ja )

onde estamos denotando Igualmente,
= (i1 ib ),
a = ||
b = ||.
Mas nesse caso, como
s < a = ||
temos
que
s (j1 ) = js+1 .
t (i1 ) = it+1 . js+1 t
Como estamos supondo que sup(),
s = t
vamos obter por
js+1 = it+1 .
hiptese.
Mas isso impossvel, pois
it+1
sup(),
e sup()
sup() = ,
Logo
||
divide
||
divide
o que implica em
s = 1 = t
como nico elemento de
< > < >.
Resulta das 4 ltimas propriedades e do exerccio acima que se de
= 1 m
a decomposio
em ciclos, dois a dois disjuntos, ento
|| =
|1 |, . . . , |m |
Exemplos: (23)(56) S8 tem ordem 2, (235)(46) S7 tem ordem 6, (1234)(67)(589) S9 tem

ordem
12.
em ciclos que isso torna mais
Ento uma das vantagens de decompormos uma permutao fcil determinar sua ordem
||.
Anal a ordem de um ciclo dada pelo comprimento do ciclo. Outro
fator importante o resultado abaixo cuja demonstrao pode ser consultado em Garcia-Lequain, pgina 205, Lema V.10.16 (ou tambm em J. J. Rotman, The Theory of Groups, Theorem 3.10, pgina 40).
Proposio.
permutaes
Sejam
= 1 2 s
Ento existe
= 1 2 t
a decomposio em ciclos disjuntos de duas
, Sn .
Sn tal que = 1 se e somente se s = t e, renumerado-se

temos
os ciclos se necessrio, para cada O que queremos dizer que
1is=t
e
|i | = |i |.
tm a mesma estrutura de ciclos.
12
Vamos a seguir fazer uma relao de todos os elementos de ciclos. Quantos de
S4
conforme sua decomposio em
2-ciclos temos?
Isto , quantos elementos do tipo
{ 1, 2, 3, 4 }?
Temos exatamente a combinao de
dois
(ij) podemos obter com os 4 elementos 4! a dois: = 6. Logo temos 6 2!(4 2)! 4 trs a trs pois a ordem dos
transposies. Quantos
3-ciclos temos?
Agora no podemos tomar combinao de Temos que tomar arranjos de Os elementos do
elementos faz diferena no um cuidado extra porque
3-ciclo.
trs a trs. Mas temos que tomar
3-ciclo podem rodar ciclicamente. 1 4! 1 4! Logo temos = 8. Igualmente para os 4-ciclos temos = 6. No S4 temos 3 (4 3)! 4 (4 4)! ainda permutaes que so produto de duas transposies disjuntas. Por exemplo (12)(34). Quantas
desse tipo temos. Depois que xamos o primeiro para
(abc) = (cab) = (bca).
(12) s resta uma possibilidade para o segundo
par. Parece ento que para cada transposio teramos um elemento desse tipo, mas ainda h uma restrio, elas comutam.
(12)(34) = (34)(12).
Logo temos que dividir por
2.
Concluso: temos
1 6 = 3. 2
Temos ento a seguinte tabela:
formato (1) (ab) (abc) (abcd) (ab)(cd)
nmero 1 6 8 6 3
ordem 1 2 3 4 2
Vamos aproveitar para destacar que o subconjunto subgrupo normal de
V = { id, (12)(34), (13)(24), (14)(23) }
um
S4 .
Na verdade s temos que mostrar que um subgrupo, pois a normalidade sai
do resultado acima. De fato, para todo
S4
temos que
(ab)(cd) 1
dever ser uma permutao
com a mesma estrutura, isto , um produto de dois elementos de
2-ciclos.
Logo ter que ser um dos outros
V. V
tem ordem
Observe que todo elemento de
2, pois cada 2-ciclo tem ordem 2. V
Logo cada elemento
igual a seu inverso. Finalmente para vermos que multiplicao:
um subgrupo basta fazermos uma tabela da
13

id
id id
(12)(34) (13)(24) (14)(23) (12)(34) (13)(24) (14)(23)

id
(12)(34) (12)(34)
(14)(23) (13)(24)
id
(13)(24) (13)(24) (14)(23)
(12)(34)
id
(14)(23) (14)(23) (13)(24) (12)(34)
Observao. Esse subgrupo V

chamado de grupo de Klein e importante.
de
S4
tem ordem
4 e todos os seus elementos tm ordem 2. V
Ele
Z/2Z Z/2Z.
Vemos no estudo de qurticas que
tem um papel
Um tabela semelhante para o posies do tipo
S5
ter
2-ciclos, 3-ciclos, 4-ciclos, 5, ciclos, 3-ciclo.
produtos de duas transO clculo do nmero de
r-ciclos
(ab)(cd), e produto 1 5! sempre . r (5 r)! 3
de uma transposio por um
Agora para calcularmos quantos do tipo xado temos combinao de
(ab)(cd)
temos que considerar que para cada par (Se de
(ab)
dois a dois outros pares.
5 2
tiramos
sobram
para serem
arranjados em transposies). Novamente temos que dividir por ento
devido a comutatividade. Temos
1 5! 3! = 15 2 2!(5 2)! 2!(3 2)! (ab)(cde)

vemos que depois de xado
Para calcular o nmero de elementos do tipo uma possibilidade para a transposio. nmero de
(cde)
s resta
Logo o nmero de elementos do tipo
(ab)(cde)
igual ao
3-ciclos.
Vejamos a tabela: formato (1) (ab) (abc) (abcd) (abcde) (ab)(cd) (ab)(cde) nmero 1 10 20 30 24 15 20 ordem 1 2 3 4 5 2 6
Observemos que no possvel fazer para mas veremos por um outro caminho que todo
S5
o que zemos para encontrar um subgrupo normal, tem um subgrupo normal distinguido.
Sn
14
Vamos agora tratar de uma outra propriedade das permutaes. Existem permutaes pares e permutaes impares. Para esse estudo consideremos o polinmio em
variveis
(t1 , . . . , tn ) =
i<j 1i,jn
(ti tj ).
da seguinte maneira
Vamos denir uma ao de
Sn
sobre
(t1 , . . . , tn )
(t1 , . . . , tn ) = (t(1) , . . . , t(n) ).

Por exemplo, para temos
n = 3
temos
(t1 , t2 , t3 ) = (t1 t2 )(t1 t3 )(t2 t3 ).
Tomando-se
= (123)
teramos
(t1 , t2 , t3 ) = (t2 t3 )(t2 t1 )(t3 t1 ) = (t1 , t2 , t3 ).
J para o caso
= (12)
(t1 , t2 , t3 ) = (t2 t1 )(t2 t3 )(t1 t3 ) = (1)(t1 , t2 , t3 ).

O que acabamos de observar nos dois exemplos podemos colocar como regra:
(t1 , . . . , tn ) = (1)(t1 , . . . , tn ),
pois a nica alterao que fazemos em seguinte denio:
(t1 , . . . , tn )
trocar a ordem das variveis. Isso nos leva a
Denio. O sinal de uma perguntao Sn dado por

=
Dessa forma
se se
(t1 , . . . , tn ) = (t1 , . . . , tn ) (t1 , . . . , tn ) = (1)(t1 , . . . , tn )

para toda
(t1 , . . . , tn ) = (t1 , . . . , tn ),
Sn .
se
Denio. Dizemos que uma permutao Sn par

impar.
= 1;
caso contrrio dizemos que
Lema.
O sinal uma funo multiplicativa e induz um homomorsmo sobrejetivo grupos Chamamos de
Sn { 1, 1 }.
An
ao ncleo desse homomorsmo.
An
chamado de
n-simo grupo
alternado.
Vericao.
uma vericao direta, que ca como exerccio, que vale a relao
= .
Dessa
relao decorre que
um homomorsmo de grupos.
Por outro lado claro que se Logo
uma transposio (2-ciclo), por exemplo = (12), ento = 1.
sobrejetiva. 15
Os nomes par e mpar decorrem da seguinte propriedade:
Lema.
Para toda
Sn
existem transposies
1 , . . . , t
tais que
= 1 2 t .
Essa decom-
posio no nica, mas a paridade de em digamos
t sim;
queremos dizer que qualquer outra decomposio de
transposies ter que satisfazer
s t (mod 2). 1,
Na verdade
= (1)t .
consequncia de
Vericao.
Como uma transposio tem sinal
a armao de
= (1)t
termos o homomorsmo Como cada um
tem uma decomposio nica em ciclos, basta demonstrarmos a propriedade para
r-ciclo.
Nesse caso temos
(j1 j2 . . . jr ) = (j1 jr )(j1 jr1 ) (j1 j2 ).
Logo cada
r-ciclo se escreve como
produto de transposies.
Questo 11.
r-ciclo
Mostre que para todo
r-ciclo (i1 i2 . . . ir ) Sn
que seu sinal
(1)r1 .
Isto , um
par se e somente se
impar.
Observe que o grupo alternado lema acima
An
igual ao conjunto de todas as permutaes pares de
Sn .
Pelo
An
um subgrupo normal de
Sn
que tem ordem
n! . 2
Outras propriedades de
Sn
sero apresentadas quando forem necessrias.
O Teorema de Galois
Consideremos uma extenso nita (qualquer)
de um corpo
F.
Seja
G = G(; F )
o grupo de
Galois dessa extenso. um subgrupo de
Para cada extenso intermediria
F K H
de
temos que
GK = G(; K)
G.
Reciprocamente, para cada subgrupo chamado de
seja
H = { | () =
para todo
H }. H
corpo xo
de
H.
Temos ento uma correspondncia
K G(K) = GK
que uma funo e na outra direo outra funo
H F(H) = H .
O Teorema
de Galois trata dessas duas correspondncias:
extenses intermeiria
F K }
G
subgrupos de
G}
G(K) = GK
(2)
F(H) = H
16
Teorema de Galois.
Galois. Ento:
Seja
uma extenso nita e galoisiana de
G = G(; F )
o grupo de
1. As funes
so bijetivas, invertem incluses, e uma a inversa da outra.
2. Uma extenso intermediria normal de
F K normal sobre F
se e somente se
G(K) um subgrupo
G. F K ,
temos que
3. Dada uma extenso intermediria
[K : F ] = (G : G(K))
(= ndice de
G(K)
em
G,
ver Notas V, pgina 5).
Podemos ainda acrescentar que uma subextenso
K,
normal sobre
F,
na verdade galoisiana sobre
G(K; F )
a
G(; F )/G(; F ), K,
i.e.,
onde o isomorsmo induzido pela restrio de automorsmos
G(; F )
|K .
Vamos fazer a demonstrao desse resultado por etapas. Mas, antes vamos ressaltar que ele transforma problemas de resolues de equaes em problemas de natureza tcnica envolvendo grupos. No item (2), por exemplo, vemos que
ser o corpo de razes de um polinmio separvel de
F [x]
equivalente e vericar se um determinado subgrupo normal. Veremos mais a frente como o uso dessa correspondncia vai garantir a no existncia de frmulas para obteno das razes de certas equaes.
Vamos comear com a aplicao ento
F.
Observe que se
H, S
so subgrupos de
tais que
H S,
F(S) F(H).
Logo
de fato inverte incluses. Para mostrar que
injetiva necessitamos
de um lema tcnico.
Lema de Dedekind.
distintos de
Sejam
um corpo qualquer e
1 , . . . , n a
um conjunto de automorsmos
Para
a1 , . . . , a n ,
no todos nulos, existe
tal que
n i=1
ai i (a) = 0.
Vericao.
Vamos fazer a demonstrao procurando por um absurdo. Suponhamos que existem no todos nulos, tais que
a1 , . . . , a n ,
ai i (a) = 0,
i=1
para todo
()
a .
Vamos tambm supor que dentre todas as famlias de elementos no todos nulos de
para os quais a equao acima satisfeita a famlia
a1 , . . . , a n
tem o menor nmero de elementos
no nulos.
Observe tambm que necessariamente temos mais de um 17
ai
no nulo.
Reordenando
a1 , . . . , a n ,
se necessrio, podemos supor sem perda de generalidade que
a1 , a2 = 0. a
Como
1 , . . . , n
e obtemos
so distintos, existe ento
tal que
1 (b) = 2 (b).
n
Na equao
()
vamos trocar
por
ba
ai i (b)i (a) = 0,
i=1
para todo equao
()
por
a .
Vamos agora multiplicar a equao
()
(1 (b))1
e somar o resultado com a
()
para obter
ai 1 1 (b)1 i (b) i (a) = 0,

i=1
para todo
a .
Mas esta ltima equao corresponde ento a famlia que no nula pois
a2 (1 1 (b)1 2 (b)) ,. . . ,
an (1 1 (b)1 n (b))
nulos de
a2 (1 1 (b)1 2 (b)) = 0,
tal que
mas tem menos elementos no
De fato, para todo
1in
ai = 0
acontecesse na famlia original mas antes tnhamos
a1 , . . . , a n ,
e agora
na nova famlia continuamos a ter
ai (1 1 (b)1 i (b)) = 0,
a1 = 0
a1 (1 1 (b)1 1 (b)) = 0.
Obtemos com isso a contradio procurada.
Esse lema tambm conhecido como lema da independncia linear dos caracteres e pode ser demonstrado para qualquer conjunto grupo multiplicativo de um corpo sobre
1 , . . . , n
de homomorsmos de um grupo
G,
qualquer, no
F .
Seguindo os argumentos acima, ou ento usando induo
mostre que:
Questo 12.
Seja
um grupo e
1 , . . . , n
caracteres de
em um corpo
F,
ista , para todo linearmente
i = 1, . . . , n i : G F
independentes sobre ento
um homomorsmo de grupos.
Mostre que
1 , . . . , n
F ,
isto , se
a1 , . . . , a n F
so tais que
n i=1
ai i (g) = 0,
para todo
g G,
a1 , . . . , a n
so todos nulos.
Antes de enunciarmos o prximo resultado gostaramos de destacar que sua demonstrao baseiase quase que exclusivamente na resoluo de sistemas lineares. Por isso mesmo o trabalho um pouco longo.
Lema da Injetividade.
de
Seja
uma extenso de um corpo F
e seja
H = { 1 , . . . , n } um subgrupo
G(; F ).
1.
Ento:
[ : H ] = n = |H|. H = G(; H ).
18
2.
3. Se
outro subgrupo nito de
G(; F )
tal que
H = S ,
ento
S = H.
Vericao.
que
(1) A demonstrao deste item feita em duas etapas. Demonstraremos primeiramente Na segunda etapa mostraremos que
[ : H ] n.
[ : H ] > n
no pode ocorrer. Dessa forma
obtemos o resultado desejado
[ : H ] = n.
Em relao a primeira parte vamos demonstrar um fato um pouco mais geral que ser tambm utilizado para demonstrar o item 2 do lema. Vamos demonstrar que:
Sublema. Sejam e F como no lema acima. Dado um subconjunto nito { 1 , . . . , n } G(; F )

seja E = {a | i (a) = a
para todo
1 i n }. Ento E um subcorpo de e [ : E] n. E
um subcorpo de
Vericao.
Observa-se trivialmente que
Vamos supor que de
m = [ : E] < n
vetorial e
e chegar a um absurdo. tomamos o sistema de
Para isso xamos uma base equaes com
1 , . . . , m
como
E -espao
n incgnitas formado por 1 (1 )x1 + + n (1 )xn = 0 ( )x + + ( )x = 0 1 2 1 n 2 n .................................. ( )x + + ( )x = 0. 1 m 1 n m n b1 , . . . , b n

em
(3)
Como
m<n
o sistema acima tem soluo
onde nem todos os
bi s
so nulos. Substi-
tuindo no sistema temos
1 (1 )b1 + + n (1 )bn = 0 ( )b + + ( )b = 0 1 2 1 n 2 n ................................. ( )b + + ( )b = 0. 1 m 1 n m n

Como
(4)
Tomemos agora
qualquer.
1 , . . . , m uma base de sobre E , existem a1 , . . . , am i

do sistema (4) por
tais que
= a1 1 + + am m .
Vamos agora multiplicar cada linha porque
ai
observar que para todo multiplicao,
1 j n, j (ai ) = ai
ai E .
Obtemos ento, depois de feita a
1 (a1 1 )b1 + + n (a1 1 )bn = 0 1 (a2 2 )b1 + + n (a2 2 )bn = 0

(5)
....................................... (a )b + + (a )b = 0. 1 m m 1 n m m n
19
Somando-se em seguida cada uma das colunas do sistema (5) obtemos
1
j=1
ou ento
aj j
b1 + + n
j=1
aj j
bn = 0,
1 ()b1 + + n bn = 0.
Observe contudo que no zemos nenhuma restrio sobre
portanto
n i=1
i ()bi = 0,
para todo
Mas isso contradiz o Lema de Dedekind (pgina 17), pois
b1 , . . . , b n
no so todos nulos.
Concluso
m n.
Aplicando-se o que acabamos de estabelecer no Sublema para o Vamos agora fazer a segunda parte,
Demonstrao do Lema.
subgrupo
obtemos
[ : H ] n.
[ : H ] n. H
com
Suponhamos que existem Tomemos o sistema de
1 , . . . , m m
linearmente independentes sobre
m > n.
equaes em
incgnitas
( )x + + ( )x 1 1 1 1 m m = 0
..................................
(6)
( )x + + ( )x n 1 1 n m m = 0.
Como
m > n
esse sistema tem soluo no trivial
a1 , . . . , a m . a1 , . . . , a m
Suponhamos que exatamente
desses elementos so no nulos e escolhemos a soluo
do sistema de maneira que
seja
mnimo. Isto , no h soluo no trivial do sistema com menos do que que
r termos no nulos.
Observe
r>1
e
pois a igualdade
j (i )ai = 0,
com
ai = 0
implica que
j (i ) = 0,
o que impossvel pois
i = 0
automorsmo.
Reordenando se necessrio o conjunto e
1 , . . . , m
podemos supor que os
a1 , . . . , a r
so no nulos obtemos as
ai = 0
para todo
i > r.
Substituindo-se as incgnitas do sistema pelos termos
ai s
equaes
( )a + + ( )a 1 1 1 1 m m = 0
..................................
(7)
( )a + + ( )a n 1 1 n m m = 0.
Observe em seguida que podemos tambm supor que uma equaes do sistema (7) por
ar = 1.
De fato, basta multiplicarmos cada
a1 r
que obtemos uma nova soluo do sistema (6) com a mesma
quantidade de termos no nulos mas com o termo de ndice
igual a
1.
20
Por outro lado, se
ai H
para todo
i e se k = id, teremos na k -sima linha 1 a1 + +m am = 0,

so linearmente independentes sobre Portanto
contradizendo a suposio de que
1 , . . . , m
H .
Novamente
no h perda de generalidade em supor que Vamos agora aplicar
a1 H . /
t (a1 ) = a1 ,
para algum
1 t n.
t em cada uma das linhas do sistema (7): t 1 (1 )t (a1 ) + + t 1 (m )t (am ) = 0

..................................................
(8)
( ) (a ) + + ( ) (a ) = 0. t n 1 t 1 t n m t m
Observemos que
{ t 1 , . . . , t n } = { 1 , . . . , n }.
Suponhamos que
t j = i .
Ento a
j -sima
linha do sistema (8) ser
i (1 )t (a1 ) + + i (m )t (am ) = 0.
Subtraindo-se essa linha da
i-sima
linha do sistema (7) vamos obter
i (1 )(a1 t (a1 )) + + i (r )(1 t (1)) + + i (m )(am t (am )) = 0.

Fazendo-se esse acerto com cada uma das linhas dos dois sistemas vamos obter uma nova soluo
(a1 t (a1 )), . . . , (am t (am ))

do sistema (6), no nula, pois
a1 t (a1 ) = 0, a1 , . . . , a m
e com no mximo
r1
termos no nulos, contra a
escolha que zemos de que a soluo
tinha o menor nmero de termos no nulos.
Resulta da contradio que obtivemos que qualquer conjunto pendentes sobre
1 , . . . , m ,
linearmente inde-
H ,
tem
mn
elementos. Portanto
[ : H ] n. [ : H ] = n = |H|
completando a
Finalmente, juntando-se as duas desigualdade obtemos demonstrao do item 1 do lema.
(2) Claramente como no Sublema, Por outro lado
H G( : H ).
Suponhamos que existe para todo pois
n+1 G( : H )
H.
Tomemos,
E = {a | (a) = a
para todo
H { n+1 }}.
Por um lado Logo
E H .
e isso vai
n+1 () =
H ,
n+1 G( : H ).
pelo item 1.
E = H
produzir a contradio procurada, pois
[ : H ] = n,
Mas pelo Sublema vamos ter
[ : H ] n + 1.
(3) Se
Concluso
G( : H ) = H ,
como armado.
H = S ,
pelo item 2 temos que
H = G( : H ) = G( : S ) = S .
21
Vamos agora dar um primeiro passo na demonstrao do Teorema de Galois (TG) da pgina 2.
Primeiro Passo.
Portanto
Pelo Lema da Injetividade que acabamos de demonstrar temos que a funo
injetiva e mais ainda que
GF =
id
identidade do conjunto dos subgrupos de
G = G(; F ).
G sobrejetiva.
Para demonstrarmos que
F G = id = identidade do conjunto dos subcorpos
intermedirios vamos estabelecer o seguinte lema:
Lema da Sobrejetividade.
Seja
uma extenso nita de um corpo
F.
Continuamos a utilizar as
notaes introduzidas no incio desta seo, em particular As seguintes condies so equivalentes:
G = G(; F ).
1.
F = G . f (x) F [x]
com uma raiz em
2. Todo polinmio irredutvel razes em
separvel e tem todas as suas
. F.
3.
o corpo de razes de um polinmio no constante e separvel com coecientes em
Observao.
galoisiana de
O item 3 do lema acima nos diz que
F = G
se e somente se
uma extenso
(conforme Denio na pgina 24 das Notas V). Compare os itens 2 e 3 acima com
a equivalncia 1
2 da Proposio na pgina 10 das Notas VII.
Maior destaque deve ser dado ao fato de que o item 2 acima nos diz que de
uma extenso normal
conforme Proposio da pgina 10 das Notas VII (o termo normal aparece na pgina 11 das
Notas VII) e ainda que
uma extenso separvel de
(denio na pgina 5 das Notas VII).
Podemos ento concluir que uma extenso nita normal e separvel de
de F
galoisiana se e somente se uma extenso
F. f (x) F [x],
irredutvel com uma raiz Denimos
Vericao.
que
2. Seja
Sejam
1 , . . . , n G
tais
{ 1 (), . . . , 1 () } = { () | G }.
g(x) =
i=1
(x i ()). G .
apenas permuta as razes
Pelos comentrios que precedem a Proposio da pgina 1, cada de de
f (x) g(x)
e em particular vai permutar as razes que estiverem em so obtidos calculando
Por outro lado os coecientes
ej (1 , . . . , n ),
onde 22
ej (t1 , . . . , tn )
so os polinmios simtricos em
indeterminadas conforme vimos na Introduo. Logo todo e assim
xa os coecientes
ej (1 , . . . , n )
g(x) G = F
(pela hiptese 1).
Temos ento que
g(x) F [x]
um polinmio com
razes distintas que se anula em
Como
f (x)
irredutvel, ele um polinmio mnimo de
Logo
f (x) | g(x). f (x)
Consequentemente as razes de
f (x) esto entre as razes de g(x), resultado que tambm f (x)

esto em
tem razes distintas e mais ainda, que todas as razes de
Portanto
f (x)
separvel e tem todas as suas razes em
demonstrando que vale 2.
3. Usando a implicao 1
2 da Proposio da pgina 10 da Notas VII, sabemos que
o corpo de razes de um polinmio no constante
f (x) F [x]. f (x)
Seja
f (x) = p1 (x)n1 pt (x)nt
fatorao de
f (x)
em irredutveis de
F [x].
Temos que
tem todas as suas razes em
e como as
razes de cada
pi (x)
esto entre as razes de
f (x),
conclumos que cada Portanto
pi (x)
tem raiz em
Logo a
condio 2 vai garantir que cada que vale 3.
pi (x) separvel.
f (x) separvel e com isso ca provado
1. Pelo Teorema da Unicidade, pgina 14 das Notas V, temos que
|G| = [ : F ].
Por outro Como
lado, o item (1) do Lema da Injetividade, pgina 4 destas notas, diz que
|G| = [ : G ].
F G ,
a igualdade dos graus implica
F = G ,
como queramos.
Segundo Passo.
Observemos inicialmente que
, como no TG, pgina 2, uma extenso galoisiana
de todo corpo intermedirio
F K .
uma extenso galoisiana de
De fato, temos como hiptese do TG, pgina 2, que signica que
F,
o que Mas
o corpo de razes de um polinmio no constante e separvel
f (x) F [x]. K.
Logo
f (x) K[x]
tambm, e portanto
tambm o corpo de razes de
f (x)
sobre
uma
extenso galoisiana de
K,
como armado.
Aplicamos agora o Lema da Sobrejetividade a cada corpo intermedirio que
F K
e obtemos
K = H ,
onde
H = G(; K).
Assim, cada corpo intermedirio Isto
F K
da forma id
K = F(H)
para
H = G(; K) = G(K).
K = F(G(K)),
demonstrando que
F G =
identidade do conjunto dos subcorpos intermedirios, como queramos.
Completamos assim a demonstrao de que
so bijees, sendo cada uma delas a inversa
da outra. Que essas funes invertem incluses trivial. Com isso ca demonstrado o item 1 do TG. Quanto ao item 3, pelo Lema da Injetividade, pgina 4, para cada subgrupo
temos
[ : F(H)] =
23
|H|.
Logo
[F(H) : F ] =
considerando-se que com est em 3.
|G| = (G : H), que |H| H = G(K) vamos escrever
o item 3.
Ou ento, chamando-se
K = F(H)
a igualdade acima na forma
[ : K] = (G : G(K)),
S nos falta demonstrar o item 2 para terminarmos a demonstrao do TG. Tomemos um corpo intermedirio
F K
G = G(; F ).
Ento
F (K)
tambm um corpo
intermedirio. Quem o grupo
G((K)) = G(; (K))?
Armamos que:
Lema.
Nas condies acima
G(; (K)) = G(; K) 1 .

Verica-se trivialmente que
Vericao.
temos que
Seja
G(; K).
Logo
a identidade sobre
K ,
isto
1 G(; K).
G(; K) 1 G(; K).

Logo
Reciprocamente, dado
G(; K) e K ,
e
(()) = ().
1 () = ,
para todo
K.
Logo
= 1 G(; K)
= 1 G(; K) 1 ,
provando que vale a outra incluso.
ltimo Passo.
Seja
F K ,
com
uma extenso normal de Sejam
F.
Ento
o corpo de razes Pelo Corolrio da
de um polinmio no constante
f (x) F [x].
1 , . . . , m
as razes de
f (x).
Proposio, pgina 14 das Notas V, observado antes
K = F (1 , . . . , m ).
Tomemos agora
qualquer. Como j Logo
{ 1 , . . . , m } { 1 , . . . , m } apenas permuta as razes de f (x). G(; K) = G(; (K)) = G(; K) 1 .

Portanto
(K) = K .
Pelo lema acima, de
G(; K) um
subgrupo normal
G.
Reciprocamente, suponhamos que
G(; K)
G.
Logo, para cada
G
Mas
temos
G(; K) = G(; (K)). G

bijetiva, logo
Essa igualdade pode ser reescrita na forma valendo essa igualdade para todo
G(K) = G((K)). G.
vimos que
(K) = K ;
Pelo item 3 da
Proposio da pgina 11 das Notas VII, isso implica que
uma extenso normal de
F.
Quanto a armao nal do TG, recorremos novamente ao seguinte argumento: pela Proposio da pgina 10, Notas VII, toda extenso normal de polinmio no constante razes de
F , F K ,
o corpo de razes de um tem suas razes entre as
f (x) F [x]. K.
Logo
Cada fator irredutvel
p(x) F [x]
f (x)
que esto em
p(x)
tem raiz em
e a
fortiori
em
Como
extenso
galoisiana de
F,
(valendo portanto
G = F )
o item 2 do Lema da Sobrejetividade garante que separvel, ou equivalentemente,
p(x)
separvel. Isto , todo fator irredutvel de Logo
f (x)
f (x)
separvel.
F,
como armado.
24
Finalmente, pelo item (4b) da Proposio da pgina 11 das Notas VII, obtemos que a restrio
|K
induz isomorsmo
G(K; F )
G( : F )/G(; K).
Com isso terminamos a demonstrao do TG.
Questo 13. Seja uma extenso galoisiana de um corpo F .

1. Para toda extenso intermediria
F E ,
E.
que se
2. Assumindo-se que
c(F ) = 2, E
mostre para toda extenso intermediria
F E
[E : F ] = 2,
ento
F. G
todo subgrupo
Compare esse fato com a armao: para um grupo um subgrupo normal.
de ndice
em
3. Mostre que galoisianidade no transitivo, isto , se sobre
galoisiana sobre
galoisiana
E,
no vale necessariamente que
galoisiana sobre
F.
Seja
4. Seja
K = F (t1 , . . . , tn )
onde
t1 , . . . , tn
so indeterminadas.
E = F (e1 , . . . , en ),
onde
e1 , . . . , en so as funes simtricas elementares, como vimos na pgina 5 da Introduo.

que
Mostre
o corpo de razes de
f (x) = (x t1 ) (x tn )
e portanto
sobre
E,
sendo assim galoisiana sobre
E.
Mostre que
G(K; F )
Sn
de
[K : F ] = n!.
(Sugesto: verique que cada
Sn
induz um que
F -automorsmo
denido atravs das relaes
(ti ) = t(i) .
Mostre em seguida
o corpo xo de
Sn .
Para isso talvez seja conveniente usar a Proposio da pgina 1.)
5. Sejam
p(x) F [x] p(x)

em
um polinmio irredutvel (sobre
F ).
Mostre que todos os fatores irredutveis de um fator irredutvel
K[x]
tm o mesmo grau. (Sugesto: dado estude o que acontece com
q(x)
de
p(x)
em
K[x]
G(K; F )
(q(x))).
Um fato conhecido da teoria de grupos e que todo grupo subgrupo de um grupo de grupo de permutaes (Teorema de Cayley). para cada Trata-se de um fato simples; dado
nito com
elementos,
G temos uma bijeo G G dada por g g . Sn ,

pois
Podemos ento associar a cada
uma permutao de grupos.
|G| = n.
A funo
de
em
Sn
um homomorsmo injetivo
Questo 14.
Preencha os detalhes fazendo as demonstraes do que foi armado acima e com
isso demonstre o Teorema de Cayley. 25
Seja grupo
do item (4) da questo anterior. Usando o Teorema de Cayley demonstre que para todo
de ordem
existe uma extenso intermediria
F LK
tal que
G(K; L)
G.
Isto ,
todo grupo nito grupo de Galois de alguma extenso galoisiana de corpos.
Vamos agora estudar o grupo de Galois graus
G(K; F )
quando
o corpo de razes de
f (x)
para os
2, 3
4. f (x) F [x]
de grau
O caso mais simples possvel tomar o corpo de razes de Conforme sabemos para
onde
c(F ) = 2.
f (x) = ao + a1 x + x2 1 = a1 +
as razes so
a2 4ao 1 , 2
2 =
a1
a2 4ao 1 . 2
que o corpo de razes de
Chamando-se Caso
= a2 4ao , 1
temos que as razes esto em
F ( ),
=0
Nesse caso
G(F ( ); F ) = { id, },
temos duas razes distintas e se onde
no um quadrado em
( + ) = . 2
F,
ento
f (x). [F ( ) : F ] = 2
Observe que os automorsmos
so determinados pelos seus valores nas razes. id deixa as Para
razes xas e
(1 ) = 2 , (2 ) = 1 .
o corpo de razes de
f (x)
temos
G(K; F )
S2 .
Neste caso s temos id e uma transposio
(12).
Tomemos agora que
gr f (x) = 3
K
e assumimos que
f (x)
irredutvel sobre
F.
Assumimos tambm as razes em
c(F ) = 2, 3.
Seja
o corpo de razes de
f (x)
sobre
e sejam
{ 1 , 2 , 3 }
K.
Como
[F (1 ) : F ] = 3,
temos que
divide
|G(K; F )|.
Por outro lado temos homomorsmo injetivo
: G(K; F ) S3 ,
vamos ter
conforme a proposio da pgina 1. Como que so os divisores de
|S3 | = 6
para um subgrupo
de ou
S3 6. 6.
ou
|H| = 1, 2, 3, 6
6.
Para
H = Im
s sero possveis
|H| = 3
O primeiro caso ocorre se
2 , 3 F (1 )
(a ordem no importa). Caso contrrio teremos ordem
Verica-se facilmente que o nico sugbrupo de
S3
com ordem
A3 .
Logo
G(K; F ) = A3
G(K; F ) = S3 .
Como podemos distinguir um caso do outro? chamado Para isso vamos introduzir um novo elemento
discriminante
f (x)
e
de
f (x).
Dado um corpo
com
c(F ) = 2
f (x) F [x] f (x).
seja
um corpo
de razes de
{ 1 , 2 , . . . , n }
o conjunto de todas as razes de
Nesse conjunto uma raiz
vai ser repetida tantas vezes quanto for sua multiplicidade em Denimos
f (x).
f =
i<j
(i j ).
26
Claramente
f = 0 f
se e somente se alguma raiz obtido como
no for simples.
Observe que
(1 , . . . , n ),
onde
(t1 , . . . , tn )
o polinmio da pgina 14 que
utilizamos na classicao das permutaes em pares e mpares. Recordemos que podemos identicar
G(K; F )
com Im
Sn ,
onde
foi denido na Proposio da pgina 1. Atravs dessa identicao
vamos obter que para
G(K; F ) An
G(K; F ) que deixa f

Logo
invariante. De fato,
G(K : F ) An
temos
= ,
devido a
An .
((1 , . . . , n )) = (1 , . . . , n ).
Pelo Teorema de Galois Como
F (f )
o corpo xo de
G(K; F ) An .
(Sn : An ) = 2, resulta que (G(K; F ) : G(K; F )An ) 2, onde (G(K; F ) : G(K; F )An ) = G(K; F ) An .
Novamente usando TG podemos concluir que
se e somente se
[F (f ) : F ] 2
[F (f ) : F ] = 2
se e somente se
f F .
de
Logo a denio de
discriminante
f (x)
no nenhuma surpresa.
Denio. Chamamos de discriminante de f (x) ao elemento Df = 2 . f

Vejamos o exemplo mais simples do clculo de
com
f (x) = ao + a1 x + x2 .
Vamos obter
a2 4ao 1
D = a2 4ao . 1 f (x) = ao +a1 x+ +an1 xn1 +xn F [x] um polinmio e Df

um corpo de razes de seu discriminante. em
Proposio.
Seja
Sejam tambm
f (x)
{ 1 , 2 , . . . , n }
as razes de
f (x)
K.
1. Fazendo-se a troca de variveis
x = x an1 /n
obtemos um polinmio
g(x) = bo + b1 x + +
um corpo de razes
bn2 xn2 + xn
de
para o qual temos discriminante
Dg = Df .
Mais ainda
g(x).
2.
Df F .
Vericao.
n + an /n.
(1) Basta observarmos que as razes de
g(x) so 1 = 1 +an /n, 2 = 2 +an /n, . . . , n = i, j .

Portanto
Portanto
i j = i j ,
para todo para
(2) Temos que para todo
G(K; F ), () = f . G(K; F )
que
(Df ) = Df ,
para todo
G(K; F ).
Assim
Df
est no corpo xo de
F. G(K; F )
com
Com o uso do discriminante vamos distinguir os dois casos possveis de de razes de
o corpo
f (x) F [x]
com
gr f (x) = 3, c(F ) = 2, 3.
27
Conforme vimos acima podemos tomar
f (x) = x3 + px + q
para facilitar as coisas. Uma frmula para obter as razes, conforme vimos na
Introduo, pgina 2, era
q + 2
q 2
p 3
3
3
p
q 2
q 2 2
p 3 3
Observe que
q + 2
q 2
p 3
3
raiz da equao
x3
q + 2
q 2
p 3
que como sabemos tem como razes
, ,
2,
onde
1 + 3 = , 2
uma raiz primitiva cbica da unidade. Tomando-se
= 3
derivamos a expresso razes trocamos
3
p
q 2
=
q 2 2
p 3 3
p , 3
1 = + ,
e
para uma raiz da cbica inicial
x3 + px + q .
Para obter as outras
por
2: p p = + 2 3 3 = + 2 ,
2 =
e
3 = 2 + .
Voltando a
f = (1 2 )(1 3 )(2 3 )
fazemos os clculos parceladamente
1 2 = + 2 = (1 ) + (1 2 ) = (1 )( 2 ),
pois
(1 2 ) = 2 (1 )
j que
3 = 1.
Analogamente
1 3 = + 2 2 = (1 2 ) + (1 ) = (1 )( 2 + ) = (1 )( 2 )( ); 2 3 = + 2 2 = (1 ) (1 ) = (1 )( ).
Obtemos assim Por outro lado
f = (1)3 3 ( 2 )()().
Temos que
(1)3 3 = ( 2 )3 = 3 3.
( 2 )( )( ) = 3 3 .
28
Para efetuarmos esse ltimo clculo vamos expressar vamos antes temos a seguinte igualdade
de forma mais conveniente. Como j obser-
1
q 2
q 2
q 2 2 p 3 3
p 3 3
q 2 2
p 3 3
3 p
q + 2
q 2
p 3
obtida pelo mtodo usual de multiplicar numerador e denominador pelo conjugado. Tomando-se a raiz cbica multiplicada por
p/3
obtemos
=
Podemos ento concluir que
q 2
q 2
p 3
3 3 = 2
Obtemos nalmente
q 2
p 3
3
e
f = 6 3
q 2
p 3
Df = 27q 2 4p3 F . F =Q
conforme descrito abaixo.
O uso do discriminante particularmente til no caso
Teorema.
contido em
Seja
f (x) = x3 + px + q Q[x]
um polinmio irredutvel e
o corpo de razes de
f (x)
C. S3 A3
se e somente se
1.
G(K; Q) G(K; Q)
D = 27q 2 4p3
no um quadrado em
Q.
Caso contrrio
Z/3Z. G(K; Q) S3 .
Esse caso ocorre se e somente se
2. Caso
f (x)
tenha uma nica raiz real, ento
Df < 0.
(Observe contudo que o fato de
f (x) ter trs razes reais no implica em G(K; Q)
A3 .
O que podemos dizer nesse caso que
f R.)
Vericao.
(2) Caso
(1) exatamente o que discutimos acima. tenha uma nica raiz real,
f (x)
digamos, ento
K = Q(1 ) R.
Logo
|G(K; Q)| =
[K : Q] > 3,
e portanto
G(K; Q)
e
S3
a nica possibilidade. as outras duas razes de
Sejam agora
2 = a + bi
3 = a bi
f (x).
Calculando-se
obtemos
f = (1 a bi)(1 a + bi)(2bi).
de
Observe que
1 + 2 + 3 = 0,
pois essa soma o coeciente Trocando
x2
que estamos tomando igual a zero. Logo
1 = 2 3 = 2a
por esse valor
na expresso de
obtemos
f = (3a bi)(3a + bi)(2bi) = (9a2 + b2 )(2bi).
Logo
Df = 2 = f
2b2 (9a2 + b2 )2 < 0,
como armado. 29
Suponhamos agora que
1 , 2 ,
so reais. Ento
f R
implicando
Df = 2 > 0. f
Vamos agora tratar do caso
gr f (x) = 4.
f (x)
de grau
O caso onde pois
o corpo de razes de um polinmio
um pouco mais complicado
4! = 24.
Assumimos
c(F ) = 2, 3
novamente. Consideremos primeiro o caso
f (x) = g(x)h(x) f (x)

pode ser Temos Se
o produto de dois polinmios irredutveis de grau 2. O conjunto das das razes de escrito como que
{ 1 , 2 , 3 , 4 },
onde
1 , 2
so razes de pois
g(x)
e
3 , 4
so razes de
h(x).
[F (1 ) : F ] = 2
ento
e tambm
[F (3 ) : F ] = 2,
implicando que
g(x)
h(x)
e
so irredutveis de grau 2.
3 F (1 ), (1 ) = 2
e
K = F (1 )
[K : F ] = 2 f (x)
G(K; F ) 2
S2 = { id, },
onde
(3 ) = 4 . (12).
ento
Esse caso recai no caso de
com grau
e podemos identicar
com a
transposio Se
3 F (1 ), K
g(x)
irredutvel sobre
F (1 )
e portanto
K = F (1 , 3 )
[K : F ] = 4.
Igualmente
Nesse caso
uma extenso quadrtica de Podemos ento escrever
F (1 )
e portanto
|G(K; F (1 ))| = 2.
onde e
|G(K; F (3 ))| = 2.
de
G(K; F (1 )) = { id, }
Portanto
F (1 )-automorsmo
que leva
em
(a outra raiz de
h(x)).
(1 ) = 1
(2 ) = 2 (2 F (1 )).
de so
Analogamente temos
G(K : F (3 )) = { id, }
e
onde
F (3 )-automorsmo
quanto
que leva
em
2 .
de
Tambm temos
(3 ) = 3
(4 ) = 4 .
e
Observe que tanto
F -automorsmos
Tomando-se a
K.
Logo
, G(K; F ) (G(K; F (1 )) =
G(K; F (3 ))
so subgrupos de
G(K; F ))
composio
teremos um terceiro elemento de
G(K; F ).
Como j sabemos Vemos que
|G(K; F )| = [K : Z/2ZZ/2Z
F ] = 4, acabamos de determinar todos os elementos de G(K; F ).

e podemos interpretar
G(K; F )
G(K, F )
como o subgrupo de
S4 { id, (12), (34), (12)(34) }.
f (x) = (x2 2)(x2 3) Q[x]. Vamos obter K = Q( 2, 3) e G(K; F ) = { id, , , }, onde caracterizado como o Q( 2)-automorsmo de K tal que ( 3) = 3 e, analogamente, o Q( 3)-automorsmo de K tal que ( 2) = 2.
Vejamos um exemplo particular. Tomemos Observemos a seguir que neste caso podemos encontrar facilmente um elemento primitivo para
(pgina-9 das Notas VII). Seja
1 =
2+
e tomemos seus conjugados em
K:
(1 ) = ( 2) + ( 3) = 2 3 = 2 (1 ) = ( 2) + ( 3) = 2 + 3 = 3 (1 ) = ( 2) + ( 3) = 2 3 = 4
30
Resulta disso que o polinmio
g(x) = (x 1 )(x 2 )(x 3 )(x 4 ) = x4 10x2 + 1 Q[x], tm todas as suas razes em K . Alm disso, como 100 4 Q, g(x) irredutvel em Q[x]. Conclumos K = Q(1 )
(as duas extenses tem grau
assim que
sobre
Q)
o corpo de razes de
g(x).
Basta vermos
Como seria a interpretao de
G(K; Q) dentro de S4 usando as razes 1 , 2 , 3 , 4 ?

Temos que
como os automorsmo permutam essas razes. e nalmente identicamos o subgrupo
(1 ) = 2 , (2 ) = 1 , (3 ) = 4 , (12)(34).
Analogamente
(4 ) = 3 .
com
Vamos ento identicar e
com a permutao
(13)(24)
com
(14)(23)
e assim
G(K; Q)
passa agora a ser identicado com
de
S4 . G(K; F )
em
Conclumos assim que a interpretao de polinmio
Sn ,
onde
o corpo de razes de um
f (x)
com
razes distintas, depende do polinmio
f (x).
Mas claro que a natureza do
grupo no pode mudar. No exemplo que acabamos de ver a troca de polinmio nunca poderia levar a
f (x)
(ou de
g(x))
por outro
G(K; Q)
Z/4Z. G(K; Q) que acabamos de fazer.

vemos que no h elemento
Existe contudo uma grande diferena nas duas interpretaes de Na primeira, identicando
G(K; F )
com
{ id, (12), (34), (12)(34) },

tal que
{ id, (12), (34), (12)(34) },

acontece. Para todo par
ou
G(K; F ),
existe
(1) = 3,
ou
ou
( 2) = 3.
tal que
Na segunda isso no ou
1 i, j 4
V,
G(K; F ),
(i) = j ,
(i ) = j .
No segundo caso dizemos que isso:
G(K, F ) age transitivamente sobre as razes de g(x).
Vamos formalizar
Denio.
Seja
H Sn
um subgrupo. Dizemos que existe
transitivo
(ou que opera transitiva-
mente) se para todo par
i, j { 1, 2, . . . , n },
tal que
(i) = j .
O que aconteceu no exemplo acima com
g(x)
no um acidente. Em geral temos:
Proposio.
conjunto
Seja
uma extenso galoisiana de um corpo
e assumimos que Cada
o corpo de razes permuta o
de um polinmio irredutvel
f (x)
cujas razes so
{ 1 , 2 , . . . , m }.
G(E; F )
{ 1 , 2 , . . . , m }
transitivamente. o homomorsmo injetivo da Proposio da pgina 1, ento o
Portanto se
: G(E; F ) Sm
subgrupo Im transitivo.
Vericao.
Dadas duas razes
de
f (x)
em
E,
,
basta aplicarmos o item (2) do Teorema
da Unicidade, pgina 14 das Notas V, fazendo
F = F
31
id,
f = f , = i
= j .
Por
esse resultado existe um nico
F -isomorsmo : F (i ) F (j ) K =K =E = ,
tal que
(i ) = j .
Usando-se
agora o item (3) desse mesmo teorema com de
que consideramos como corpo de razes
f (x)
sobre
F (i ) F (j )
e
e tomamos agora
obtemos uma extenso
de
E.
Ento
G(E; F )
(i ) = j
(Poderamos tambm usar o item (3) da Proposio da pgina 10 das
Notas VII). Conclumos assim que dadas duas razes tal que
i , j { 1 , 2 , . . . , m },
existe
G(E; F )
(i ) = j .
Logo a ao de
G(E; F )
sobre o conjunto
{ 1 , 2 , . . . , m }
transitiva, como
armado.
Esse resultado mostra que h uma diferena signicativa em polinmio irredutvel. Ele nos ser til mais adiante.
ser o corpo de razes de um
Voltando ao estudo das qurticas, consideremos agora o caso em que
f (x)
irredutvel. Sejam
1 , 2 , 3 , 4
as razes distintas de
f (x).
Vamos considerar
G(K; F ) S4
e compar-lo com os
subgrupos distinguidos
A4
de
S4 .
Com essa intenso consideremos inicialmente
1 = (1 + 2 )(3 + 4 ) 2 = (1 + 3 )(2 + 4 ) 3 = (1 + 4 )(2 + 3 )

Vemos que qualquer que cada
G(K; F ) V
deixa
1 , 2 , 3
invariantes.
Por outro lado, usando
S4
um produto de ciclos disjuntos, podemos vericar que se
xar
1 ,
ento
{ id, (12)(34), (12), (34), (1324) (1423) } analogamente as permutaes que xam 2 e 3 esto, respectivamente, nos conjuntos
{ id, (13)(24), (13), (24), (1234) (1432) }, { id, (14)(23), (14), (23), (1243) G(K; F ) V
podem xar simultaneamente
(1342) }.
Conclumos assim que somente os elementos de
os trs elementos vamos ter que
1 , 2 , 3 .
Portanto
F (1 , 2 , 3 )
o corpo xo de
G(K; F ) V .
Como
S4
G(K; F ) V
G(K; F ).
Logo, pelo TG,
F (1 , 2 , 3 )
F.
Dos comentrios acima podemos concluir que
g(x) = (x 1 )(x 2 )(x 3 ) F [x]. F.

Sabendo-se que
Questo 15.
Seja
L = F (1 , . . . , n F
mostre que
uma extenso de um corpo
uma
extenso galoisiana de
h(x) = (x 1 ) (x n ) F [x].
observe que o polinmio de
Voltando ao estudo da qurtica O polinmio
f (x)
g(x)
que construmos tem grau
3.
g(x)
chamado de
cbica resolvente
f (x).
32
Vamos agora examinar
G(K; F )
com o auxlio de
g(x). g(x)
irredutvel
g(x)
irredutvel.
Uma primeira observao que como irredutvel,
[F (1 ) : F ] = 3. 3
e por Mas
Igualmente como
f (x)
[F (1 ) : F ] = 4.
Portanto
[K : F ]
divisvel por divide
4.
Como esse nmeros so relativamente primos podemos concluir que e
12
[K : F ].
[K : F ] = |G(K; F )|
das Notas V,
G(K; F )
divide
um subgrupo de
S4 .
Logo, pelo Teorema de Lagrange, pgina 6 ou
|G(K; F )|
24.
Resulta disso que
|G(K; F )| = 12,
24.
Caso de
|G(K; F )| = 24,
ento
G(K; F ) = S4 .
Seja
L = F (1 , 2 , 3 )
Portanto
que como vimos o corpo xo e assim
G(K; F ) V .
Nesse caso
G(K; L) = G(K; F ) V = V
[K : L] = |G(K; L)| = 4
[L : F ] = 6.
ou
Pelo que vimos no estudo da equao de grau No presente caso
temos duas alternativas:
G(L, F ) = A3
G(L; F ) = S3 .
Caso
G(L; F ) = S3 .
|G(K; F )| = 12,
pelo Corolrio V.10.23, pgina 210, do livro Garcia-Lequain, temos que
G(K; F ) = A4 .
Novamente temos
G(K; F )V = V
resultando, como no caso anterior,
G(L; F ) = A3 .
Conclumos assim que caso de acordo com os casos acima.
g(x)
seja irredutvel,
G(K; F )
G(L; F )
determinam-se mutuamente
g(x) g(x)
redutvel.
esto em
Aqui temos dois subcasos. Isto
A situao extrema ocorre se todas as razes de
F.
F = F (1 , 2 , 3 )
o corpo xo de
G(K; F ) V . f (x)
Pelo TG,
o corpo
xo de
G(K; F ).
Logo
G(K; F ) V .
Como assumimos que
irredutvel temos que
divide
[K : F ] = |G(K; F )|.
Logo
G(K; F ) = V . f (x).
J que irredutvel mas o grupo de Galois
Nesse caso podemos tirar uma concluso sobre
G(K; F ) = V ,
devemos ter que
f (x)
uma biquadrtica como no exemplo que vimos acima.
Consideremos nalmente o caso em que como
g(x)
s tem uma raiz em
F.
Nesse caso
[L : F ] = 2
L o corpo xo de G(K; F ) V 4.
|V | = 4 temos que [K : F ] = 8 caso G(K; F ) V = V 8
tenha
ordem
Neste caso, pela classicao dos grupos de ordem
que encontramos na pgina 172 do
livro Garcia-Leguain vamos concluir que
G(K; F )
o grupo diedral de ordem
8. [K : L] = 2.
A outra possibilidade que
[K : F ] = 4
quando
|G(K; F ) V | = 2
implicando que
Neste momento vamos usar Proposio da pgina 31 para concluir que estamos assumindo
G(K; F )
transitivo, pois
f (x)
irredutvel.
33
Analisando-se os subgrupos
de
S4
com ordem
4,
transitivos e satisfazendo
|H V | = 2,
vemos que s os subgrupos gerados por um
4-ciclo
tm essa propriedade.
Conclumos assim que
G(K; F )
Z/4Z
cclico.
Com isso terminamos a anlise do grupo de Galois do corpo de razes de uma qurtica. prximas notas vamos abordar equaes resolveis por radicais e o caso da quntica.
Nas
Uma ltima palavra sobre as qurticas. O que podemos dizer do discriminante de irredutvel? Observe que
f (x)
no caso
1 2 = (1 4 )(2 3 ) 1 3 = (1 3 )(2 4 ) 2 3 = (1 2 )(3 4 )

Portanto
f =
i<j
Logo
(i j ) =
s<t
(s t ) = g .
Df = 2 = Dg . f V A4 temos que G(K; F )V G(K; F )A4 . G(K; F )V

Como pelo TG as incluses so invertidas,
Como
resulta que o corpo xo de esperar que
contm o corpo xo de
G(K; F )A4 .
Logo deveramos mesmo
F (f ) F (1 , 2 , 3 ).
Mas obtivemos mais do que isso, visto que
F (f ) = F (g ).
34

Algebra

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Algebra

Transféré par

Droits d'auteur :

Formats disponibles

Teorema de Galois e Aplicaes

de um corpo nele mesmo chamado

seja uma extenso de um corpo de

Na pgina 24 encontramos a denio de grupo de mais precisamente

Galois de uma extenso

com a operao de composio de funes um grupo,

o grupo de Galois. Tambm na pgina 24 encontramos que o corpo de razes

chamado de extenso galoisiana de

Pelo Corolrio da pgina 17 temos que

o conjunto de todas as razes

(Relembre a denio de polinmio separvel e que

um polinmio separvel pode ter razes mltiplas). Logo agora

qualquer que seja

aos dois lados da igualdade Consequentemente

ao +a1 (i )+ +an (i )n = 0, pois (aj ) = aj , para todo j = 1, . . . , n.

(i ) = t para alguma outra raiz t de f (x).

Como o conjunto nito,

essa funo induzida vai ser sobrejetiva tambm, isto , a restrio de

Temos ento uma correspondncia Verica-se trivialmente que

um homomorsmo de grupos. Por outro lado,

injetiva e acabamos de demonstrar que

o corpo de razes de um polinmio separvel isomorfo a um subgrupo de 1

Mais precisamente seja

a funo que associa a cada

(Poderamos ser mais formais denindo

Podemos ento concluir que

Vamos vericar a validade da armao se Estamos dizendo que se cadeia

que zemos acima.

Lembre-se que temos uma

e assim por diante at

raiz primitiva quinta da unidade (

Armao 1, pgina 2 das Notas VI, o polinmio mnimo de e temos que

[Q() : Q] = Z/(p 1)Z

Tambm vimos que

tem que levar uma raiz de como

e vamos estende-la a base de

Observe que estamos impondo o que natural para um automorsmo

Isto , como queremos que

devemos impor que

e assim por diante, mas lembrando que

e portanto vo ocorrer redues

Vamos em seguida estender por linearidade

leva base de espao vetorial em base de espao vetorial, como 2

ganhamos que todo

bijetora e vale temos

Tambm verdade que para

S falta vericar que a funo

que construmos tambm

o automorsmo que acabamos de construir.

tambm vericar que

um gerador do grupo de Galois.

Vamos agora olhar que permutaes de Vamos enumerar as razes de

vo corresponder aos automorsmos que construmos.

1 (1) = 2, 1 (2) = 4, 1 (3) = 1, 1 (4) = 3.

Prosseguindo com esse trabalho vamos

encontrando as permutaes de vamos megulhar

que correspondem aos outros dois elementos

como um sugbrupo de ordem

Mais ainda, pelo que

apenas indicando a sequncia

Uma permutao desse tipo chamada de um

vamos recordar alguns

poucos fatos que usaremos. acima.

Sugerimos novamente a leitura do livro Garcia-Lequain mencionado

Na pgina 24 encontramos a denio de grupo de mais precisamente

(Relembre a denio de polinmio separvel e que

Como o conjunto nito,

Temos ento uma correspondncia Verica-se trivialmente que

um homomorsmo de grupos. Por outro lado,

(Poderamos ser mais formais denindo

Vamos vericar a validade da armao se Estamos dizendo que se cadeia

que zemos acima.

Armao 1, pgina 2 das Notas VI, o polinmio mnimo de e temos que

Observe que estamos impondo o que natural para um automorsmo

S falta vericar que a funo

o automorsmo que acabamos de construir.

tambm vericar que

vo corresponder aos automorsmos que construmos.

encontrando as permutaes de vamos megulhar

vamos recordar que o signicado de

Questo 2. Usando a denio acima mostre que as seguintes igualdades valem:

Essa informao no parece grande coisa neste caso. Anal

Anal, fora de sup(),

coincide com a identidade. Vamos exemplicar esse ponto de vista

(A distncia entre um dizer de

os termos ciclicamente sem alterar a sequncia. Assim tem ordem

conjunto cam xos. Se dissermos que ento

ca xo. Se dissermos

elementos xos. Logo estamos transpondo