Escolar Documentos
Profissional Documentos
Cultura Documentos
Algebra
Algebra
Um Guia de Estudo
4
a
Edi c ao
Marco Aurelio Palumbo Cabral
mcabral@labma.ufrj.br
Laborat orio de Matem atica Aplicada - Dep. 05
Instituto de Matem atica - U.F.R.J.
Caixa Postal 68530 - CEP 21945 - Rio de Janeiro - RJ
SUM
ARIO:
I Pref acio
II Introdu c ao
III Fun c ao
IV Rela c ao de Equivalencia
V Anel, Domnio, Corpo, Polin omio
VI T opicos em Aneis
VII Domnios Euclidianos
VIII Irredutibilidade em Polin omios
IX Extens oes Algebricas
X Introdu c ao ` a Teoria de Galois
XI Apendices
XII Bibliograa
I Prefacio
Gostaria de dedicar esta monograa ao Prof. Felipe Acker,
meu orientador de inicia c ao cientca, que foi o principal mo-
tivo de meu entusiasmo pela Matem atica. Embora tenha feito
este trabalho sem sua orienta c ao assumindo pessoalmente
o risco de qualquer trope co sua inuencia se faz presente
no modo como o material est a apresentado.
Alem disto gostaria de agradecer aos meus colegas Victor
Giraldo e Maria Darci Godinho, sem os quais me teria fal-
tado motiva c ao para encerrar o presente. Agrade co tambem
a turma da qual fui monitor pelas d uvidas e sugest oes. Gosta-
ria de agradecer a F atima Lins pela leitura atenta e corre c ao
de diversos erros da 3
a
edi c ao. Para esta 4
a
edi c ao foi mo-
dicado o layout, inclumos novos exerccios e melhoramos a
reda c ao de forma geral.
Gostaria, por m, de agradecer o Laborat orio de Ma-
tem atica Aplicada, o Instituto de Matem atica e ao CNPq,
pelo suporte nanceiro.
Rio de Janeiro, Maio/1991
II Introdu cao
Esta monograa foi feita com base na minha experiencia
como monitor da disciplina
ALGEBRA II oferecida aos alunos
do ciclo b asico de Matem atica do IM UFRJ.
Logo percebi a grande diculdade dos alunos compreende-
rem os conceitos principais: Classes de Equivalencia, Anel
Quociente, Teorema do Homomorsmo, Automorsmos de
Corpos, etc.
Se em determinados momentos posso n ao ser inteiramente
formal, deixando este trabalho para livros de consulta, pro-
curo dar aqui a maneira como os conceitos s ao pensados e
utilizados em linguagem coloquial. Procuro fazer analogias
com
Algebra Linear, que tem forte apelo intuitivo.
Como referencias principais o livro Introdu c ao ` a
Algebra
de Adilson Gon calves que contem muitos exerccios, alguns
dos quais retirei explicitamente com a devida men c ao ao longo
do texto e
Algebra: Um curso de Introdu c ao, de Arnaldo
Garcia e Ives Lequain. Outro livro excelente e A First Course
in Abstract Algebra (John B. Fraleigh).
III Fun cao
1) Introdu cao
Admitiremos conhecida a teoria elementar de conjuntos,
ou seja, as deni c oes de pertinencia, contido, etc. e a no c ao
intuitiva de fun c ao: Uma f : A B e uma coisa que
associa a todo elemento do conjunto A, o domnio da fun c ao,
um unico elemento do conjunto B, o contradomnio.
2) Deni c oes
Deni cao: DOM
AVEL
Aquele que podemos estabelecer uma bije c ao com N.
Exerccio: Tente estabelecer uma bije c ao de N em Z, N em
Q e N em R, e da conclua quem e innito enumer avel, quem
n ao e.
IV Rela cao de Equivalencia
Antes de vermos a deni c ao formal gostaria de passar a
ideia intuitiva que est a por tr as deste conceito. A met afora
que utilizaremos ser a a de uma prato, representando um con-
junto, onde seus elementos s ao os atomos que o constituem.
Joguemos este prato no ch ao para quebr a-lo ! Ele se partir a
e teremos cacos de diversos tamanhos no ch ao.
Pensemos agora neste novo conjunto, onde cada elemento
e um caco (ao inves de um atomo). Denotaremos por C este
conjunto dos cacos do prato, e por P o conjunto de atomos do
prato. A ideia importante e ver que o conjunto P foi partido,
formando um novo conjunto C, onde os elementos s ao cacos.
PSfrag replacements
A
B
f : A
f : A/I
Im(f)
P C
A/
Agora temos que para quaisquer atomos a, b e c pertencen-
tes ao prato P:
(i) Cada atomo pertence a um caco.
(ii) Se a pertence a um mesmo caco que b ent ao b pertence
ao mesmo caco que a.
(iii) Se a pertence ao mesmo caco que b, b pertence ao
mesmo caco que c, ent ao a pertence ao mesmo caco que c.
Agora come caremos a denir os termos tecnicos associados
a estas ideias intuitivas. Uma rela c ao e uma propriedade que
dois elementos de um conjunto podem ter entre si. No caso
em estudo a propriedade e pertencer ao mesmo caco. Deno-
taremos a b para dizer que o atomo a pertence ao mesmo
caco que o atomo b.
Obs: Pode-se denir formalmente rela c ao com pares orde-
nados: Uma rela c ao num conjunto A ser a um subconjunto de
A A (le-se A cartesiano A). Esta deni c ao informal, neste
caso, nos basta.
Deni cao: RELAC
AO de EQUIVAL
ENCIA Seja a A, a =
b A; a b ser a a classe de equivalencia de a A.
Deni cao: CONJUNTO QUOCIENTE
E o conjunto das
classes de equivalencia de um conjunto, denotando-se A/=
x; x A (Le-se A dividido pela rela c ao de equivalencia ).
Obs1: Na nossa analogia, o conjunto quociente de P (o
prato) e o conjunto C, onde cada elemento e um caco, ou
seja, P/= C.
Obs2: O conjunto A e A/ n ao est a contido um no outro,
nem vice-versa. Isto tem que car bem claro: Os elementos
s ao distintos, como se dado um conjunto de bananas e outros
de laranjas fosse perguntado quem est a contido em quem !
Observe a gura abaixo.
PSfrag replacements
A
B
f : A
f : A/I
Im(f)
P
C
A/
2
Obs3: Poderia denir o que e uma parti c ao de um conjunto
e mostrar que toda rela c ao de equivalencia determina uma
parti c ao e vice-versa. Uma parti c ao seria separar um conjunto
em subconjuntos com intersec c ao vazia e com uni ao dando o
conjunto todo.
Exemplo: Fra c oes e Q. Seja F = a/b; a, b Z, b ,= 0
o conjunto das fra c oes. Exemplos de elementos de F s ao:
2/3, 7/4, 10/5, 3/2 . . .
Come caremos notando que 10/5 e 2/1 s ao elementos dis-
tintos de F representando o mesmo elemento de Q, 10/5 =
2/1 = 2 Q. Dado um elemento de F podemos corresponder
um unico elemento de Q de maneira obvia, no entanto um ele-
mento de Q possui innitas representa c oes em F. Exemplo:
0.5 = 1/2 = 2/4 = 3/6 = . . .
Queremos que estes elementos de F sejam considerados
equivalentes. De fato denimos a seguinte rela c ao de equi-
valencia em F (verique !): a/b c/d se, e somente se
ad = bc (em Z). Desta forma podemos fazer F/ iso-
morfo a Q (ver apendice 5). Exemplos de elementos de F/:
7/3, 14/6, 21/9, . . ., 2/3, 4/6, 6/9, . . .
Resumindo: Dado um conjunto A e uma rela c ao de equi-
valencia , esta quebra o conjunto A determinando um
novo conjunto A/ , cujos elementos s ao classes de equi-
valencia.
Exerccios:
1) Mostre que e rela c ao de equivalencia:
a) x, y A qualquer, x y se, e somente se f(x) = f(y)
b) x, y Z, dado um n Z, x y se, e somente se xy
e m ultiplo de n denotado por x
n
y (x e c ongruo m odulo
n a y).
2) Fazer exerccios 8 e 9, p ag.13 do [GON].
3) Considere a rela c ao de equivalencia do exerccio 1 letra
b. Determine para n = 2 a classe de equivalencia de zero
e um. Fa ca o mesmo para n = 6.
4) Considere uma fun c ao f : A B sobrejetiva, e a se-
guinte rela c ao de equivalencia em A, x y se, e somente
se f(x) = f(y). Dena uma nova g : A/ B da se-
guinte forma: g( a) = f(a). Verique que por constru c ao
g e injetiva, e portanto bijetiva.
5) Dena em R
2
a seguinte rela c ao de equivalencia: (x, y)
(a, b) se, e somente se x = a.
a) Prove que e uma rela c ao de equivalencia.
b) Calcule a classe de equivalencia de (1, 0).
c) Descreva o espa co quociente R
2
/ .
6) Considere a rela c ao emZ: a b se, e somente se [a[ = [b[.
a) Mostre que e de equivalencia.
b) Determine as classes.
c) Descreva Z/.
7) Considere em NN a rela c ao (a, b) (a, d) se, e somente
se a +d = b +c.
a) Mostre que e de equivalencia.
b) Dena a soma e produto como:
(a, b) +
(c, d) = (a c +b d, a d +b c)
Mostre que o quociente (NN)/ e isomorfo ao domnio
Z com as opera c oes acima.
V Anel, Domnio, Corpo, Polin omio
Come caremos falando sobre as semelhan cas e diferen cas en-
tre anel, domnio, corpo.
Estas estruturas algebricas consistem de um conjunto A
munido de duas opera c oes que respeitam algumas proprieda-
des. S ao estas propriedades que distinguir ao uma estrutura
da outra. Os conjuntos n ao precisam ser n umeros, podendo
ser matrizes, polin omios, fun c oes etc., contanto que as duas
opera c oes denidas nos mesmos respeitem as propriedades.
Por analogia com os inteiros normalmente uma opera c ao e
chamada de soma outra produto, mas n ao deixe que isto o
induza a pensar na soma e produto de n umeros exclusi-
vamente, embora sirva de referencia concreta. Eventualmente
a soma pode ser uma rota c ao no espa co etc.
As estruturas foram criadas porque se demonstrarmos um
teorema para aneis automaticamente tudo que for anel ter a
esta propriedade, n ao sendo necess ario redemonstrar caso a
caso.
Exemplo: Veremos que a existencia de MDC e fatora c ao
nos inteiros e nos polin omios decorrem destes serem Domnios
Euclidianos (mais tarde veremos o que e isto), e n ao de qual-
quer outra caracterstica peculiar.
Formalmente temos (A, +, ) uma estrutura algebrica, onde
+ e s ao opera c oes bin arias em A, ou seja, associam a
cada dois elementos de A um outro:
+ : AA A
: AA A
Para que um conjunto vire um Anel, Domnio ou Corpo,
devemos denir as duas opera c oes de forma adequada e a
seguir demonstrar que de fato todas as propriedades valem.
Deni cao: ANEL Procure todas as propriedades em qual-
quer livro de
Algebra, e lembre-se que e uma estrutura onde
a soma e bem comportada (tem neutro, inverso, associativa,
e comutativa) e a multiplica c ao somente e associativa. Temos
tambem a unica propriedade que relaciona ambas: a distri-
butividade. Um anel comutativo e uma anel onde a multi-
plica c ao e comutativa. Um anel com identidade e um anel
que possui o elemento neutro (o 1) da multiplica c ao.
Deni cao: DOM
INIO DE INTEGRIDADE
E anel comu-
tativo, com identidade e (fato mais importante !) sem divi-
sores de zero, que quer dizer que se a b = 0 ent ao a = 0 ou
b = 0.
Deni cao: CORPO
E anel comutativo com identidade e
que possui inverso multiplicativo, ou seja, a K, a ,= 0,
a
1
K; a a
1
= 1.
Como exemplos destes objetos temos em primeiro lugar os
conjuntos numericos. N n ao e sequer anel, pois n ao possui
elemento inverso para adi c ao. Z e um anel comutativo, na
realidade mais do que isto, e um domnio de integridade, pois
n ao possui divisores de zero. Q, R, e C s ao exemplos de aneis,
domnios e corpos. Deve estar claro que todo corpo e domnio
de integridade e todo domnio e anel.
3
Como outro exemplo de anel temos o conjunto das matrizes
quadradas com soma e produto usuais. N ao e domnio pois
possui divisores de zero (verique !).
Exerccios:
1) Prove que num anel a lei do corte (a b = a c implica
que b = c) e equivalente a n ao existencia de divisores de
zero.
2) Prove que num anel comutativo com unidade a existencia
de inverso multiplicativo implica na n ao existencia de
divisores de zero. Conclua que todo corpo e domnio de
integridade.
3) Seja D um Domnio de Integridade. Prove que as unicas
solu c oes de x
2
= x s ao x = 0 ou x = 1.
4) Fa ca, do livro [GON], p ag.40, os exerccios
7,8,9,10,14,15,16,18.
Deni cao: POLIN
0,
1 o polin omio em Z
2
[x] f(x) =
1x
2
+
1x n ao e nulo, porem como fun c ao polinomial, f(x) e
sempre zero (verique !).
Agora que denimos o conjunto A[x], resta denir a soma
e o produto de dois elementos deste conjunto, ou seja, dois
polin omios. Leia a deni c ao em qualquer livro de
Algebra, e
preste aten c ao que a soma e o produto de polin omios e de-
nida atraves da soma e produto no anel A. Desta forma e
imediato vericar que (A[x], +
) e anel (+
em con-
traste com + e do anel A). Leia tambem a deni c ao de
grau de um polin omio, denotado por grau(f(x)).
Exerccios:
1) Mostre que as matrizes reais da forma
a b
0 0
relati-
vamente a soma e produto usual de matrizes forma um
anel. Este anel n ao possui unidade ` a direita, no entanto
possui uma innidade de unidades ` a esquerda da forma:
1 t
0 0
0,
1,
2
Pelo resumo ca imediato quem e o novo conjunto. Resta
denir novas opera c oes neste, opera c oes estas induzidas pelas
opera c oes no anel A.
Deniremos a,
b A/I, a +
b = a +b. Ou seja para so-
mar duas classes de equivalencia tomamos dois representantes
quaisquer em A/I destas classes, somamos em A, e tomamos
a classe da soma. A deni c ao para o produto e inteiramente
an aloga.
Exerccios:
1) Verique se as opera c oes est ao bem denidas, isto e, to-
mando qualquer representante o resultado e o mesmo.
Voce tem que vericar se tomando a =
b, e c =
d implica
que a +
b = c +
d (an alogo para o produto).
2) Verique que no anel quociente A/I a classe de a A e
a mesma do zero se, e somente se a I; ou seja, a =
0
se, e somente se a I. Quando passamos o quociente os
elementos do ideal viram o zero do anel quociente.
Agora que temos o conjunto A/I, duas opera c oes bem de-
nidas, resta vericar se satisfaz as propriedades de anel. N ao
farei a verica c ao, porem, pela forma como denimos a soma
e o produto, esta e imediata, decorrendo do fato de A ser
anel.
Finalmente podemos armar que dado um anel A qualquer
e um ideal I A podemos construir (A/I, +
), chamado
anel quociente de A por I.
Obs1: Uma analogia possvel e que dado um espa co vetorial
V , T : V V linear, ker(T) e um subespa co vetorial e po-
demos denir de forma an aloga V/ ker(T) um espa co vetorial
quociente.
Obs2: Nota c oes:
3Z = 3a; a Z = , 6, 3, 0, 3, 6, = Ideal
gerado por 3.
Z/3Z = Z
3
=
0,
1,
3,
3
2,
3
9,
21,
5
16 e
30.
3) Generalize o exerccio anterior provando que dado um
p N primo e n > 1 s ao irracionais:
n
p e
n
p
m
(com
0 < m < n).
4) Generalize o exerccio anterior provando que dados p
i
N primos distintos entre si s ao irracionais:
n
p
1
p
2
p
k
(n > 1) e
n
p
a1
1
p
a2
2
p
a
k
k
(se a
k
mod n ,= 0 para pelo
menos um k).
5) Lembra-se da prova dos nove ?
E o seguinte: voce faz
uma soma de a + b = c, n umeros inteiros grandes, e
quer vericar se o resultado est a correto. Some todos
os algarismos de a e b com resto m odulo 9 (em Z
9
) e
verique se a soma de todos os algarismos de c d a o
mesmo resultado. Para checar o produto some todos
os algarismos de a com resto mod 9 e multiplique pela
soma mod 9 de b. O resultado mod 9 tem que ser a soma
dos algarismos de c mod 9. Prove porque funciona. Por
exemplo:
1759 1 + 7 + 5 + 9 = 22
9
4
+3877 3 + 8 + 7 + 7 = 25
9
+7
5636 5 + 6 + 3 + 6 = 20
9
11
9
2
1329 1 + 3 + 2 + 9 = 15
9
6
88 8 + 8 = 16
9
7
116952 1 + 1 + 6 + 9 + 5 + 2 = 24
9
42
9
6
6) Sejam a
1
, a
2
, . . . , a
n
, n n umeros naturais diferentes de
zero. Prove que e possvel escolher um subconjunto des-
tes n umeros de modo que a soma deles seja divisvel por
n. Dica: Utilizando a barra para denotar congruencia
m odulo n, denote b
1
= a
1
, b
2
= a
1
+a
2
, b
k
=
k
i=1
a
i
.
Mostre que b
i
= b
j
para i ,= j implica na existencia de
subseq uencia de n umeros naturais com soma divisvel por
zero. Caso todos b
i
s sejam distintos mostre que existir ao
n classes e que uma delas ter a que ser zero.
5
7) Aprendemos no colegio alguns criterios de divisibilidade.
Gostaria de aplicar a teoria aprendida sobre os Z
n
para se
demonstrar a validade dos criterios. Vou enunci a-los e o
exerccio consiste em demonstrar a validade. Em todos os
enunciados utilizo a nota c ao a =
N
i=0
a
i
10
i
, 0 a
i
9.
Ex: 125 = 5 10 + 2 10 + 1 10. Nesta nota c ao a
0
e o
ultimo dgito.
a) Div 2: Se a
0
e par (ou a
0
mod 2 = 0).
b) Div 3: Se
i
a
i
mod 3 = 0.
c) Div 4: Se o n umero formado pelos dois ultimos dgitos
(a
1
a
0
) for divisvel por 4.
e) Div 5: Se termina em zero ou cinco.
c) Div 8: Se o n umero formado pelos tres ultimos dgitos
(a
2
a
1
a
0
) for divisvel por 8.
d) Div 9: Se
i
a
i
mod 9 = 0.
e) Div 10: Se termina em zero.
f) Div 11: Se a soma a
0
a
1
+a
2
a
3
=
i
(1)
i
a
i
mod
11 = 0.
8) Existe um criterio simples para divisibilidade por 7 ?
Porque ? E para 16 ?
4) Homomorsmo e Isomorsmo
Estes conceitos s ao muito importantes, na realidade tendo
um papel fundamental na Matem atica. Literalmente ISO-
MORFISMO quer dizer aquele que tem ou apresenta a
mesma forma.
Come caremos com uma analogia para entender o que e ho-
momorsmo. Suponha que temos um conjunto de ovelhas
(chamaremos de O) e o conjunto N dos n umeros naturais.
Agora denimos a opera c ao de agrupamento no conjunto O
como a jun c ao de um conjunto de ovelhas com o outro.
Agora vericamos que somar em N e uma opera c ao f acil
de ser realizada. Por outro lado ir para uma fazenda e ten-
tar reunir um conjunto de ovelhas com outro (mesmo com a
ajuda de um c ao pastor !) e uma tarefa bastante penosa, que
alem do esfor co fsico toma bastante tempo. Na pr atica di aria
fazemos o seguinte:
(i) Identicamos uma ovelha com o n umero 1.
(ii) Identicamos duas ovelhas com o n umero 2, e assim
sucessivamente . . .
(iii) Quando queremos agrupar ovelhas transformamos em
n umeros, somamos em N, e retornamos para o conjunto de
ovelhas sem ter que sair do lugar !
Exemplo: Uma outra analogia para homomorsmo. Temos
um conjunto de bananas e outro de ma cas. Suponha que sa-
bemos somar bananas mas n ao sabemos somar ma c as. Agora
nos pedem para fazer uma conta em ma c as. Caso tivessemos
uma f relacionando um conjunto ao outro que preservasse as
opera c oes levaramos as ma c as para o conjunto de bananas,
faramos as contas l a, e devolveramos em ma c as a resposta.
Formalizando, um homomorsmo entre aneis e uma fun c ao
f : A B, que preserva a soma e o produto. Quero dizer
que somar dois elementos em A e levar para B e o mesmo que
levar os elementos de A para B e somar em B. O mesmo deve
ocorrer com o produto (observe a gura abaixo). Deve car
claro que a soma e o produto de A s ao diferentes da soma e
produto em B.
Deni cao: HOMOMORFISMO Dados (A, +, ),
(B, +
f(b).
&%
'$
&%
'$
a
-
f(a)
b
-
f(b)
a+b
-
f(a+b) = f(a)+
f(b)
f : A B
-
Obs: Para mostrar que f e um homomorsmo basta mostrar
que f respeita a soma/produto como acima, f n ao precisa ser
injetiva nem sobrejetiva.
Exemplo1: f : Z Z
n
dado por f(x) = x mod n = x
Exemplo2: A, B aneis quaisquer, f : A B, f(x) =
0, x A.
Exerccios:
1) Sejam A, B aneis. f : A B um homomorsmo.
Prove que:
a) ker f = a A; f(a) = 0 e um ideal.
b) Imf = f(a); a A e subanel de B.
c) f e injetiva se, e somente se ker f = 0
2) Sejam A e A
aneis, f : A A
homomorsmo. Prove
que:
a) f(0) = 0
b) f(a) = f(a); a A.
3) Seja f : A B um homomorsmo de aneis, I = ker(f).
Prove que f(x) = f(y) se, e somente se x y I. Por-
tanto e a mesma coisa denir x y de qualquer uma das
duas formas anteriores.
4) Seja K um corpo. Mostre que todo ideal de K e trivial,
ou seja, ou e 0 ou o pr oprio K.
Obs: Deve car clara a analogia com
Algebra linear, onde o
n ucleo de uma transforma c ao linear e sempre um subespa co
vetorial, e a T.L. e injetiva se, e s o se, o n ucleo = (0) (vide
Exerccio 1 acima).
Deni cao: ISOMORFISMO
E um homomorsmo bijetivo,
ou seja, uma fun c ao f que seja homomorsmo, f uma bije c ao,
signica dizer que f e um isomorsmo.
Exerccio: Mostre que se f e homomorsmo, f : A B e
bijetiva, f
1
e homomorsmo f
1
: B A.
Pelo exerccio anterior, quando temos um isomorsmo te-
mos um homomorsmo de A em B, e de B em A. Para per-
ceber a import ancia podemos voltar ao exemplo das ovelhas e
de N. Na realidade temos um isomorsmo. Toda vez que nos
derem um problema em ovelhas transformamos em n umeros,
fazemos as contas, e devolvemos a resposta em ovelhas.
De modo geral, supondo que seja mais f acil operar num con-
junto do que em um outro, tendo um isomorsmo entre eles
podemos pela f (ou f
1
) trazer o problema para o conjunto
f acil, operar, e devolver a resposta onde quiser.
Exemplo: A opera c ao de soma em R, e produto em R
.
Somar e muito mais f acil do que multiplicar, e temos de fato
uma f : R R
2) = ab
2. f e
automorsmo ?
4) Fa ca [GON] p ag. 59, ex. 10.
5) Teorema do Homomorsmo
Antes de enunciar este teorema vamos fazer um roteiro do
que desejamos fazer. Come cando com um homomorsmo f :
A B queremos chegar a um isomorsmo.
I) A fun c ao f deve tornar-se bijetiva
a) Caso f n ao seja sobrejetiva, fa camos o processo que en-
sinamos acima, ou seja, restringir o contradomnio ` a imagem,
transformando em f : A Im(f).
PSfrag replacements
A
B f : A f : A
f : A/I
Im(f)
P
C
A/
b) Caso f n ao seja injetiva fa ca o processo de torn a-la in-
jetiva denindo o novo conjunto de classe de equivalencia de
A, onde x, y A, x y se, e somente se f(x) = f(y) (ou
se, e somente se x y ker(f)). Chamando ker(f) = I;
f :
A/I B ser a injetiva, onde A/I e o anel quociente de A.
PSfrag replacements
A
B B f : A
f : A/I
Im(f)
P
C
A/
II) Agora que
f e sobrejetiva, temos que vericar se e ho-
momorsmo do anel A/I em Im(f).
III) Finalmente, A/I e Im(f) s ao aneis,
f e homomorsmo
bijetivo, e portanto um isomorsmo.
Teorema Dados A, B aneis, f : A B homomorsmo, I =
ker(f), ent ao A/I e isomorfo a Im(f), ou seja, A/I Im(f).
Dem.: Est a acima.
Obs: Para este teorema ser melhor entendido faremos no-
vamente uma analogia com algebra linear. Seja T : V V
uma transforma c ao linear. Temos que ker(T) e subespa co
vetorial. Podemos denir, conforme j a dissemos, o espa co
vetorial quociente V/ ker(T). Tambem temos que V/ ker(T)
e isomorfo a Im(T). Para que dois espa cos vetoriais se-
jam isomorfos eles tem que possuir a mesma dimens ao. Te-
mos portanto que dim(V/ ker(T)) = dim(Im(T)). Pelo te-
orema do n ucleo-imagem (
di-
vidir a d, o que podemos entender em Z como [d
[ < [d[, ou
seja, ele e o maior entre os divisores.
Com d satisfazendo i) e ii) justica-se que se diga que ele e
o MDC (maior divisor comum). Necessitaremos da linguagem
de ideais para demonstrar que ele (d) sempre existe em um
domnio euclidiano.
Teorema (Existencia do MDC) Seja D um domnio euclidi-
ano, I = a
1
D +a
2
D + +a
n
D. Teremos que:
i) d D, I = (d) = dD.
ii) d[a
i
; i 1, . . . , n
iii) Caso d
D; d
[a
i
; i 1, . . . , n; d
[d.
iv) r
1
, r
2
, . . . , r
n
D; d = a
1
r
1
+ +a
n
r
n
Dem.:
i) J a foi provado que todo ideal I D pode ser gerado por
um d D.
8
ii) Para cada i, a
i
D I = (d) implica que d[a
i
. Observe
que quando somamos os ideais obtemos mais do que a simples
uni ao dos conjuntos.
iii) Como d
[a
i
; a
i
D d
D, ou, I = (d) = dD d
D implica que
d
[d.
iv) Pela deni c ao de soma de ideais isto e imediato.
Obs1: Se 1 = ab+cd em Z ent ao MDC(a, c) = MDC(b, d) =
MDC(a, d) = MDC(b, c) = 1. Isto e verdade pois tomando
I = aZ + cZ, b, d Z, ab + cd = 1. Logo 1 I e portando
I = Z = (1). Logo MDC(a, c) = 1. Os outros casos s ao
an alogos.
Obs2: Isto n ao e verdade para qualquer elemento de Z.
4 = ab + cd n ao implica que MDC(a, c) = 4. Exemplo: 4 =
8 1 + 2 (2) e MDC(8, 2) = 2, e n ao 4.
5) Ideais Maximais e Primos
Em primeiro lugar vamos ver o que s ao elementos primos
ou irredutveis. Para isto precisamos de algumas deni c oes:
Deni cao: INVERT
IVEL OU PRIMO Um a D 0
e irredutvel quando:
(i) a n ao e invertvel
(ii) a s o possui fatora c ao trivial, i.e., a = b c implica que
b ou c e invertvel.
Exemplo: Em Z os irredutveis s ao os n umeros primos. Em
K[x], f(x) = x +c, e sempre irredutvel.
Em K[x] os irredutveis s ao um problema de modo geral
bastante difcil de se determinar. Teremos uma se c ao inteira
somente para determinar criterios de irredutibilidade de um
polin omio.
Veremos mais adiante que x
2
+1 e irredutvel em R[x]. No
entanto ele e redutvel em C[x] pois x
2
+ 1 = (x i)(x + i),
uma fatora c ao n ao trivial.
Obs1: Embora exista uma distin c ao entre irredutveis e pri-
mos, aqui trataremos os conceitos como se fossem o mesmo,
pois em domnios fatoriais (veja 6 abaixo) eles coincidem.
Para maiores detalhes, consultar o [GAR], p ag.28.
Obs2: Neste contexto de Primo = Irredutvel, vale que p
um primo (ou irredutvel), p[ab implica que p[a ou p[b.
Agora que sabemos o que e um elemento irredutvel prova-
remos um teorema que diz que todo ideal maximal e gerado
por um elemento irredutvel. Assim, todos os ideais maximais
de Z s ao os gerados por n umeros primos.
Teorema Considere I = (p) D, com D um domnio eucli-
diano e p D. S ao equivalentes:
i) I e um ideal maximal.
ii) p e um elemento irredutvel (ou primo) de D.
Dem.: (i = ii)
Seja I = pD. Temos que mostrar que p e irredutvel (ou
primo). p n ao e invertvel, pois sen ao teramos I = pD = D.
Agora caso possamos escrever p = a b, teramos que:
I = pD aD D. Como I e maximal, temos duas
possibilidades.
aD = D =a e invertvel
aD = pD =a e p diferem por um invertvel, ou seja, b
e invertvel.
(ii = i)
Seja um ideal J, I J D. Temos que J e gerado por
algum elemento de D, J = (a). Temos portanto que (p)
(a) D. Pela inclus ao de ideais, temos que a[p, ou, p =
a b, b D. Como p e irredutvel(ou primo), a e invertvel
ou b e invertvel. Temos portanto dois casos:
a e invertvel =aD = D
b e invertvel =pD = (a b)D = a (bD) = aD.
Exerccio: Como generaliza c ao de uma observa c ao feita an-
teriormente seja p um primo em Z com p = ab + cd. Prove
que MDC(a, c) = p ou MDC(a, c) = 1. Dica: I = aZ + cZ,
verique que pZ I Z. Como pZ e maximal, I = Z ou
I = pZ).
6) Domnio Fatorial
Um domnio fatorial e um domnio de integridade no qual
todo elemento n ao invertvel se escreve como um produto -
nito de irredutveis ou primos. A menos de ordena c ao e mul-
tiplica c ao por invertveis, a fatora c ao e unica.
Exemplo: Em Z todo elemento pode ser fatorado como um
produto de primos. Quando se fala que a fatora c ao e a menos
de invertveis e porque 6 = 2 3 = (2) (3). No caso
de polin omios R[x] os invertveis s ao as constantes c K.
x
2
1 = (x + 1)(x 1) = (5x 5)(x/5 1/5). A tambem
a fatora c ao e unica, a menos de multiplica c ao por invertveis
(neste caso o n umero 5 !).
Teorema Se D um domnio euclidiano ent ao D e um domnio
fatorial.
Dem.: A demonstra c ao e um pouco longa, sendo mais impor-
tante conhecer e saber aplicar este teorema. Para os leitores
interessados, consultar [GAR], p ag. 29.
Obs: Poderamos provar tambem que Z[x], embora n ao
sendo domnio euclidiano, e domnio fatorial. Para tal ver
[GAR], p ag.35.
9
VIII Irredutibilidade em Polin omios
1) Introdu cao
Nesta se c ao aprenderemos algumas condi c oes para se de-
terminar a irredutibilidade de um polin omio. Veremos dois
criterios (o Lema de Gauss e o do corpo nito) que transferem
o estudo de irredutibilidade no corpo Q para o domnio Z ou
para o corpo nito Z
p
. Temos ainda o de Eiseinstein e o das
razes.
Obs: Ao contr ario do que zemos no captulo anterior, aqui
trabalharemos comZ e Qdiretamente, no entanto os teoremas
e lemas abaixo funcionam igualmente para um domnio (ao
inves de Z) e seu corpo de fra c oes (ao inves de Q). A respeito
de corpo de fra c oes de um domnio ver apendice 4.
Dado um domnio, podemos classicar seus elementos n ao-
nulos como:
(i) Invertvel: Elemento u D, u
1
D, u u
1
= 1.
(ii) Irredutvel ou Primo: Elementos que s o possuem fa-
tora c ao trivial, isto e, a = b c, b ou c e invertvel.
(iii) Fator avel: Elemento que possui fatora c ao n ao trivial,
i.e., a = b c, b e c n ao invertveis.
Obs1: Um elemento n ao pode ser duas coisas ao mesmo
tempo.
Obs2: Se todo elemento n ao-nulo do domnio e invertvel
ent ao o domnio e um corpo.
Exemplo1: Em Z os invertveis s ao: 1, 1. Em Q, R e C
todos os elementos ,= 0 s ao invertveis.
Exemplo2: Nos polin omios, todo polin omio de grau > 0 e
n ao invertvel (porque ?).
Exemplo3: Em Z[x] os invertveis s ao 1, 1 Em K[x]
os invertveis s ao os polin omios constantes diferentes de zero,
i.e., f(x) = k, k K(,= 0). (Para Q, R, C, Z
p
)
Exemplo4: f(x) = 6x+3 em Z[x] e fator avel como f(x) =
3(2x + 1), onde os fatores s ao elementos n ao invertveis. No
entanto, em Q[x], R[x], C[x] este polin omio e irredutvel (s o
possui fatora c ao trivial).
2) Razes
Lema Todo polin omio de grau 1 em K[x] e irredutvel.
Dem.: Para um polin omio de grau 1 a unica fatora c ao
possvel e um polin omio de grau 0 e outro de grau 1. No
entanto, todo polin omio de grau 0 em K[x] e invertvel, e
portanto esta fatora c ao ser a sempre trivial.
Lema Considere f(x) K[x] e c K. f(c) = 0 se, e somente
se f(x) = g(x)(x c).
Dem.: Exerccio.
Corolario Se grau(f(x)) > 1 e existe c K com f(c) = 0
ent ao f(x) n ao e irredutvel, ou seja, e fator avel.
Obs: A recproca n ao e verdadeira, pois x
4
+ 2x
2
+ 1 =
(x
2
+1)(x
2
+1) n ao possui raz em R, mas pode ser fatorado
em polin omios de grau 2. No entanto temos o
Lema Todo polin omio em K[x] de grau 2 ou 3 que n ao possui
raz em K e irredutvel.
Dem.: Para tal teramos que f(x) = g(x)(x c), onde g(x)
teria grau 1 ou 2.
E impossvel pois neste caso c seria raz.
Obs: Este fato e importante porque num corpo nito (Z
p
, p
primo por exemplo) podemos testar todos os elementos.
Exemplo1:
1X
2
+
3X +
4 em Z
5
[x]. Temos que testar
0, . . . ,
4.
Caso n ao seja raz implica que e irredutvel. Caso tenha
raz implica que e fator avel. Caso o grau do polin omio fosse
3 a conclus ao seria a mesma.
Exemplo2:
2X
4
+
1X
2
+
3X +
2 em Z
7
[x]. Caso tenha
raz implica que e fator avel. Caso n ao tenha raz implica que
NADA PODEMOS AFIRMAR (com o uso deste criterio !).
Este e o caso para polin omios de grau igual ou maior que 4.
Exerccios:
1) Considere f(x) R[x]. Se C uma raz ent ao seu
conjugado
tambem e raz, ou seja, = a + bi,
=
abi, f() = f(
f(x) Z
p
[x] tomando a classe de cada coeciente de f(x).
Ent ao se p n ao divide a
n
e
f(x) e irredutvel sobre Z
p
ent ao
f(x) e irredutvel sobre Q.
Dem.: Veja [GON] p ag.85
5) Criterio de Eiseinstein
Consultar [GON] p ag.83.
6) Resumo dos Irredutveis
C[x] Somente os polin omios de grau 1, (x c), c C.
R[x] Os polin omios de grau 1 e os de grau 2 que possuam
razes complexas.
Q[x], Z
p
[x] Os polin omios de grau 1, e para graus mai-
ores temos que utilizar outros criterios, como o da raz, o de
Eiseinstein etc.
Z[x] Os polin omios constantes primos (f(x) = 7, f(x) =
11), os polin omios de grau 1 que n ao possuam um fator cons-
tante que possa ser retirado para fatorar (f(x) = 9x 3 =
10
3(3x 1)). Para outros polin omios temos que utilizar os
criterios anteriormente citados.
Exerccios:
1) Prove que se f(x) K[x], K corpo, a K, f(a) = 0 se,
e somente se f(x) = q(x)(x a), q(x) K[x].
2) Fa ca os seguintes exerccios do [GON]:
a) p ag.69: 1, 4, 5, 6, 8, 11, 12, 16, 21, 22.
b) p ag.74: 2, 3, 9, 10.
c) p ag.78: 2, 6, 7.
d) p ag.81: 5, 6, 7, 8, 10.
3) Seja um domnio D, f(x), g(x) ,= 0 D[x].
a) Mostre que grau(f(x)*g(x)) = grau(f(x)) + grau(g(x))
b) De um exemplo em A[x], onde A e anel em que isto
n ao seja verdade.
4) Prove que o anel (Z[x], +, ) n ao e um domnio de ideais
principais (Dica: Tente ver o ideal gerado por x e por 2).
5) Mostre que R[x, y] n ao e domnio principal (Dica: Con-
sidere o ideal gerado por x e y).
6) Mostre que f(x) = x
4
+x
3
+x
2
+x +1 n ao e irredutvel
em R[x].
7) Considere f(x) =
1x
3
+
1x
2
+
1. Mostre que f(x) e
irredutvel em Z
2
[x]. Investigue em Z
3
[x] e Z
5
[x].
8) Seja p um primo e f(x) Z
p
[x] irredutvel de grau n.
Mostre que Z
p
[x]/f(x) e corpo com p
n
elementos.
IX Extens oes Algebricas
1) Introdu cao
Nosso objetivo aqui ser a gerar a partir de um corpo K, um
corpo maior K
2 +
3 e algebrico de grau 4.
Exemplo4: e e s ao transcendentes em Q, n ao s ao
razes de nenhum polin omio em Q[x]. No entanto, em R[x]
eles s ao algebricos: Tome f(x) = x, f(x) = xe. A prova
da transcendencia de e e exige metodos analticos. Aos
interessados remeto a livros de c alculo e an alise.
Exerccios:
1) Determine o grau de:
a)
4
1 +
2
b)
2 +
8
c) raz de f(x) = x
8
4x
4
+ 4
d) i + 1
e) i
2
2) Demonstre que e n umero racional se, e somente se
a expans ao decimal de apresenta dzima peri odica.
Exemplo: 1, 217423 (23 repete). Entenda como dzima
peri odica o 0 se repetindo, 2, 5 = 2, 5000000 . . . Dica:
Para volta utilize o algoritmo para expressar um n umero
com dzima peri odica como fra c ao. Para ida mostre que
o resto repete ap os k divis oes, o que implicar a que tere-
mos k dgitos repetindo-se indenidamente. ([BIR] p ag.
97).
11
3) Construa um n umero irracional diferente de e e.
Dica: Construa um n umero com dzima aperi odica.
4) Utilize 2) para demonstrar que Q e denso em R, ou seja,
dado um a R Q (irracional) > 0 q Q, [a q[ <
. Em outras palavras, todo n umero irracional pode ser
aproximado por um racional t ao perto quanto se queira.
Dica: Trunque a expans ao decimal de a e comece uma
dzima peri odica. Fa ca isto na casa decimal n tal que
10
n
< .
5) Demonstre que todo n umero racional pode ser aproxi-
mado por um irracional t ao perto quanto se queira. Dica:
Utilize 2) e 3).
4) Dimensao
Nosso objetivo ser a calcular a dimens ao de uma extens ao
algebrica qualquer atraves de dois teoremas que daremos a
seguir. Para tal utilizaremos conceitos da algebra linear como
bases e dimens ao de espa cos. Em caso de d uvida consulte
qualquer livro de algebra linear.
Deni cao: [V : K] Signica a dimens ao do espa co vetorial
V sobre o corpo dos escalares K.
Teorema Seja u algebrico sobre K e grau de irr(u, K) = n.
Ent ao K[u] alem de corpo e um espa co vetorial sobre K com
base 1, u, u
2
, . . . , u
n1
, portanto de dimens ao n = [K[u] : K].
Dem.: Ver [GON] p ag.90 e 98.
Corolario K[u] ter a dimens ao nita se, e somente se e
algebrico sobre K. Similarmente, K[u] ter a dimens ao in-
nita se, e somente se u e transcendente.
Obs: Considere L = Q[
2,
3
2, . . . ,
n
2, . . .].
E uma ex-
tens ao algebrica de dimens ao innita. Toda extens ao de di-
mens ao nita e algebrica, mas extens oes de dimens ao innita
podem ser algebricas ou transcendentes. Este exemplo n ao
contradiz o corol ario pois n ao existe u L, L = Q[u] e u raz
de polin omio em Q[x].
Teorema Sejam M L K corpos tais [M : L] e [L : K]
s ao nitos. Ent ao [M : K] = [M : L] [L : K].
Dem.: Ver [GON] p ag.99.
Com o primeiro teorema aprendemos a calcular a dimens ao
de uma extens ao em que se acrescenta somente um elemento,
bastando saber o grau do irr(u, K). Com o segundo teorema
aprendemos a calcular a dimens ao no caso em que acrescen-
tamos mais de um elemento, bastando fazer um processo in-
dutivo.
Exemplo1: O grau de Q[
4
2] e 4, pois irr(
4
2, Q) = x
4
2,
um polin omio de grau 4.
Exemplo2: O grau de Q[
4
2, i] e 8, pois irr(i, Q[
4
2]) =
x
2
+ 1, sendo portanto o grau nal o produto dos graus do
primeiro vezes o grau do segundo, 4 2 = 8.
5) Automorsmos
Nosso objetivo aqui e caracterizar todos os automorsmo
de extens oes algebricas de Q e determinar o seu n umero.
Lema Seja K um corpo e Aut(K). Ent ao A = x
K; (x) = x e subcorpo de K (os elementos mantidos xos
pelo automorsmo).
Dem.: Exerccio.
Exerccio: Mostre que os elementos de um corpo K mantidos
xos por todos automorsmos de K formam um subcorpo.
Dica: A intersec c ao de corpos e ainda um corpo.
Deni cao: CORPO PRIMO Dado um corpo L, P e seu
corpo primo caso ele seja o menor subcorpo de L. P ser a
igual a intersec c ao de todos subcorpos de L.
Obs: O corpo primo de qualquer extens ao de Q e o pr oprio
Q. Deste modo o corpo primo de R, C, Q[
2] etc e Q.
Teorema Seja L um corpo e P L seu corpo primo. Ent ao
Aut(L), a P, (a) = a.
Dem.: Seja Aut(L). Dena A como os elementos manti-
dos xos pelo automorsmo . Pelo lema anterior, A e corpo.
Como P e o subcorpo primo (a intersec c ao de todos os sub-
corpos de L) P A, portanto a P, (a) = a.
Deni cao: Aut
K
L Conjunto dos automorsmos de L que
mantem xo todos os elementos de K.
Obs1: Este conjunto forma um grupo com a opera c ao de
composi c ao de fun c oes (prove !), o chamado grupo de auto-
morsmos de L que mantem xo os elementos de K.
Obs2: Como para toda extens ao L Q, o corpo primo de
L e Q, Aut
Q
L = Aut L.
Exerccios:
1) Seja f(x) Q[x], L = Gal(f, Q), raz de f(x) e
Aut L. Ent ao () e raz de f(x).
2) No exerccio anterior mostre que caso f(x) seja irre-
dutvel em Q[x] ent ao Q[] Q[()]. Dica: Utilize
o primeiro teorema desta se c ao, que diz que K[]
K[x]/I.
Teorema Todo automorsmo de Q[u] e da forma: (a+bu) =
a +bv, a, b Q, irr(u, Q) = irr(v, Q).
Dem.: (a +bu) = (a) +(b)(u) = a +b(u). Como u e
raz de irr(u, Q), (u) = v tambem e raz de irr(u, Q), ou seja,
irr(u, Q) = irr(v, Q). Obs: Sabemos que automorsmo,
a Q; (a) = a.
Portanto os automorsmos de corpos levam raz em raz,
mais do que isto, a unica maneira de termos automorsmos
emQ[u] e levando u nas outras razes de irr(u, Q). O detalhe e
que nem sempre as outras razes pertencem a Q[u], conforme
veremos abaixo.
Exemplo1: Os automorsmos de Q[
2]. irr(
2, Q) =
x
2
2 = irr(
2 em
2 em
2, ou seja,
[Aut Q[
2][ = 2.
Exemplo2: Os automorsmos de Q[
4
3]. irr(
4
3, Q) =
x
4
3. Temos quatro razes:
4
3,
4
3, i
4
3, i
4
3. No
entanto, somente as duas primeiras razes pertencem a Q[
4
3],
e portanto [Aut Q[
4
3][ = 2.
Exemplo3: Os automorsmo de Q[
4
3, Q) = x
4
3, irr(i, Q[
4
3]) = x
2
+ 1. As quatro razes
de x
4
3 pertencem ao corpo, bem como as duas razes i e
i. Portanto temos quatro op c oes para
4
3 e duas para i, o
que d a: [Aut Q[
4
3, i][ = 4 2 = 8.
12
Daremos agora a receita de bolo para se encontrar o
n umero de automorsmos de extens oes L de Q:
1. Escrever L = Q[u
1
, u
2
, . . . , u
n
].
2. Denotando K
0
= Q, K
1
= Q[u
1
], K
2
=
Q[u
1
, u
2
],. . . , K
n
= L, considere f
1
(x) = irr(u
1
, K
0
), f
2
(x) =
irr(u
2
, K
1
),. . . , f
n
(x) = irr(u
n
, K
n1
).
3. Para cada f
n
(x) considere o n umero de razes distintas
que pertencem ao corpo L.
4. [Aut L[ e o produto do n umero de razes distintas (per-
tencentes ao corpo L) de cada f
n
(x) .
Obs: Deve-se evitar redund ancias na representa c ao de L =
Q[u
1
, u
2
, . . . , u
n
], de modo que que na forma mnima. Por
exemplo, Q[
2, i, i
2] = Q[
2, i].
Teorema [Aut L[ = [L : Q[ se, e somente se L e uma extens ao
galoisiana.
Dem.: Ver [GON].
Obs: Pelo teorema anterior o n umero de automorsmos e
igual ao grau da extens ao se, e s o se a extens ao e galoisiana.
De modo geral o n umero de automorsmo e menor ou igual
ao grau da extens ao.
X Introdu cao `a Teoria de Galois
A aplica c ao mais comum desta teoria e para se vericar a
solubilidade por meio de radicais de razes de polin omios, isto
e, a existencia de f ormulas envolvendo opera c oes aritmeticas
b asicas (soma, subtra c ao, multiplica c ao e divis ao) e radi-
cia c oes (razes quadradas, c ubicas etc.) para determinar
razes de polin omios. Podemos demonstrar que existem po-
lin omios de grau maior ou igual a 5 para os quais n ao existe
uma express ao radical fechada para calcular suas razes.
O conceito mais importante a ser entendido inicialmente
e como um corpo pode gerar um grupo e como um grupo
pode gerar um corpo. N os vimos na parte de extens oes como
um corpo K L gera o grupo dos automorsmos de L que
mantem xo K, ou seja, Aut
K
L. Dado um corpo inter-
medi ario M, K M L podemos gerar o grupo Aut
M
L,
que ser a um subgrupo de Aut
K
L. Ele ser a um subgrupo pois
aumentando o n umero de elementos a serem mantidos xos
diminuem o n umero de automorsmos.
Similarmente dado um subgrupo G de Aut
K
L temos o
corpo xo deste grupo, ou seja, o corpo
M = u L; (u) = u G, que estar a entre K e L
(K M L).
No caso da teoria de Galois devemos considerar um corpo K
e uma extens ao algebrica galoisiana L , ou seja, L = Gal(f, K)
para algum f(x) K[x]. Agora queremos encontrar corpos
intermedi arios M tais que L M K.
Teorema (Teorema fundamental de Galois) A cada subcorpo
de L que seja uma extens ao galoisiana de K corresponde um
subgrupo normal de Aut
K
L. Similarmente a cada subgrupo
normal corresponde uma extens ao galoisiana.
Dem.: Ver [FRA].
Deni cao: GRUPO SOL
= D D
, onde D
= D 0. K
ser a
formado por pares ordenados (a, b), onde a D e b D
. No
entanto vamos denotar (a, b) por a/b.
Agora dena a seguinte rela c ao de equivalencia em K
:
(a/b) (c/d) se, e somente se a d = b c (foi passado
como exerccio vericar que e rela c ao de equivalencia !).
Finalmente K = K
.
Exemplo: Em Z Z
, com
x
1
= x
2
e y
1
= y
2
, vericar se x
1
+
y
1
= x
2
+
y
2
(mesmo
para o produto). N ao procederemos com esta verica c ao, mas
o leitor poder a recorrer a [GAR], p ag.38.
Obs: Quando falamos que x
1
= x
2
queremos dizer que to-
mamos dois representantes da mesma classe de equivalencia,
ou seja, x
1
= a/b, x
2
= c/d, com a d = b c. Em Z po-
deramos tomar x
1
= 9/6 e x
2
= 18/12.
Teramos que vericar agora se (K, +
) e de fato um
corpo, quem e o zero, o elemento neutro da multiplica c ao,
etc. Alem disto teramos que colocar D dentro de K. Todo
este trabalho ca por conta do leitor, que em caso de d uvida
poder a recorrer ` a referencia supra citada.
5) Constru cao dos Conjuntos Numericos
5.1) Constru cao de N
N ao procederemos a esta constru c ao b asica, que consiste
em axiomatizar os inteiros N com os axiomas de Peano. Des-
tes decorrem todas as propriedades de N. Para tal consulte
[HAL] p ag. 46.
O mais importante na constru c ao de Peano e a fun c ao su-
cessor, que a cada elemento de N associa o pr oximo. Seria
como somar mais um.
Dene-se a soma por indu c ao com a fun c ao sucessor, e o
produto atraves da soma. Dene-se tambem uma rela c ao de
ordem.
5.2) Constru cao de Z
Dada a existencia de N podemos construir Z do seguinte
modo:
1. Dena o conjunto Z
= N N.
2. Dena em Z
/.
4. Dena em Z a soma e o produto atraves da soma e
produto em N:
14
(a, b) +
(c, d) = (ac +b d, b
c +a d)
5. Verique se as opera c oes est ao bem denidas.
6. Veja que agora todo elemento ter a inverso aditivo.
7. Teremos todas as propriedades necess arias: Comutati-
vidade, associatividade, distributividade etc.
8. Desta forma Z ser a um domnio de integridade.
5.3) Constru cao de Q
Foi feita no apendice anterior, atraves do corpo de fra c oes
do domnio Z.
5.4) Constru cao de R
Para esta constru c ao necessitaremos de algo mais do que
conceitos puramente algebricos. A passagem de Q para R
necessita de conceitos analticos.
A diferen ca destes corpos ser a que R e um corpo completo,
ou seja, toda seq uencia de Cauchy converge. Na realidade a
unica raz ao para uma seq uencia de Cauchy n ao convergir e a
existencia de um buraco no espa co.
Obs: Uma seq uencia de Cauchy e uma seq uencia em que os
termos sucessivos est ao cada vez mais pr oximos. Para uma
deni c ao precisa veja [LIM] p ag.98.
Exemplo: A seq uencia (1, 1.4, 1.41, 1.414, . . .) e seq uencia
de Cauchy convergindo para
/.
4. Denimos a soma e o produto em R como o limite da
soma dos termos da seq uencia em Q, ou seja, (a
n
) +
(b
n
) =
(a
n
+b
n
), analogamente para o produto.
5. Agora resta vericar se estas opera c oes est ao bem de-
nidas, se temos de fato um corpo etc. Poderemos tambem
denir uma rela c ao de ordem em R a partir da rela c ao de
ordem em Q, que por sua vez e denida a partir da rela c ao
de ordem de N.
Obs1: Podemos axiomatizar R atraves da propriedade do
supremo, ou seja, que todo conjunto limitado de R possui
supremo.
Obs2: Outra maneira cl assica de construir R e atraves de
cortes de Dedekind.
5.5) Constru cao de C
Esta constru c ao j a deve ter sido feita como um exerccio.
Ela envolve somente conceitos algebricos. No entanto a ca-
racteriza c ao principal de C, o fato de ser um corpo algebri-
camente fechado, conforme j a foi visto, envolve conceitos n ao
algebricos.
1. Dividir o domnio R[x] de polin omios pelo ideal maximal
gerado pelo polin omio irredutvel x
2
+ 1, ou seja, o conjunto
C ser a R[x]/I, onde I = (x
2
+ 1)R[x].
2. Dene-se as opera c oes de soma e produto da forma usual,
sendo que neste caso e impossvel denir-se uma rela c ao de
ordem como nos anteriores.
Obs: Outra maneira de denir C e denir no conjunto de
pares ordenados (a, b) R R as opera c oes de soma e pro-
duto destes pares de forma apropriada. Depois introduzir a
nota c ao a +bi.
6) Outros Corpos
Seguindo o caminho de obter C a partir de R, um corpo
de dimens ao 2 sobre R, podemos ser tentados a obter corpos
que contenham R, porem de dimens ao maior que 2. Pode-
mos provar que isto e impossvel para dimens ao 3 (ver [FEL]
p ag.3).
Hamilton conseguiu, em 1843, uma generaliza c ao dos
n umeros complexos: Os Quaternios. Eles s ao um corpo de
dimens ao 4 sobre os reais onde a multiplica c ao n ao e comu-
tativa.
Logo ap os Hamilton, Cayley obteve, n ao exigindo comu-
tatividade nem associatividade, os Bi-Quaternios, corpo de
dimens ao 8 sobre os Reais.
Ainda houveram muitas tentativas frustradas de se obter
corpos com outras dimens oes sobre os reais. Em 1877 Frobe-
nius provou que exigindo-se associatividade os unicos corpos
s ao: R, C e Quaternios. Restou o problema para as n ao as-
sociativas, resolvidas em 1957 por Bott e Milnor e Kervaire :
R, C, Quaternios e Bi-Quaternios.
Obs: Este t opico do apendice est a inteiramente baseado em
[FEL].
XII Bibliograa
[BIR] Birkho, Garrett; MacLane, Saunders;
Algebra Mo-
derna B asica Guanabara Dois, 1980.
[CAR] Cara ca, Bento de Jesus Conceitos Fundamentais
da Matem atica Lisboa, 1958
[FEL] Felzenszwalb, Bernardo
Algebras de Dimens ao Fi-
nitas IMPA 12
o
Col oquio 1979
[FRA] Fraleigh, John A First Course in Abstract Algebra
Addison-Wesley
[GAR] Garcia, Arnaldo
Algebra: um curso de introdu c ao
IMPA
[GON] Gon calves, Adilson Introdu c ao ` a
Algebra IMPA,
1979.
[HAL1] Halmos, Paul Teoria Ingenua dos Conjuntos D.
Van Nostrand Company
[HAL2] Halmos, Paul Espa cos Vetoriais de Dimens ao Fi-
nita D. Van Nostrand Company
[HER] Hernstein, I. Topics in Algebra Blaisdell Book
Co.
[LIM] Lima, Elon Lages Curso de An alise Vol. I IMPA,
1989.
[NAC] Nachbin, Leopoldo Introdu c ao ` a
Algebra
McGraw-Hill
15