Algebra Avancada - MAT/ICEx/UFMG - 2006

Ana Cristina Vieira

Lista 13 - Teorema Fundamental da Teoria de Galois
Durante todo o texto, estaremos considerando extensoes dos racionais, ou
seja, estaremos trabalhando com corpos de caracterstica zero. Neste caso,
todas as extensoes nitas sao simples, o que signica que se K|F nita entao
existe u K tal que K = F(u).
O Teorema Fundamental da Teoria de Galois estabelece uma correspon-
dencia biunvoca entre o conjunto dos subcorpos de uma extensao galoisiana
K de Ql e o conjunto dos subgrupos do grupo de automorsmos de K que
xam o subcorpo.
Para isto, se K | F, denimos
Aut(K) := { : K K| e isomorsmo};
Aut
F
(K) := { Aut(K)| |
F
= Id}.
Se G Aut(K) entao o corpo xo por G e o conjunto:
Fix
K
(G) := {u K| (u) = u, G}.
Temos que (Aut(K), ) e um grupo e Aut
F
(K) Aut(K) e Fix
K
(G) e
um subcorpo de K (Mostre!). Desde que [K : F] = n entao podemos garantir
que |Aut
F
(K)| n, utilizando a simplicidade de K sobre F.
Antes de mais nada, recordemos que se f(x) F[x] e de grau n entao
existe uma extensao K de F com [K : F] n tal que f(x) possui raiz em K.
Como consequencia existe uma extensao L de F com [L : F] n! sobre a
qual f(x) e um produto de fatores lineares. Isto garante a existencia do corpo
de decomposicao de f(x), ou seja, o menor corpo que contem os coecientes
de f(x) e todas as suas razes, denotado por Gal(f(x), F).
Uma extensao nita K|F e galoisiana se e corpo de decomposicao de
algum polinomio f(x) F[x], ou seja, se existe f(x) F[x] tal que K =
Gal(f(x), F). Como exemplo, podemos ver que Ql (

2) e corpo de decom-
posicao de f(x) = x
2
2 e portanto, Ql (

2)| Ql e galoisiana enquanto que

Ql (
3

2) nao e extensao galoisiana de Ql .

1
Seja K | F e G = Aut
F
(K). Dizemos que esta extensao e normal se
F = Fix
K
(G) e alem disso, temos:
Teorema: Seja K | F normal, G = Aut
F
(K) e H G. Se L = Fix
K
(H)
entao:
(i) [K : L] = |H|;
(ii) Aut
L
(K) = H.
Em particular, se H = G entao [K : F] = |Aut
F
(K)|.
Notemos que ao considerar K = Gal(f(x), F), se p(x) e um fator irre-
dutvel de f(x) e se
1
,
2
, ...,
r
sao as (distintas) razes de p(x) entao para
cada i = 2, ..., r existe um automorsmo
i
Aut
F
(K) tal que
i
(
1
) =
i
.
Com isso, se K = Gal(f(x), F), onde f(x) e irredutvel sobre F tal que
gr(f(x)) = n entao, Aut
F
(K) e isomorfo a um subgrupo de S
n
.
Teorema: Seja K | F nita.
(1) K | F normal se, e somente se, K | F galoisiana.
(2) Se K | F normal e L e um subcorpo de K contendo F entao L | F e
normal se, e somente se, (L) L, Aut
F
(K).
Para f(x) F[x], K = Gal(f(x), F), dizemos que G = Aut
F
(K) e o
grupo de Galois de f(x) sobre F.
Teorema (fundamental da teoria de Galois): Denote
S
F
(K) := {L subcorpo de K| F L}
S(G) := {H| H G}.
Entao existe uma bijecao A : S
F
(K) S(G) tal que A(L) = Aut
L
(K) cuja
inversa e F : S(G) S
F
(K) dada por F(H) = Fix
K
(H).
Alem disso,
(i) [K : L] = |Aut
L
(K)|, L S
F
(K);
(ii) [L : F] = [G : Aut
L
(K)];
(iii) L | F e normal se, e somente se, Aut
L
(K) Aut
F
(K);
(iv) Se L | F e normal entao Aut
F
(L)

= Aut
F
(K)/Aut
L
(K).
2
Exerccios
1. Verique se as armacoes sao verdadeiras ou falsas. Em qualquer caso,
justique.
(a) Se K e extensao nita de IR entao K = Cl ou K = IR.
(b) As extensoes Ql (4 i) e Ql (1 +i) sao iguais.
(c) O elemento
2
1 e transcendente sobre Ql (
3
).
(d) Os grupos Aut( Ql (

2,

5)) e Aut( Ql (

10)) tem a mesma ordem.

2. Sejam K|F, p(x) F[x] irredutvel sobre F e a K raiz de p(x). Se
Aut
F
(K) entao mostre que (a) e raiz de f(x).
3. Construa o corpo de decomposicao dos polinomios x
4
3, x
6
2 e x
7
5
sobre Ql e determine, justicando, o grau de cada extensao obtida sobre Ql .
4. Seja p primo. Mostre que:
(i) Gal(x
p
1, Ql ) = Ql (), onde
p
= 1 e = 1
(ii) Ql () = {
0
+
1
+...
p2

p2
|
i
Ql , 0 i p 2 }
(iii) |Aut(Ql ())| = p 1.
5. Prove que se K = Gal(x
n
1, Ql ) entao Aut(K) e abeliano.
6. Sejam K = Gal(x
4
2, Ql ) e G = Aut(K). Determine todos os sub-
grupos de G e use a correspondencia de Galois para determinar os corpos
intermediarios em S
Q
(K).
7. Seja K = Ql (

2,

3). Prove que K e extensao galoisiana de Ql e mostre

que Aut(K) e um grupo de Klein. Alem disso, use a correspondencia de
Galois para determinar os corpos intermediarios em S
Q
(K).
8. Sejam F um corpo arbitrario, f(x) F[x] e a F. Mostre que os
polinomios f(x) e f(x +a) tem o mesmo corpo de decomposicao sobre F.
9. Se K e corpo de decomposicao de f(x) = x
4
5x
2
+6 sobre Ql , determine
Gal(K, Ql ) e todos os subcorpos M, Ql M K. Destaque aqueles para os
quais M e extensao galoisiana de Ql .
3
10. Seja K = Ql (
4

3, i). Mostre que Aut(K)

= D
4
e determine os subcorpos
M, Ql M K.
11. Mostre que se [K : F] = 2 entao K|F e normal.
4