Você está na página 1de 26

Corpos Finitos

Vamos a seguir fazer o estudo dos corpos nitos. Embora esses objetos seja bastante abstratos pode-se ver muito da riqueza da Teoria de Galois atravs deles. Vamos iniciar reunindo algumas

informao sobre grupos que usaremos. Acho que todos os textos da bibliograa contem o material que vamos listar sobre grupos.

Breve resumo sobre grupos


Iniciamos recordando a denio de grupos.

Denio. Seja G um conjunto com uma operao binria G G G,


(x, y) G G xy G
(i) existe que tem as seguintes propriedades:

1G

tal que

1x = x1 = x, x, y, z G
existe

para todo

x G;

(ii) quaisquer que sejam

temos

x(yz) = (xy)z ;
tal que

(iii) qualquer que seja

xG

x1 G

xx1 = x1 x = 1.

Observao. O item (i) acima garante em que G no vazio.


chama-se

O elemento

1 de que fala o axioma

elemento neutro

da operao e podemos provar que nico. Muitas vezes denotado por

e.
O axioma (ii) diz que a operao associativa. O elemento

x1

do axioma (iii) chamado de

inverso

de

e tambm nico.

Nos axiomas (i) e (iii) foram escritas as igualdades dos dois lados porque a operao de um grupo no em geral comutativa. Caso a operao seja comutativa, dizemos que o grupo Quando um grupo

comutativo

ou

abeliano.
1
e usamos notao

no abeliano vamos denotar o elemento neutro por

multiplicativa para a operao de

G. G

Se

abeliano denotamos o elemento neutro por

e usamos

notao aditiva para a operao de

Acho que os grupos mais conhecidos so os grupos bijees de um conjunto

Simtricos.

Seja

Sn

o conjunto de todas as

com

n elementos nele mesmo.


1

Mais precisamente, seja

X = { 1, 2, . . . , n }

e seja

Sn = { : X X | n!

bijetiva

com a operao de composio de funes. Sabemos que

Sn

um grupo que tem identidade de

elementos e chamado de grupo

Simtrico.
Sn
tem

Em

Sn

corresponde a funo

X. n!
elementos, e temos grupos que

Temos grupos que so nitos, como no caso acima que so innitos, como no caso

com a operao de adio e neste caso o elemento neutro o

0.

Outro exemplo importante o conjunto GLn (K) minante

conjunto das matrizes

nn

que tem deter-

= 0,

ou equivalentemente, conjunto das matrizes

nn

que tem inversa. A operao aqui

o produto de matrizes e o

a matriz identidade. Como multiplicar matrizes associativo, e cada

matriz de GLn (K) tem uma matriz inversa, por denio de GLn (K), esse conjunto um grupo.

No caso nito denimos:

Denio. Se um grupo G nito, chama-se ordem G. Notao: |G| = ordem de G.

de

ao nmero de elementos do conjunto

Da mesmo forma que temos subanel e subcorpo (ou subespao veotrial) temos tambm subgrupo.

Denio.
H,
(ii)

Dado um grupo resulta

um subconjunto de e (iii)

H G

chamado de subgrupo se: (i) Isto ,

x, y H

xy H , G

x H

resulta

x1 H . H

tem o elemento neutro

e fechado para a operao de

e fechado para inversos (x

se e s se

x1 H ).

Observe que um grupo innito como subgrupos nitos. Por exemplo, se unidade, temos que de

= cos(2/n) + sen (2/n) 1

(com operao dada pela multiplicao) pode conter uma raiz primitiva

n-sima

da

< >= { 1, , . . . , n1 }

um sugbrupo nito de

C .

Esse grupo chamado so potncia de

cclico

porque

gerado

por um nico elemento, todos os elementos de

<>

Tambm

cclico, pois todos os seus elementos so mltiplos de

1.

Vamos tornar isso mais

preciso.

Denio. Dado um grupo G seja g G.

(i) Para toda todo

sZ

denimos

g gg s vezes s 1 = elemento neutro g = 1 1 g g g 1


|s| vezes
Caso

se

s 1; s = 0; s<0

se se

seja comutativo trocamos a multiplicao pela soma, assim, para vezes, para

s 1

escrevemos

sg = g + g + + g , s
(ii) Seja

s=0

escrevemos

sg = 0,

etc.

< g >= { g n | n Z }

que chamamos de sugbrupo

gerado

por

g.

No caso abelianos

< g >= { ng | n Z }.
(iii) Dizemos que

cclico

se existir

gG

tal que

G =< g >.

Observao.
gerador. O grupo

Um fato que convm destacar que um grupo cclico tem, em geral, mais de um

(em relao a adio) tem

como geradores. Para cada

n, Z/nZ

tem, em podemos

geral, vrios geradores. De fato, escrever que

um gerador natural de

Z/nZ;

para cada

0m<n

m = m1.

Por outro lado para cada

1r<n

que seja relativamente primo com

temos

um gerador de

Z/nZ.

Como

so relativamente primos, sabemos que existem Dessa forma

t, s Z

tais que que

1 = tp + sr.

Portanto

1 = sr = sr.

Z/nZ =< 1 >< r > Z/nZ,

implicando

< r >= Z/nZ. Z/2Z = { 0, 1 }


temo que

Apenas no caso

o nico gerador do grupo.

Denio. Seja G um grupo e g G.


g n = 1}.
diferente).

Se

g = 1, 1

chamamos de

ordem

de

