Aulas V Mm445

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. G.
Tomemos o grupo quociente
Como
abelianos
G/ 
pois
que tem ordem e
|G|/n
(lembrar que primos.
| | = |u|).
Temos agora que
divide
|G/ |,
so relativamente
Temos tambm que
|G/ | < |G|. h G
Logo, pela hiptese de induo
G/ 
tem
elemento de ordem
p.
Isto , existe
tal que
|h+ | = p.
Como
|h|h = 0
temos que
|h|(h+ ) = 0 (= 0+ ) em G/ .

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
(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
sobre
F ()
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
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
. 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

Aulas V Mm445

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Aulas V Mm445

Încărcat de

Drepturi de autor:

Formate disponibile

Corpos Finitos

Breve resumo sobre grupos

Denio. Seja G um conjunto com uma operao binria G G G,

(ii) quaisquer que sejam

(iii) qualquer que seja

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

1 de que fala o axioma

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

do axioma (iii) chamado de

no abeliano vamos denotar o elemento neutro por

multiplicativa para a operao de

abeliano denotamos o elemento neutro por

notao aditiva para a operao de

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

n elementos nele mesmo.

Mais precisamente, seja

com a operao de composio de funes. Sabemos que

um grupo que tem identidade de

elementos e chamado de grupo

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

Outro exemplo importante o conjunto GLn (K) minante

conjunto das matrizes

que tem deter-

ou equivalentemente, conjunto das matrizes

que tem inversa. A operao aqui

a matriz identidade. Como multiplicar matrizes associativo, e cada

No caso nito denimos:

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

ao nmero de elementos do conjunto

Dado um grupo resulta

chamado de subgrupo se: (i) Isto ,

tem o elemento neutro

e fechado para a operao de

e fechado para inversos (x

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

Esse grupo chamado so potncia de

por um nico elemento, todos os elementos de

cclico, pois todos os seus elementos so mltiplos de

Vamos tornar isso mais

Denio. Dado um grupo G seja g G.

(i) Para toda todo

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

que chamamos de sugbrupo

(em relao a adio) tem

como geradores. Para cada

geral, vrios geradores. De fato, escrever que

Por outro lado para cada

que seja relativamente primo com

so relativamente primos, sabemos que existem Dessa forma

tais que que

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

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

o nico gerador do grupo.

Denio. Seja G um grupo e g G.

Denimos tambm que a ordem de

(Ateno: cada um do  1 tem um signicado

Notao: |g| = ordem de g.

No caso abelianos temos

A ordem de um elemento bastante especial.

e no h nada para demonstrar. Tomemos

Pelo Algortimo de Euclides (em

0 < r < |g|.

um elemento com ordem nita.

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

No caso nito denimos:

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

Esse grupo chamado so potncia de

cclico, pois todos os seus elementos so mltiplos de

Denio. Dado um grupo G seja g G.

Denio. Seja G um grupo e g G.

Denimos tambm que a ordem de

(Ateno: cada um do 1 tem um signicado

um elemento com ordem nita.

tem que ser nito com exatamente

um subgrupo. Vamos denir uma relao entre os elementos de

pela prpria denio de

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

nova relao de equivalncia. Dena agora

uma funo sobrejetora. Veriquemos que injetora:

Multiplicando-se essa igualdade pela esquerda por

de elementos, conforme armado.

nito, tambm o conjunto de classes laterais a direita de

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

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

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

um homomorsmo de grupos. Ento

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

Mostre que existe um nico homomorsmo

N () N (), basta denir

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

Denio. Seja G um grupo e H

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

um homomorsmo sobrejetivo de grupos que tem

ncleo. Esse homomorsmo

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

seja nito de ordem