ao mnimo{ n

1|

Denimos tambm que a ordem de

(Ateno: cada um do  1 tem um signicado

Notao: |g| = ordem de g.

No caso abelianos temos

|g| = mnimo { n 1 | ng = 0}

|0| = 1.

A ordem de um elemento bastante especial.

Dado um grupo

G,

para todo

gG

temos que

|g|

divide todo

tZ

tal que

gt = 1

(ou

tg = 0,

no caso abeliano).

Vericando:
tZ
ou tal que

Se

g = 1,

ento

|g| = 1

e no h nada para demonstrar. Tomemos

g = 1,
com

e seja

g t = 1.

Pelo Algortimo de Euclides (em

Z)

podemos escrever

t = |g|q + r,
pois

r=0

0 < r < |g|.


Logo

Como

r = t |g|q

vamos ter

g r = g t||q = g t (g |g| )q = 1,
vemos temos que

gt = 1 |g|

e tambm

g |g| = 1.

g r = 1.

Pela minimalidade de

|g|

r=0

e assim

divide

t,

como

queramos.

Seja

gG

um elemento com ordem nita.

Como consequncia vemos que o conjunto elementos. Na verdade

{ g t | t Z},

tem que ser nito com exatamente

|g|

{g t | t Z} = {1 = g 0 , g = g 1 , g 2 , . . . , g |g|1 }.

Observao. < g > claramente o menor subgrupo de G contendo g.


Vamos a seguir discutir um resultado que muito usado em matemtica e conhecido como Teorema de Lagrange. Seja

um grupo nito e

HG

um subgrupo. Vamos denir uma relao entre os elementos de

da seguinte maneira:

x y(modH) x1 y H.

Questo 1.
Para cada

Mostre que a relao acima uma relao de equivalncia, isto , que reexiva,

simtrica, e transitiva.

xG

denimos

x=

classe de equivalncia a qual

pertence. Isto

x = {y G | y x }.
Temos que

x = {xh | h H }.

() x { xh | h H }. .
Logo

Temos que mostrar a igualdade de dois conjuntos. Vejamos primeiro que Seja

y x = {y G | y x }.

Logo

h = x1 y H ,

pela prpria denio de

y = xh { xh | h G },
Seja

demonstrando a primeira incluso. Vejamos agora que

{ xh | h G } x. xy
e assim

y = xh,

para algum

h H.

Ento

x1 y = h H .

Pela denio de

teremos

y {y G | y x },

que a outra incluso. Logo vale a igualdade entre esse conjuntos.

Devido a igualdade acima costuma-se tambm representar uma

x = xH

e esse conjunto chamado de

classe lateral a direita

de

mdulo

H.

Questo 2. Dena uma nova relao de equivalncia 1 trocando a ordem de x e y na denio


que demos acima de

(isto troque

x1 y H

por

xy 1 H )

e mostre que obtemos tambm uma

nova relao de equivalncia. Dena agora

x=

classe de equivalncia dada por

a qual

pertence, e mostre que

x = { hx |

h H }.
Para

1
de

do exerccio acima a notao ser mudada para

x = Hx

e chamada de

classe lateral a

esquerda

mdulo

H.
a classe lateral a direita

Para todo

xG

tem

|H|

elementos.

Estamos dizendo que todas as classes tem o mesmo nmero de elementos e que esse nmero igual a ordem de Pela propriedade se

H , |H|.

De fato, considere a funo

f : H x = xH

dada por

f (h) = xh x.

() que mostramos acima, f


ento

uma funo sobrejetora. Veriquemos que injetora:

f (h1 ) = f (h2 ), h1 = h2 ,

xh1 = xh2 .

Multiplicando-se essa igualdade pela esquerda por

x1

vamos

obter

e assim

injetora. Portanto

bijetora e os dois conjuntos tem o mesmo nmero

de elementos, conforme armado.

Questo 3.
|H|

Mostre a mesma coisa para as classes laterais a esquerda, isto , mostre que

tem

elementos, para todo

x G.

Recordemos agora que uma relao de equivalncia particiona o conjunto sobre o qual est denida. No nosso caso isso signica que dados

x, y G

temos duas possibilidades excludentes:

x=y

ou

x y = .

Esse fato, das duas possibilidades excludentes, facilmente vericado no nosso caso. Realmente, se existe

z x y,

ento

zx

z y.

Pela transitividade

xy

e portanto

x = y.

Talvez fosse bom ressaltamos que y x se e somente se y = x.


Observemos em seguida que como

nito, tambm o conjunto de classes laterais a direita de

G mdulo H
de

ser nito.

Vamos denotar por G/H ao conjunto de todas as classes laterais a direita


G/H = { x | x G }. H)
vamos chamar de Ao nmero de elementos de

mdulo

H.

Temos ento que

G/H (=

nmero de classe laterais de representa o ndice de

mdulo

ndice

de

em

G.

Notao: (G : H)

em

G. xG
est em alguma classe (na sua prpria classe) temos que

Finalmente, note que como todo

G=

xG

x.

Juntando tudo chegamos a concluso 5

Teorema[Lagrange] |G| =
xG

|x| = (G : H)|H|,

onde

|x|

indica o nmero de elementos do conjunto

que sabemos ser igual a

|H|. H
um subgrupo de

Corolrio 1:

Seja

um grupo nito e

G.

Ento

|H|

divide

|G|. G

Questo 4.
mdulo

Repita as discusses das ltimas 15 linhas para classes laterais a esquerda de

H.

Em particular mostre o Teorema de Lagrange trabalhando com

x no lugar de x.

Conclua

disso que o nmero de classe laterais a direita, de a esquerda, de a outra.

mdulo

H,

igual ao nmero de classes laterais

mdulo

H.

Portanto o ndice

(G : H)

no depende de escolhermos uma relao ou

Corolrio 2:

Seja

um grupo e

g G.

Ento

|g|

divide

|G|.

De fato, basta lembrarmos que

|g| = | < g > |.

Outro ponto bsico na teoria de grupos o estudo de homomorsmos.

Denio. Sejam G e S dois grupos e : G S uma funo.


de grupos se

Dizemos que

um homomorsmo

(gh) = (g)(h)

para todo para

g, h G.

Para os homomorsmos de grupos temos propriedades bem semelhantes ao caso de anis. A composio de dois homomorsmos um homomorsmo. Analogamente temos epimorsmos e monomorsmos nos casos em que o homomorsmo sobrejetivo e injetivo. Temos tambm isomorsmo no caso bijetivo. Aqui tambm temos o ncleo.

Denio. Chamamos de ncleo do homomorsmo de grupos : G S


{ g G | (g) = 1 }.
Temos para o ncleo propriedades anlogas quelas do ideais.

ao conjunto

N () =

Os itens (1) e (3) do resultado

abaixo so simples vericao. Quanto ao item (2) basta aplicarmos o Teorema de Lagrange.

Teorema:
1.

Seja

:GS

um homomorsmo de grupos. Ento

N ()
Im ()

um subgrupo de

tal que

gN ()g 1 = N ()
chamado de 6

para todo de

g G.

Por outro lado

= (G)

um subgrupo de

S,

imagem

2. Se

nito, ento

|G| = |N ()||Im ()|. N () = { 1 }.

Portanto |Im ()| divide

|S|

|G|.

3.

injetiva se e somente se

Questo 5.
:ST

Sejam

e e

dois homomorsmos sobrejetivos de grupo que tem um grupo como contra-domnios.

como

domnio e os grupos tal que

Mostre que existe um nico homomorsmo

se e somente se o ncleo de

N () N ().
da maneira obvia:

Para provar a existncia de

no caso

N () N (), basta denir

((g)) =

(g),

mostrar que

uma funo e que homomorsmo. Na outra direo simples vericao.

Os subgrupos com a propriedade (1) do teorema acima so chamados de

normais. normal
de

Denio. Seja G um grupo e H


G
se

um subgrupo de

G.

Dizemos que

um subgrupo

gHg 1 = H ,

para todo

g G.

Notao: H

G. H G,
ento as duas relaes de

A importncia dos subgrupos normais vem do fato de que se equivalncia

denidas na pgina 4 coincidem e assim toda classe lateral a direita igual a

alguma outra classe lateral a esquerda, isto , para todo consequncia se denirmos em funo que torna

g G, existe g G tal que gH = Hg .

Como

G/H G/H G/H

a aplicao

(g1 H, g2 H) (g1 g2 H) teremos uma

G/H

um grupo. Esse grupo chamado de grupo quociente. Temos tambm que

: G G/H

dada por

(g) = gH = g

um homomorsmo sobrejetivo de grupos que tem

como

ncleo. Esse homomorsmo

chamado de

projeo cannica.

Para os grupos temos tambm um teorema do isomorsmo cuja demonstrao igual ao caso de anis.

Teorema do Isomorsmo: : G S
homomorsmo de grupos Mais ainda Im ()

um homomorsmo de grupos.

Ento existe um nico a projeo cannica.

: G/H S
e

tal que

= , onde : G G/H

= Im ()

injetiva.

Como aplicao do teorema acima vamos classicar os grupos cclicos, pois eles so muito particulares. De fato, se uma funo

um grupo cclico e dada por

um gerador de

G,

G =< g >,

temos naturalmente

:ZG

(n) = g n

para todo

n Z.

Questo 6. Verique que a funo denida acima um homomorsmo sobrejetivo de grupos.


Caso e

seja nito de ordem

n,

ento

tem ncleo

nZ

(agora estamos vendo

como grupo aditivo

nZ

como um subgrupo). Usando o Teorema do Isomorsmo conclua que

Z/nZ.

Caso

no seja nito, mostre que

um isomorsmo.

Podemos chegar ento a seguinte concluso:

dois grupos cclicos nitos de mesma ordem so


Podemos mesmo dizer que para cada

isomorfos e todo grupo cclico innito isomorfo a Z.


Z/nZ
isomorsmo, o nico grupo cclico innito.

n,

o nico, a menos de isomorsmo, grupo cclico de ordem

n.

Tambm

, a menos de

Questo 7.
G,
escreva

Uma outra propriedade que mostra como os grupos cclicos so particulares que

todo subgrupo de um cclico tambm cclico. De fato, dado um subgrupo

de um grupo cclico Verique

G =< g >,

atravs de um gerador e tome

r=

mnimo {t

Z, t > 0 | g t H }

que

H =< g r >.

Questo 8. Fugindo um pouco a sequncia mostre que se G e S so dois grupos, ento G S =


{ (g, s) | g G, s S }
com a operao

(g, s)(g , s ) = (gg , ss )

tambm um grupo.

Estendo o resultado acima considerando um conjunto nito que

G 1 , G2 , . . . , G t

de grupos e mostre

G1 G2 Gt

um grupo, com a operao denida termo a termo como no caso

n = 2.

Mostre tambm que caso

G1 , G2 , . . . , Gt seja grupos nitos, ento a ordem de |G1 G2 Gt | =

|G1 | |G2 | |Gt |.


Vamos a seguir fazer outra aplicao do Teorema do Isomorsmo. positivos primos entre si. Considere a funo Sejam

m, n

dois inteiros

: Z Z/mZ Z/nZ denida por (s) = (s + mZ, s +

nZ).

Questo 9.
dados

Mostre que

um homomorsmo sobrejetivo de grupos cujo ncleo

mZ nZ.

Para mostrar a sobrejetividade lembre que existe

u, v Z

tais que

1 = um + vn.

Por causa disso,

a, b Z tomando-se c = vna + umb vamos ter que c a = (vn 1)a + umb mZ e igualmente

c b nZ.
Mostre em seguida que ento concluir que

mZ nZ = mnZ (lembre Z/mnZ.

que

so relativamente primos). Podemos

Z/mZ Z/nZ

Generalize em seguida, usando induo, esse resultado para um nmero nito de inteiros positivos

m 1 , m2 , , m t ,

dois a dois primos entre si, mostrando que

Z/n1 Z Z/n2 Z Z/nt Z


8

Z/nZ,

onde IV.).

n = n1 n2 nt

(Compare os fatos acima com o item (d), pgina 10, da Questo 8 nas Notas

Voltando aos subgrupos normais temos que outro ponto vantajoso sobre eles que podemos combin-los com outros subgrupos.

Denio. Sejam S e T
{ st | s S, t T }
Caso

dois subgrupos de um grupo

e assumimos que

G.

Ento

ST =

tambm um subgrupo de ento cada elemento de

G. ST
tem uma nica representao na forma de

S T = { 1 }, tT S

st,

com

s S,

e dizemos que

ST

um

produto semi-direto

T.

Notao:

T.

As duas armaes acima so de fcil vericao, assim como o seguinte resultado:

Teorema:
ST /S

Sejam

dois subgrupos de de um grupo

com

G.

Ento

ST

T /(S T ). s S,
e

A demonstrao desse resultado depende somente de observarmos que dados aplicao

tT

(st)S t(S T )

o isomorsmo do teorema. Esse resultado conhecido como

Segundo

Teorema do Isomorsmo

Questo 10. Sejam S, T


que

dois subgrupos normais de um grupo

tais que

S T = { 1 }.

Mostre

ST

S T. G
vamos observar que a condio de normalidade trivializa-

Caso tomemos um grupo abeliano

se, isto , todo subgrupo normal. Logo, dados quaisquer podemos sempre construir o grupo temos

S, T

subgrupos de um grupo abeliano, Caso

S + T = { s + t | s S, t T }. S T.

S T = {0}

dizemos que

soma direta

e denotamos isso por

Podemos tambm estender essa construo a um nmero nito de subgrupos. Ficando s no caso abeliano se

S1 , . . . , S t

so subgrupos de

construmos

S1 + S 2 + + S t = { s 1 + s 2 + + s t |

s i S i }.
que

Para termos soma direta precisamos de um pouco mais de cuidado, temos que exigir para todo

Si (S1 + + Si1 + Si+1 + + St ) = { 0 },

i = 1, . . . , t.

Nesse caso escrevemos

S1 S2 S t
vetorial).

para indicar esse fato (compare tudo isso com o caso de subespaos de um espao

Mostre que nas condies acima

S1 S2 St

S 1 S2 St .

Temos tambm para grupos um Teorema da Correspondncia, como no exerccio (14) da Questo (9) da pgina 12, nas Notas IV.

Teorema da Correspondncia:
sobre

Sejam

dois grupos e

um homomorsmo sobrejetivo de

S. G
que

1. Mostre que existe uma correspondncia biunvoca entre o conjunto dos sugrupos de contm

N ()

e o conjunto de todos os subgrupos de ento

S.

(Aqui tambm usamos que se

um

subgrupo de

S,

1 (T )

um subgrupo de

G.

Mais ainda, se

S,

ento

1 (T )

G).

2. Explore essa correspodncia vericando coisas como: sees, preserva normalidade, preserva o ndice, etc. subgrupo de

ela preserva incluses, preserva inter(Aqui tambm usamos que se

um e se

S,

ento

1 (T ) G).

um subgrupo de

G.

Mais ainda,

(G : 1 (T )) = (S : T ),

T
3. Seja

S, H

ento

1 (T )

um subgrupo normal de

que contm

N ()

T = (H).

Mostre que

G/H

S/T .

(Use a Questo (5), pgina 6 para obter um homomorsmo que um isomorsmo.)

: G/H S/T

e depois verique

Vamos terminar este resumos com um resultado sobre grupos abelianos que nos ser muito til no estudo dos corpos nitos.

Teorema da Decomposio Cannica


pn1 pnt t 1
a fatorao de

Seja

um grupo abeliano nito de ordem

n.

Seja

n=

em irredutveis de

Z.

Para cada

1it

seja

G(pi ) = {g G | |g| = pr i
Temos ento que

para algum

r 0 }.

1.

G(p)

um subgrupo de

G,

para todo

p.

2. Se

p1 = p2 ,

ento

G(p1 ) G(p2 ) = { 0 }.
uma potncia de

3. Para todo

1 i t, |G(pi )|

pi .

10

4. Para

todo

g G

existem

so

nicos

gi G(pi )

tais

que

g = g1 gt ,

isto

G = G(p1 ) G(p2 ) G(pt )

e assim

G(p1 ) G(p2 ) G(pt ). |G(pi )| = pni i


(estamos

Juntando as concluses dos itens (3) com (4) podemos concluir que usando que

um anel fatorial e a Questo 8 da pgina 8).

Vericao.

A demonstrao dos dois primeiros itens simples vericao.

(3). Uma questo que ainda no respondemos se para todo irredutvel

que divide

|G|

existe

g G tal que |g| = p.

Isto , se as componentes

G(pi ) so triviais ou no.

Vemos demonstrar abaixo

que a resposta a essa pergunta no, no so triviais, e com isso demonstramos tambm o fato de que cada

G(pi )

tem ordem uma potncia de

pi . p
um irredutvel de

Lema:
existe

[Cauchy] Seja com

um grupo abeliano nito e

que divide

|G|.

Ento

gG

|g| = p. |G| = p,
pelo que vimos na Questo 6, pgina 8,

Vericao.
de ordem Seja que

Se

Z/pZ.

Logo

tem elemento

p.

Suponhamos agora que Se

|G| > p

e vamos proceder por induo sobre

|G|.
Suponhamos

u G com u = 0.
e

|u| = pm para algum m Z, ento g = mu tem ordem p.

|u| = n G

p n. <u> G.
Tomemos o grupo quociente

Como

abelianos

G/ < u >
pois

que tem ordem e

|G|/n

(lembrar que primos.

| < u > | = |u|).

Temos agora que

divide

|G/ < u > |,

so relativamente

Temos tambm que

|G/ < u > | < |G|. h G

Logo, pela hiptese de induo

G/ < u >

tem

elemento de ordem

p.

Isto , existe

tal que

|h+ < u > | = p.

Como

|h|h = 0

temos que

|h|(h+ < u >) = 0 (= 0+ < u >) em G/ < u >.


temos que

Novamente pela observao feita no m da pgina 3

p | |h|.

Logo

|h| = pm,

como no incio da demonstrao, e assim

g = mh

tem ordem

p,

como queramos demonstrar.

Voltando ento ao Teorema da Decomposio Cannica, o lema acima nos diz que para todo

G(pi ) = { 0 },

i = 1, . . . , t e como todos os elementos de G(pi ) tem ordem potncia de pi , necessariamente pi .


Para cada

|G(pi )|

uma potncia de

Para mostrar o item (4) usamos uma forma generalizada do Teorema de Bezout:

1 i t

seja

ai = 1.

nj j=i pj .

Observe que

n = pni ai i

e que os nmeros

a1 , . . . , a t

no tem fator

comum diferente de

So em conjunto relativamente primos. Por isso existem inteiros 11

m1 , . . . , m t

tais que forma

1 = m 1 a1 + + m t at
para algum e assim

(Observe que o ideal Como

I = a1 Z + + at Z, i = 1, . . . , t

sendo principal, tem a

I = uZ

u Z.

ai I ,

para todo

teremos que

u | ai ,

para todo

i.

Logo

u = 1

I = Z.)

Dado

g G,

temos que

g = g 1 = g m1 a1 g m2 a2 g mt at .

Basta agora

vericamos que

gi = g mi ai G(pi ),

para todo

i = 1, . . . , t.

Isso mostra a existncia da decomposio. Para vermos que vale a unicidade temos que vericar se vale a condio da pgina 9:

G(pi ) (G(p1 ) + + G(pi1 ) + G(pi+1 ) + + G(pt )) = { 0 },

para todo

i = 1, . . . , t. g, h G,

(1)

Para fazer a vericao desse fato vamos em primeiro lugar vericar que dados abeliano, se

grupo

|g| = a

|h| = b,

ento

c(g + h) = 0, c = au
e

onde

um mnimo mltiplo comum de

b.

Essa armao claramente correta pois

c = bv

para

u, v Z.

Logo

c(g + h) = cg + ch =

u(ag) + v(bh) = 0.

Pergunta:

Qual a condio para que

|g + h| = c?
tais que

Sugesto: estude

< g > < h >.

Mais geralmente dados

g1 , . . . , gm G

|gi | = ai

seja

o mnimo mltiplo comum de

a1 , . . . , a m .

Ento

c(g1 + + gm ) = 0. gj G(pj )

Vamos agora usar essa observao na vericao de que vale a equao (1). Sejam para

j = 1, . . . , t c

tais que

gi = g1 + gi1 + gi+1 + gt . |g1 |, . . . |gi1 |, |gi+1 |, . . . , |gt |.


Ento

Seja

o mnimo mltiplo comum de

um produto de Logo

potncias de

p1 , . . . , pi1 , pi+1 , . . . , pt .

Pelo que vimos acima

c(g1 + gi1 + gi+1 + gt ) = 0. |gi |

cgi = 0,
Mas

tambm. Dessa maneira, pela observao feita no m da pgina 3 temos que uma potncia de

divide

c.

|gi |

pi

e os irredutveis

p1 , . . . , p t

so distintos. Portanto a nica potncia de

pi

que pode dividir

1.

Logo

gi = 0,

cando demonstrado que a igualdade (1) vale.

Com isso o teorema ca demonstrado.

Questo 11.
abeliano

Usando a Questo 9, pgina 8, e a Questo 7, pgina 7, mostre que um grupo

cclico se e somente se

G(pi )

cclico para todo

i = 1, . . . , t.

Corpos de Razes de um Polinmio no Constante


Antes de inciarmos com corpos nitos vamos apresentar alguns resultados que valem em geral,

para todos os corpos.

12

Observao.

A partir de agora vamos usar a notao

(f ) = f (x)F [x]

para o ideal principal de

um anel de polinmios. Isso vai deixar a equaes mais curtas. Observe inicialmente que o item (e), pgina 11, da Questo 12 das Notas IV tem como consequncia o seguinte fato:

Proposio:
extenso

Seja

um corpo e

h(x) F [x]

um polinmio no constante.

Ento existe uma

de

onde

h(x)

tem todas as suas razes.

Portanto, se

n = gr h(x),

existem

1 , 2 , . . . , n L

tais que

h(x) = (x 1 )(x 2 ) (x n ).

Vericao:
para algum

Basta aplicarmos o item (e) acima mencionado sucessivamente. Isto , pelo item (e)

que citamos existe extenso

L1
Se

onde

h(x)

tem uma raiz

1 .

Em

L1 [x]

temos

h(x) = (x 1 )g1 (x),

g1 (x) L1 [x]. L2
de

gr h(x) > 1, g1 (x)


g1 (x)
para algum

no constante.

Logo, pelo mesmo item (e),

existe uma extenso

L1

onde

tem uma raiz

2 .

Em

L2 [x]

teremos ento a decomposio

h(x) = (x 1 )(x 2 )g2 (x),

g2 (x) L2 [x].

Podemos repetir novamente o processo.

Vamos ento repetindo esse processo at encontrarmos um corpo que tem todas as razes de

h(x).

Denio.
extenso

Seja

um corpo e

h(x) F [x]

um polinmio no constante.

Dizemos que uma de

de

um

corpo de decomposio
h(x)
esto em

(tambm chamado de

corpo de razes )
F E K

h(x)

sobre

F,

se todas as razes de

e todo subcorpo intermedirio

no tem essa

propriedade. Reformulando,

um corpo de razes de em

h(x)

caso

h(x)

se decomponha em fatores de grau

1,

h(x) = (x 1 )(x 2 ) (x n ),

K[x],

e para todo corpo intermedirio

F E

K , h(x)

no tenha uma decomposio desse tipo.

f = x2 + 3x 3 Q[x]. O corpo de razes de f sobre Q Q( 21). 1 + 3 3 3 (b) Para f = x 5 temos que Q( 5, ), onde = uma raiz primitiva cbica 2 3 da unidade, o corpo de razes de f sobre Q. De fato, as razes de f so 5, 3 5, e 2 3 5 que 3 esto em Q( 5, ). Por outro lado qualquer corpo que contenha as trs razes dever conter tambm = 3 5/ 3 5. 4 4 (c) Para f = x 2 temos que Q( 2, 1) o corpo de razes de f sobre Q.

Exemplos:

(a) Seja

(d) Claramente

o corpo de razes de

(e) Verique como exerccio que

x2 + 1 Q( 2, 3) o

sobre

R. x4 10x2 + 1
sobre

corpo de razes de

Q.

(f ) Agora se tomarmos um polinmio mais complicado como por exemplo

x3 +3x+6 que sabemos

13

ser irredutvel pelo Critrio de Eisenstein, ento no temos uma descrio do corpo de razes sobre

Q.

Mas ainda, se

for o corpo de razes desse polinmio sobre

Q,

no sabemos a primeira vista o

valor de

[K : Q]

que pode ser

ou

(porque no pode ser outro nmero?).

Logo para podermos obter informaes sobre o corpo de razes de um polinmio que no seja simples como nos exemplos (a) a (e) precisamos desenvolver uma teoria que permita fazer os clculos.

Questo 12.
razes de

Seja

f F [x]

um polinmio no constante e

um corpo de razes de e mostre que

sobre

F.

Para toda extenso intermediria

F EK

observe que

f E[x]

um corpo de

sobre

E.
Para todo corpo sobre

Corolrio da Proposio:
um corpo de razes ento

e todo polinmio no constante

h(x) F [x],
em

existe

de

h(x)

F.

Mais ainda, se

h(x) = (x 1 )(x 2 ) (x n )

K[x],

K = F (1 , 2 , . . . , n ).
Pela Proposio acima existe uma extenso Seja

Vericao:
n )
em para

L de F

onde

h(x) = (x1 )(x2 ) (x h(x)


tem todas as suas razes

1 , 2 , . . . , n L. F E

K = F (1 , 2 , . . . , n ) L.
ento alguma

Ento

e claro que se

K,

i E . /

Vamos a seguir demonstrar que o corpo de razes de um polinmio nico a menos de isomorsmo. Na verdade vamos demonstrar um pouco mais. Sejam isomorsmo de corpos. podemos estender extenso de

dois corpos e seja

:F F

um

Recordemos que pelo exerccio 3, pgina 5, da Questo 4 das Notas IV

a um isomorsmo

: F [x] F [x]

(vamos usar o mesmo smbolo para a

F [x])

pondo simplesmente

(ao + a1 x + + an xn ) = (ao ) + (a1 )x + + (an )xn .

Teorema da Unicidade:
constante 1.

Sejam

F , F , , F [x],

F [x]

como acima.

Dado um polinmio no

f (x) F [x]

denotemos por

f = (f ) F [x]. f
irredutvel em

irredutvel em

F [x] f

se e somente se

F [x]. L
e

2. Vamos assumir que com

irredutvel e que existem extenses

de

, respectivamente,

tendo uma raiz

tendo uma raiz 14

L.

Ento existe uma nica extenso

de

F () F

tal que

1 () = .
tal que

Isto , existe, e nico, isomorsmo

1 : F () F ( )

cuja

restrio a

igual a

1 () = . f ef
, respectivamente (f qualquer). Ento existe isomorsmo

3. Sejam

K eK

corpos de razes de cuja restrio a

:KK

igual a

. f

Dizemos que

uma extenso de

Mais ainda, caso cada fator irredutvel de

tenha as razes distintas, ento existem exatamente

[K : F ]

extenses de

K.

Vericao:
como

O item (1) o exerccio 18 (a), pgina 14, da Questo 9 das Notas IV. No caso presente

isomorsmo podemos aplicar o mesmo exerccio em

para obter a equivalncia. Alm

disso a armao do item (1) de fcil vericao. J o item (2) o exerccio 18 (d), pgina 14, da mesma Questo 9 das Notas IV. Ou ento fazemos diretamente: seja que

: F [x] F ()

o homomorsmo dado por

(h(x)) = h().

Sabemos

sobrejetivo e

N () = (f ).

Correspondentemente seja

: F [x] F ( )

o homomorsmo

sobrejetivo com

N ( ) = (f ).

Observe que temos tambm homomorsmo

: F [x] F ( )

sobrejetivo e com das Notas IV,

N ( ) = (f ).

Denimos ento, como no exerccio 4, pgina 5, da Questo 4

1 : F () F ( ) 1

pondo simplesmente

1 ((h(x))) = (h(x)).

Como

tm o mesmo ncleo,

uma funo. Verica-se trivialmente que um homomorsmo. e que

Observe agora que particular

(h(x)) = h()

(h(x)) = h ( ),
Finalmente, como

onde e

h = (h).

Dessa forma, em

1 () = 1 ((x)) = (x) = .

so sobrejetoras, tambm 1
como descrito no

vai ser sobrejetora. Com isso demonstramos a existncia de um isomorsmo

item (2) no teorema. Observe agora que dois isomorsmos com a mesma restrio levar

e satisfazendo a condio de

em

sero necessariamente iguais. Com isso ca demonstrada a unicidade e terminamos a

vericao desse item. Finalmente chegamos ao item (3). Provaremos por induo sobre decompe em fatores lineares em

[K : F ].

Se

[K : F ] = 1, f

se e

F [x].

Logo tambm

se decompe em fatores lineares em

F [x]

K =F
Para

. Logo

= .
e

[K : F ] > 1, seja uma raiz de f F


e

p(x) um polinmio minimal de sobre F .


uma raiz de

Se

gr p(x) = 1,
K

isto , se

f = (x )g ,

ento

= () F
e

f = (x )g g
sobre

. Nesse caso

tambm um corpo de razes de trocar

sobre

um corpo de razes de

. Logo podemos

por

sem modicar o problema. Vamos ento assumir que 15

gr p(x) > 1.

Seja pois

p = (p).

Se

f = pg ,

com

g F [x] K

tambm

f =pg

em

F [x].

Logo

p f
.

tem raiz em

tem todas as suas razes em

e as razes de

esto entre as razes de

Seja

uma das razes de

p.

Usando o item anterior estendemos

a um isomorsmo 1 : F () f F ()[x]
sobre sobre

F ( ) F ()

com

1 () = .

Agora

[K : F ()] < [K : F ] K

um corpo de razes de

(conforme Questo 12). Igualmente

um corpo de razes de de

f F ( )[x]

F ( ). .

Pela hiptese de induo existe extenso

:KK

1 .

Claramente

uma extenso de Seja Seja

Para vermos a ltima parte modicamos um pouco o argumento anterior. irredutvel de

um fator

em

F [x].

Como vimos acima podemos supor que

gr p = m > 1.

p = (p)

F [x].
Como estamos supondo que cisamente

tem razes distintas, tambm

tem razes distintas.

Mais prede

tem

m =

gr p

razes distintas,

1 , . . . , m .

Fixando-se uma raiz de

p,

pelo

item (2) anterior, para cada uma das razes

i , i = 1, . . . , m, 1 , . . . , m

temos uma nica extenso

i : F () F ( )
distintos.

tal que

i () = i .

Como

so distintas, tambm

1 , . . . , m

so

Pela primeira parte desta demonstrao do item (3), cada uma das extenso

tem pelo menos uma

i : K K

Recorde em seguida que

um corpo de razes de

sobre

F ()

um corpo de razes de

sobre

F ( ).

Agora porm

[K : F ()] = [K : F ]/m < [K : F ], [K : F ()]


extenses a

logo pela hiptese de induo

cada um dos isomorsmos

tem

K.

Logo o nmero total de extenses

m[K : F ()] = [K : F ],

como armado.

Vejamos em seguida que no podemos ter mais do que

[K : F ]

extenses, isto , vejamos que as

extenses encontradas acima representam todas as possveis extenses. Seja

:K K

um isomorsmo tal que

|F = .

Mantemos a mesma raiz Portanto

de

xada

anteriormente. Temos ento que existe

0 = (p()) = p (()).

(())

uma raiz de

e ento

1im

tal que

i = ().

Vemos tambm que a restrio de

F ()

um isomorsmo

F () F ( )
no item (2),

que estende restrito a

e satisfaz a condio igual a

() = i .

Logo, pela unicidade estabelecida

F ()

e assim

uma das extenses contadas anteriormente.

Concluso, o nmero de extenses

[K : F ],

como queramos.

Observao.

Convm observar que o processo de induo descrito acima, pode ser visto como

um algortimo recursivo para construir todas as extenses de Vejamos qual a idia: sejam

K.
Num primeiro passo construmos

1 , . . . , m as razes distintas de p.
16

extenses

i : F (1 ) F (i ),

como descrito acima. um fator irredutvel de

Num segundo passo, seja as razes de e assim

q F (1 )[x]

p.

Como as razes de

esto entre

p, temos q(t ) = 0, para algum t.


Seja agora

Como no argumento anterior vamos supor que para um

gr q > 1
p
em

t = 1 .

qi = i (q) F (i )[x],

1 i m.
de

Teremos que

qi q

divide

F (i )[x] e assim qi
em

ter suas razes entre as razes

1 , . . . , m

p.

Observe que como

irredutvel uma raiz de

F (1 )[x],

tambm

qi

irredutvel em

F (i )[x]

e, em particular,

qi (i ) = 0.

Seja

js

qi .
Estendemos em seguida

a um nico isomorsmo

i,js : F (1 , t ) F (i , js )

com

i,js (t ) =

js ,

pelo item (2) do teorema.

Como no caso inicial, obtemos uma extenso de extenses desse tipo. Em seguida vemos que cada origem a

para cada raiz de

qi .

Isto ,

ter

gr qi

d origem a um

qi ,

todos com o mesmo grau, e cada um deles d

gr qi

extenses de

i . F
para

Temos assim um processo que vai subindo de cada etapa. Por exemplo para distintas

contando o nmero de extenses em

K = Q( 3 5, ) como no exemplo (b) de pgina 13, temos que id tem 3 extenses

3 3 3 3 3 3 1 = id : Q( 5) Q( 5), 2 : Q( 5) Q( 5), 3 : Q( 5) Q( 2 5), x3 5. Cada uma delas ter 2 extenses distintas para K . Observe que K = F ( 3 5), onde F = Q( 3 5). Neste caso temos s duas etapas para ir de Q K . Sejam ento as 3 extenses de 1 K : 1,1 = id e 1,2 caracterizada por 1,2 ( 5) = 2 3 5 (logo 1,2 () = 2 ). 3 As extenses de 2 so: 2,1 ( 5) = 2 3 5 (logo 2,1 () = ) e 2,2 ( 3 5) = 3 5 (logo 2,2 () =
uma para cada raiz de

1 = 2 ).
Analogamente construmos as extenses de de

3 levando

5 em cada uma das outras duas razes

x3 5.

Q( 4 2, 1) Q( 4 2, 1)

Questo 13.

Faa

uma

construo

semelhante

para

obter

todos

os

isomorsmos

de

correspondente ao exemplo (c) da pgina 13.

Corolrio:
sobre

Sejam

um corpo,

f F [x]

no constante, e sejam

dois corpos de razes de

F.

Ento exite isomorsmo

:KK

que deixa os elementos de 17

xos ponto a ponto.

Mais ainda, caso cada fator irredutvel de isomorsmos.

tenha razes distintas, ento temos

[K : F ]

desses

Vericao:
Dizer que

Basta aplicar o teorema anterior com

= id,

onde id a funo identidade de

F.

deixa os elementos de

xos ponto a ponto o mesmo que dizer que a restrio de

igual a id. Observe que podemos ver

como uma

F -transformao
com

linear de

em

Um outro ponto que convm destacar e que caso

f = pn1 pnm , 1 m

ni > 0

para todo

i =

1, . . . , m, seja a decomposio de f
e

em fatores irredutveis de

F [x] e tomarmos g = p1 pm , ento f

tem o mesmo conjunto de razes, embora com multiplicidades diferentes, e portanto pelo corolrio

da pgina 12 tem mesmo corpo de razes. A hiptese de que cada fator irredutvel de distintas. No teorema acima necessitarmos que cada fator irredutvel de com essa propriedade recebem um nome especial:

tem razes distintas signica que cada

pi

tem razes

f (x) tenha razes distintas.

Polinmios

Denio. Dizemos que um polinmio f (x) F [x] separvel se cada fator irredutvel de f (x)
tem razes distintas. Dizemos tambm que os fatores irredutveis de

f (x)

tem razes simples.

No momento pode no ser claro que um polinmio irredutvel possa ter alguma raiz com multiplicidade

> 1.

Depois do estudo sobre corpos nitos voltaremos a esse ponto.

Fecho Algbrico de um Corpo


Vamos agora denir fecho algbrico de um corpo e demonstrar que todo corpo tem um nico, a

menos de isomorsmo, fecho algbrico. Os argumentos que vamos usar so semelhantes aos usados na seo anterior.

Recordemos que um corpo stante

chamado de algebricamente fechado se todo polinmio no con-

f [x]

tem uma raiz em

Logo todos os irredutveis de

[x]

so polinmios de grau

1.
Recordemos tambm que uma extenso

de um corpo

chamada de algbrica se todo

18

for algbrico sobre

F,

i.e., existe polinmio no constante

f F [x]

tal que

f () = 0.

Denio. Seja F
Dizemos ento que

um corpo e um

uma extenso algbrica de F


de

tal que

algebricamente fechado.

fecho algbrico

F. F.
Seja

Questo 14.

Seja

um corpo e

um fecho algbrico de

F E

uma extenso

intermediria. Mostre que

tambm um fecho algbrico de

E.

Teorema:

Todo corpo

tem um fecho algbrico.

Vericao Construirmos inicialmente um corpo onde todos os polinmio no constantes de F [x]


tenham raiz. Fazemos isso generalizando o processo usado no no item (d) do exerccio 12 da pgina 11 das Notas IV. Para cada polinmio no constante

f F [x] vamos denir um smbolo Xf F [X ]

e tomamos

X = { Xf |

f F [x],

gr f 1 }.
X.

Seja agora o anel de polinmio

constitudo de todos os polinmios em

variveis de

Um elemento tpico de

F [X ]

tem a forma

af1 ,...,fn Xff1 Xffn , af1 ,...,fn F, n 1


f1 ,...,fn F [x]
que no nada bonita. Tomemos agora

o ideal de

F [X ] gerado por todos os elementos da forma f (Xf ), com f (x) F [x], I = F [X ].


Suponhamos o contrrio, para chegar a um absurdo. Logo tais que

no constante. Armamos que existem

f1 , . . . , fn F [x]

g1 , . . . , gn F [X ]

g1 f1 (Xf1 ) + + gn fn (Xfn ) = 1.
Seja agora

() i .
Observe que basta

um corpo onde

f1 , . . . , fn

tem uma raiz, que vamos chamar de para obtermos o corpo

tomarmos um corpo de razes de

h = f1 f2 fn g1 , . . . , gn

K.

Para todas as variveis tomamos

Xf

que aparecerem nos polinmios

que forem diferentes de

Xf1 , . . . , Xfn

f = 0.
vamos

Trocando-se agora todas as variveis que aparecem na equao obter

()

pelos correspondentes

0 = 1; m

a contradio procurada. Logo

um ideal prprio de

F [X ] e podemos tomar um ideal m


maximal,

maximal

de

F [X ]

contendo

I.

Seja

E = F [X ]/m,

o anel quociente. Como

um a

corpo. Seja

: F [X ] E

a projeo cannica. Como

I F = {0} E

temos que a restrio de

injetiva. Identicando que

F = (F ),

podemos considerar

como uma extenso de

F.

Observe agora (lembrar

(f (Xf )) = 0,

para todo

f F [x],

no constante. Logo 19

(Xf )

uma raiz de

f = (f )

que

F = (F )).

Tomamos agora

F1

o fecho algbrico de

em

como no item (iv) da denio, Mais

pgina 1, das Notas III. Logo todo ainda

f F [x] no constante tem raiz em F1 , pois tem raiz em E . F. F1


no lugar de

F1

uma extenso algbrica de

Em seguida repetimos essa construo com tal que todo

e obtemos uma extenso

F2

de

F1 F2

g F1 [x]

tem raiz em

F2

F2

uma extenso algbrica de

F1 .

Por transitividade

tambm uma extenso algbrica de

F.

Vamos repetindo esse processo e obtemos uma cadeia

F = Fo F1 F2 Fi Fi+1
Tomamos agora Vejamos que exite

j=0

Fj ,

que uma extenso algbrica de

F,

pois cada

Fi

algbrico sobre

F.

algebricamente fechado. De fato, se

g [x]

um polinmio no constante,

j0

tal que

g Fj [x].

Pela construo feita,

tem raiz em

Fj+1 .

A seguir queremos mostrar que o fecho algbrico nico, a menos de isomorsmo. Vamos demonstrar um pouco mais.

Teorema:
de

Seja

: F1 F2

um isomorsmo entre dois corpos

F1

F2 .

Seja

um fecho algbrico

Fi ,

para

i = 1, 2.

Ento existe um isomorsmo

: 1 2

que estende

. F
e

Vericao Seja E = { (E, E ) } tais que F1 E 1


homomorsmo (injetivo) que estende Como o par

uma extenso de

E : E 2

um

. E = .
Ordenemos agora

(F1 , ) E

temos que

da seguinte maneira:

(E, E )

(K, K )

se e somente se

EK

e a restrio de

igual a

E .

Verica-se trivialmente que

essa relao uma relao de ordem parcial em Seja agora

E. E
totalmente ordenado por essa

(Ei , i ) E , Eo =
se

para todo

i I

um subconjunto de

relao. Tomando-se

iI

Ei

teremos uma extenso de

contida em

1 .

Denimos

o : Eo

por

o () = i ()
Como

Ei .

Verica-se facilmente que para todo

um homomorsmo e portanto

(Eo , o ) E .
elementos de Seja

(Ei , i ) (Eo , o ),

iI

conclumos que toda cadeia ascendente de

tem um extremo superior. Logo, pelo Lema de Zorn, um elemento maximal. Vamos mostrar que

contm elementos maximais. e que

(K, K ) E

K = 1

tem

como

imagem. Vamos denotar por

a imagem de

por

dentro de

2 .

Logo

K : K K

um isomorsmo

de corpos. Vemos tambm que de

uma extenso algbrica de

. Na verdade um fecho algbrico

. 20

Suponhamos, por absurdo, que existe algbrico sobre

com

K.

Como

algbrico sobre

tambm

K.

Seja

g(x) K[x] g

um polinmio minimal de

e seja

sua imagem atravs de

em

K [x].

Temos que

tambm irredutvel. Tomemos

uma raiz de

em

2 .

Pelo item (2)

do Teorema da Unicidade, pgina 14, Mas ento o para

estende-se a um isomorsmo

1 : K() K ( ) 2 .

(K(), 1 ) est em E (K, K ).


Logo

e como

(K, K ) < (K(), 1 ) obtemos uma contradio com K = Im K = 2 . .


tal

a maximalidade de

K = 1 ,

como queramos. Vejamos agora que

Novamente supomos que existe Temos que que

2
Com

com

. Seja

h K [x] K

um polinmio minimal de

gr h > 1, pois K .
ho

h(x)

est na imagem de

existe polinmio

ho 1 [x]

(ho ) = h (Estamos usando a notao introduzida na pgina 14 antes do Teorema da Unicidade.). h


irredutvel, tambm irredutvel, item (1) do Teorema de Unicidade. Mas isso uma

Como

contradio com

ser algebricamente fechado, pois

ho

irredutvel e tem grau

> 1.

Portanto

K = 2 ,

como queramos e

= K

o isomorsmo procurado.

Corolrio:

Sejam

dois fechos algbricos de um corpo

F.

Ento

2 .

Vericao Basta aplicarmos o teorema acima com F1 = F2 = F e = id.

Corpos Finitos
Iniciamos por recordar o exerccio 19, pgina 14, da Questo 9 das Notas IV. Se

um corpo

nito, ento Notas IV) e onde

c(K) = p = 0 (c(K) a caracterstica de K , ver exerccio 10, pgina 2, da Questo 1 das [K : Fp ]


nito. Logo

tem

pn

elementos. Isto , todo corpo nito tem

pn

elementos,

a caracterstica do corpo. Vejamos nosso primeiro resultado.

Proposio:
1. Todo

Seja

um corpo nito com


n

pn

elementos.

raiz do polinmio

xp x F[x]

o corpo de razes desse polinmio sobre

F.
2. Se

for outro corpo nito com

pn

elementos, ento existe um isomorsmo

:KK

cuja

restrio a

Fp

a identidade (Dizemos que

um

Fp -isomorsmo).
Para

3. O grupo multiplicativo temos que

cclico com ordem

pn 1.

um gerador desse grupo

K = Fp ().
21

4. Seja

: K K K

a funo dada por tal que

() = p ,

para todo

K. r = id.

Ento

um

Fp -

automorsmo de

n = id

e para todo

1r<n

temos

Na verdade, dado

temos que

() =

se e somente se

Fp .

Vericao:
x
pn

(1) Seja

K.

Podemos assumir que

= 0,

pois

claramente raiz do polinmio

x.

Logo

que um grupo de ordem


n 1

pn 1.

Pelo Corolrio 2 da pgina 6, temos que


n 1

p
Logo

= 1,
n

ou equivalentemente

1 = 0.

raiz do polinmio

xp x. pn
elementos e todos so razes do polinmio

Finalmente, como conclumos que

tem

xp x

que tem grau

pn ,

consiste no conjunto de todas as razes desse polinmio. Logo

s pode ser o

corpo de razes desse polinmio sobre

Fp .
elementos o corpo de razes de

(2) Pelo item (1) todo corpo com tambm assumindo que

pn

xp x

sobre

Fp .

Estamos

Fp

est contido em todo corpo de caracterstica

p.

Basta ento aplicarmos o

corolrio da pgina anterior para terminarmos a demonstrao deste item.

(3) Vamos agora usar que a decomposio de

um grupo abeliano de ordem

pn 1

Seja

pn 1 = pn1 pnt t 1

pn 1

em fatores irredutveis de

Z.

Pela Questo 11 da pgina 12 temos que

mostrar que cada componente

G(pi )

de

cclica. Pelo comentrio nal do Teorema da DecomPara simplicar a notao vamos escrever e

posio Cannica, pgina 10, sabemos que simplesmente que

|G(pi )| = pni . i

G(p) com ordem pr , onde p qualquer um dos pi

o correspondente

ni , e demonstrar

G(p)

cclico.

Tomemos de

G(p) de forma que || = ps G(p) ps .


s

seja o maior valor assumido pelas ordens dos elementos para algum

G(p).

Ento se

teremos

= ps() ,

s() s.

Logo, para todo Isto , todo

G(p),

temos que

||

divide

Consequentemente Resulta disso que

s = 1, G(p)

para todo

G(p). ps

G(p)

raiz do polinmio temos que

xp 1.

tem no mximo

elementos. Como

|G(p)| = pr

rs || = ps ,
pelo Corolrio 2 da pgina 6,

Por outro lado, como

ps | pr = |G(p)|.
Logo

Logo

s r.

Juntando as duas desigualdades temos

s=r

e assim

|| = |G(p)|.

G(p) =< >

um grupo

cclico. Isto , cada uma das componentes Seja agora

G(pi )

cclica e tambm

cclico.

tal que

K =< >.

Claramente 22

F () = K .

(4) Aqui tambm vamos demonstrar um resultado preparatrio.

Lema:

Sejam

pZ p.

um irredutvel e

1 s p 1.

Ento o coeciente binomial

p s

p! s!(p s)!

divisvel por

Vericao:

Como sabemos que

p s
um nmero inteiro, necessariamente de nmeros menores do que o primo

p(p 1) (p s + 1) , s!
Mas

s! divide o produto p(p1) (ps+1).


Logo

s! um produto s! divide

s.

s! e p so relativamente primos em Z.

Portanto

(p 1) (p s + 1)

em

Z.

Assim,

(p 1) (p s + 1) s!
conforme armado.

um nmero inteiro, e

(p 1) (p s + 1) s!

um mltiplo de

p,

Voltemos a demonstrao do item (4). Claramente sejam

(1) = 1

() = ()(),

quaisquer que

, K .

Vejamos que

( + ) = () + (),

ou equivalentemente que

( + )p = p + p .

Pela frmula do Binmio de Newton sabemos que

( + )p = p +

p p1 p p2 2 p + + + p1 + p . 1 2 p1

p para 1 s p 1. Como K tem caracterstica s p p isso signica que para todo 1 s p 1, = 0. Logo ( + )p = p + p , como queramos. s Vemos assim que um homomorsmo de anis. Como K um corpo, injetivo. Finalmente,
Pelo lema acima

divide todos os coecientes

como

nito a injetividade implica que

sobrejetivo.

Logo

um isomorsmo, como armado. xp x.


Portanto,

Por outro lado, sabemos que para

Fp K
j

exatamente o conjunto das razes de

K,

temos

p =

se e somente se

Fp .

Ou ento,

() =

se e somento se

Fp .

Observe em seguida que

j () = p

, para todo

j 0.

Pelo item (1) podemos ento concluir que

n = id

e para todo

1 r < n, r = id,

completando a demonstrao do teorema.

Observao.
automorsmo.
Frobenius.

(a) Um isomorsmo

: K K

de um corpo

nele mesmo chamado de

O automorsmo

do item (4) do teorema acima chamado de automorsmo de

23

(b) Dado um corpo cuja restrio a

que uma extenso de um corpo

F,

um automorsmo de

K, : K K,

a identidade chamado de

F -automorsmo de K .

O conjunto de todos os

F -automorsmo de K G(K; F ).
exemplo

um grupo em relao a composio de funes. Denotaremos esse grupo por

Convm observar que

G(K; F ),

em geral, no abeliano e com frequncia trivial. Por

3 G(Q( 2); Q) = { id }. De fato, dado G(Q( 3 2); Q), temos que ( 3 2)3 = ( 3 2 ) = (2) = 2. Portanto ( 3 2) uma das razes de x3 x. Como ( 3 2) Q(( 3 2)) R, vemos que ( 3 2) a nica raiz de x3 2 em Q(( 3 2)). Logo ( 3 2) = 3 2. Finalmente como a restrio de
a

a identidade, vamos obter que

= id. F.
O grupo

Denio.

Seja

uma extenso algbrica de um corpo

G(K; F )

chamado de

grupo de Galois da extenso.

Recorde que denimos que um polinmio no constante os seus fatores irredutveis em

f F [x]

como sendo separvel se todos

F [x]

tiverem razes simples (Ver pgina 18, no m da Seo 3).

Denio. Seja K o corpo de razes de um polinmio no constante e separvel com coecientes


em um corpo

F.

Nessas condies

chamado de uma extenso galoisiana de

F.

Questo 15. Seja d Z um inteiro livre de quadrados.


um

Q-automorsmo

de

Q( d).

Mostre que a funo

(a+b d) = ab d

Verique em seguida que

G(Q( d); Q) = { id, }.

Questo 16.
morsmo de

Mostre que o nico automorsmo de

a identidade. Igualmente o nico auto-

Fp

a identidade. Logo, para todo corpo

temos que um automorsmo

de K

restrito

ao seu corpo primo a identidade.

Questo 17.

Sejam

uma extenso de um corpo

G(K; F ).

Seja tambm

f (x) F [x]

um polinmio no constante que tem uma raiz

K.

Mostre que

() tambm uma raiz de f (x).

Questo 18.
corpo de razes de Observe que

Dado um polinmio no constante com razes distintas

f (x) F [x],

seja

um

f (x)

sobre

F.

Usando o corolrio da pgina 17 mostre que

|G(K; F )| = [K : F ].

uma extenso galoisiana de

F.

24

Questo 19.
G(K; F )
tem

Seja

uma extenso galoisiana de um corpo

F.

Conforme a questo anterior pondo para cada

[K : F ]

elementos. Denimos agora norma

N :KF

K
(2)

N () =
G(K;F )
Mostre que

()

N : K F

um homomorsmo de grupos. Mostre tambm que ImN contm

(F )[K:F ] .

Questo 20.
G(K : Fp )

Seja

um corpo nito com

pn

elementos. Mostre que

G(K : Fp )

Z/nZ.

Isto ,

cclico de ordem

(mostre que o automorsmo de Frobenius gera

G(K : Fp )).

Questo 21.
(e) da pgina 13.

Determine

G(K; Q)

onde

o corpo de razes dado nos exemplos (a), (b), (c) e

Voltaremos aos corpos nitos depois de termos desenvolvido a Teoria de Galois, como o que car muito simples continuar o estudo. Antes porm vamos apresentar um resultado com argumentos

elementares para mais tarde vermos o quanto ganhamos em usar a Teoria de Galois.

Teorema:
1. Se

Seja

um corpo nito com

c(K) = p (caracterstica de K ) e n = [K : Fp ]. m = [E : Fp ]
divide

Temos ento:

Fp E K

um corpo intermedirio, ento

n Fp Em K
com

2. Para todo divisor positivo

de

existe (e nico) corpo intermedirio

m = [Em : Fp ].
3. Sejam

dois divisores positivos de

Em , Ed

respectivamente, os corpos intermedirios

correspondentes. Ento

m|d

se e somente se

Em Ed .

Vericao.

(1) vale em geral para toda extenso intermediria:

[K : Fp ] = [K : E][E : Fp ]. s
e

Vejamos agora (2). Para isso vamos usar a seguinte identidade polinomial: sejam positivos, ento

dois inteiros

xst 1 = (xs 1)(x(s1)t + x(s2)t + + xt + 1).


Para um divisor positivo com

(3)

de

temos

n = mt.

Substituindo-se

por

na identidade acima, um

st = n

s = m,

obtemos

pn 1 = (pm 1)
25

, onde

= p(m1)t + p(m2)t + + pt + 1

inteiro positivo. Usamos novamente a identidade (3) com


n 1

st = pn 1
m 1

s = pm 1

obtemos que

xp
em

1 1

divide

xp

1 xp
n 1

Fp [x].

Logo todas as razes de

xp

m 1

esto entre as razes de

1.

Pelo item (1) da

Proposio da pgina 21, sabemos que Tiramos desse fato duas informaes:

exatamente o conjunto de todas as razes de

xp

n 1

1.

(a) todas as razes de razes distintas;

xp

n 1

so distintas. Consequentemente tambm

xp

m 1

tem

pm 1

(b) Todas as razes de

xp

m 1

esto em

K. 1 } { 0 }.
m

Seja agora

E ={

todas as razes de

xp

m 1

Vemos que

consiste no conjunto de

todos os elementos de

que so razes da equao

xp x.

J vimos que dados


m m

, K
m

vale

( + )p = p + p .
disso que dados
m

Recursivamente vericamos que tambm vale teremos


m m

( + )p = p + p

. Resulta

, E ,

+ K.
m

Por outro lado


m m m m

()p = p p p + p = (p ) p + ( p ) = 0,
e assim

E .

Concluso

um subcorpo de

com

pm

elementos. Logo

[E : Fp ] = m,

como

queramos. (3) Se

Em Ed ,

ento

d = [Ed : Fp ] = [Ed : Em ][Em : Fp ]


m 1

m | d.

Reciprocamente, se

m|d 1 }

obtemos como acima que est contido em

xp

1 divide xp xp
d 1

d 1

1 e portanto Em = {
Logo

todas as razes de como armado.

xp

m 1

todas as razes de

1 } = Ed .

Em Ed ,

Em nosso estudo sobre corpo nitos ainda falta demonstrarmos que para todo com
n

existe um corpo

pn

elementos.

Ainda no podemos fazer isso porque no podemos garantir que o polinmio

xp x Fp [x]

sempre tem razes distintas. Precisamos ento estabelecer um critrio para vericar

que um dado polinmio tem razes distintas e ento demonstrar a existncia de corpos com elementos, para todo

pn

n 1.

26