Estalgebrica Livro

MINISTRIO DA EDUCAO
Universidade Aberta do Brasil

Instituto Federal de Educao, Cincia e Tecnologia do Cear
Diretoria de Educao a Distncia
Licenciatura em matemtica
Estruturas Algbricas
ngelo Papa Neto
Fortaleza, CE
2011
EstAlgebrica.indd 1 06/05/2016 10:09:50

Crditos
Presidente Marlia Maia Moreira
Dilma Vana Rousseff Maria Luiza Maia
Ministro da Educao Saskia Natlia Brgido
Fernando Haddad Equipe Arte, Criao e Produo Visual
Secretrio da SEED bner Di Cavalcanti Medeiros
Carlos Eduardo Bielschowsky Benghson da Silveira Dantas
Davi Jucimon Monteiro
Diretor de Educao a Distncia
Germano Jos Barros Pinheiro
Celso Costa
Gilvandenys Leite Sales Jnior
Reitor do IFCE Jos Albrio Beserra
Celso Costa Jos Stelio Sampaio Bastos Neto
Pr-Reitor de Ensino Marco Augusto M. Oliveira Jnior
Gilmar Lopes Ribeiro Navar de Medeiros Mendona e Nascimento
Diretora de EAD/IFCE e Roland Gabriel Nogueira Molina
Coordenadora UAB/IFCE Samuel da Silva Bezerra
Cassandra Ribeiro Joye Equipe Web
Vice-Coordenadora UAB Benghson da Silveira Dantas
Rgia Talina Silva Arajo Fabrice Marc Joye
Luiz Bezerra de Andrade FIlho
Coordenador do Curso de
Lucas do Amaral Saboya
Tecnologia em Hotelaria
Ricardo Werlang
Jos Solon Sales e Silva
Samantha Onofre Lssio
Coordenador do Curso de Tibrio Bezerra Soares
Licenciatura em Matemtica
Reviso Textual
Priscila Rodrigues de Alcntara Aurea Suely Zavam
Elaborao do contedo Nukcia Meyre Arajo de Almeida
ngelo Papa Neto Reviso Web
Colaboradora Antnio Carlos Marques Jnior
Lvia Maria de Lima Santiago Dbora Liberato Arruda Hissa
Equipe Pedaggica e Design Instrucional Saulo Garcia
Ana Cladia Ucha Arajo Logstica
Andra Maria Rocha Rodrigues Francisco Roberto Dias de Aguiar
Carla Anale Moreira de Oliveira Virgnia Ferreira Moreira
Cristiane Borges Braga Secretrios
Eliana Moreira de Oliveira Breno Giovanni Silva Arajo
Gina Maria Porto de Aguiar Vieira Francisca Venncio da Silva
Glria Monteiro Macedo
Auxiliar
Iraci Moraes Schmidlin
Ana Paula Gomes Correia
Irene Moura Silva
Bernardo Matias de Carvalho
Isabel Cristina Pereira da Costa
Isabella de Castro Britto
Jane Fontes Guedes
Maria Tatiana Gomes da Silva
Karine Nascimento Portela
Charlene Oliveira da Silveira
Lvia Maria de Lima Santiago
Wagner Souto Fernandes
Lourdes Losane Rocha de Sousa
Luciana Andrade Rodrigues
Maria Irene Silva de Moura
Maria Vanda Silvino da Silva

Catalogao na Fonte: Islnia Fernandes Arajo (CRB 3 N 917)
P229e Neto, ngelo Papa.

Estruturas Algbricas: semestre VI / ngelo Papa Neto; Coordenao
Cassandra Ribeiro Joye. - Fortaleza: UAB/IFCE, 2011.
152p. : il. ; 27cm.
ISBN 978-85-63953-19-3
1. MATEMTICA. 2. ESTRUTURAS ALGBRICAS. 3. LGEBRA

ABSTRATA - GRUPOS. I. Joye, Cassandra Ribeiro (Coord.). II. Instituto
Federal de Educao, Cincia e Tecnologia do Cear IFCE. III. Universi-
dade Aberta do Brasil UAB. IV. Ttulo.
CDD - 510

Apresentao 5
Referncias 151
Currculo 152
SUMRIO
AULA 1 Grupos e subgrupos 7
Tpico 1 Definio de grupo e exemplos 8
Tpico 2 Subgrupos 14
AULA 2 Subgrupos normais e homomorfismos 23

Tpico 1 Subgrupos normais 24
Tpico 2 Homomorfismos de grupos 28
AULA 3 Anis, subanis e ideais 33

Tpico 1 Definio e exemplos 34
Tpico 2 Subanis e ideais 40
Tpico 3 Ideais primos e maximais 45
AULA 4 Homomorfismo de anis 50

Tpico 1 Definies e exemplos 51
Tpico 2 Anel quociente 57
Tpico 3 O teorema fundamental dos homorfismos de
anis 62

AULA 5 Domnios fatoriais 69
Tpico 1 Domnos euclidianos, domnios de ideais principais e
domnios fatoriais 70
Tpico 2 O corpo de fraes de um domnio 80
AULA 6 Polinmios 87
Tpico 1 Sequncias quase nulas e polinmios 88
Tpico 2 Algoritmo da diviso para polinmios 96
Tpico 3 Polinmios com coeficientes em um domnio de
fatorao nica 102
AULA 7 Introduo teoria dos corpos 114

Tpico 1 Extenses de corpos 115
Tpico 2 Corpos finitos 124
AULA 8 Aplicaes 130

Tpico 1 Construes com rgua e compasso 131
Tpico 2 Cdigos corretores de erros 137
SUMRIO 5

APRESENTAO
Ol aluno(a),
Ao contrrio da Aritmtica e da Geometria, que so reas da Matemtica que se caracterizam

pelo tipo de objeto estudado, a lgebra caracterizada pelos seus mtodos. Os mtodos,
em lgebra, seguem a ideia bsica de estudar os objetos no isoladamente, mas observando
a estrutura resultante da organizao desses objetos em conjuntos com certas propriedades.
Por exemplo, do ponto de vista da lgebra, um polinmio no deve ser visto como um objeto
isolado, mas antes como um elemento de um conjunto de polinmios onde os elementos
possam ser somados e tambm multiplicados, uma estrutura, chamada anel de polinmios.
Faz sentido, portanto, falarmos em soma e em produto de matrizes, de polinmios e de
funes, embora tais objetos no sejam nmeros. Isso se d porque tais objetos podem ser
organizados em conjuntos munidos de uma ou mais operaes binrias, o que d a cada um
desses conjuntos uma estrutura algbrica. Podemos, ento, estudar tais estruturas de modo
abstrato, sem fazer referncia natureza dos elementos do conjunto, obtendo resultados que
valem em diferentes contextos. As estruturas algbricas mais bsicas Grupos, Anis e Corpos
so os objetos de estudo de nossas aulas.
ngelo Papa Neto
6 Estruturas Algbricas

AULA 1 Grupos e
subgrupos
Ol aluno (a),
Nesta aula iremos estudar a nossa primeira estrutura algbrica, que estrutura
de grupo. Por serem os objetos matemticos adequados para se quantificar a
noo de simetria, os grupos encontram aplicaes na geometria (fundamentao
da geometria via grupos de transformaes, grupos de Lie, ladrilhamentos), na
qumica (estrutura dos obitais atmicos, ligao qumica, estrutura cristalogrfica
das molculas), na fsica (mecnica quntica) e na biologia (estrutura icosadrica dos
vrus). Trata-se, portanto, de uma noo matemtica de fundamental importncia.
Objetivos
Conhecer a estrutura algbrica grupo e obter suas propriedades bsicas

Reconhecer a importncia da noo de grupo, exibindo vrios exemplos
Conhecer as noes de subgrupo, subgrupo gerado por um conjunto e
grupo cclico
AULA 1 7

TPICO 1 Definio de grupo e
exemplos
O bjetivos
Estender a noo de grupo
Estudar alguns exemplos importantes
N esse primeiro tpico, vamos apresentar a definio de grupo,

uma srie de exemplos de grupos e vamos ilustrar, tambm com
exemplos, o papel dos grupos no estudo da simetria de objetos.
Um grupo um conjunto com uma operao binria que satisfaz trs
condies bsicas (associatividade, existncia de um elemento neutro e existncia
de inversos). Apresentaremos uma srie de exemplos de grupos, ilustrando sua
importncia e ubiquidade na Matemtica.
Um conjunto G , onde est definida uma operao binria : G G G tal
que
1. a (b c ) = (a b) c , quaisquer que sejam a, b, c G ,
2. Existe e G tal que a e = e a = a , para todo a G ,
3. Dado a G , existe b G tal que a b = b a = e , chamado grupo. Se,
alm disso, vale a condio: Se vale apenas a condio 1, dizemos que G um
semigrupo. Se valem apenas as condies 1 e 2, dizemos que G um monide.
4. Dados a, b G , a b = b a , dizemos que o grupo abeliano.
O elemento e G , cuja existncia garantida pelo item 2 da definio,
nico. De fato, se e G tambm satisfaz a condio 2, temos e = e e = e . Da
mesma forma, para cada a G , o elemento b G , cuja existncia garantida pelo
item 3, nico. Isso pode ser verificado do seguinte modo: se b G tambm satisfaz
3, isto , se a b = b a = e , ento b = e b = (b a ) b = b (a b) = b e = b .
Esse elemento b G chamado inverso de a e denotado por b = a-1 .

importante observarmos que a inverso
de um produto inverte tambm a ordem dos
fatores. Mais precisamente, (ab)-1 = b-1a-1 .
De fato, se c = (ab)-1 , ento (ab)c = e . at e n o!
-1
Multiplicando por a esquerda, obtemos
Por uma questo de simplicidade da notao,
bc = a-1 . Multiplicando por b-1 esquerda,
costumamos escrever, sempre que no haja perigo
obtemos c = b-1a-1 . A mesma identidade vale de confuso, a operao a b simplesmente
para o produto de um nmero finito de elementos como ab , omitindo o smbolo que indica a
(veja o exerccio 6). No caso em que G abeliano, operao. costume, tambm, chamarmos ab de
-1 -1 -1
podemos, claro, escrever (ab) = a b , pois produto dos elementos a e b .
o produto , nesse caso, comutativo.
Exemplos:
Verifique que so vlidas as condies da definio de grupo nos seguintes
exemplos.
1. Se K um corpo, ento (K , +) e (K * ,) so grupos abelianos, onde
K * = K -{0} .
Se Zn ={0,1, n - 1} e Zn* ={a Zn |(a, n) =1} , ento ( Zn , +) e ( Zn ,)
*
2.
so grupos abelianos.
3. Se V um espao vetorial, ento V com a soma de vetores um grupo
abeliano.
4. Seja X um conjunto e S ( X ) = { f : X X | f bijetivo} . Ento S ( X ) , com
a operao (composio de funes) um grupo, no necessariamente abeliano.
O exemplo 4 especialmente importante, tanto que reservamos ao grupo

S ( X ) um nome especial. Ele chamado grupo de simetrias de X , ou ainda,
grupo das permutaes de X . Temos dois casos particulares de maior interesse:
Caso particular 1: se X ={1,, n} , ento S ( X ) denotado por Sn e chamado

grupo simtrico. Cada f Sn age sobre o conjunto X ={1,, n} permutando seus
elementos e por isso que chamamos f Sn de permutao. Da combinatria,
sabemos que o nmero de permutaes de n elementos n! . Assim Sn tem n!
elementos. Uma funo f Sn geralmente denotada do seguinte modo:
1 2 n
f = .
f (1) f (2) f (n)
AULA 1 TPICO 1 9

Por exemplo, se X ={1,2,3,4} , ento alguns elementos de S4 so
1 2 3 4 1 2 3 4
I = , s = ,
1 2 3 4 2 3 4 1
1 2 3 4 3 1 2 3 4
s 2 = , s = ,
3 4 1 2 4 1 2 3
(note que s = I )
4
1 2 3 4
t = .
1 4 3 2
Note que t 2 = I . Devemos observar ainda que
1 2 3 4 1 2 3 4
st = =
2 3 4 1 1 4 3 2
1 2 3 4
= ,
2 1 4 3
onde escrevemos, por simplicidade, st em vez de s t , e o produto das

permutaes , na verdade, uma composio de funes. Observemos que
1 2 3 4
ts = st
4 3 2 1
o que mostra que Sn no abeliano.

Uma vez que s 4 = I , o subconjunto s ={I , s , s , s } tambm um grupo
2 3
com a mesma operao de S4 . Pelo mesmo motivo, t ={I , t } tambm um grupo.

Outro exemplo muito importante de grupo de simetrias o seguinte:
Caso particular 2: seja Tringulo escaleno Tringulo issceles Tringulo equiltero
(ou, mais geralmente, um espao vetorial

V de dimenso n sobre R). Vamos considerar as funes lineares de Rn em Rn ,
chamadas operadores lineares. Denotamos:
GLn (R) ={T : Rn Rn |T linear e invertvel}.
Isso significa que T GLn ( R) pode ser escrita como

a11 a1n x1

T (x1 ,, xn ) = ,

an1 ann xn
at e n o!
onde A = (aij ) uma matriz n n invertvel. O
conjunto GLn ( R) , com a operao de composio A notao GL significa general linear, que em
portugus quer dizer linear geral.
de funes, um grupo, chamado grupo
linear geral. Como a composio de funes
corresponde ao produto de matrizes, o grupo GLn ( R) pode ser visto como um
grupo de matrizes, isto
GLn (R) @ {A Mn (R)|det A 0},
onde a frase entre aspas acima e o smbolo @ significam isomorfismo, isto ,
embora a natureza dos elementos sejam diferentes (funes em um caso e matrizes
no outro), a estrutura de grupo a mesma nos dois casos. A noo de isomorfismo
ser definida de modo preciso no tpico 2 da prxima aula.
Dados n grupos G1 ,,Gn , com operaes 1 ,, n , respectivamente, o
produto cartesiano
G1 Gn ={(x1 ,, xn )| xi Gi }
um grupo, com operao dada por
(x1 ,, xn ) ( y1 ,, yn ) = (x1 1 y1 ,, xn n yn ).
A principal caracterstica de um grupo sua capacidade de medir o

quo simtrico um determinado objeto . Vamos ilustrar essa afirmao com
mais um exemplo.
Exemplo: Considere trs tringulos, um escaleno, um issceles e um

equiltero. Qual desses trs tringulos o mais simtrico?
Tringulo escaleno Tringulo issceles Tringulo equiltero

Figura 1: Tringulos
AULA 1 TPICO 1 11

Se voc respondeu tringulo equiltero, acertou! No difcil perceber
que, de fato, o tringulo equiltero mais simtrico do que o tringulo issceles
e que o tringulo escaleno o menos simtrico dos trs. Mas como voc percebeu
isso? Que critrios voc usou para decidir qual dos trs o mais simtrico ou o
menos simtrico? A questo que se pe a seguinte: possvel captar essa impresso
intuitiva de modo matematicamente preciso? Ou seja, possvel quantificar, medir,
a noo de simetria? A resposta sim, e os objetos adequados para se fazer essa
medio so exatamente os grupos.
Mais precisamente, vamos associar a cada um desses tringulos um grupo, de
modo que o nmero de elementos do grupo mea a simetria do tringulo. Para isso,
considere um subconjunto T do plano cartesiano R2 . Uma funo f : R2 R2
chamada simetria de T , se uma bijeo e f (P ) T se, e somente se, P T .
A restrio de f a T uma funo f : T T que permuta os pontos de T .
O conjunto S (T ) , formado pelas simetrias de T , um grupo com a operao
composio de funes.
A seguir, vamos encontrar S (T ) para cada um dos trs tringulos da Figura
1. Comecemos com o tringulo equiltero. Uma rotao de 120, no sentido anti-
horrio, em torno do baricentro do tringulo equiltero da figura acima, leva esse
tringulo equiltero nele mesmo, permutando seus pontos. Leva, por exemplo, o
vrtice 1 no vrtice 2, o vrtice 2 no vrtice 3 e o vrtice 3 no vrtice 1. Assim,
essa rotao induz uma permutao dos vrtices do tringulo, que indicamos
1 2 3
(veja o exemplo 4, caso particular 1) por: s = . De modo anlogo, a
2 3 1
1 2 3
permutao t = est associada reflexo em torno da reta que contm
1 3 2
a altura do tringulo equiltero. Afirmamos que, se TE um tringulo eqiltero,
ento S (TE ) = {1, s , s 2 , t , st , s 2 t } , onde s e
t so as permutaes acima definidas e 1 a
s aiba ma i s ! permutao identidade, que deixa cada vrtice,
logo todo o tringulo, fixado. O grupo S (TE )
O Grupo Diedro Dn o grupo de simetria de n
um caso particular de grupo diedral (para outros
lados do polgono regular de n > 1 . A ordem
exemplos de grupos diedrais, veja os exerccios
grupo Dn de 2n. Consulte o site <http://
de aprofundamento 5 e 6).
translate.google.com.br/translate?hl=pt-
Se TI um tringulo issceles, uma rotao
BR&langpair=en|pt&u=http://mathworld.
wolfram.com/DihedralGroup.html>
no uma simetria de TI . Assim, nesse caso,
S (TI ) = {1, t } , onde t a reflexo em torno da
altura relativa base do tringulo issceles.

Finalmente, se TS um tringulo escaleno, a nica simetria a trivial, ou
seja, S (TI ) = {1} . Portanto, os tringulos equiltero, issceles e escaleno tm,
respectivamente, grupos de simetrias com 6, 2 e 1 elementos. Dessa forma, inferimos
desse exemplo o seguinte princpio: quanto maior o nmero de elementos do grupo
S (T ) de uma figura T , mais simtrica ela .
Com isso, encerramos nosso primeiro tpico, que tratou da definio e de
exemplos iniciais de grupos. No prximo tpico, veremos que certos subconjuntos
dos grupos tambm so grupos, chamados subgrupos.
AULA 1 TPICO 1 13

TPICO 2 Subgrupos
O bjetivos
Definir e caracterizar a noo de subgrupo
Definir e caracterizar subgrupo gerado por um conjunto
Definir grupo cclico
Conhecer o teorema de Lagrange
s aiba mai s !
Reveja o contedo de subespao vetorial no
V amos, agora, estudar
subconjuntos no-vazios de
um grupo que, com a mesma
operao do grupo, tambm so grupos.
Chamamos tais subconjuntos de subgrupos.
os
tpico 2 da aula 2 da disciplina de lgebra Linear

Essa noo anloga de subespao vetorial na
do seu curso.
lgebra linear e nos fornece um modo de obter
novos grupos a partir de grupos dados.
Se G um grupo e S um subconjunto de G , no vazio, que um grupo
com a mesma operao de G , dizemos que S um subgrupo de G .
O prprio grupo G um subgrupo dele mesmo. Se e G o elemento neutro
de G , ento {e} tambm subgrupo de G . Esses dois subgrupos so chamados
subgrupos triviais de G . Qualquer subgrupo de G diferente de G e {e} chamado
subgrupo prprio de G .
Lema 1 Um subconjunto S de um grupo G um subgrupo se e somente se valem

as seguintes condies:
1. S ,
2. Se a, b S , ento ab-1 S .

Demonstrao:
Se S subgrupo, ento S e, dado b S , temos b-1 S , o que decorre
da condio 3 da definio de grupo. Logo, dados a b S (no necessariamente
distintos), temos ab-1 S .
Reciprocamente, se S , ento a condio 1 nos diz que existe a S .

Se 1 G denota o elemento neutro de G ento, pela condio 2, 1= aa-1 S . Se
b S , ento b-1 =1 b-1 S , novamente pela condio 2. Finalmente, se a e b
pertencem a S , ento ab = a(b-1 )-1 S . Sendo assim, S fechado para a operao
de G e tambm para a inverso, isto , o inverso de um elemento de S est em
. Dessa forma, as condies para que S seja um grupo so satisfeitas, logo S
subgrupo de G .
EXEMPLOS:
1. Com a mesma notao do exemplo 4 do tpico 1 (caso particular 1),
temos que s ={I , s , s 2 , s 3 } e t ={I , t } so subgrupos de S4 . Temos ainda
que s , t ={I , s , s 2 , s 3 , t , st , s 2 t , s 3 t } tambm subgrupo de S4 . Exerccio:
verifique todas essas afirmaes.
2. Repetindo ainda as notaes
estabelecidas na seo 1, temos que
SLn (R) = {A Mn (R)|det A = 1}
subgrupo de GLn (R) . Para verificar isso,
usamos o Lema 1 da seguinte forma: se I at e n o!
a matriz identidade n n , ento det I = 1 , A notao SL significa special linear, que, em
logo SLn (R) , ou seja, vale a condio ingls, quer dizer linear especial.
1 do Lema 1. Se A, B SLn (R) , ento
det( AB-1 ) = det( A)det(B-1 ) = det( A)det(B )-1 = 1 1 = 1
logo AB-1 SLn (R) e vale a condio 2 do Lema 1. Isso mostra que SLn (R)
subgrupo de GLn ( R) .
Notao: se S subgrupo de G , denotamos S G .
A interseo de subgrupos um subgrupo. Essa afirmao tem verificao

imediata usando-se o Lema 1 e a deixamos para voc, aluno(a).
Dado um subconjunto Y G , o menor subgrupo de G (em relao
incluso) que contm o subconjunto Y
Y = S
Y S
AULA 1 TPICO 2 15

onde a interseo tomada sobre todos os
subgrupos de G que contm Y . Chamamos esse
ateno! subgrupo de subgrupo gerado por Y . Estamos
particularmente interessados no caso em que Y
No caso em que o grupo G no abeliano, temos
finito e G abeliano. Nesse caso possvel obter
Y = {x1 xn |n N e xi Y ou xi-1 Y } ,
ou seja, um descrio mais precisa de Y , dada pelo
G = GS o conjunto dos produtos
S
finitos de elementos que pertencem a Y ou cujo prximo lema. Antes, conveniente estabelecer
inverso pertence a Y . a seguinte notao: se G um grupo, y G e
a Z , ento
y y se a > 0

y = a
1 se a = 0
-1 -1
y y se a < 0
onde os produtos acima so a operao do grupo G repetida |a | vezes.
Lema 2: Se Y ={ y1 ,, yn } subconjunto de um grupo abeliano G , ento

a a
Y ={ y1 1 yn n | ai Z}.
Neste caso, dizemos que Y abeliano finitamente gerado e denotamos
Y = y1 ,, yn .
Demonstrao:
Por definio, Y a interseo de todos
ateno! os subgrupos de G que contm Y . Chamemos
a a
Se Y infinito, ento Y = { , ou seja, Y de S o conjunto { y1 1 yn n | ai Z } . Queremos
o conjunto dos produtos finitos de potncias mostrar que S = Y . Primeiro, mostremos que
inteiras de elementos de Y . S um subgrupo de G . Temos que S ,
pois yi S , para cada i {1,, n} . Se
a1 an b1 bn
a = y y
1 n e b= y y
1 n so elementos de
a1 -b1 an -bn
-1
S , ento ab = y 1 y
n S . Pelo Lema 1, S G . Como Y S , temos que
S G . Por outro lado, se S um subgrupo de G tal que y1 ,, yn S , ento
a a
y1 1 yn n S , para quaisquer a1 ,, an Z , logo S S . Consequentemente, S
est contido na interseo de todos os S , isto , G . Isso conclui a demonstrao.
Um subgrupo S G chamado cclico se S = y , isto , se S

gerado por um nico elemento y . Neste caso, S tem o seguinte aspecto:

S = y = {1, y, y 2 ,, y m-1 } , onde 1 G o elemento neutro do grupo e m N
o menor nmero natural tal que y m =1 .
Se G um grupo com um nmero finito de elementos, dizemos que G um
grupo finito. O nmero de elementos de G chamado ordem de G e denotado
por |G | ou #(G) . Caso o nmero de elementos de G seja infinito, dizemos que G
um grupo infinito. As mesmas nomenclaturas valem para subgrupos. Note-se
que um grupo infinito pode ter subgrupos finitos.
EXEMPLOS:
1. O grupo (C * ,) infinito, mas o
2 pi
n-1
subgrupo Rn ={1, w , w ,, w
2
} , onde w = e n
,
finito e cclico (verifique que Rn , de fato, um sa iba m a is !
*
subgrupo de C ).
Felix Klein mais conhecido por seu trabalho
2. (Z , +) um grupo cclico infinito. Como
em geometria no-euclidiana, por seu trabalho
veremos mais adiante, esse , essencialmente,
sobre as conexes entre a geometria e teoria de
o nico grupo cclico infinito (isto , qualquer
grupo e para os resultados em teoria de funo.
grupo cclico infinito isomorfo ao grupo
Mais informaes: http://www.learn-math.info/
aditivo Z ). portugal/historyDetail.htm?id=Klein
3. O grupo Z 4 = {0,1,2,3} , com a operao
soma mdulo 4, cclico de ordem 4.
4. O grupo Z2 Z2 , com operao (a, b) + (c , d ) = (a + c , b + d ) , tem ordem
quatro e no cclico. Ele chamado Vierergruppe, ou grupo de Klein.
Dado um grupo finito G e fixado um subgrupo S G , dizemos que dois

elementos a, b G so equivalentes (em relao a S ), e indicamos a b , se
a-1b S . A relao satisfaz
1. a a , para todo a G .
2. Se a, b G e a b , ento b a .
3. Se a, b, c G , a b e b c , ento a c .
Isso significa que uma relao de equivalncia. Como S subgrupo,

-1
temos que 1 S , logo a-1a = 1 S , o que significa a a . Se a b ento a b S .
Como S subgrupo de G , a-1b S implica que b-1a = (a-1b)-1 S , logo b a .
Finalmente, se a b e b c , ento a-1b S e b-1c S , logo
AULA 1 TPICO 2 17

a-1c = (a-1b)(b-1c ) S
pois S G . Assim, a c .
As classes de equivalncia relativas a so
-1
a ={x G | a x}= {x G | a x S}.
Se aS denota o subconjunto {ay | y S} , ento a-1x S equivalente a
x aS . Dessa forma, temos a = aS , ou seja, as classes laterais relativas a so
exatamente os subconjuntos do tipo aS , com a G . Chamamos esses subconjuntos
de classes laterais de S esquerda em G . Sobre as classes laterais temos dois
fatos relevantes:
1. aS = bS se e somente se a b .
2. G a unio de todas as classes laterais de S .
De fato, a b equivalente a a-1b S , isto , b aS . Como a b implica
b a , temos tambm a bS , logo aS = bS (por qu?). Reciprocamente, aS = bS
implica que ax = by , com x, y S , logo a-1b = xy-1 S , pois S subgrupo.
Portanto, a b .
Para a afirmao 2, basta notar que, dado a G , a = a 1 aS .
Importante: Note que todo cuidado foi tomado ao operar com elementos
de G , considerando o fato de a operao dada no ser necessariamente comutativa.
Existe outra relao de equivalncia em G dada por
a b ab-1 S.
Para uma relao dada desse modo, as classes de equivalncia que surgem
so do tipo Sa , com a G . So por isso chamadas de classes laterais de S
direita em G .
Vamos denotar por S G o conjunto formado pelas classes laterais de S
esquerda em G e GS o conjunto formado pelas classes laterais de S direita em
G . Observemos que esses conjuntos no so necessariamente iguais. Mais adiante,
introduziremos uma restrio sobre S de modo a que esses conjuntos coincidam.
Apesar de no serem iguais, os conjuntos S G e GS tm a mesma cardinalidade,
isto , vale o resultado abaixo:

Lema 3 Existe uma funo bijetiva entre S G e GS , dada por aS Sa-1 , para
todo a G .
Demonstrao:
Essa funo est bem definida, pois, se aS = bS , ento a-1b S , logo
a-1 Sb-1 e Sa-1 = Sb-1 . A sobrejetividade dessa funo clara. Quanto
injetividade, se aS e bS tm a mesma imagem, ento Sa-1 = Sb-1 , logo a-1b S ,
donde b aS e bS = aS .
Em particular, se S G finito, ento GS tambm finito e ambos tm o

mesmo nmero de elementos. Esse nmero de elementos chamado de ndice de
S em G e denotado por (G : S ) . Quando S G (e, consequentemente, GS ) infinito,
dizemos que o subgrupo S tem ndice infinito em G e denotamos (G : S ) = .
Um grupo G pode ser infinito, com um subgrupo S G tambm infinito,
mas com (G : S ) finito:
EXEMPLO:
Se G = R* , com o produto de nmeros reais e S = R2 o subgrupo formado
*
pelos quadrados dos elementos de R , ento ambos so infinitos, mas ( R* : R2 ) = 2 .
De fato, dado um nmero real no nulo x , temos x > 0 ou x < 0 . No primeiro
caso, x R2 e no segundo caso -x R2 . Logo, R2 tem apenas duas classes laterais
*
em R .
Chegamos ao nosso teorema importante:
Teorema 4 (Lagrange): Se G um subgrupo finito, ento a ordem de um subgrupo

de G divide a ordem de G .
Demonstrao:
Seja |G |= n e |S |= d . Podemos escrever G = a1S am S onde duas
classes laterais ai S e a j S so disjuntas, isto , se i j , ento ai S a j S = . Alm
disso, a funo S ai S , dada por s ai s , bijetiva, logo |ai S |=|S |, para todo
i {1,, m} .
AULA 1 TPICO 2 19

Assim, a unio acima uma diviso de um conjunto com n elementos em
m partes iguais de d elementos. Logo n = m d o que implica que d divide n .
Exemplo:
Como aplicao do Teorema de Lagrange, vamos mostrar que, se um grupo
tem um nmero primo de elementos, ento seus nicos subgrupos so os triviais.
De fato, seja G um grupo com |G |= p , onde p um nmero primo. Se S um
subgrupo de G com |S |= d , pelo Teorema de Lagrange, d um divisor de p .
Como p primo, s admite como divisores 1 ou p . Assim, d = 1 ou d = p . Se
d = 1 , ento S = {e} e, se d = p , ento S = G , pois, nesse caso, S possui o mesmo
nmero de elementos de G . Portanto, G possui apenas subgrupos triviais.
Nesse segundo tpico, vimos como identificar os subconjuntos de um
grupo que tambm so grupos, com a mesma operao do grupo, e chamamos tais
subconjuntos de subgrupos. Vimos ainda o importante Teorema de Lagrange, que
fornece uma relao de divisibilidade entre as ordens do grupo e de seus subgrupos.
Encerramos, assim, nossa primeira aula. Na prxima aula, continuaremos o
estudo de grupos, mostrando como construir grupos a partir de um grupo e um
subgrupo dado. Veremos que essa construo s possvel quando o subgrupo de
um tipo especial, chamado subgrupo normal.
ATIVIDAD E S D E A PR O FUN DA M E N T O
1. Determine quais das seguintes operaes so associativas:
(a) A operao sobre Z definida por a b = a - b .
(b) A operao sobre R definida por a b = a + b + ab .
a+b
(c) A operao sobre Q definida por a b = .
5
(d) A operao sobre Z Z definida por ( a, b) ( c , d ) = ( ad + bc , bd ) .
a
(e) A operao sobre Q -{0} definida por a b = .
b
2. Se S G , mostre que a classe lateral aS um subgrupo de G se, e somente se, a =1 , o elemento neutro
da operao de G .

3. Dado um grupo G , mostre que, se a 2 = a , para todo a G , ento G abeliano.
4. Um grupo de ordem 8 pode conter um subgrupo de ordem 6 ? Por qu?
5. Seja G um grupo cuja ordem um nmero primo. Mostre que esse grupo cclico.
6. Seja G ={x R |0 x <1} . Para x, y G , defina

x y = x + y - x + y
onde, para cada a R , a o maior inteiro que no supera a . Mostre que x y uma operao
binria bem definida sobre G e que (G, ) um grupo abeliano, denominado grupo dos reais mdulo 1.
7. Consideremos o conjunto A das matrizes 2 2 com entradas reais. Recordemos que a multiplicao
de matrizes dada por
a b x y ax + bz ay + bw
= .
c d z w cx + dz cy + dw
1 1
Consideremos M = e seja
0 1
C ={X A | XM = MX }.
(a) Determine quais dos seguintes elementos de A esto em C :
1 1 1 1 0 0 1 1 1 0 0 1
, , , , , .
0 1 1 1 0 0 1 0 0 1 1 0
(b) Prove que, se A, B C , ento A + B C , onde + denota a soma usual de matrizes.
(c) Prove que, se A, B C , ento A B C , onde denota o produto usual de matrizes.
p q
(d) Encontre condies sobre p, q, r , s R que determinem precisamente quando C .
r s
8. Seja G ={a + b 3 | a, b Q} .
(a) Mostre que (G, +) um grupo.
(b) Mostre que (G ,) um grupo.
9. Demonstre (por induo sobre n ) que, se G um grupo,

(a1a2 an )-1 = an-1an--11 a2-1a1-1 ,
para quaisquer a1 , a2 ,, an G .
10. Se D6 ={1, a, a 2 , b, ab, a 2 b} o grupo diedral com 6 elementos (ou seja, o grupo de simetrias de
um tringulo equiltero), verifique que D6 @ S3 (so isomorfos).
11. Se D8 ={1, a, a 2 , a 3 , b, ab, a 2 b, a 3 b} o grupo diedral de ordem , isto , o grupo de simetrias de

um quadrado, mostre que D8 S4 , mas D8 S4 .
AULA 1 TPICO 2 21

12. Seja p > 2 um inteiro primo. O conjunto Zp ={1,2,, p - 1}, munido do produto de classes,
um grupo abeliano.

(a) Verifique que |Z p |= p - 1 . Como p 2 , a ordem de Zp par.

(b) Como Z p
um grupo, qualquer elemento de Z p
possui um inverso. Determine o inverso
de p - 1 .
(c) Mostre que o nico elemento de Zp , diferente de 1 , que igual ao seu inverso p - 1 .
( Sugesto: supondo que ( p - i) ( p - i) =1 , verifique que i =1 .)
(d) Mostre que 1 2 3 p - 1= p - 1 .
(e) Usando os tens anteriores, demonstre o Teorema de Wilson: se p um nmero primo, ento
( p - 1)! -1(mod p) . (Note que o caso p = 2 trivial.)
13. Mostre que as seguintes matrizes, com coeficientes em C , formam um grupo no abeliano G de
ordem 8 com o produto usual de matrizes:
1 0 -1 0 0 1 0 -1
,
, , ,
0 1 0 - -1 -1 0 -1 0
-1 0 - -1 0 0 -1 0 - -1
.
, , ,
0 -1 0 -1 1 0 - -1 0
1 0 -1 0 0 -1
Se e = , a = e b = , mostre que a 4 = e ,
0 1 0 - -1 -1 0
b2 = a 2 e b-1ab = a 3 . Este grupo conhecido como grupo dos quatrnios e denotado por Q8 . Verifique
ainda que podemos escrever
Q8 ={e ,-e , a,-a, b,-b, ab,-ab}.
Conclua que a e b geram Q8 .

AULA 2 Subgrupos normais
e homomorfismos
Ol aluno(a),
Em nossa segunda aula, estudaremos tipos especiais de subgrupos: os subgrupos

normais. Veremos que esse tipo de subgrupo nos permite construir novos grupos
formados por classes laterais, chamados grupos quocientes. Estudaremos,
tambm, as funes de um grupo em outro que preservam a operao de grupo,
que chamaremos de homomorfismos. Obteremos, enfim, o teorema bsico que
rege o comportamento dos homomorfimos de grupos.
Objetivos
Definir e caracterizar entre os subgrupos aqueles que so normais

Definir grupo quociente
Estudar os homomorfismos entre grupos
Obter o teorema do isomorfismo para grupos
AULA 2 23

TPICO 1 Subgrupos normais
O bjetivos
Definir e caracterizar subgrupos normais
Definir grupo quociente
N a aula anterior, vimos que, dado um grupo G e um subgrupo

S G , os conjuntos formados pelas classes laterais esquerda e
direita, respectivamente, S G e GS , tm a mesma cardinalidade,
mas no so necessariamente iguais. Isso se deve ao fato de G no ser, em geral,
abeliano. Nosso objetivo, a seguir, definir um tipo especial de subgrupo S G
para o qual tenhamos S G = GS , mesmo quando G no abeliano.
Um subgrupo S de um grupo G chamado subgrupo normal se vale uma
das (logo, valem todas as) condies do seguinte lema:
Lema1 Se G um grupo e S G , ento so equivalentes:

1. aSa-1 S , para todo a G .
2. aSa-1 = S , para todo a G .
3. aS = Sa , para todo a G .
4. S G = GS .

Demonstrao:
Suponha que vale 1. Ento aSa-1 S ,
para todo a G . Substituindo a por a-1 ,
obtemos at e n o!
-1 -1 - 1
a S ( a ) S.
Se um grupo G abeliano, ento todo subgrupo
Como (a-1 )-1 = a , temos a-1Sa S .
de G normal. Para verificarmos isso, basta
Multiplicando por a esquerda e por a-1
observarmos o item 3 do Lema 1.
direita, obtemos
S aSa-1 ,
donde aSa-1 = S , ou seja, vale 2.

Se vale 2, isto , se aSa-1 = S , ento, multiplicando direita por a , obtemos
aS = Sa . Logo vale 3.
Se vale 3, ento toda classe lateral esquerda uma classe lateral direita e
vice-versa. Assim, S G = GS , isto , vale 4.
Finalmente, suponha que vale 4. Se a G , ento aS S G = GS , ou seja,
existe b G tal que aS = Sb . Logo,
aSa-1 = (aS )a-1 = (Sb)a-1 = S (ba-1 ).
Como a aS = Sb , existe x S tal que a = xb e da, ba-1 = x-1 S .
Portanto, aSa-1 = S (ba-1 ) S , o que mostra a validade de 1.
Notao: Usamos a notao S G para indicar que S subgrupo normal
de G .
A propriedade mais importante de um subgrupo normal descrita no lema
a seguir.
Lema2: Se G um grupo e S G , ento S G = GS um grupo, com operao entre

classes definida do seguinte modo:
aS bS = (ab)S.
Alm disso, se G abeliano, ento GS abeliano.
Demonstrao:
Primeiro, vamos mostrar que a operao dada acima est bem definida. Para
isso, suponhamos que aS = a1S e bS = b1S . Ento aa1-1 S e bb1-1 S . Logo,
ab(a1b1 )-1 = ab(b1-1a1-1 ) = a(bb1-1 )a1-1 aSa1-1 .
AULA 2 TPICO 1 25

Agora, como S G ,
S
S
-1 -1 -1
aSa = aSa (aa ) S.
1 1
Portanto, ab(a1b1 )-1 S , ou seja, (ab)S = (a1b1 )S . Isso mostra que a operao
definida em GS no depende da escolha dos representantes de cada uma das classes.
Vamos mostrar, agora, que GS , com a operao acima definida, um grupo.
1. A operao associativa: de fato, se aS , bS , cS GS , ento
aS (bS cS ) = aS (bc )S = [a(bc )]S = [(ab)c ]S =
= (ab)S cS = (aS bS ) cS.
2. A operao possui um elemento neutro: a classe S , cujo representante
1 (o elemento neutro de G ) ou qualquer outro elemento de S . Basta notar que
aS S = S aS = aS ,
pela definio de produto de classes.
3. Existe um inverso de cada classe: se aS GS , ento (aS )-1 = a-1S , pois
aS a-1S = aa-1S = S
e S o elemento neutro de GS .
Finalmente, temos G abeliano se e somente se ab = ba , quaisquer que sejam
a, b G . Logo
aS bS = (ab)S = (ba )S = bS aS
e GS abeliano. A recproca demonstra-se de modo anlogo.
Complementando o resultado acima, temos o seguinte:
Se S G , grupo GS chamado grupo quociente de G por S e denotado
por G / S . Assim, os subgrupos normais exercem na teoria de grupos um papel
especial, pois so os subgrupos que fornecem quocientes com estrutura de grupo.
EXEMPLO:
Consideremos o grupo G = Z dos inteiros com a operao + . Como esse
grupo abeliano,o item 3 do Lema 1 garante que todo subgrupo de Z normal. Em
particular, se n Z , n >1 , o subgrupo nZ normal. Logo, o conjunto das classes
laterais de nZ um grupo, com a operao (a + nZ ) + (b + nZ ) = (a + b) + nZ ,
a, b Z . Cada uma das classes laterias de nZ em Z corresponde a um dos possveis
restos da diviso por n . De fato, se a Z , podemos dividir a por n e escrever
a = nq + r , onde q, r Z e 0 r < n ( r o resto da diviso de a por n ). Assim,
a - r = nq , ou seja, a - r nZ . Logo, a + nZ = r + nZ e, assim, toda classe lateral
do tipo r + nZ , com r variando entre 0 e n - 1 . Usando a notao r = r + nZ
para a classe lateral representada por r , podemos escrever Z / nZ ={0,1,, n - 1} ,

isto , o grupo quociente formado pelas classes
laterais correspondentes a nZ e cada uma dessas
classes corresponde a um dos possveis restos da
sa iba m a is !
diviso por n .
Obtenha mais informaes a respeito de
subgrupos normais acessando o link:
Dado um subgrupo qualquer S de um
http://www.mat.unb.br/~maierr/anotas.pdf
grupo G , o conjunto de suas classes laterais
esquerda no , necessariamente, um grupo.
Vimos, neste tpico, que, se o subgrupo for
normal, o conjunto de suas classes laterais esquerda (ou direita) um grupo,
chamado grupo quociente de G por S . Isso d aos subgrupos normais um papel
central na teoria dos grupos, pois com eles podemos construir grupos novos a
partir de grupos dados.
AULA 2 TPICO 1 27

TPICO 2 Homomorfismos de
grupos
O bjetivos
Definir e apresentar exemplos de homomorf-
ismo de grupos
Definir isomorfismo e apresentar o teorema do
isomorfismo
D ados dois grupos (G, ) e ( H ,) , uma funo f : G H chamada

homomorfismo de grupos se vale
Em outras palavras,
f (a b) = f (a ) f (b).
um homomorfismo de grupos se preserva a operao
entre quaisquer dois elementos dos grupos.
Classificao de homomorfismos de grupos
Um homomorfismo injetor chamado monomorfismo.
Um homomorfismo sobrejetor chamado epimorfismo e um homomorfismo
bijetor chamado isomorfismo.
Se h um isomorfismo entre dois grupos G e H , dizemos que eles so
isomorfos e denotamos G @ H . Dois grupos isomorfos so indistinguveis, do
ponto de vista da teoria dos grupos.
EXEMPLOS:
1. A funo p : Z Zn , dada por p(a ) = a , onde a indica a
classe de equivalncia mdulo n , um homomorfismo entre os grupos
aditivos (Z , +) e (Zn , +) . De fato, basta notar que, dados a, b Z , temos
p ( a + b) = a + b = a + b = p ( a ) + p ( b) .
2. O conjunto dos nmeros reais positivos, que indicaremos aqui
por R>0 , um grupo multiplicativo. A funo L : R>0 R , dada por

L(x ) = log x , um homomorfismo do grupo multiplicativo ( R>0 ,) no grupo
aditivo ( R, +) . Mais ainda, L um isomorfismo, isto , R>0 @ R . De fato,
L(xy ) = log(xy ) = log(x ) + log( y ) = L(x ) + L( y ) , o que mostra que L um
homomorfismo. Alm disso, sabemos, do curso de clculo 1, que a funo logartmica
uma bijeo entre R>0 e , logo temos que L : R>0 R um isomorfismo.
3. A funo determinante det : GLn ( R) R* um homomorfismo de grupos
multiplicativos. Lembremos que A GLn (R) se, e somente se, A uma matriz
quadrada de ordem n tal que det A 0 , isto , det A R* . Assim, a funo
det : GLn ( R) R* est bem definida. Uma vez que det( AB) = det( A)det(B) , a
funo det : GLn ( R) R* um homomorfismo.
A seguir, definiremos dois importantes conjuntos associados a um
homomorfismo de grupos, o seu ncleo e sua imagem, e veremos como possvel
associar a noo de homomorfismo de grupos com a de grupo quociente. Esse o
contedo do Teorema 7, a seguir.
Dado um homomorfismo de grupos f : G H , temos f (1G ) =1H , onde 1G
e 1H so os elementos neutros de G e H , respectivamente: por abuso de notao,
denotemos ambos por 1. Ento
f (1) = f (1 1) = f (1) f (1) f (1) =1.
-1 -1
Se a G , ento f (a ) = f (a ) . De fato,
f (aa-1 ) = f (1) =1 f (a ) f (a-1 ) =1 f (a-1 ) = f (a )-1 .
Associados a um homomorfismo de grupos f : G H , temos os dois
seguintes conjuntos:
Im( f ) ={ f (x )| x G}
a imagem de f , tambm denotada por f (G) .
ker( f ) ={x G | f (x ) = e},
onde e H o elemento neutro da operao de H , o ncleo de f .
Teorema7 (Teorema fundamental dos homomorfismos) dado um

homomorfismo de grupos f : G H , temos:
1. Im( f ) H .
2. ker( f ) G .
3. G / ker( f ) @ Im( f ) .
AULA 2 TPICO 2 29

Demonstrao:
Primeiramente, se 1 G o elemento neutro, ento f (1) =1 H , o elemento
neutro de , logo Im( f ) . Dados x, y Im( f ) , existem a, b G tais que
f (a ) = x e f (b) = y . Temos:
xy-1 = f (a ) f (b)-1 = f (a ) f (b-1 ) = f (ab-1 ) Im( f ),
o que mostra que Im( f ) subgrupo de H .
Por outro lado, ker( f ) , pois f (1) =1 . Se a, b ker( f ) , ento f (a ) = f (b) =1 ,
logo f (ab-1 ) = f (a ) f (b-1 ) = f (a ) f (b)-1 =1 e isso implica que ab-1 ker( f ) . Logo
ker( f ) G . Para mostrar que esse subgrupo normal, consideremos x G e
a ker( f ) . Temos:
f (xax-1 ) = f (x ) f (a ) f (x-1 ) = f (x ) f (x )-1 =1,
o que mostra que xax-1 ker( f ) , para todo x G e todo a ker( f ) . Pelo Lema 5,
ker( f ) G .
Por simplicidade, escrevemos
S = ker( f ) . Seja F : G / S Im( f ) , dada por
F (aS ) = f (a ) . A funo F sobrejetiva, pois
s aiba m a i s ! seu contradomnio exatamente Im( f ) .
Obtenha mais informaes a respeito de Para mostrarmos que F injetiva, tomemos
Homomorfismos, acessando o link: aS , bS G / S , tais que F (aS ) = F (bS ) .
http://www.mat.unb.br/~maierr/anotas.pdf Isso implica que f ( a ) = f ( b) , ou seja,
-1 -1
f (ab ) =1 . Dessa forma, ab ker( f ) = S ,
isto , a : b . Portanto, aS = bS e F
tambm injetiva, logo bijetiva. Alm disso,
F (aS bS ) = F (abS ) = f (ab) = f (a ) f (b) = F (aS )F (bS ) , o que mostra que F um
homomorfismo. Sendo um homomorfismo bijetor, F um isomorfismo.
ATIVIDAD E S D E A PR O FUN DA M E N T O
1. Mostre que, em um grupo abeliano, todo subgrupo normal.

2. Mostre que o subgrupo trivial {1} de um grupo G , formado pelo elemento neutro da operao de grupo,
normal em G .
3. Mostre que um grupo G abeliano se, e somente se, a funo f : G G dada por f ( x ) = x-1 um
homomorfismo.

4. Prove que um grupo G abeliano se, e somente se, a funo f : G G dada por f (x ) = x 2 um
homomorfismo.
5. Mostre que os grupos multiplicativos R-{0} e C -{0} no so isomorfos.
6. Sejam Zn ={0,1,, n - 1} e Rn ={z C | z n =1} . Verifique que ( , ) e ( Rn ,) so grupos
isomorfos. ( Sugesto: exiba um homomorfismo bijetor f : Zn Rn ).

7. Seja V um espao vetorial de dimenso n sobre R e {v1 ,, vn } um conjunto de vetores linearmente
independentes em V .
(a) Verifique que o conjunto V com a adio de vetores um grupo abeliano.

(b) Se t {1,, n} e Vt ={n1v1 + nt vt | nt Z } , mostre que
{0} V1 V2 Vn-1 Vn = V ,

onde `` indica ``subgrupo de. Dizemos que Vt gerado por v1 ,, vt e indicamos V = v1 ,, vt .
(c) Seja V = R2 ={(x, y )| x, y R} , com a soma definida por ( x, y ) + ( x , y ) = ( x + x , y + y ) .
Represente os subgrupos S1 = (1,0),(0,1) e S2 = (2,0,),(1,1) graficamente.
(d) Considere em R2 a relao definida por
(a, b) (c , d ) (a, b) - (c , d ) S1
(veja o item anterior). Verifique que uma relao de equivalncia.
(e) Denote por T1 o conjunto das classes de equivalncia de , isto , T1 ={( a, b)|( a, b) R2 } .
Verifique que a soma de classes
( a, b) + ( c , d ) = ( a + c , b + d )
est bem definida. (T1 , +) um grupo?
8. Seja G o grupo multiplicativo de todas as matrizes n n no singulares (isto , matrizes com determinante
diferente de zero). Mostre que o conjunto das matrizes com determinante igual a 1 um subgrupo normal
de G .
Seja G um grupo cclico de ordem n , ou seja, G = a , onde a n =1 e a k 1 , se 1 k n - 1 . Considere
a funo f : Z G dada por f (n) = a n .
(a) Mostre que f um homomorfismo sobrejetor.
(b) Determine o ncleo de f .
(c) Use o teorema dos isomorfismos para mostrar que G ; Zn (isto , todo grupo cclico finito isomorfo
a Zn onde n =|G |).
9. Refaa a questo anterior, supondo agora que G cclico infinito. Conclua que todo grupo cclico infinito
isomorfo a Z .
-1
10. Seja G um grupo e a G fixado. Defina f : G G pondo f ( x ) = axa . Mostre que f um
isomorfismo (chamamos um isomorfismo deste tipo de conjugao).
11. Mostre que um subgrupo H de G normal se e somente se f ( H ) H , para toda conjugao f de
G (veja o exerccio anterior).
AULA 2 TPICO 2 31

12. Dados a, b G , o comutador de a e b o elemento a-1b-1ab G , denotado por [ a, b ] . O subgrupo
dos comutadores de G definido como o subgrupo de G gerado pelos [ a, b ] , ou seja,
G ={[a, b ]| a, b G}.
(a) Mostre que G G (sugesto: use a questo anterior).
(b) Mostre que, se H G , ento G / H abeliano se e somente se G H .
(c) Mostre que, se H G e G H , ento H G .

AULA 3 Anis, subanis e
ideais
Ol aluno(a),
Iniciaremos, nesta aula, o estudo de nossa segunda estrutura algbrica, que a

estrutura de anel. A estrutura de anel importante, pois generaliza a aritmtica dos
conjuntos numricos. Assim, os conjuntos dos nmeros inteiros, dos racionais,
dos reais ou dos complexos, so exemplos de anis. Conjuntos de matrizes, de
funes e de polinmios tambm formam anis.
Depois de estudarmos a definio e uma srie de exemplos de anis, seguiremos

uma trajetria similar quela que traamos para grupos, ou seja, estudaremos os
subanis, e certos subanis especiais, chamados ideais, que sero importantes na
aula 4, para construirmos anis de classes de equivalncias, assim como fizemos
para os grupos.
Daremos especial ateno aqui aos ideais primos e maximais e explicaremos

como ambos so generalizaes na noo de nmero inteiro primo.
Objetivos
Definir e estudar exemplos de anis

Compreender as noes de subanel e ideal
Reconhecer os ideais primos e maximais
AULA 3 33

TPICO 1 Definio e exemplos
O bjetivos
Compreender o conceito de anis e reconhecer seus
exemplos
Observar alguns casos especiais de anis, em particular,
os corpos e os domnios de integridade, identificando
exemplos
Obter algumas propriedades bsicas da estrutura de anel
A ideia de se estudar uma estrutura algbrica obter resultados

que valham no contexto mais geral possvel e que englobem
exemplos importantes. Essa ideia bem ilustrada pelo estudo de
anis. Por exemplo, veremos nessa aula e nas aulas que se seguem, que a estrutura
algbrica subjacente ao conjunto dos nmeros inteiros exatamente a mesma
que rege o comportamento operatrio dos polinmios em uma indeterminada
com coeficientes complexos, a saber, a estrutura de domnio euclidiano (veremos
isso nas aulas 5 e 6). Assim, vale a pena estudar os dois casos de modo unificado,
obtendo resultados que valham para ambos. Veremos, neste tpico, que um anel
um conjunto no-vazio com duas operaes cujas propriedades bsicas tambm
devem ser apresentadas pela soma e pelo produto de nmeros. No entanto, um anel
uma estrutura abstrata, que pode ser contituda
de elementos com natureza bem diferente da dos
nmeros.
ateno! Um conjunto A onde esto definidas duas
operaes binrias + : A A A e : A A A ,
Se Y infinito, ento (y)={, ou seja, (y) o
que denominamos, respectivamente, soma
conjunto dos produtos finitos de potncias
e produto, chamado anel associativo, ou
inteiras de elementos de Y .
simplesmente anel se as seguintes condies so
verificadas:

1. A soma associativa:
(a + b) + c = a + (b + c ) , quaiquer que
sejam a, b, c A .
2. A soma comutativa: a + b = b + a , at e n o!
para quaisquer a, b A .
O elemento inverso aditivo de um elemento
3. Existe elemento neutro para a soma: a A nico. De fato, se b, b A so tais que
existe e A tal que e + a = a + e = a , a + b = 0 = b + a , ento
para todo a A . b = b + 0 = b + ( a + b) =
.
4. Existe elemento inverso para a = (b + a ) + b = 0 + b = b
soma: dado a A , existe b A tal que Esse nico elemento inverso aditivo de a
a+b=b+a=0 . chamado de simtrico de a e denotado por -a .
5. O produto associativo: para quaisquer

a , b, c A , a ( b c ) = ( a b ) c .
6. Vale a propriedade distributividade: para quaisquer a, b, c A ,
a (b + c ) = a b + a c e (b + c ) a = b a + c a .
No nosso curso trabalharemos com

anis para os quais valem algumas condies
adicionais. Esses anis recebem nomes especiais,
como descrito abaixo.
g u a r d e be m isso!
7. Um anel A dito comutativo se
Podemos resumir as condies 1 a 4, dizendo que
o produto comutativo: ab = ba ,
o conjunto A , com a operao de soma, um
quaisquer que sejam a, b A .
grupo abeliano. No caso em que A um corpo,
8. Um anel A dito anel com unidade se
A -{0} tambm um grupo abeliano.
vale o seguinte: existe elemento neutro
para o produto: existe u A tal que
a u = u a = a , para todo a A .
Observao: demonstra-se, de modo anlogo ao que foi feito no item 3

acima, que esse elemento neutro nico. Usamos a notao 1 para o elemento
neutro do produto em A .
9. Um anel comutativo com unidade A chamado domnio de integridade,

ou simplesmente domnio, se vale a seguinte condio:
se a, b A e a b = 0 , ento a = 0 ou b = 0 .
AULA 3 TPICO 1 35

10. Um anel comutativo com unidade A chamado corpo se vale a existncia
de inverso para o produto: dado a A , a 0 , existe b A tal que
a b = b a =1 . Observao: possvel demonstrar que esse elemento inverso
b A nico. Usamos a notao a-1 .
EXEMPLOS:
a b
1. O conjunto M2 (R) = | a, b, c , d R , com a soma e o produto
c d
1 0
de matrizes, um anel associativo com unidade 1= , mas no
0 1
comutativo. O anel M2 (R) tambm no domnio de integridade, pois, por
0 1 1 0 0 0
exemplo, = = 0 .
0 0 0 0 0 0
2. O conjunto dos inteiros pares 2Z ={0, 2, 4, 6,} um anel comutativo
sem elemento unidade.
3. O conjunto Z dos inteiros, com a soma e o produto usuais de inteiros,
um domnio de integridade, mas no corpo, pois, por exemplo, 2 Z ,
2 0 , mas no existe b Z tal que 2b =1 .
4. Q , R e C so corpos.
5. O conjunto Z6 ={0,1,2,3,4,5} munido da soma e do produto mdulo 6
um anel comutativo com unidade, mas no um domnio. De fato, 2 0 ,
3 0 e 2 3 = 0 (mdulo 6).
6. Se a Z um inteiro livre de quadrados, ou seja, se a no divisvel pelo
quadrado de um inteiro, ento Z[ a ] ={a + b a | a, b Z} , com a soma e
o produto de nmeros reais, um domnio. De fato, se a + b a e c + d a
so elementos de Z[ a ] , ento (a + b a ) + (c + d a ) = (a + c ) + (b + d ) a
e (a + b a )(c + d a ) = (ac + bd a ) + (ad + bc ) a so elementos de Z[ a ] .
As condies 1,2,5, 6 e 7 da definio de anel so vlidas porque so

vlidas em R e Z[ a ] R . O elementos neutro 0 R pode ser escrito como
0 = 0 + 0 a Z[ a ] , logo vale a condio 3. Dado a + b a Z[ a ] , o seu
inverso aditivo -(a + b a ) = -a + (-b) a tambm um elemento de Z[ a ] ,
logo vale a condio 4. A condio 8 vlida porque a unidade 1 R pode
ser escrita como 1=1 + 0 a , logo um elemento de Z[ a ] . Finalmente, se
(a + b a )(c + d a ) = 0 , ento (ac + bd a ) + (ad + bc ) a = 0 , o que implica que
ac + bda = 0 e ad + bc = 0 . Dessas duas ltimas equaes, podemos concluir que
a + b a = 0 ou c + d a = 0 . Logo, vale a condio 9 e Z[ a ] um domnio de
integridade.

7. Se a Q livre de quadrados, isto , se pode ser escrito como uma
frao onde numerador e denominador so inteiros livres de quadrados,
ento Q[ a ] ={a + b a | a, b Q} um corpo. As condies de 1 at 8 da
definio de anel podem ser verificadas de modo anlogo ao do exemplo
anterior. Quanto condio 10, basta notarmos que
a b
(a + b a )-1 = - 2 a,
a - b a a - b2a
2 2
o que mostra que todo elemento no-nulo de Q[ a ] tem um inverso em

Q[ a ] .
8. Considere A um anel comutativo com unidade e

A[x ] ={a0 + a1x + + an x |n N, ai A} o conjunto dos polinmios com
n
coeficientes em A . Com a soma e o produto de polinmios, o conjunto A[x ]

torna-se um anel comutativo com unidade.
Teorema1: Todo corpo um domnio de integridade.
Demonstrao:
Se A um corpo e a, b A so tais que a b = 0 e a 0 , ento existe
-1
a A tal que a-1a =1 . Logo, multiplicando a b = 0 por a , obtemos
-1
a-1 (a b) = 0 , logo (a-1 a ) b = 0 , isto , b = 0 .

A recproca do Teorema acima no vlida, pois Z um domnio de
integridade que no corpo.
Coletamos, a seguir, algumas propriedades bsicas dos anis que seguem
diretamente da definio de anel.
Teorema2 Seja A um anel. Ento, para a, b, c A , temos:

1. a 0 = 0a = 0 .
2. a(-b) = -(ab) = (-a )b .
3. a(b - c ) = ab - ac e (a - b)c = ac - bc
Demonstrao:
1. a 0 = a(0 + 0) = a 0 + a 0 , logo a 0 + (-a 0) = a 0 e, portanto, 0 = a 0 .
Analogamente, 0a = 0 .
AULA 3 TPICO 1 37

2. 0 = a 0 = a(b + (-b)) = ab + a(-b) , logo a(-b) = -ab . Analogamente,
(-a )b = -ab .
3. a(b - c ) = a(b + (-c )) = ab + a(-c ) = ab - ac . Analogamente,
(a - b)c = ac - bc .
Seja a1 ,, an uma sequncia de elementos de um anel A . Definimos o
produto desses elementos indutivamente, pondo:
1
a = a ,
i=1
i 1
k k-1
a a ,

i=1
ai =
i
i=1
k
para todo k , 2 k n .

k
O smbolo a indica o produto de a1 ak e denominado produtrio.
i=1 i
Uma propriedade bsica dos produtrios a seguinte:
m n m +n
a a = a .
i
i
i=1 i=1 i=1
i
Essa propriedade conhecida como lei da associatividade generalizada

e significa, simplesmente, que, em um produtrio, os parnteses podem ser
livremente manipulados sem que o produto se altere.
Se n um nmero inteiro positivo, ento na e a n significam, respectivamente,
a soma e o produto de a , repeditas n vezes, ou seja,
n

na = a + + a ,
n

a n = a a .
n

De modo anlogo, (-n)a = (-a ) + + (-a ) e, caso exista o inverso a-1 de a
n

-n -1 -1
em A , a = (a )(a ) . Se m e n so inteiros positivos e a e b so elementos
de um anel, temos:
1. a m a n = a m +n .
2. (a m )n = a mn .
3. ma + na = (m + n)a .
4. m(na ) = (mn)a = n(ma ) .
5. (ma )(nb) = (mn)ab = (na )(mb) .

Encerramos aqui este primeiro tpico sobre anis, em que estudamos a
definio de anel, vimos que domnios de integridade e corpos so tipos especiais
de anis comutativos com unidade, e vimos tambm que todo corpo domnio
de integridade. Alm disso, tivemos a oportunidade de exibir alguns exemplos
importantes de anis e verificar a validade das propriedades bsicas das operaes
de soma e produto em um anel, decorrentes diretamente da definio.
AULA 3 TPICO 1 39

TPICO 2 Subanis e ideais
O bjetivos
Definir e exibir exemplos de subanis
Conceituar ideais
N este tpico, estudaremos subconjuntos de um anel que, com

as mesmas operaes do anel, so tambm um anel. Esses
subconjuntos so chamados subanis. Vamos tambm definir
ideais, que so os subanis adequados para a construo de anis quociente, em
analogia com os subgrupos normais, estudados na aula anterior.
Seja A um anel. Um subconjunto no-vazio S A dito subanel de A
se S , com as mesmas operaes de A , for um anel, no necessariamente com
unidade. Se o subanel S de A contiver a unidade de A , diremos que S um
subanel unitrio de A .
Lema3: Dado um anel A e um subconjunto no-vazio S A , S um subanel se,

e somente se, valem as seguintes condies, para quaisquer a, b S :
1. a - b S e
2. ab S .
Demonstrao:
Se S um subanel de A , ento as condies 1 e 2 so consequncias da
definio de anel. Reciprocamente, suponhamos que valem as condies 1 e 2. A
condio 2 nos diz que o produto de dois elementos de S pertence a S , logo

podemos restringir o produto de A a S . A
associatividade e a comutatividade da soma e
do produto, e tambm a distributividade, valem
em S porque valem em A e S A . Precisamos at e n o!
mostrar que o elemento neutro da soma 0 A
A condio 1 do Lema 3 coincide com uma das
pertence, de fato, a . Como S no vazio, existe condies para que um subconjunto de um
a S . Pela condio 1, temos 0 = a - a S , grupo seja um subgrupo. A diferena apenas na
como queramos demonstrar. Mais ainda, se notao: a - b o anlogo de ab-1 se a operao
a S , ento -a = 0 - a S , novamente pela de produto for substituda pela de soma.
condio 1. Finalmente, dados a, b S , temos
a + b = a - (-b) S , logo podemos restringir a
soma de A ao subconjunto S .
Se X um subconjunto de um anel A , g u a r d e be m isso!

o menor subanel de A que contm X
O subconjunto {0} formado pelo elemento
chamado subanel gerado por X . Dada uma
neutro da soma em um anel A um subanel
famlia (Sl )lL de subanis de um anel A ,
de A . De fato, se a, b {0} , ento a = b = 0
temos que a interseo S = lL Sl um e a - b = 0 {0}, ab = 0 {0} . Pelo Lema 3,
subanel de A . De fato, se a, b S , ento {0} subanel de A .
a, b Sl , para todo l L , logo, pelo Lema
3, a - b Sl e ab Sl , para todo l L .
Assim, a - b S e ab S e, novamente pelo Lema 3, S subanel de A . Dessa
forma, podemos concluir que o subanel gerado por um subconjunto de um anel A
a interseo de todos os subanis de A que contm X .
EXEMPLOS:
1. Z subanel unitrio de Q .
2. Seja F [0,1] o anel formado por todas as funes f : [0,1] R , com a soma
e o produto dados, respectivamente, por
( f + g )(t ) = f (t ) + g (t ),
( fg )(t ) = f (t ) g (t ).
Seja C[0,1] o subconjunto de F [0,1] formado por todas as funes contnuas

de [0,1] em R . Como a diferena e o produto de funes contnuas so funes
contnuas, vemos que C[0,1] subanel de F [0,1] . Alm disso, como a funo
AULA 3 TPICO 2 41

constante 1: [0,1] R , dada por 1(t ) =1 , para todo t [0,1] , contnua, o subanel
C[0,1] unitrio.
3. O subconjunto 2Z Z , formado pelos inteiro pares, um subanel do anel
Z que no unitrio. De fato, 1 Z , sendo mpar, no pertence a 2Z .
4. S ={0,2,4} Z6 subanel de Z6 , o que pode ser verificado de modo direto
usando-se o Lema 3.
Dado um anel A , se existe um inteiro

positivo m tal que m 1= 0 em A , ento existe
um inteiro positivo mnimo n tal que n 1= 0 .
Esse inteiro positivo mnimo chamado
ateno!
caracterstica do anel A . Se no existe inteiro
Se X = , ento o subanel S gerado por X
positivo m tal que m 1= 0 , dizemos que o anel
a interseo de todos os subanis de A . Como
A tem caracterstica zero. Usamos a notao
{0} um subanel de A , temos, em particular,
car( A) para a caracterstica de A .
que S {0} , logo S ={0} , ou seja, o subanel
gerado pelo conjunto vazio o subanel {0} . EXEMPLO:
Em Z , m 1= 0 implica que m = 0 , logo
no existe inteiro positivo m tal que m 1= 0 ,
o que mostra que car(Z) = 0 . Por outro lado, se n Z , n >1 , no anel Zn das classes
de equivalncia mdulo n , temos n 1= n = 0 e n o menor inteiro positivo
satisfazendo essa igualdade. Logo, car(Zn ) = n . No caso em que A um domnio,
temos o seguinte resultado.
Teorema4 Seja D um domnio. Ento a carcterstica de D igual zero ou a um

nmero primo.
Demonstrao:
Seja n = car( D) . Se n = 0 , nada h a demonstrar. Vamos mostrar que, se
n 0 , ento n um nmero primo. De fato, se 1 K a identidade, ento n 1= 0
e n o menor inteiro positivo que satisfaz essa igualdade. Se n no fosse primo,
ento poderamos escrever n = ab , com a, b Z e 1< a < n e 1< b < n . Assim
n 1= 0 implicaria (ab) 1= 0 , ou seja, (a 1)(b 1) = 0 . Como D domnio, essa
ltima igualdade implicaria a 1= 0 ou b 1= 0 , o que iria contra a minimalidade

de n . Assim, no possvel obter-se uma decomposio de n como produto de
fatores menores do que n , o que mostra que n primo.
Vamos, agora, definir o importante conceito de ideal. O estudo de ideais
comeou com os trabalhos de Kronecker e Dedekind em meados do sculo XIX,
em conexo com estudo da unicidade da fatorao de um nmero como produto
de primos anis mais gerais do que o anel dos inteiros. Com o passar do tempo, a
noo de ideal mostrou-se central na teoria dos anis e encontrou aplicaes em
geometria, teoria dos nmeros e anlise.
Um subconjunto no-vazio I de um anel (comutativo com unidade) A
chamado ideal de A se valem as seguintes condies:
1. Se a, b I , ento a - b I .
2. Se a I e a A , ento aa I .
Note que, pelo Lema 3, todo ideal um subanel. Mas nem todo subanel
um ideal, visto que a condio 2 exige que o produto de um elemento a I por
qualquer elemento a A esteja em I . Mais explicitamente, podemos exibir como
exemplo o subanel Z de R . claro que, se a R e a Z , o produto aa no
pertence, necessariamente, a Z . Basta considerar, por exemplo, a = 2 .
Exemplos:
1. Todo subanel do anel Z um ideal de Z . Para verificar isso, basta notar
que, se S subanel de Z , a S e n Z , ento
a + + a se n > 0

na = 0 se n = 0

(-a ) + + (-a ) se n < 0
Em qualquer um dos trs casos, na S , logo S um ideal de Z .
2. Dado um anel A , os subconjuntos {0} e A so ideais de A , chamados

ideais triviais de A . Se I um ideal no trivial de A , ento I dito ideal
prprio de A .
Teorema5 Seja A um anel comutativo com unidade 1 A .

1. Se I um ideal de A e 1 I , ento I = A .
2. Se A um corpo, os nicos ideais de A so {0} e A .
AULA 3 TPICO 2 43

Demonstrao:
1. Se I A um ideal de A e 1 I , ento para cada a A , a = a 1 I ,
ou seja, A I , logo I = A .
2. Seja I A um ideal de um corpo A e suponha que I {0} . Ento existe
a I , a 0 . Como A um corpo, a 0 implica que existe a A tal que aa =1 .
Isso implica que 1= aa I e, pelo item 1, I = A .
Dados a1 ,, an A , o conjunto
(a1 ,, an ) ={a1t1 + + antn |ti A}
um ideal de A , chamado ideal gerado por a1 ,, an . De fato, dados
x, y (a1 ,, an ) e a A , temos que x = a1t1 + + antn e y = a1u1 + + an un ,
com ti , ui A . Logo, x - y = a1 (t1 - u1 ) + + an (tn - un ) (a1 ,, an ) e
ax = a1 (at1 ) + + an (atn ) (a1 ,, an ) .
Um ideal gerado por um nmero finito de elementos chamado ideal
finitamente gerado. Um ideal gerado por um nico elemento, ou seja, um ideal
do tipo
(a ) = aA ={at |t A}
chamado ideal principal de A .
Encerramos, aqui, nosso segundo tpico, sobre subanis e ideais. Vimos
sua definio, alguns exemplos e alguns resultados bsicos sobre subanis e ideais
em anis comutativos com unidade. No prximo tpico, estudaremos dois tipos
especiais de ideais: os primos e os maximais.

TPICO 3 Ideais primos e
maximais
O bjetivos
Definir e exibir exemplos de ideais primos e maximais
Estudar os ideais primos no anel dos nmeros inteiros
A seguir, iremos definir dois tipos importantes de ideais, os ideais

primos e os ideais maximais. Ambos generalizam a noo de
nmero primo, como veremos a seguir.
Seja A um anel (comutativo com unidade) e seja P um ideal de A . Dizemos
que P um ideal primo se
a, b A e ab P a Pou b P
Seja A um anel (comutativo com unidade) e seja M um ideal de A . Dizemos
que M um ideal maximal se
I ideal de A e M I I = M ou M = A.
A prpria definio de ideal maximal justifica seu nome. De fato, um ideal
maximal quando no est contido em ideal prprio algum de A . J o nome ideal
primo justificado pelo exemplo e pelo Teorema a seguir.
Exemplo: (ideais de Z ) Seja I {0} um ideal do anel Z dos nmeros inteiros.
Como a I implica que -a = (-1)a I , podemos garantir que existe n I , n > 0 .
Seja m I o menor inteiro positivo em I . Dado a I , o algoritmo da diviso nos
diz que existem q, r Z , com a = mq + r e 0 r < m . Agora, a, m I implicam
que r = a - mq I . Se r 0 , ento teramos 0 < r < m e r I , ou seja, r seria o
menor elemento positivo em I . Mas j estamos supondo que m o menor inteiro
positivo pertencente a I . Isso significa que r 0 no pode ocorrer, isto , =0 .
Logo, a = mq e, em geral, todo elemento de I um mltiplo de m , o que indicamos
por I mZ . Mas, m I implica que mZ I e, assim, I = mZ , onde mZ indica o
AULA 3 TPICO 3 45

conjunto dos mltiplos de m ( mZ ={mk |k Z} ). Ideais formados pelos mltiplos
de um elemento so chamados ideais principais e sero estudados na aula 5.
O Teorema a seguir complementa o exemplo acima, caracterizando os ideais

primos e os ideais maximais de Z. Em particular, o item 3 desse Teorema mostra
que, no anel dos inteiros, as noes de ideal primo e de ideal maximal coincidem.
Teorema6
1. Se I = mZ e J = nZ so dois ideais de Z , ento I J se, e somente se, n|m .
2. Um ideal P de Z primo se, e somente se, P = pZ , com p Z primo.
3. Um ideal P de Z primo se, e somente se, maximal.
Demonstrao:
1. I J equivalente a mZ nZ . Em particular, m mZ nZ , ou seja,
m um mltiplo de n , isto , n|m . Reciprocamente, se n|m , ento m = nk ,
com k Z . Assim, se a mZ , ento a = mc , onde c Z , logo a = n(kc ) , ou seja,
a nZ , o que mostra que mZ nZ .
2. Dados a, b Z , tais que ab pZ , temos que ab um mltiplo de p ,
ou seja, p ab . Como p primo, p|ab implica p|a ou p|b , logo a pZ
ou b pZ . Isso mostra que pZ primo para p primo. Reciprocamente, se P
um ideal primo de Z , ento, pelo exemplo acima, P = nZ , com n Z . Vamos
mostrar que n primo. De fato, se n = ab , com a, b Z , ento ab = n nZ = P .
Como P ideal primo, ab P implica que a P ou b P . Se a P = nZ , ento
n|a . Porm, n = ab , implica que a |n , ou seja, n = a e b = 1 . Caso b P , um
raciocnio anlogo mostra que a = 1 . Portanto, a nica decomposio possvel
n = ab , para n , a trivial, isto , com a = 1 ou b = 1 . Isso mostra que p
primo.
3. Se M = mZ um ideal maximal de Z , ento m primo, do contrrio,
existiria n >1 inteiro tal que n|m e, da, M = mZ nZ Z (incluses estritas), o
que no possvel, pois M maximal. Sendo m primo, pelo item 2, M = mZ um
ideal primo. Reciprocamente, seja P = pZ um ideal primo e suponha que P I A ,
onde I = aZ um ideal de Z . Se a primeira incluso for estrita, ento pZ aZ
implica que a | p , mas p|a . Como p primo, os nicos divisores positivos de p
so 1 e p . Uma vez que p|a , temos a p . Logo a =1 e I = aZ = Z . Isso mostra
que P = pZ maximal.

O Teorema 6 justifica o nome ideal primo, pois, em Z , os ideais primos so
exatamente aqueles do tipo pZ , em que p um nmero primo. A situao do
Teorema 6 no se repete em geral, como vemos no exemplo a seguir.
EXEMPLO:
Seja A = Z[x ] , o anel de polinmios com coeficientes em Z , na indeterminada
x . O conjunto
I = (x ) ={xf (x )| f (x ) Z[x ]}={ g (x ) Z[x ]| g (0) = 0},
formado pelos mltiplos de x , ou seja, pelos polinmios que tm coeficiente a0 = 0 ,
um ideal primo de A que no maximal em A . De fato, se g (x ), h(x ) Z[x ]
so tais que g (x )h(x ) I , ento g (0)h(0) = 0 . Como Z um domnio, g (0)h(0) = 0
implica que g (0) = 0 ou h(0) = 0 , ou seja, g (x ) I ou h(x ) I , o que mostra que
I primo.
Por outro lado, I est contido propriamente no ideal
J = (2, x ) ={2 f (x ) + xg (x )| f (x ), g (x ) Z[x ]}={h(x ) Z[x ]|h(0) par }.
Isso claro, pois 0 par, logo p(x ) I implica que p(0) = 0 , em particular,
p(0) par, o que por sua vez, implica que p(x ) J . Mais ainda, o ideal J
prprio, ou seja, J A . Par comprovar isso, basta notar que q(x ) =1 + x A , mas
q(x )
/ J , pois q(0) =1 mpar. Assim, encontramos um ideal J tal que I J A
(incluses estritas) e isso mostra que I no maximal.
Dessa forma, nem todo ideal primo em um anel qualquer A maximal.
Porm, a recproca dessa afirmao vlida, como veremos a seguir.
Teorema7 Em um anel comutativo com unidade A , todo ideal maximal v.
Demonstrao:
Seja M um ideal maximal e sejam a, b A tais que ab M .
Supondo que a
/ M , vamos mostrar que b M . Considere, para isso, o ideal
I ={ay + m | y A, m M } . Temos que M I A , com a I . Como, por
hiptese, a
/ M , temos que a incluso M I estrita. Logo, por ser M maximal,
devemos ter I = A . Em particular, 1 I , ou seja, 1= ay + m , para algum y A e
algum m M . Multiplicando essa ltima igualdade por b , obtemos b = aby + bm .
Como, por hiptese, ab M e m M , temos que b = aby + bm M , como
queramos demonstrar.
AULA 3 TPICO 3 47

Com esse resultado, encerramos nosso terceiro tpico e a aula 3. Nesta aula,
comeamos a estudar a importante estrutura algbrica de anel e vimos que existem
tipos especiais de anis: os domnios de integridade e os corpos. Vimos que todo
corpo um domnio de integridade, que a um anel podemos associar um nmero
inteiro no negativo, chamado caracterstica do anel, que primo, ou zero, sempre
que o anel for um domnio. Vimos que existem subconjuntos de um anel que tm
ainda estrutura de anel, so chamados de subanis. Dentre os subanis h alguns
de especial importncia, chamados ideais e, dentre os ideais, vimos dois tipos que
tambm so bastante importantes: os ideais primos e os ideais maximais.
Na prxima aula, estudaremos as funes naturais que podem ser definidas
entre anis e os anis que podem ser formados a partir de quocientes de anis por
ideias.
atividad e d e a pr o fuda m e n t o
1. Dado um corpo K , seja
f (x )
K (x ) = | f (x ), g (x ) K [x ], g (x ) 0.
g (x )
f (x ) h(x ) f (x )(x ) + g (x )h(x ) e f (x ) h(x ) f (x )h(x ) , K (x ) um
Com as operaes + = =
g (x ) (x ) g (x )(x ) g (x ) (x ) g (x )(x )

anel. Mostre que K ( x ) um corpo, chamado, corpo das funes racionais sobre K .
2. Seja F ={ f : R R| f funocontnua}, com as operaes

( f + g )(x ) = f (x ) + g (x ),
( f g )(x ) = f (x ) g (x ).
(a) Mostre que (F , +,) um anel.

(b) Para cada a R , mostre que I ={ f F | f ( a ) = 0} um ideal de F .
(c) Mostre que I[ a ,b ] ={ f F|f (x ) = 0, "x [ a, b ]} um ideal de A .
3. Dado n Z , n 1 , seja A = Zn [ x, y ] = R[ y ] , onde R = Zn [ x ] .
(a) Mostre que ( x ) um ideal primo de A que no ideal maximal.
(b) Mostre que ( x, y ) ideal maximal se, e somente se, n primo.
(c) Sabendo que (8, x ) um ideal primo de A , determine os possveis valores de n .

4. Dado um anel A , seja A[ x ] ={a0 + a1x + + an x n | n N, ai A} o anel dos polinmios
na indeterminada x com coeficientes em A . Dado f ( x ) = a0 + a1x + a2 x + + an x A[x ] ,
2 n
chamamos o coeficiente an de coeficiente lder do polinmio f e a0 de termo constante de f .

(a) Mostre que o termo constante de f ( x ) g ( x ) o produto dos termos constantes de f ( x ) e g (x ) .
f (x ) g (x )
(b) Se A um domnio, ento o coeficiente lder de o produto dos coeficientes lderes de f (x )
e g (x ) .
(c) Mostre que f ( x ) A[ x ] unidade de A[x ] se e somente se f (x ) um polinmio constante e igual a
uma unidade de A , isto , f (x ) A , onde A* ={unidadesdeA} .
5. Seja A ={a1 ,, an } um anel finito.

(a) Mostre que uma funo f : A A injetiva se, e somente se, sobrejetiva.
(b) Mostre que A um domnio de integridade se, e somente se, para cada a A , a 0 , a funo
fa : A A , dada por fa (x ) = ax for bijetiva.
(c) Mostre que um anel finito domnio de integridade se, e somente se, corpo.
AULA 3 TPICO 3 49

AULA 4 Homomorfismo
de anis
Ol aluno(a),
Assim como fizemos no estudo de grupos, estudaremos nessa aula as funes

que podem ser definidas entre anis e que, de um modo natural, preservam sua
estrutura, ou seja, preservam as duas operaes dos anis. Tais funes sero
chamadas homomorfismos de anis. Os homomorfismos de anis ocupam o
mesmo papel relevante para a teoria de anis que os homomorfismos de grupos
para a teoria de grupos. Veremos, ainda, que possvel a construo de anis
quociente de modo anlogo construo que fizemos de grupo quociente. Nesse
ponto, veremos que a noo de ideal desempenha papel similar ao de subgrupo
normal no caso de grupos.
Objetivos
Definir e estabelecer as propriedades bsicas de homomorfismos de anis

Construir o quociente de um anel por um ideal
Demonstrar o teorema dos homomorfismos para anis

TPICO 1 Definies e
exemplos
O bjetivos
Estabelecer a noo de homomorfismo de anis
Citar exemplos de homomorfismos de anis
Definir ncleo e imagem de um homomorfismo de anis
E
homomorfismos
stabeleceremos, neste primeiro
tpico,
os
de
a
resultados
nomenclatura
anis.
dois conjuntos bsicos, associados a um
bsicos sobre
Definiremos
e
sa iba m a i s !
Para mais informaes sobre homomorfismo
de anis, acesse o link http://www.mat.
homomorfismo, seu ncleo e sua imagem,
uc.pt/~picado/algebraII/0405/Apontamentos/
e veremos uma srie de exemplos de
aula4.pdf
homomorfismos de anis.
Consideremos dois anis, no
necessariamente comutativos nem com unidade, ( A, +,) e (B, , ) . Uma funo
f : A B chamada homomorfismo de anis, ou homomorfismo entre os
anis A e B , se
f (a + b) = f (a ) f (b),
f (a b) = f (a ) f (b),
para quaisquer a, b A . Em geral, como no h risco de confuso, usamos as
mesmas notaes para as operaes nos anis A e B , e escrevemos
f (a + b) = f (a ) + f (b),
f (ab) = f (a ) f (b).
AULA 4 TPICO 1 51

No caso em que A e B so anis com
unidade, se 1A e 1B denotam os elementos
neutros do produto em A e B , respectivamente,
ateno! ento dizemos que o homomorfismo f : A B
A partir daqui, sempre que considerarmos um unitrio se
homomorfismo f : A B entre dois anis com f (1A ) =1B.
unidade, iremos supor que esse homomorfismo claro que aqui tambm podemos, para
unitrio. evitar sobrecarga na notao, suprimir os ndices
e escrever
f (1) =1.
Teorema1 Dados A , B e C anis e f : A B , g : B C , homomorfismos de

anis, temos o seguinte:
1. A funo composta g f um homomorfismo de anis. Se f e g forem
unitrios, g f tambm o .
2. Se f uma funo bijetora, ento a sua inversa f -1 : B A um homomor-
fismo. Se f for unitrio, f -1 tambm o .
Demonstrao:
Para demonstrarmos 1, precisamos verificar que, dados a, b A ,
( g f )(a + b) = ( g f )(a ) + ( g f )(b) e ( g f )(a b) = ( g f )(a ) ( g f )(b) . Faremos
isso apenas para a primeira igualdade, sendo a segunda inteiramente anloga.
Temos, ento,
( g f )(a + b) = g ( f (a + b)) = g ( f (a ) + f (b)),
pois f homomorfismo. Logo,
( g f )(a + b) = g ( f (a ) + f (b)) = g ( f (a )) = g ( f (b)),
pois g tambm homomorfismo. Mas isso exatamente o que queramos
demonstrar. Alm disso, se f e g forem unitrios, ento g ( f (1)) = g (1) =1 , o que
mostra que g f tambm unitrio.
Vamos demonstrar 2. Para isso, seja f -1 : B A a inversa da funo f ,
que sabemos que existe, pois estamos supondo f bijetora. Dados x, y B ,
f
existem a, b A tais que f (a ) = x e f (b) = y , pois sobrejetora. Temos, ento,
f -1 (x + y ) = f -1 ( f (a ) + f (b)) = f -1 ( f (a + b)) = a + b = f -1 (x ) + f -1 ( y ) . De modo
-1 -1 -1 -1 -1
anlogo, temos: f (xy ) = f ( f (a ) f (b)) = f ( f (ab)) = a + b = f (x ) f ( y ) . Isso
mostra que f -1 um homomorfismo. Como f (1) =1 implica f -1 (1) =1 , temos,
ainda, que f unitrio implica f -1 unitrio.

No caso do item 2 do Teorema 1 acima, ou seja, quando f : A B um
homomorfismo bijetor, dizemos que f um isomorfismo de anis, Dizemos,
ainda, que A e B so isomorfos e indicamos o isomorfismo entre eles com a
notao A @ B .
Dado um homomorfismo de anis f : A B , podemos considerar os

seguintes conjuntos associados a f : o ncleo de f ,
ker f ={a A| f (a ) = 0},
onde 0 o elemento enutro da soma em B , e a imagem de f ,
Im f ={ f (a )|a A}.
Teorema2 Dado um homomorfismo de anis f : A B , temos:

1. f (0) = 0 .
2. f (-a ) = - f (a ) , para cada a A .
3. ker f um ideal de A .
4. Im f um subanel de B .
Demonstrao:
(a) f (0) = f (0 + 0) = f (0) + f (0) , o que implica f (0) = 0 .
(b) Dado a A , f (a + (-a )) = f (0) = 0 , pelo item (a). Como f
homomorfismo, f (a ) + f (-a ) = f (a + (-a )) = 0 , logo, f (-a ) = - f (a ) , como
queramos.
(c) Dados a, b ker f , f (a ) = 0 e f ( b) = 0 . Logo,
f (a + b) = f (a ) + f (b) = 0 + 0 = 0 , o que implica a + b ker f . Se, a A e
a ker f , ento f (aa ) = f (a ) f (a ) = f (a ) 0 = 0 , o que implica que aa ker f .
Portanto, pela definio de ideal, dada na aula 3, tpico 2, ker f ideal de A .
(d) Usaremos aqui, o Lema 3 da aula 3. Dados x, y Im f , existem
a, b A tais que f (a ) = x e f (b) = y . Assim, x - y = f (a ) - f (b) . Pelo item (b),
- f (b) = f (-b) , logo x - y = f (a ) + f (-b) = f (a + (-b)) , pois f homomorfismo.
Portanto, x - y = f (a - b) , o que mostra que x - y Im f . Por outro lado,
xy = f (a ) f (b) = f (ab) , pois f homomorfismo. Logo, xy Im f .
EXEMPLO 1:
Dado um nmero inteiro n , n >1 , seja Zn ={0,1,, n - 1} o anel
das classes de restos mdulo n . A funo f : Z Zn , dada por f (k ) = k ,
AULA 4 TPICO 1 53

um homomorfismo de anis. De fato, f (a + b) = a + b = a + b = f (a ) + f (b)
e f (ab) = a b = a b = f (a ) f (b) . Esse homomorfsmo unitrio, pois f (1) =1 .
Dado a Zn , temos a = f (a ) , logo Im f = Zn . O ncleo de f dado por
ker f ={k Z | f (k ) = 0} . Como f (k ) = 0 equivalente a k = 0 , temos que k Zn
se, e somente se, k = 0 , isto , se e somente se, n|k . Dessa forma, ker f = nZ ,
conjunto dos mltiplos de n . J vimos, na aula 3, que esse conjunto um ideal.
Vale observar que, pelo Teorema 2, item (c), nZ = ker f implica diretamente que
nZ um ideal de Z . Em geral, podemos usar esse argumento para mostrar que
um dado subconjunto I de um anel A ideal desse anel: basta encontrar um
homomorfismo f : A B cujo ncleo seja I .
EXEMPLO 2:
Sabemos que o corpo dos nmeros complexos pode ser representado
pelo conjunto C ={(a, b)|a, b R} de pares ordenados de nmeros reais, com
as operaes ( a, b) + ( c , d ) = ( a + c , b + d ) e (a, b) (c , d ) = (ac - bd , ad + bc ) .
A funo f :RC , dada por f (x ) = (x,0) , um homomorfismo
injetor. De fato, f (x + y ) = (x + y,0) = (x,0) + ( y,0) = f (x ) + f ( y ) e
f (xy ) = (xy,0) = (x,0) ( y,0) = f (x ) f ( y ) . Para a injetividade, basta ver que
f (x ) = f ( y ) implica que (x,0) = ( y,0) , ou seja, x = y . Mais adiante veremos
que a injetividade decorre de um resultado mais geral. A existncia desse
homomorfismo injetor f : R C expressa dizendo-se que R pode ser imerso em
C . Interpretamos tal homomorfismo como uma incluso e escrevemos R C , mas,
na verdade, R no est contido em C . O que ocorre, na verdade, que R;Im f e
Im f C . Costumamos dizer, tambm, que R possui uma cpia contida em (no
caso, essa cpia Im f ).
EXEMPLO 3:
Seja Q[x ] o anel dos polinmios na indeterminada x , com coeficientes em
Q e considere a funo f : Q[x ] R dada por f ( p(x )) = p( 2) . Por exemplo,
f (1 + x 2 ) =1 + ( 2)2 = 3 , f (2x + 1) = 2 2 + 1 , f (x 3 + x + 1) = 8 + 2 + 1 .
A funo f um homomorfismo de anis. Para verificarmos isso,
observemos que, se p( x ) e q(x ) so polinmios com coeficientes
racionais, ento f ( p(x ) + q(x )) = p( 2) + q( 2) = f ( p(x )) + f (q(x )) e
f ( p(x )q(x )) = p( 2)q( 2) = f ( p(x )) f (q(x )) . O homomorfismo f chamado
homomorfismo de avaliao em 2 . O ncleo de f formado pelos
polinmios de Q[x ] que se anulam em 2 , ou seja, p(x ) ker f se, e somente

se, p( 2) = 0 . Por exemplo, x 2 - 2 ker f . Dado p(x ) ker f , podemos escrever
p(x ) = (x 2 - 2)q(x ) + r (x ) , onde r (x ) um polinmio de grau 1 (faremos um estudo mais
aprofundado sobre polinmios na aula 6). Assim, podemos escrever r (x ) = a + bx ,
com a, b Q . Como p( 2) = 0 , temos 0 = p( 2) = (( 2)2 - 2)q( 2) + r ( 2) , ou
seja, r ( 2) = 0 , o que significa que a + b 2 = 0 . Se b 0 , ento poderamos
a
escrever 2 = - Q , o que absurdo, pois 2 no racional. Por essa razo,
b
b = 0 e a + 0 2 = 0 , o que implica a = 0 . Consequentemente, r (x ) = 0 (polinmio
identicamente nulo) e p(x ) = (x 2 - 2)q(x ) . Acabamos de mostrar que todo elemento
p(x ) de ker f mltiplo de x 2 - 2 . Portanto ker f (x 2 - 2) , o ideal gerado pelo
polinmio x 2 - 2 . Como x 2 - 2 ker f , a outra incluso tambm ocorre e vale a
igualdade ker f = (x 2 - 2) .
Podemos caracterizar a sobrejetividade de uma funo f usando a sua

imagem. Mais precisamente, f : A B sobrejetiva se, e somente se, Im f = B .
No caso em que f um homomorfismo, podemos caracterizar a injetividade de f
por meio de seu ncleo:
Teorema3 Um homorfismo de anis injetor f : A B se, e somente se, ker f ={0}
Demonstrao:
Se f injetiva e x ker f , ento f (x ) = 0 = f (0) , logo x = 0 . Reciprocamente,
se ker f ={0} e x, y A so tais que f (x ) = f ( y ) , ento f (x ) - f ( y ) = 0 , isto ,
f (x - y ) = 0 . Isso implica que x - y ker f ={0} , ou seja, x = y .
A injetividade do homomorfismo, no caso do exemplo 2 acima, vale em um
contexto mais geral. De fato, temos o seguinte resultado.
Teorema4 Se K um corpo e f : K B um homomorfismo de anis, ento temos

duas possibilidades:
1. f identicamente nulo, isto , f (x ) = 0 , para todo x K , ou
2. f injetivo.
AULA 4 TPICO 1 55

Demonstrao:
Suponha que no ocorre o primeiro caso, isto , f no identicamente
nulo. Ento ker f um ideal prprio de K , ou seja, ker f K . Como K um
corpo, seus nicos ideais so {0} e K e ker f K , temos, necessariamente, que
ker f ={0} . Pelo Teorema 3, f injetor.
Com esse resultado, finalizamos nosso primeiro tpico. Vimos aqui a definio
de homomorfismo de anis, suas propriedades bsicas e alguns exemplos. Vimos
ainda que, associados a um homomorfismo de anis, f : A B um ideal de A ,
o ncleo de f , e um subanel de B , a imagem de f , e que podemos caracterizar a
injetividade e a sobrejetividade de f por meio desse ideal e desse subanel.

TPICO 2 Anel quociente
O bjetivos
Definir anel quociente
Caracterizar ideais primos e maximais por meio de anis
quocientes
N este tpico, construiremos, para um anel dado A e um ideal I

de A , o anel quociente de A por I . Essa construo segue os
mesmos moldes da construo de grupo quociente que fizemos
na aula 2. Essa construo ter papel central no estudo mais aprofundado que
faremos dos homomorfismos, no tpico 3. Veremos, ainda, como caracterizar
um ideal primo, ou maximal, de acordo com as propriedades do anel quociente
associado.
No que se segue, continuaremos a considerar, salvo meno em contrrio,
apenas anis comutativos e com unidade. Seja, pois, A um anel e I um ideal de
A . Vamos definir uma relao de equivalncia entre elementos de A , relativa a I ,
da seguinte maneira:
Dados a, b A , dizemos que a e b so congruentes mdulo I e indicamos
a b se a - b I .
O nosso primeiro passo mostrar que essa relao , de fato, uma relao de
equivalncia.
Lema5 A relao definida acima uma relao reflexiva, simtrica e transi-

tiva, logo, uma relao de equivalncia.
AULA 4 TPICO 2 57

Demonstrao:
Dado a A , temos a - a = 0 I , logo a a e a relao reflexiva.
Se a, b A so tais que a b , ento a - b I , logo b - a = (-1)(a - b) I ,
ou seja, b a e a relao simtrica. Finalmente, se a b e b c , ento a - b I
e b - c I . Somando, obtemos a - c = (a - b) + (b - c ) I , ou seja, a c e a
relao transitiva.
Dado a A , o conjunto dos elementos de A que so congruentes a a ,
mdulo I denotado por a . Assim,
a ={x A|x a}={x A|x - a I }.
claro que a a . O conjunto a chamado classe de equivalncia mdulo
I e tambm denotado por a + I , sendo essa ltima notao bem mais sugestiva,
pois podemos ver cada classe de equivalncia como uma translao do ideal I .
O elemento a chamado representante da classe. Em geral, qualquer elemento de
a pode ser escolhido como um representante de a , pois b a implica que b = a .
EXEMPLO:
Se A = Z e I = 5Z , o ideal formado pelos mltiplos de 5 , ento a e b ,
inteiros, so equivalentes se, e somente se, a - b 5Z , isto , 5|a - b . Dado a Z
, temos a = 5k + r , onde r {0,1,2,3,4} o resto da diviso de a por 5 . Como s
h cinco possibilidades para o resto r dessa diviso e a - r = 5k Z , temos que
a r , e Z = 0 1 2 3 4 .
O conjunto formado pelas classes de equivalncia relativas a I chamado
conjunto quociente e denotado por A / I . Explicitamente, temos:
A / I ={a |a A}={a + I |a A}.
Para que o conjunto quociente A / I
ganhe estrutura de anel, devemos definir sobre
ele duas operaes:
g uarde b e m i s s o ! SOMA: a + b = a + b , e
Boa definio: Devemos notar que tanto a soma PRODUTO: a b = a b .
quanto o produto de classes de equivalncia so
definidos usando-se os representantes dessas preciso mostrar que essas operaes
classes. Assim, faz sentido perguntar se essas esto bem definidas, e desse modo no dependem
operaes realmente independem das escolhas das escolhas dos representantes das classes, e
desses representantes. Para esclarecer esse ponto, tambm satisfazem as condies da definio de
exibimos um exemplo. anel.

EXEMPLO:
Consideremos A = Z e I = 5Z , como no exemplo acima. Observemos as
seguintes igualdades entre classes: 1= 6 e 3 = 8 . Se calcularmos a soma 1 + 3 ,
obteremos 1 + 3 =1 + 3 = 4 . Por outro lado, 6 + 8 =14 , mas 14 = 4 , pois 14 - 4 =10 ,
que mltiplo de 5 . Da mesma forma, 1 3 = 3 e 6 8 = 48 = 3 , pois 48 - 3 = 45 ,
que mltiplo de 5 . Logo, nesse caso particular, a soma e o produto no dependem
dos representantes escolhidos. Iremos, a seguir, mostrar que essa independncia
vale sempre.
Fixado um anel A e um ideal I de A , sejam a1 , a2 , b1 , b2 A tais que
a1 - a2 I e b1 - b2 I , ou seja, a1 = a2 e b1 = b2 . Queremos mostrar que
a1 + b1 = a2 + b2 . Isso equivalente a mostrar que a1 + b1 = a2 + b2 . Veja que
(a1 + b1 ) - (a2 + b2 ) = (a1 - a2 ) + (b1 - b2 ) I , logo a1 + b1 = a2 + b2 , como
queramos demonstrar. Para o produto, queremos mostrar que a1 b1 = a2 b2 . Temos
o seguinte: a1b1 - a2 b2 = a1b1 - a1b2 + a1b2 - a2 b2 = a1 (b1 - b2 ) + b2 (a1 - a2 ) I , pois
a1 - a2 I , b1 - b2 I e I um ideal. Assim, a1b1 = a2 b2 , o que equivalente
igualdade a1 b1 = a2 b2 , como queramos demonstrar.
Condies da definio de anel: Verificaremos apenas algumas das

condies da definio de anel. As verificaes omitidas podem ser feitas de modo
anlogo.
1. Associatividade do produto: dados a, b, c A / I , temos:
a (b c ) = a b c = a (b c ).
como vale a associatividade em A , temos a (b c ) = (a b) c , logo,
a ( b c ) = ( a b ) c = a b c = ( a b ) c.
A associatividade da soma totalmente similar.
2. Comutatividade da soma: dados a, b A / I , temos: a + b = a + b .

Como a + b = b + a em A , pois A um anel, temos a + b = b + a = b + a .
No caso em que A comutativo, a comutatividade do produto em A / I
pode ser demonstrada como fizemos acima para a soma.
3. Existncia de elemento neutro para a soma: se 0 A o elemento

neutro da soma em A , ento a + 0 = a + 0 = a . Logo, 0 o elemento neutro da
soma em A / I .
AULA 4 TPICO 2 59

No caso em que A um anel com unidade 1 A , o anel A / I tambm
possui um elemento neutro para o produto: 1 . De fato, 1 a =1 a = a = a 1= a 1 .
4. Distributividade: dados a, b, c A / I , temos:

a (b + c ) = a (b + c ) = a (b + c ).
Como vale a distributividade em A , temos:
a (b + c ) = ab + ac = ab + ac = a b + a c.
Vamos agora demonstrar um resultado importante que relaciona certos

propriedades dos ideais com propriedades dos anis quocientes a eles associados.
Teorema6 Seja A um anel comutativo com unidade e I um ideal de A .

1. I um ideal primo se, e somente se, A / I um domnio de integridade.
2. I um ideal maximal se, e somente se, A/I um corpo.
Demonstrao: Suponhamos, primeiro, que I um ideal primo. Dados

a, b A / I tais que a b = 0 , temos ab = 0 , logo ab - 0 I , ou seja, ab I . Como
I ideal primo, temos que a I ou b I . No primeiro caso, a = 0 ; e no segundo
caso, b = 0 . Isso mostra que A / I um domnio.
Reciprocamente, se A / I domnio e a, b A so tais que ab I , ento ab = 0 ,
isto , a b = 0 . Como A / I dompinio, essa ltima igualdade implica que a = 0
ou b = 0 e isso equivalente a a I ou b I . Logo, I ideal primo.
Suponhamos, agora, que I um ideal maximal. Dado a A I , a 0 ,
temos que a
/ I . Assim, o ideal J = I + aA ={x + ay |x I , y A} contm I
propriamente, pois a J e a
/ I . Como I maximal, devemos ter J = A , em
particular, 1 J , ou seja, podemos escrever 1= x + ay , com x I e y A . Dessa
forma, 1= x + a y e, como x I , temos x = 0 ,
logo 1= a y . Encontramos, pois, um inverso
para o elemento no-nulo a de A / I . Isso
s aiba mai s ! mostra que A / I corpo.
Para mais informaes sobre anel Quociente, acesse Reciprocamente, suponhamos que A / I
o link http://www.mat.ufmg.br/~marques/ corpo e consideremos um ideal J de A tal que
Apostila-Aneis.pdf I J A . Devemos mostrar que J = I ou J = A
. Se J = I nada h a fazer. Logo, podemos supor
que J I , ou seja, que existe a J , a
/ I .

Isso significa que a 0 e, como A / I corpo, existe y A / I tal que a y =1 ,
ou seja, 1 - ay = x I . Agora, x I J e a J implicam que 1= x + ay J . Pelo
Teorema 6, item 1, da aula 3, temos J = A . Isso mostra que I maximal.
Com esse resultado, encerramos nosso segundo tpico, que tratou da
construo de um anel quociente a partir de um anel e de um ideal desse anel.
AULA 4 TPICO 2 61

TPICO 3 O teorema fundamental dos
homorfismos de anis
O bjetivos
Identificar o teorema fundamental dos homomorfismos
de anis
Reconhecer algumas aplicaes desse teorema
E ste o terceiro e ltimo tpico da nossa aula 4. Nele estudaremos

a relao que existe entre anis quociente e homomorfismos. Essa
relao estabelecida no Teorema Fundamental dos Homomorfismos
de Anis. Esse um teorema anlogo quele que vimos na aula 2 para grupos.
Consideremos um homomorfismo de anis f : A B . J vimos, no Teorema
2, que ker f um ideal de A e Im f um subanel de B . Assim, possvel
A / ker f
considerarmos o anel quociente . O objetivo principal deste tpico
demonstrar que A / ker f isomorfo ao subanel Im f . Lembremos que dois anis
so ditos isomorfos se existe um homomorfismo bijetor entre eles.
Teorema7 (Teorema Fundamental dos Homomorfismos de Anis) Dado um

homomorfismo de anis f : A B , temos
A / ker f @ Im f ,
ou seja, o anel quociente A / ker f isomorfo ao subanel Im f de B .
Demonstrao:
Vamos exibir um isomorfismo entre A / ker f e Im f . Mais explicitamente,
seja F : A / ker f Im f dada por
F (a ) = f (a ).

Vamos mostrar que F um homomorfismo bijetor.
Em primeiro lugar, devemos verificar que F est bem definida. Isso significa
verificar que F (a ) no depende do representante da classe a . Em outras palavras,
se a = b , devemos mostrar que F (a ) = F (b) . Se a = b , ento a - b ker f , logo
f (a - b) = 0 e isso implica que f (a ) - f (b) = 0 , ou seja, f (a ) = f (b) . Portanto,
F (a ) = f (a ) = f (b) = F (b) , como queramos demonstrar.
Vamos, agora, mostrar que F um homomorfismo.
Se a, b A / ker f , ento F (a + b) = F (a + b) = f (a + b) = f (a ) + f (b) = F (a ) + F (b)
e F (a b) = F (ab) = f (ab) = f (a ) f (b) = F (a )F (b) .
Para demonstrar a injetividade de F , usaremos o Teorema 3 desta aula e
assim mostraremos que ker F ={0} . Se a ker F , ento F (a ) = 0 , isto , f (a ) = 0 .
Isso implica que a ker f e, portanto, a = 0 em A / ker f , o que mostra que F
injetiva.
Finalmente, para demonstrarmos a sobrejetividade de F , consideremos
y Im f . Existe, ento, a A tal que f (a ) = y e, assim, F (a ) = f (a ) = y . Dessa
maneira, mostramos que, dado y Im f , existe a A / ker f tal que F (a ) = y ,
logo F um homomorfismo sobrejetor.
Como primeira aplicao do Teorema 7 acima, vamos revisitar o Exemplo 3,

dado no primeiro tpico desta aula.
EXEMPLO:
Como j vimos no Exemplo 3, na pgina 54 , f : Q[x ] R ,
dado por f ( p(x )) = p( 2) , um homomorfismo, com ncleo
ker f = (x - 2) ={(x - 2)q(x )|q(x ) Q[x ]} , o ideal formado pelos mltiplos de
2 2
x 2 - 2 . A imagem de f
Im f ={ p( 2)| p(x ) Q[x ]}.
Podemos descrever essa imagem de um modo mais explcito, se
notarmos que ( 2)n Q se n par, e ( 2)n = r 2 , com r Q , se n
mpar. Assim, se p(x ) = a0 + a1x + + am x m , com a0 , a1 ,, am Q , ento
p( 2) = a0 + a1 2 + + am ( 2)m . Nessa ltima soma h dois tipos de parcelas:
i
quando i for par ai ( 2)i ser um nmero racional, e quando i for mpar, ai ( 2 )
ser do tipo r 2 , com r Q . Portanto, podemos escrever p( 2) = a + b 2 , onde
a, b Q . Assim,
Im f ={a + b 2|a, b Q}.
AULA 4 TPICO 3 63

Esse ltimo conjunto denotado por Q[ 2] . O Teorema Fundamental dos
Homomorfismos de Anis nos diz, portanto, que
Q[x ] / ker f @ Im f , ou seja,
Q[x ] / (x 2 - 2) @ Q[ 2].
Como um isomorfismo desse tipo pode nos ser til? A principal utilidade
de um isomorfismo que podemos us-lo para transferir um problema
de um contexto para outro de modo que a soluo do problema possa ser
simplificada. Ilustraremos essa ideia geral, respondendo seguinte pergunta:
O ideal (x 2 - 2) maximal em Q[x ] ?
De acordo com o item 2 do Teorema 6, (x 2 - 2) maximal se, e somente se,

Q[x ] / (x 2 - 2) um corpo. Mas, como Q[ 2] isomorfo a Q[x ] / (x 2 - 2) , temos
que Q[x ] / (x - 2) um corpo se, e somente se, Q[ 2] corpo (veja o exerccio 2
2
de aprofundamento).
Vamos, ento, verificar que Q[ 2] corpo. De fato, se a + b 2 Q[ 2]
diferente de zero, ento a 0 e b 0 . Logo,
1 1 a-b 2 a-b 2 a b
= = 2 = 2 - 2 2.
a+b 2 a+b 2 b 2 a - 2b 2
a - 2b 2
a - 2b2
Esse um procedimento conhecido como racionalizao (veja o Exemplo

8, tpico 1, aula 3). Observe que a 2 - 2b2 no pode ser igual a zero, pois, se
a
a 2 - 2b2 = 0 , teramos 2 = , com a e b racionais, o no possvel, devido a
b
2 ser irracional.
a -b
Assim, sendo e nmeros racionais, temos que
1 a 2
- 2b 2
a 2
- 2b 2
Q[ 2] . Isso significa que todo elemento no-nulo de Q[ 2] tem um

a+b 2
inverso em Q[ 2] , ou seja, Q[ 2] um corpo. Pelo que discutimos acima, isso
implica que (x 2 - 2) um ideal maximal em Q[x ] .
Outro fato importante sobre homomorfismos de anis o teorema a seguir,
conhecido como Teorema da Correspondncia. Esse teorema estabelece uma
correspondncia entre os ideais de dois anis entre os quais h um homomorfismo

sobrejetor. Lembremos a seguinte notao: se I um subconjunto de A e
f : A B uma funo, ento f ( I ) ={ f (x )|x I } . Da mesma forma, se J um
subconjunto de B , ento f -1 ( J ) ={a A| f (a ) J } .
Teorema (Teorema da Correspondncia) Seja f : A B um homomorfismo

sobrejetor de anis e N = ker f . Temos o seguinte:
Existe uma correspondncia bijetiva
1. {Ideais que contm N} {Ideais de B}
dada por I f ( I ) .
2. Dados I1 e I2 ideais de A , contendo N , temos I1 I2 se, e somente
se, f ( I1 ) f ( I2 ) .
Demonstrao:
1. Dado um ideal I de A , vamos mostrar que f ( I ) um ideal de B .
Se x, y f ( I ) , ento existem a, b I tais que f (a ) = x e f (b) = y . Assim,
x + y = f (a ) + f (b) = f (a + b) f ( I ) . Se b B , ento b x = b f (a ) . como f
sobrejetor, existe a A tal que f (a ) = b . Assim, b x = f (a ) f (a ) = f (aa ) f ( I ) .
Dessa forma, mostramos que f ( I ) um ideal de B .
Por outro lado, seja um ideal de B . Vamos mostrar que
J
f ( J ) ={a A | f (a ) J } um ideal de A . Para isso, tomemos a, b f -1 ( J ) .
-1
Ento f (a ) J e f (b) J , logo f (a + b) = f (a ) + f (b) J , ou seja, a + b f -1 ( J ) .

Se a A e a f -1 ( J ) , ento f (aa ) = f (a ) f (a ) J , pois f (a ) J e J um ideal.
Assim, alpha a f -1 ( J ) . Dessa forma, I = f -1 ( J ) um ideal de A .
Observemos, agora, que, se N = ker f , ento f (N ) ={0} J . Isso significa que,
se a N , ento f (a ) = 0 J , logo a f -1 ( J ) para todo a N , ou seja, N f -1 ( J ) = I .
Isso mostra que, para cada ideal J de B , o ideal I = f -1 ( J ) de A contm N .
Vamos, agora, mostrar que f ( I ) = J . Essa uma igualdade entre conjuntos.
Logo, precisamos mostrar que cada um dos conjuntos est contido no outro. A
incluso f ( I ) J segue diretamente da definio de I : dado a I = f -1 ( J ) ,
temos que f (a ) J . Para demonstrarmos a incluso inversa, tomemos b J .
-1
Como f sobrejetiva, existe a A tal que f (a ) = b J , logo a f ( J ) = I e
b = f (a ) f ( I ) .
Sejam, agora, I e I dois ideais de A , contendo N , tais que f ( I ) = f ( I ) .
Vamos mostrar que I = I . Se a I , ento f (a ) f ( I ) = f ( I ) , logo existe a I
tal que f (a ) = f (a ) . Isso implica que f (a - a ) = 0 , ou seja, a - a ker f = N I .
AULA 4 TPICO 3 65

Portanto, a = a + y , com a , y I e isso mostra que a I , logo vale a incluso
I I . Para mostrarmos a validade da outra incluso, basta tomarmos a I e
procedermos exatamente da mesma maneira, atentando para o fato de que N I .
2. Se I1 I2 e x f ( I1 ) , ento x = f (a ) , com a I1 I2 , logo, x = f (a ) I2 .
Isso mostra que f ( I1 ) f ( I2 ) .
Reciprocamente, se f ( I1 ) f ( I2 ) e a I1 , ento f (a ) f ( I1 ) f ( I2 ) . Logo,
existe b I2 tal que f (a ) = f (b) . Da, temos f (a - b) = 0 , ou seja, a - b = c N I2 .
Portanto, a = b + c I2 e isso mostra que I1 I2 .
Como aplicao do Teorema 8 acima, vamos exibir, por meio de um exemplo,
como determinar todos os ideais de um anel finito.
EXEMPLO:
Vamos, a seguir, determinar todos os
ideais de Z6 . Devemos, para isso, considerar o
s aiba m a i s !
homomorfismo f : Z Z6 , dado por f (n) = n ,
Para mais informaes acesse o link http://
onde a barra indica classe de equivalncia
www.mat.uc.pt/~picado/algebraII/0405/
mdulo 6. Esse homomorfismo
Apontamentos/aula4.pdf
sobrejetor e ker f = 6Z . Pelo Teorema 8,
os ideais de Z6 so exatamente aqueles
do tipo f ( I ) , onde I um ideal de Z que contm ker f = 6Z .
J vimos no primeiro exemplo do Tpico 3, aula 3, os ideais de Z so todos
principais, isto , so todos do tipo mZ , com m Z , m 0 . Se 6Z mZ , ento
m |6 . Os divisores positivos de 6 so 1,2,3 e 6 . Assim, os nicos ideais de Z6
so f (mZ ) , como m =1,2,3 ou 6 . Como f (mZ ) = mZ6 (veja o exerccio 1 de
aprofundamento), temos que os ideais de Z6 so 1Z6 = Z6 , 2Z6 , 3Z6 e 6Z6 ={0} .
Terminamos aqui o terceiro tpico e nossa aula 4. Os homomorfismos de anis

aqui estudados so ferramentas teis na resoluo de problemas envolvendo anis,
pois nos permitem tranferir um problema para um contexto onde sua soluo
mais simples. Os principais resultados vistos nessa aula so o Teorema Fundamental
dos Homomorfismos de Anis e o Teorema da Correspondncia. Nas prximas aulas
veremos mais aplicaes dos homomorfismos de anis.

at iv ida d e d e a p r of u da m e n to
1. Seja n Z , n >1 . Considere o homomorfismo f : Z Zn , dado por f (m ) = m . Mostre que

f (aZ ) = aZn .
2. Seja f : A B um isomorfismo de anis. Mostre que

(a) A um domnio de integridade se, e somente se, B tambm um domnio.
(b) A um corpo se, e somente se, B tambm um corpo.
3. Em cada um dos itens abaixo, mostre que o homomorfismo em questo sobrejetivo e determine seu
ncleo.
(a) f : Z Z8 , dado por f (n) = n .
(b) f : Q[x, y ] Q[x ] , dada por f (P (x, y )) = P (x,0) , onde x, y e so indeterminadas.
(c) f : R[ x ] C , dada por f (P (x )) = P (i) , onde i = -1 .
2
-1 + i 3
4. Seja f : Q[x ] C , dada por f ( P (x )) = P ( w ) , onde w = . Mostre que
2
(a) ker T = ( x 3 - 1) .
(b) ImT ={a + bw + cw 2 | a, b, c Q} .
5. Usando os homomorfismos sobrejetores do problema anterior, mostre que

(a) Z / 8Z @ Z8 .
(b) Q[x, y ] / ( y ) @ Q[ x ] .
(c) R[x ] / (x 2 + 1) @ C .
6. Seja C[0,1] o conjunto das funes contnuas f : [0,1] R .

(a) Verifique que, com a soma e o produto definidos por ( f + g )(x ) = f ( x ) + g ( x ) e
( f g )(x ) = f (x ) g (x ) , o conjunto C[0,1] tem uma estrutura de anel comutativo com unidade.
(b) Fixado a [0,1] , mostre que I a ={ f C[0,1]| f ( a ) = 0} um ideal de C[0,1] .
(c) Mostre que a funo
Y a : C[0,1] R
dada por Y a ( f ) = f ( a ) , um homomorfismo sobrejetor.
(d) Mostre que C[0,1] / I a isomorfo a R . O que podemos afirmar sobre o ideal I a ?
1 1
7. Seja C[0,1] como no exerccio anterior. Mostre que I ={ f C[0,1]| f ( ) = f ( ) = 0} um ideal de
3 2
C[0,1] . O ideal I maximal?
AULA 4 TPICO 3 67

8. Seja V um espao vetorial sobre um corpo K e A(T ) o conjunto de todos os operadores lineares de V ,
isto , o conjunto de todas as tranformaes lineares T : V V .
(a) No curso de lgebra Linear, demonstra-se que A(V ) um espao vetorial sobre K , com a
soma e o produto por escalares definidos por
(T1 + T2 )(v ) = T1 (v ) + T2 (v ) e (a T1 )(v ) = a T1 (v ),
onde T1 ,T2 A(V ) e a K . Verifique se isso realmente ocorre.
(b) Considere, em A(V ) , o seguinte produto:
(T1 T2 )(v ) = T1 (T2 (v)) ,
onde T1 ,T2 A(V ) . Mostre que, com esse produto e a soma do item anterior, A(T ) um anel
no comutativo.
(c) Seja f :V W uma transformao linear bijetiva. Mostre que
f * : A(V ) A(W ) ,
dada por f * (T ) = f T f-1 , um isomorfismo de anis.
(d) Conclua que, se V e W so espaos vetoriais de mesma dimenso (finita), ento A(V ) e
A(W ) so anis isomorfos.
9. Seja A um anel com unidade e

f:Z A
um homomorfismo, definido por
(a) Verifique que f , de fato, um homomorfismo.
(b) O ncleo de kerf um ideal de Z , logo do tipo nZ , com n Z , n 0 . Por qu? O
nmero n chamado caracterstica do anel A (outra definio de caracterstica de um anel j foi
dada na aula 3, tpico 2. As duas definies so equivalentes).
(c) Mostre que, se A um domnio de integridade, o nmero inteiro n obtido no item anterior
igual a zero ou igual a um nmero primo. Em outras palavras, a caracterstica de um domnio de
integridade igual a zero ou um nmero primo.
10. Seja K um corpo e P a interseo de todos os subcorpos de K . Demonstre que o menor

subcorpo de K . Chamamos P de corpo primo de K .
11. Seja K um corpo e P o corpo primo de K (veja a questo anterior). Mostre que:
(a) Se a caracterstica de K igual a zero, ento P @ Q .
(b) Se a caracterstica de K igual a p ( p primo), ento P @ Z p .
12. Seja f : Z Z um homomorfismo. Mostre que f (n) = 0 para todo n Z ou f (n) = n , para
todo n Z .

AULA 5 Domnios
fatoriais
Ol aluno(a),
Nesta aula, estudaremos os domnios de integridade onde vale um resultado

anlogo ao Teorema Fundamental da Aritmtica, ou seja, onde elementos que no
so invertveis admitem decomposio nica como produto de primos. Esses
domnios so chamados domnios fatoriais ou dominios de fatorao nica.
No curso de Teoria dos Nmeros, vimos que os nmeros inteiros tm a seguinte

propriedade notvel: dado um nmero inteiro maior do que 1, esse nmero
um primo ou pode ser escrito como produto de um nmero finito de primos de
modo nico. Apesar de parecer, primeira vista, uma propriedade de menor
importncia, essa unicidade , de fato, essencial para quase toda aritmtica que
se desenvolve posteriormente. Isso justifica o nome Teorema Fundamental da
Aritmtica, que se d a essa propriedade dos inteiros. Dessa forma, vale muito a
pena isolar essa propriedade (a unicidade da decomposio em primos) e procurar
os anis onde ela continua vlida. Como em anis que no so domnios podemos
ter comportamentos bastante anmalos (basta lembra que o produto de dois
elementos no nulos pode ser zero em um anel que no domnio), a primeira
restrio que devemos fazer considerar apenas domnios de integridade.
Objetivos
Identificar os domnios de integridade onde vale a propriedade da fatorao

nica
Construir o corpo de fraes de um domnio de integridade dado
AULA 5 69

TPICO 1 Domnos euclidianos, domnios de
ideais principais e domnios fatoriais
O bjetivos
Identificar uma relao de divisibilidade em um
domnio arbitrrio
Estabelecer de modo preciso as noes de primo e
de irredutvel em um domnio
Definir, exibir exemplos e estabeler a relao
entre domnios euclidianos, de ideais principais e
fatoriais
D e incio, relembremos que um domnio de integridade A um

anel comutativo com unidade no qual vale, para a, b A ,
a b = 0 a = 0 ou b = 0.
Neste tpico, consideraremos trs tipos de domnios que tm propriedades
similares quelas do anel dos inteiros que estudamos no curso de Teoria dos
Nmeros: os dominios euclidianos, nos quais podemos fazer divises com resto,
os domnios de ideais principais, os quais cada ideal gerado por um nico
elemento, e, finalmente, os dominios de fatorao nica, ou fatoriais, nos quais
cada elemento que no invertvel irredutvel ou pode ser escrito como produto
de irredutveis de modo nico.
Podemos estabelecer em um domnio A uma noo de divisibilidade similar
a dos inteiros. Mais precisamente, se a, b A , dizemos que a divide b , ou que b
divisvel por a , ou ainda que b mltiplo de a , se existe c A tal que b = a c .
Denotamos a |b .
Um elemento u A chamado unidade se u |1 , isto , se existe v A tal
que uv = 1 . O elemento v nico e chamado inverso de u . O conjunto das
unidades de A denotado por A* e tem, com o produto de A , uma estrutura de
grupo.

A relao de divisibilidade reflexiva,
isto , a |a , para todo a A , pois a = a 1 ,
onde 1 A o elemento neutro do produto.
Tambm transitiva, pois a |b e b|c implicam at e n o!
que a |c . De fato, a |b implica que b = au , com
Se a, b A so associados, ento os ideais
u A , e b|c implica que c = bv , com v .
(a ) = {a A| A} e (b) = {mb|m A} ,
Logo c = bv = (au )v = a(uv ) , com uv e,
gerados por a e b , respectivamente, so iguais.
portanto, a |c . Se a |b e b|a , dizemos que a
De fato, sendo a e b associados, temos a = bu ,
e b so associados e denotamos a b . Neste
com u A . Se x (a ) , ento x = a , com
*
caso, existem u, v A tais que b = au e a = bv . x = ell(bu ) = (ellu )b (b) .

A, logo
Logo, b = au = bvu . Se b = 0 , ento a = bv = . Isso mostra que ( a ) ( b) . Por outro lado, se
Se b 0 , ento b = bvu implica (porque A y (b) , ento y = mb , com m A , logo
domnio) que 1 = vu , ou seja, u, v A* . y = m(au-1 ) = (mu-1 )a (a ) . Isso mostra
Reciprocamente, se u unidade de A , ento que ( b) ( a ) . Portanto, ( a ) = (b) .
-1
b = au implica que a = bu e, assim, a |b e
b|a . Resumindo, dois elementos a, b A so
associados se, e somente se, existe uma unidade u tal que b = au .
EXEMPLOS:
1. No domnio dos nmeros inteiros, temos * = {-1,1} , isto , as nicas
unidades de so -1 e 1 . Dois inteiros a e b so associados se, e somente
se |a |=|b|.
2. Em um corpo K , todo elemento no-nulo invertvel, logo K * = K -{0} .
Isso significa que dois elementos no-nulos quaisquer x, y K so
associados.
Uma decomposio de um elemento d A uma expresso de como

produto de outros elementos de A , isto , d = ab , com a, b A . Se um desses
elementos (digamos, a ) uma unidade, ento o outro (no caso, b ) associado a
d e dizemos que a decomposio trivial, ou imprpria. Um elemento p A ,
p A* , dito irredutvel se p = ab , com a, b A , implica que a A ou b A* ,
*
ou seja, p admite apenas decomposies triviais.

Um elemento p A , p A* , dito primo se p|ab , com a, b A , implica
p|a ou p|b . No anel dos inteiros um elemento primo se e somente se for
irredutvel. Veremos a seguir que isso nem sempre acontece. O que podemos
afirmar em geral o seguinte.
AULA 5 TPICO 1 71

Lema1 Em um domnio de integridade, todo elemento primo irredutvel.
Demonstrao:
Seja A um domnio de integridade. Seja p A um primo e p = ab uma
decomposio de p . Vamos mostrar que a A* ou b A* . Primeiro, como p = ab ,
temos que p|ab . Sendo p primo, p|a ou p|b . No primeiro caso, a = pc ,
com c A , logo p = ab = pcb . Como p primo, podemos garantir que p 0 .
Cancelando p (pois A domnio) obtemos 1 = cb e, consequentemente, b A* .
Se p|b , podemos concluir, de modo anlogo, que a A* .
A recproca do Lema 1 no vlida em geral. De fato, exibiremos a seguir
um contraexemplo.
EXEMPLO:
Seja [ -5] = {a + b -5|a, b } . A discusso em torno do primeiro
exemplo do tpico 3 da aula 4 pode ser rapetida aqui para verificarmos que
[ -5]; [x ] / (x 2 + 5) . Isso mostra de imediato que [ -5] um anel,
embora possamos verificar isso diretamente. Mais ainda, podemos afirmar
que [ -5] um domnio. De fato, se (a + b -5)(c + d -5) = 0 , ento
(ac + 5bd ) + (ad + bc ) -5 = 0 . Como a, b, c , d , essa ltima igualdade implica
bc
que ac + 5bd = 0 e ad + bc = 0 . Supondo a 0 , temos d = - , logo de
2
5b c a
ac + 5bd = 0 vem que ac - = 0 , ou seja, c (a 2 - 5b2 ) = 0 . Como 5 no
a
racional, temos c = 0 . Assim, ad + bc = 0 implica ad = 0 e, sendo a 0 , temos
d = 0 , portanto c + d -5 = 0 . Analogamente, se c 0 , obtemos a + b -5 = 0 .
Consideremos a funo N : [ -5] , dada por
N (a + b 5) = a 2 + 5b2 .
Notemos que, se z = a + b -5 e
z = a - b -5 denota o conjugado de z ,
ento N (z ) = zz . Uma consequncia
direta dessa representao que
g uarde b e m i s s o !
N (zw ) = (zw )(zw ) = zzww = N (z )N (w ) .
Iremos considerar funes como esta ainda
neste tpico, quando estudarmos os domnios
Agora mostraremos que o elemento
euclidianos.
2 + -5 irredutvel mas no primo.
Precisaremos, para isso do seguinte resultado.

Lema2 Um elemento z [ -5] unidade se, e somente se, N (z ) = 1 .
Demonstrao:
Se N (z ) = 1 , ento zz = 1 , logo o
inverso de z e z unidade. Reciprocamente,
se existe w [ -5] tal que zw = 1 , ento
at e n o!
N (zw ) = N (1) = 1 . Assim, N (z )N (w ) = 1 . Como
N (z ) e N (w ) so inteiros positivos, a nica A partir do Lema2 acima tambm podemos
possibilidade aqui que N (z ) = N (w ) = 1 . concluir que [ -5]* = {1} .

De fato, N (1) = (1)2 = 1 . Pelo Lema,
Se z = a + b -5 , ento N (z ) = 1 implica
1 [ -5] . Reciprocamente, se
que a 2 + 5b2 = 1 , o que s possvel se b = 0 e
z = a + b -5 [ -5] , ento, pelo Lema,
*
a = 1 , ou seja, z = 1 [ -5]* .
N (z ) = 1 . Assim, a 2 + 5b2 = 1 , com a, b .
Isso s pode ocorrer se a = 1 e b = 0 , ou
Voltando ao exemplo,
seja, se z = 1 .
observemos, agora que N (2 + -5) = 9 .
Se 2 + -5 = zw , ento N (z )N (w ) = 9
e, em particular, N (z )|9 . Como N (z ) 0 , as nicas possibilidades so
N (z ) = 1 , N (z ) = 3 ou N (z ) = 9 . Se N (z ) = 1 , o Lema 2 nos diz que z
unidade. Se N (z ) = 9 , ento N (w ) = 1 e, novamente pelo Lema 2, w
unidade. O caso N (z ) = 3 impossvel, pois a 2 + 5b2 no pode ser igual a 3 ,
se a, b . Conclumos, ento, que 2 + -5 irredutvel.
No entanto, 2 + -5 no primo, pois 2 + -5 divide 3 3 , mas 2 + -5 no
divide 3 . De fato, se 3 = (2 + -5)(a + b -5) , ento 3 = (2a - 5b) + (a + 2b) -5 ,
o que implica 2a - 5b = 3 e a + 2b = 0 . Logo, a = -2b e 2a - 5b = 3 implicaria
-9b = 3 , com b , o que impossvel.
Um domnio A chamado domnio de ideais principais (DIP) se
todo ideal I de A for principal, isto , gerado por um elemento x A . Mais
precisamente, se I um ideal de A , ento existe x A tal que
I = {ax |a A}.
O exemplo tpico de DIP o anel . Demonstraremos isso mais adiante em
um contexto mais geral. A recproca do Lema 1 vale em um DIP (e em particular
para ).
AULA 5 TPICO 1 73

Teorema3 Em um DIP, um elemento irredutvel se, e somente se, for primo.
Demonstrao:
O Lema 1 nos diz que todo primo irredutvel em qualquer domnio.
Reciprocamente, se A um DIP, p A irredutvel e a, b A so tais que p|ab ,
ento
( p, a ) = { px + ay |x, y A}
um ideal de A . Como A um DIP, existe c A tal que ( p, a ) = (c ) . Em particular
p (c ) , ou seja, c | p . Como p irredutvel, c A* ou c = up , com u A* . Neste
ltimo caso, (a, p) = (c ) = ( p) e, em particular, a ( p) , o que implica p|a . Por
outro lado, se c A* , ento (c ) = A e 1 (c ) = ( p, a ) . Logo, existem x, y A tais
que
1 = px + ay.
Multiplicando essa igualdade por b , obtemos
b = pbx + aby.
Como p|ab , temos que p| pbx + aby , isto , p|b . Isso mostra que p
primo.
Um domnio A dito domnio de fatorao nica (DFU) se valem as
seguintes condies:
1. Todo elemento no nulo de A que no uma unidade pode ser escrito
como produto de um nmero finito de irredutveis.
2. Todo elemento irredutvel primo.
O prximo resultado justifica o nome DFU:
Teorema4 Em um DFU todo elemento no nulo que no uma unidade pode ser escrito
como produto de irredutveis de modo nico, a menos da ordem dos fatores no produto
e de produto por unidades.
Demonstrao:
Seja A um DFU. Pela definio de DFU, basta demonstrar a unicidade. Se
p1 pr e q1 qt so duas fatoraes de um mesmo elemento a A como produto
de irredutveis, ento p1 |q1 qt . Sendo p1 irredutvel no DFU A , p1 tambm
primo, logo p1 divide um dos q j . Aps um reordenamento dos fatores, se
necessrio, podemos assumir que p1 |q1 , isto , q1 = u1 p1 . Como q1 irredutvel,
u1 uma unidade. Podemos escrever, ento

p2 p3 pr = u1q2q3 qt .
Procedendo da mesma maneira, podemos assumir (aps um reordenamento
dos fatores, se necessrio) que p2 |q2 , ou seja, que q2 = u2 p2 , com u2 A* . Logo,
p3 pr = u1u2q3 qt
e, repetindo esse procedimento um nmero finito de vezes, de modo a cancelar o
maior nmero possvel de irredutveis, obteramos, se r < t ,
1 = u1 ur qt-r qt ,
-1 -1
isto , qt-r qr = u u , o que impossvel, pois um produto de irredutveis
1 r
no pode ser uma unidade (veja a tarefa 2 desta aula). Do mesmo modo, supor r > t
nos levaria a uma contradio. Assim r = t e cada pi associado a um qi . Vale,
portanto, a unicidade.
Uma coleo de ideais I j , com j 1 , de um anel A chamada cadeia
ascendente se I1 I2 In . Uma cadeia ascendente dita estacionria
se existe n 1 tal que
I1 I2 In-1 In = In+1 =
ou seja, se I j +1 = I j , para todo j n .
Lema5 Seja A um domnio de ideais principais. Ento toda cadeia ascendente de

ideais de A estacionria.
Demonstrao:
Dada uma cadeia ascendente de ideais I1 I2 , seja, para cada j , a j o
gerador de I j , isto , I j = (a j ) . Seja I = j1I j a unio de todos os ideais dessa
cadeia. Afirmamos que I um ideal de A . De fato, I contm cada I j , logo no
vazio. se x, y I , ento x I j e y Ik , com j 1 e k 1 . Se j k , ento
x I j Ik , logo x + y Ik I . Se k j , ento y Ik I j e x + y I j I . Se
a A e x I , ento x I j , para algum j 1 , logo ax I j I . Assim, I um
ideal do DIP A . Consequentemente, existe a A tal que I = (a ) . Como a I
, existe n 1 tal que a In = (an ) , ou seja, an |a . Por outro lado, an I = (a )
implica que a |an . Assim, a e an so associados e I = (a ) = (an ) = In . Agora, se
k n , ento In Ik I = In , logo Ik = In e a cadeia estacionria.
A condio toda cadeia ascendente estacionria chamada condio das
cadeias ascendentes (CCA). O resultado acima caso particular de um teorema
devido matemtica alem Emmy Noether, que afirma serem equivalentes a CCA
AULA 5 TPICO 1 75

e a finitude do nmero de geradores dos ideais de , isto , dado um ideal I de
A existem a1 ,, ar A tais que I = (a1 ,, ar ) = {a1a1 + + ar ar |ai A} . Anis
satisfazendo uma dessas condies so chamados noetherianos em homenagem a
ela.
Teorema6 Todo domnio de ideais principais um domnio de fatorao nica.
Demonstrao:
J mostramos que, em um DIP, todo irredutvel primo. Basta mostrarmos,
ento, que, em um DIP, todo elemento que no zero nem unidade, pode ser
escrito como produto de um nmero finito de irredutveis. Caso isso no ocorresse,
poderamos produzir uma cadeia ascendente no estacionria (veja a tarefa 3). Mas
isso contradiz o resultado do Lema 5.
A recproca do Lema 6 no vlida. Exibiremos um contraexemplo mais

adiante, na aula 6.
Dizemos que A um domnio euclidiano se existe uma funo N : A ,
chamada norma, tal que
1. N (a ) 0 , para todo a A e N (a ) = 0 se, e somente se, a = 0 .
2. N (a b) = N (a ) N (b) , para quaisquer a, b A .
3. Dados a, b A , com b 0 , existem q, r A tais que
a = bq + r , com 0 N (r ) < N (b)our = 0.
A condio da definio acima pode ser substituda, supondo-se

simplesmente que vale
1. Se a, b A e a |b , ento N (a ) N (b) .
A verificao de que 2 implica 2' simples: se a |b , ento existe c A tal

que b = ac . Logo, N (b) = N (ac ) e, supondo que vale 2 , N (b) = N (a )N (c ) . Como
N (a ), N (b) e N (c ) so inteiros no negativos, a relao N (b) = N (a )N (c ) implica
que N (a ) N (b) .
EXEMPLO 1
O anel A = , com a funo N : dada por N (a ) =|a | , um domnio
euclidiano. A demonstrao desse fato usa o Princpio de Eudoxo, mais conhecido

como Princpio de Arquimedes, que afirma que um nmero real est sempre entre
dois nmeros inteiros consecutivos. Se a, b , com b 0 , ento existe, pelo
Princpio de Eudoxo, q tal que
a
q < q +1.
b
Multiplicando por b , temos, se b > 0 , bq a < bq + br , ou seja,

r
0 a - bq < b . Se b < 0 , temos bq a > bq + b , ou seja, 0 a - bq > b . Em
qualquer um dos casos, 0 |r |<|b|, onde r = a - bq . Isso mostra que vale a
condio 3 da definio de domnio euclidiano. Uma vez que |ab|=|a ||b|, vale a
condio 2. Finalmente, a condio 1 consequncia da definio de valor absoluto
de um nmero real.
EXEMPLO 2
Veremos, na aula 6, que A = K [ X ] , o anel de polinmios na indeterminada X
com coeficientes no corpo K , um domnio euclidiano, com norma N : K [ X ]
dada por N ( f ( X )) = grau ( f ( X )) .
EXEMPLO 3
Seja [i ] = {a + bi|a, b } , onde i2 = -1 . Com a soma e o produto de
nmeros complexos, [i ] um domnio, chamado domnio de inteiros de Gauss.
Munido com a funo N : [i ] , dada por N (a + bi) = a 2 + b2 , [i ] um
domnio euclidiano. De fato, N (a + bi) = a 2 + b2 0 para todo z = a + bi [i ] e
N (z ) = 0 implica que a 2 + b2 = 0 . Como a, b , essa ltima igualdade implica
que a = b = 0 , logo z = 0 . Dessa forma, vale a condio 1. Para verificarmos a
validade da condio 2, basta notarmos que N (z ) = a 2 + b2 = zz , onde z = a - bi
o conjugado de z . Assim, N (zw ) = zw zw = zw z w = zz ww = N (z )N (w ) . A
condio 3 merece uma ateno especial e ser tratada no teorema a seguir.
Teorema7 Seja [i ] = {a + bi|a, b } o domnio dos inteiros de Gauss. Dados

z, w [i ] , com w 0 , existem q, r [i ] tais que
z = qw + r , e 0 N (r ) < N (w ).
Demonstrao:
Os elementos de [i ] formam uma rede de pontos distribudos de modo
homogneo ao longo do plano. Mais precisamente, esses elementos correspondem
AULA 5 TPICO 1 77

aos pontos que tm coordenadas inteiras, ou, de modo mais geomtrico, aos pontos
que so vrtices dos quadrados de lado 1 que formam um ladrilhamento do plano.
Como o plano complexo totalmente coberto pelos quadrados desse ladrilhamento,
o nmero complexo pertence a um desses quadrados. Dentre os quatro vrtices
z z
do quadrado que contm , seja q [i ] aquele cuja distncia a a menor
w w
possvel, podendo ser, inclusive, igual a zero. Essa distncia no pode ser maior do
z
que metade da diagonal do quadrado, que tem lado 1 , ou seja, a distncia entre
2 z w
e q menor ou igual a . Isso se d porque o ponto que corresponde a est
2 w
em um dos quatro quadrados menores exibidos na figura 1 abaixo, justamente o
quadrado pequeno que contm o vrtice q .
z no interior do quadrado.
Figura 1: Ponto
w
Como a maior distncia entre dois pontos sobre um quadrado o comprimento
z 2
de sua diagonal, temos 0 | - q| < 1 . Temos: |z - qw |<|w |. Observando
w 2
que N (a ) =|a |2 e denotando r = z - qw , obtemos, finalmente, z = qw + r , com
0 N (r ) < N (w ) , como queramos.
O resultado que exibiremos a seguir uma repetio de um argumento

utilizado no curso de Teoria dos Nmeros. Essa teorema estabelece a ligao entre
os domnios euclidianos e dos domnios de ideais principais.
Teorema8 Todo domnio euclidiano um domnio de ideais principais.
Demonstrao:
Seja A um domnio euclidiano e I um ideal de A . O conjunto
N I = {N (x )|x I }

no vazio. Pelo princpio da boa ordem, existe x0 I tal que N (x0 ) mnimo. Como
x0 I , temos a incluso (x0 ) I . Reciprocamente, se x I , existem q, r A tais
que x = qx0 + r e 0 N (r ) < N (x0 ) . Como x0 , x I , temos que r = x - qx0 I .
Se r 0 , ento r I e N (r ) < N (x0 ) contrariam a minimalidade de x0 . Assim,
r = 0 e x = qx0 (x0 ) , demonstrando que I (x0 ) . Portanto qualquer ideal I de
A principal, sendo gerado pelo elemento x0 tal que N (x0 ) mnimo.
Dessa forma, temos a seguinte sequncia de implicaes:
DomnioEuclidiano D.I .P . D.F .U .
Alm disso, as implicaes no sentido inverso no valem em geral. Exibiremos

na, aula 6, um DFU que no DIP. O exemplo a seguir um DIP que no domnio
euclidiano.
EXEMPLO:
1 + -19
O anel A = [q ] = {a + bq |a, b ,q = } um DIP e no domnio
2
euclidiano.
Encerramos aqui o primeiro tpico de nossa quinta aula. Vimos aqui a
importncia da noo de fatorao nica, originalmente uma propriedade nos
nmeros inteiros, que ocorre tambm em contextos mais amplos, como nos inteiros
de Gauss ou anis de polinmios. Vimos que o tratamento abstrato dessa noo,
feito isolando-se as condies essenciais para que ocorra a fatorao nica, nos
permite obter resultados que valem tanto para o anel dos inteiros, quanto para
outros anis que tambm sejam domnios de fatorao nica.
AULA 5 TPICO 1 79

TPICO 2 O corpo de fraes de
um domnio
O bjetivos
Assimilar a noo de corpo de fraes de um
domnio
Identificar os domnios como nicos anis para
os quais possvel a construo de um corpo de
fraes
N este tpico, faremos uma construo importante. Para cada

domnio de integridade A , iremos construir um corpo K
contendo A e tal que, para a A , a 0 , exista x K
satisfazendo a x = 1 . Esse corpo chamado corpo de fraes do domnio A . A
palavra contendo aparece entre aspas pois, na verdade, no ocorre uma incluso,
mas sim um homomorfismo injetor de A em K , anlogo ao homomorfismo ,
discutido na aula 4. Em particular, essa construo nos permite definir com preciso
o que nmero racional: basta aplicar os resultados que estudaremos aqui ao caso
A=.
Seja A um domnio de integridade. Denotamos A = A -{0} . Seja
B = A A = {(a, b)|a, b A, b 0} . Consideremos a seguinte relao em B :
(a, b) : (c , d ) ad = bc.
Essa uma relao de equivalncia. De fato, a reflexividade e a simetria da
relao podem ser verificadas sem muita dificuldade do seguinte modo:
Reflexividade: dado um par ordenado (a, b) B , a definio da relao :
nos diz que ab = ab (a, b) : (a, b) .
Simetria: dados (a, b),(c , d ) B , se (a, b) : (c , d ) , ento ad = bc o que
equivalente a cb = da , ou seja, (c , d ) : (a, b) .

Quanto transitividade, temos o seguinte: se (a, b) : (c , d ) e (c , d ) : (e , f ) ,
ento ad = bc e cf = de . Multiplicando a primeira igualdade por f , obtemos
d (af ) = b(cf ) . Usando a segunda igualdade, obtemos: d (af ) = b(de ) , isto ,
d (af ) = d (be ) . Como d 0 e A um domnio, podemos cancelar d e obter
af = be , o que implica (a, b) : (e , f ) .
Vamos denotar por K o conjunto das classes de equivalncia que a relao :
define sobre B , ou seja,
(a, b) = {(x, y ) B |(x, y ) : (a, b)} e
K = {(a, b)|(a, b) B}.

Observemos, ainda, que, se k 0 , ento (a, b) = (ak, bk ) . Dessa forma,
podemos definir as seguintes operaes em K :
PRODUTO: (a, b) (c , d ) = (ac , bd ) .
SOMA: (a, b) + (c , b) = (a + c , b) .
Note que a soma foi definida apenas
para pares ordenados que tm as segundas
coordenadas iguais. Isso no acarreta problemas
de definio, pois, se as segundas coordenadas at e n o!
forem distintas, podemos proceder da seguinte
A maneira como somamos as classes acima
forma:
exatamente o modo como somamos fraes,
(a, b) + (c , d ) = (ad , bd ) + (bc , bd ) = (ad + bc , bd ). transformando-as em fraes com o mesmo
Consideremos duas classes (a, b) e (c , d ) . denominador.
Podemos escolher outros representantes A seguir, mostraremos que as operaes
para essas classes, digamos, (a1 , b1 ) (a, b) e acima esto bem definidas, isto , que no h
(c1 , d1 ) (c , d ) , de modo que (a1 , b1 ) = (a, b) e ambiguidade nas definies. Isso deve ser feito
(c1 , d1 ) = (c , d ) . Dessa forma, temos, pela definio sempre que definirmos operaes entre classes,
da relao de equivalncia, a1b = ab1 e c1d = cd1 . como j fizemos na aula 1, quando definimos as
Multiplicando essas igualdades membro a operaes de um grupo quociente, e na aula 4,
membro, obtemos (a1c1 )(bd ) = (ac )(b1d1 ) . quando tratamos da boa definio das operaes
Novamente pela definio da relao de em um anel quociente.
equivalncia, temos (ac , bd ) = (a1c1 , b1d1 ) .

De acordo com a definio que demos para o
produto de classes,
(a, b) (c , d ) = (ac , bd ) = (a1c1 , b1d1 ) = (a1 , b1 ) (c1 , d1 ).
AULA 5 TPICO 2 81

Portanto, o produto de classes no depende da escolha dos representantes.
Vamos, agora, mostrar que vale o mesmo para a soma. Como j vimos acima,
dadas duas classes (a, b) e (c , d ) , podemos obter novos representantes de modo
que as segundas coordenadas dos pares ordenados coincidam. Mais precisamente,
podemos considerar (a, b) = (ad , bd ) e (c , d ) = (bc , bd ) . Assim, podemos considerar,
sem perda de generalidade, duas classes representadas por pares cujas segundas
coordenadas coincidem: (x, z ) e ( y, z ) . Consideremos outros representantes das
mesmas classes: (x1 , z1 ) = (x, z ) e ( y1 , z1 ) = ( y, z ) . Pela definio da relao de
equivalncia, x1z = xz1 e y1z = yz1 . Somando essas duas igualdades membro a
membro, obtemos x1z + y1z = xz1 + yz1 e assim (x1 + y1 )z = (x + y )z1 . Novamente
pela definio da relao de equivalncia, temos (x1 + y1 , z1 ) = (x + y, z ) e, pela
definio dada para a soma de classes,
(x1 , z1 ) + ( y1 , z1 ) = (x1 + y1 , z1 ) = (x + y, z ) = (x, z ) + ( y, z ).
Isso mostra que a soma tambm independe da escolha dos representantes
das classes.
a
Usamos a notao para indicar a classe (a, b) e chamamos cada uma
b
dessas classes de frao. As coordenadas a e b de um representante da classe
a
(a, b) , ou seja, da frao , so chamadas, respectivamente, de numerador e
b
a
denominador da frao . Usando a notao de frao, podemos reescrever as
b
operaes entre classes, definidas acima, da seguinte maneira:
a c ad + bc
+ = ,
b d bd
a c ac
= .
b d bd
O Teorema a seguir mostra que o conjunto das fraes com numerador e

denominador em um domnio A um corpo. Lembremos que, se A e B so dois
aneis, dizemos que A pode ser imerso em B , se existe um homomorfismo injetor
f :AB.
Teorema9 O conjunto K das fraes com numerador e denominador em um domnio

A , com as operaes definidas acima, um corpo, chamado corpo de fraes de
A e denotado por K = c. f . ( A) . Todo domnio de integridade A pode ser imerso
em seu corpo de fraes.

Demonstrao:
J mostramos que as operaes so bem definidas. Verificar que valem os
axiomas de anel comutativo uma tarefa de rotina (veja a tarefa nmero 6). O
1 a 1 a a
elemento neutro do produto a frao 1 . De fato, = = . Por outro lado,
1 1 b 1 b b
0
o elemento neutro da soma a frao . De fato, se a K , ento
1 b
a 0 a 0 a+0 a
+ = + = = .
b 1 b b b b
a
Dada uma frao K , a 0 , podemos garantir que a 0 , do contrrio,
b b 1
a 0 0
teramos = = , a ltima igualdade sendo vlida porque 0 1 = 0 = b 0 (vale
b b 1
lembrar que cada frao uma classe de pares ordenados). Sendo a 0 , temos
b
K . Alm disso,
a a b ab
=
b a ba
1
e essa ltima frao igual a, pois (ab) 1 = 1 (ba ) . Isso mostra que todo elemento
1
diferente do elemento neutro da soma de K , possui um inverso em K . Logo, o anel
comutativo com unidade K , na verdade, um corpo.
Para mostrar que A pode ser imerso em seu corpo de fraes K ,
a
consideremos a funo f : A K , dada por f (a ) = . Primeiro, verifiquemos que
1
f um homomorfismo:
a+b a b
f ( a + b) = = + = f (a ) + f (b),
1 1 1
ab a b
f (ab) = = = f (a ) f (b).
1 1 1
0
O ncleo de f trivial, pois a kerf se, e somente se, f (a ) = . Logo,
a 0 1
= , o que significa a 1 = 1 0 , ou seja, a = 0 . Assim, kerf = {0} e f um
1 1
homomorfismo injetor. Isso mostra que A pode ser imerso em K .
EXEMPLO 1:
Se A = , o domnio dos inteiros, ento c. f .() = . De fato, o procedimento
descrito acima uma construo formal do corpo dos nmeros racionais.
EXEMPLO 2:
Se A um corpo, ento K = c. f . ( A) isomorfo a A . De fato, o homomorfismo
a
injetor f : A K , dado por f (a ) = , como na demonstrao do Lema 9, , neste
1
AULA 5 TPICO 2 83

caso, tambm sobrejetor. Para verificarmos isso, tomemos a K . Como b A ,
b
-1 a ab-1 ab-1
b 0 e K um corpo, temos b A . Assim, = -1 = = f (ab-1 ) e isso
b bb 1
mostra que f sobrejetivo.
EXEMPLO 3:
Em particular, veremos que, se k um
corpo, ento k[x ] , o conjunto dos polinmios na
ateno! indeterminada x , com coeficientes em k , com
as operaes de soma e produto de polinmios,
Na prxima aula, estudaremos os anis de
um domnio. O corpo de fraes de k[x ]
polinmios.
denotado por k(x ) . Podemos descrev-lo do
seguinte modo:

f (x )

k(x ) =
| f (x ), g (x ) k[x ], g (x ) 0
.

g (x )

EXEMPLO 4:
O anel de inteiros de Gauss [i ] = {a + bi|a, b ,i2 = -1} um domnio de
integridade. Alis, j mostramos, nesta aula, que [i ] um domnio euclidiano.
O corpo de fraes de [i ] formado pelas fraes do tipo a + bi . Podemos
c + di
simplificar essa expresso do seguinte modo:
a + bi a + bi c - di (a + bi)(c - di) ac + bd bc - ad
= = = 2 + i.
c + di c + di c - di c2 + d 2 c + d 2 c2 + d 2
Como j comentamos anteriormente nesta aula, esse processo chamado

racionalizao. As igualdades acima mostram que todo elemento de c. f .([i ])
est contido em [i ] = {r + si|r , s ,i2 = -1} . Reciprocamente, se r + si [i ] ,
ento podemos escrever
a c ad + bc i
r + si = + i = c. f .([i ]).
b d bd
Assim, c. f .([i ]) = [i ] . Isso mostra, em particular, que [i ] um corpo.
Encerramos aqui nosso segundo tpico e a aula 5. Nesta aula vimos que a
importante noo de fatorao nica que vale para nmeros inteiros, pode ser
tratada abstratamente. O anel dos inteiros, sendo um domnio euclidiano, o exemplo
padro e clssico das estruturas que estudamos aqui. A contrapartida geomtrica

dada pelo outro exemplo clssico: os anis de polinmios com coeficientes em
um corpo, que sero estudados na prxima aula. Veremos que os polinmios com
coeficientes em um corpo e uma indeterminada formam um domnio euclidiano,
mas se considerarmos polinmios com mais de uma indeterminada, o domnio
resultante no ser sequer um domnio de ideais principais, embora seja um
domnio de fatorao nica.
1. Considere a equao diofantina x 2 + y 2 = z 2 . Os trios de inteiros ( x, y, z ) (0,0,0) que satisfazem

essa equao so chamados trios pitagricos. Se m.d.c.(x, y, z ) = 1 , dizemos que o trio pitagrico
(x, y, z ) primitivo.
(a) Mostre que se ( x, y, z ) um trio pitagrico primitivo, ento z mpar. Sugesto: a igualdade
x 2 + y 2 = z 2 implica que x 2 + y 2 z 2 (mod4) .
(b) Dado um trio pitagrico primitivo ( x, y, z ) , mostre que um primo p [i ] no pode dividir
simultaneamente x + iy e x - iy .
(c) Observando que z 2 = ( x + iy )( x - iy ) em [i ] , e que o anel dos inteiros gaussianos um DFU, use o
item anterior para mostrar que x + iy = u(m + in)2 , onde u [i ] .
*
(d) Conclua que x = (m 2 - n2 ) , y = 2mn e z = (m 2 + n2 ) , com m, n de paridades distintas.
2. Esse exerccio usa a fatorao nica em [i ] para demonstrar que qualquer primo p tal que
p 1(mod4) pode ser escrito como soma de dois quadrados.
(a) Mostre que, se p 1(mod4) , ento a congruncia x 2 -1(modp) tem soluo ( sugesto: Calcule
-1 p-1
o smbolo de Legendre = (-1) 2 ).
p
(b) De acordo com o resultado do item anterior, p|n + 1 , para algum n . Logo p|(n + i)(n - i) .
2
Mostre que p p + i e p p - i . Conclua que p no primo em [i ] , logo p redutvel em [i ] .

(c) Pelo item anterior, p = ( a + ib)(c + id ) e nenhum dos fatores uma unidade. Considere a norma em
ambos os membros dessa igualdade e conclua que p soma de dois quadrados.
3. Observe que (2 + i)(2 - i) = 5 = (1 + 2i)(1 - 2i) . Por que isso no contradiz a fatorao nica em [i ]
?
4. (Inteiros de Eisenstein) Seja w = e 2 pi /3 = -1 + i 3 . Considere a funo N : [w ] dada por

2
N (a + bw ) = a 2 - ab + b2 .
AULA 5 TPICO 2 85

(a) Mostre que se a + bw for escrito na forma u + vi , com u, v , ento N ( a + bw ) = u 2 + v 2 .
(b) Mostre que, se a, b [ w ] , ento N (ab ) = N (a )N (b ) . Conclua que, se a | g em [ w ] , ento
N (a )|N ( g ) em .
(c) Seja a [w ] . Mostre que a unidade se, e somente se, N (a ) = 1 . Encontre todas as unidades
de [ w ] (existem seis ao todo).
(d) Mostre que 1 - w irredutvel em [ w ] e que 3 = u(1 - w )2 para alguma unidade u [ w ] .
(e) Mostre que [ w ] um dompinio euclidiano, logo um DIP e tambm um DFU.
5. Seja A um DIP e f : A D um homomorfismo de A em um domnio D . Mostre que A / kerf

isomorfo a um corpo contido em D . Sugesto: use a tarefa 5 desta aula e o Teorema Fundamental dos
Homomorfismos.
6. Seja A um domnio de integridade e K = c. f . ( A) o corpo de fraes de A . Se L um corpo

e f : A L um homomorfismo de anis, mostre que existe um nico homomorfismo de anis
g : K L tal que g (a ) = f (a ) , para todo a A .

AULA 6 Polinmios
Ol, aluno (a),
Todos ns temos uma noo bsica do que um polinmio e tambm conhecemos

algumas de suas propriedades bsicas. Nesta aula, estudaremos polinmios no
contexto da lgebra Abstrata. A ideia principal estudar conjuntos de polinmios
em vez de estud-los isoladamente. Os polinmios com coeficientes em um anel
A formam um novo anel, chamado anel de polinmios sobre A . Com o auxlio do
Teorema Fundamental dos Homomorfismos de Anis, visto na aula 4, veremos que
os anis de polinmios so uma ferramenta fundamental na construo de novos
exemplos de anis. A definio de polinmio que daremos nos permitir definir
outro conceito importante: o de srie formal. Tambm estudaremos nesta aula os
polinmios irredutveis, aqueles que desempenham papel similar aos dos nmeros
primos em . Vamos l?
Objetivos
Compreender a definio de polinmio e de anel de polinmios

Reconhecer a noo de srie formal como uma extenso natural da noo
de polinmio
Identificar a validade do algoritmo da diviso em anis de polinmios com
coeficientes em um corpo
Utilizar o critrio de Eisenstein para decidir quando um polinmio com
coeficientes inteiros irredutvel
AULA 6 87

TPICO 1 Sequncias quase nulas
e polinmios
O bjetivos
Compreender o que um polinmio e o significado
formal da noo de indeterminada
Identificar algumas propriedades dos anis de
polinmios e dos anis de sries formais
Construir anis de polinmios em mais de uma
indeterminada
N este primeiro tpico, veremos a definio formal de polinmio

e esclareceremos o que a indeterminada de um polinmio.
Estudaremos um processo indutivo que permite a construo de
anis de polinmios em um nmero finito de indeterminadas. Veremos tambm que
a definio de polinmio pode ser naturalmente estendida para que se possa definir
srie formal. Esses objetos formam anis, cujas propriedades sero estudadas ao
longo desta aula.
No que se segue, iremos considerar zero como um nmero natural, isto ,
= {0,1,2,} . Essa escolha ser justificada mais adiante.
Dado um conjunto A , uma sequncia de elementos de A uma funo
f : A . Usamos a notao fn em vez de f (n) e indicamos a sequncia como
f = ( fn ) = ( f0 , f1 ,, fn ,) . Em geral, trataremos aqui dos casos em que A um
anel. A ideia induzir no conjunto das sequncias uma estrutura de anel induzida
pela estrutura de anel de A . Para isso, precisamos dizer quando duas sequncias
so iguais e tambm precisamos definir operaes entre sequncias.
Duas sequncias so ditas iguais quando so iguais como funes. Isso
significa que ( fn ) = ( g n ) se, e somente se, fn = g n , para todo n 0 . O elemento fn
da sequncia f chamado n -simo termo da sequncia, ou termo de grau n da
sequncia f .

A soma de duas sequncias f = ( fn ) e g = ( g n ) uma sequncia f g
dada por
f + g = ( f0 + g 0 , f1 + g1 , f2 + g 2 ,),
ou seja, a soma de duas sequncias feita termo a termo. A sequncia nula
f = ( fn ) tal que fn = 0 , para todo n 0 , isto , f a funo identicamente nula.
Vamos denot-la por 0 . A sequncia nula tem a seguinte propriedade notvel:
f + 0 = f , para toda sequncia f .
Dizemos que 0 o elemento neutro da soma de sequncias.
O produto de duas sequncias f = ( fn ) e g = ( g n ) feito levando-se em
considerao o grau de cada termo, de modo que o produto fi g j tenha grau i + j .
Tal produto chamado produto graduado de sequncias. Dessa forma, temos
f g = (h0 , h1 , h2 ,, hk ,)
onde
hk = f0 g k + f1 g k-1 + + fk-1 g1 + fk g 0 .
Vamos denotar o conjunto das sequncias de elementos de um anel A ,
munidos da soma e do produto definidos acima, pelo smbolo S ( A) , ou
simplesmente S , quando estiver claro em que anel estamos tomando os termos fn .
Uma sequncia f S chamada quase
nula quando existir n0 0 tal que fn = 0 ,
para todo n n0 . O conjunto das sequncias
quase nulas denotado por S ( A) ou S0 .
Dada f S0 , f 0 , existe algum termo at e n o!
de f que diferente de zero. Como f quase No caso em que a sequncia nula,
nula, existe N tal que fn = 0 , para todo convencionamos que, embora alguns autores
n > N . Se fN 0 , ento dizemos que o grau de assumam que a sequncia nula no tem grau.
f N e usamos a notao: grau ( f ) = N .
Lema1 Seja A um anel e S0 (A) o conjunto das sequncias quase nulas de elementos de A.
1. A soma de duas sequncias quase nulas f e g uma sequncia quase nula e,
se f + g 0 , ento grau ( f + g ) = max{grau ( f ), grau ( g )} .
2. O produto de duas sequncias quase nulas uma sequncia quase nula e, se
A um domnio, ento grau ( f g ) = grau ( f ) + grau ( g ) .
AULA 6 TPICO 1 89

Demonstrao:
1. Sendo f e g sequncias quase nulas, podemos escrever
f = ( f0 , f1 ,, fn ,0,0,) e g = ( g 0 , g1 ,, g m ,0,0,) , onde n = grau ( f ) e
m = grau ( g ) . Podemos supor que n m (o caso m n similar). Como a soma
dada coordenada a coordenada, temos
f + g = ( f0 + g 0 , f1 + g1 ,, fn + g n , g n+1 ,, g m ,0,0,),
ou seja, ( f + g )i = 0 , se i > m e ( f + g )m = g m 0 . Assim, f + g S0 ( A) e, se
f + g 0 , ento grau ( f + g ) = m = max{grau ( f ),grau ( g )} .
2. Se f , g S0 ( A) , podemos, como antes, escrever f = ( f0 , f1 ,, fn ,0,0,) e
g = ( g 0 , g1 ,, g m ,0,0,) . O produto f g dado por
f g = ( f0 g 0 , f0 g1 + f1 g 0 , f0 g 2 + f1 g1 + f2 g 0 ,).
Em geral, o termo de grau de f g dado pela soma
f0 g + f1 g -1 + + f-1 g1 + f g 0 (*).
Em particular, o termo de grau m + n dado por fn g m . Como fn 0 ,
g m 0 e A um domnio, temos que fn g m 0 . Se > m + n , ento o
termo de grau , dado pela soma (*), igual a zero. Logo, f g S0 ( A) e
grau ( f g ) = n + m = grau ( f ) + grau ( g ) .
A funo f : A S0 , dada por f(a ) = (a,0,0,) um homomorfismo injetor.

De fato, se f(a ) = f(b) , ento (a,0,0,) = (b,0,0,) e isso implica que a = b , pela
definio de igualdade de sequncias. Alm disso,
f(a + b) = (a + b,0,0,) = (a,0,0,) + (b,0,0,) = f(a ) + f(b) e
f(ab) = (ab,0,0,) = (a,0,0,)(b,0,0,) = f(a ) f(b).

Isso mostra que A pode ser mergulhado em S0 (logo, tambm em S , pois
S0 S ) no seguinte sentido: podemos identificar cada elemento a A com sua
imagem f(a ) = (a,0,0,) , sem que isso altere a soma e o produto de elementos
de A (veja o Exemplo 2, tpico 1, aula 4, para uma situao similar). Usando essa
identificao, escreveremos, daqui por diante, a = (a,0,0,) .
A sequncia
x = (0,1,0,0,)
chamada indeterminada de S sobre A . Essa sequncia tem as seguintes
propriedades notveis:
x 2 = x x = (0,0,1,0,0,),
x 3 = x 2 x = (0,0,0,1,0,0,),

e assim por diante, ou seja, x n , n 1 , a sequncia cujo termo de grau n igual
a 1 e todos os outros termos so iguais a zero. Isso pode ser verificado diretamente,
usando-se a definio de produto de sequncias.
Usando a definio de soma, podemos escrever, para uma sequncia f S
qualquer,
f = ( f0 , f1 , f2 ,) = ( f0 ,0,0,) + (0, f1 ,0,0,) + (0,0, f2 ,0,0,) +
Agora, notemos que, novamente pela definio de produto de sequncias,

posio n
(0,0,,0, fn ,0,0,) = ( fn ,0,0,) (0,0,,0, 1 ,0,0,) = fn x n

para todo n 1 . Assim, obtemos
f = f0 + f1x + f2 x 2 + f3 x 3 +
No caso em que f S0 , existe N = grau ( f ) 0 tal que
f = f0 + f1x + f2 x 2 + + fN x N .
e chamamos f de polinmio. Se, por outro lado, f S \ S0 , a ``soma
f = f0 + f1x + f2 x 2 + f3 x 3 +
chamada de srie formal. O adjetivo formal justifica-se por no estarmos
considerando x como nmero real ou complexo, mas como uma sequncia particular.
Assim, no faz sentido aqui falarmos em convergncia, visto que f = f0 + f1x +
uma expresso que no necessariamente um nmero complexo, mas apenas
outro modo de escrever a sequncia f = ( f0 , f1 ,) .
Os termos fi A passam a ser chamados coeficientes do polinmio, ou da
srie formal. Se f um polinmio, o coeficiente fn , com n = grau ( f ) , chamado
coeficiente lder de f .
Dessa forma, uma srie formal uma sequncia e um polinmio uma
sequncia quase nula, e o que os torna distinguidos dentre as sequncias o
modo que escolhemos para multiplic-los, ou seja, uma sequncia quase nula
ganha o nome especial de polinmio e se comporta como o que costumamos pensar
ser um polinmio, devido ao produto especial que definimos entre duas dessas
sequncias. Esse um exemplo claro de como a estrutura geral do conjunto de
objetos age sobre a natureza de cada objeto em particular.
Os resultados sobre sequncias quase nulas podem ser reescritos como
resultados para polinmios, bastando para isso substituir as palavras sequncia
quase nula por polinmio. Em particular, o Lema 1 pode ser usado para polinmios.
Usamos as notaes:
A[x ] = {polinmios com coeficientes em A}
AULA 6 TPICO 1 91

A[[ x ]] = {sries formais com coeficientes em A}
Teorema2 Seja A um anel comutativo com unidade. Usando a notao dada

acima, A[x] e A[[x]] so anis.
Demonstrao:
Vamos, primeiramente, mostrar que A[[x ]] um anel. Depois mostraremos
que A[x ] um subanel de A[[x ]] . A associatividade da soma e do produto, a
comutatividade da soma e do produto, e a distributividade seguem todas o mesmo
raciocnio: transferir o problema para A , usando-se a definio da operao. A
ttulo de ilustrao, vamos verificar uma dessas propriedades, a comutatividade da
soma: dados
f = a0 + a1x + a2 x 2 + e g = b0 + b1x + b2 x 2 + ,
f + g = (a0 + b0 ) + (a+ b1 )x + (a2 + b2 )x 2 + = (b0 + a0 ) + (b1 + a1 )x + (b2 + a2 )x 2

+ = g + f
pois a soma comutativa em A , j que A um anel.

A srie identicamente nula 0 = (0,0,) = 0 + 0x + 0 X 2 + o elemento
neutro da soma em A[[x ]] , o que pode ser verificado diretamente usando-se a
definio. Dada f = a0 + a1x + a2 x 2 + A[[x ]] , a srie - f = -a0 - a1x - a2 x 2 -
tal que f + (- f ) = (- f ) + f = 0 , onde 0 aqui denota a srie identicamente nula.
Logo, toda srie de A[[x ]] possui um inverso aditivo.
A unidade 1 A pode ser identificada com a srie 1 = (1,0,0,) . Dada uma
srie f = a0 + a1x + a2 x 2 + A[[x ]] , 1 f = f 1 = f , como pode ser verificado
diretamente usando-se a definio de produto de sries. Logo, 1 o elemento
neutro do produto em A[[x ]] .
Isso mostra que A[[x ]] um anel.
O item 2 do Lema 1 nos diz que a soma e o produto de dois polinmios
(sequncias quase nulas) um plonmio. Dessa forma, A[x ] fechado para a soma e
para o produto. Alm disso, os elementos neutros 0 e 1 de A[[x ]] , definidos acima,
so elementos de A[x ] . Portanto, A[x ] subanel de A[[x ]] , e, em particular, um
anel.
Usamos tambm a notao A(x ) para indicar as fraes tais que o numerador
e o denominador so polinmios, isto ,

f (x )

A(x ) = c. f . (A[x ]) =
| f (x ), g (x ) A[x ], g (x ) 0
,

g (x )

no sentido, discutido na aula 5. Uma frao tal que o numerador e o denominador

so polinmios chamada funo racional.
EXEMPLOS:
1. Se A B , ento A[x ] B[x ] . Em particular, [x ] [x ] [x ] .
1 1
2. [x ] , mas [[x ]] . De fato, (1 - x )(1 + x + x 2 + x 3 + ) = 1
1- x 1- x
1
e isso implica que = 1 + x + x 2 + x 3 + [[x ]] .
1- x
3. Se A um anel e I um ideal de A , denotamos por I [x ] o conjunto dos
polinmios de A[x ] cujos coeficientes pertencem a I . Mais ainda, podemos afirmar
que o conjunto I [x ] um ideal de A[x ] (veja a tarefa 1 dessa aula) e que A[x ] / I [x ]
isomorfo ao anel ( A / I )[x ] , formado pelos polinmios na indeterminada x com
coeficientes no anel quociente A / I (veja a tarefa 2 dessa aula).
4. Como caso particular do exemplo acima, podemos considerar o anel
de polinmios m [x ] , onde m um inteiro maior do que 1 , como sendo o anel
quociente [x ] / m[x ] .
Dizemos que f A[x ] (ou f A[[x ]] ) invertvel, quando existe g A[x ]

(ou g A[[x ]] ) tal que f g = 1 . Convm lembrar que estamos fazendo aqui a
seguinte identificao: 1 = (1,0,0,) .
Lema3 Seja A um anel.

1. Um elemento f = a0 + a1x + + an x n A[x ] invertvel se, e somente
se, a0 invertvel em A, isto , se existe b0 A tal que a0 b0 = 1 .
2. Se A um domnio, um elemento f = a0 + a1x + + an x n A[x ]
invertvel se, e somente se, f A e f invertvel em A.
Demonstrao:
1. Se existe g = b0 + b1x + b2 x 2 + A[[x ]] tal que fg = 1 , ento
a0 b0 + (a0 b1 + a1b0 )x + (a0 b2 + a1b1 + a2 b0 )x 2 + = 1 + 0 x + 0 x 2 +
o que implica, em particular, que a0 b0 = 1 .
Reciprocamente, se existe b A tal que a0 b0 = 1 , iremos construir a seguir
AULA 6 TPICO 1 93

uma srie formal g = b0 + b1x + b2 x 2 + tal que fg = 1 . A condio fg = 1 nos
diz que todos os coeficientes de fg so nulos, exceto o de grau zero, que a0 b0 = 1 .
Assim, temos:
a0 b1 + a1b0 = 0.
Como a0 , a1 e b0 so conhecidos, podemos determinar b1 de modo nico a
partir dessa equao.
Supondo, por induo, que j foram determinados b0 , b1 , b2 ,, bn , podemos
determinar bn+1 . De fato, como todos os ai , i 0 , so conhecidos, a igualdade
a0 bn+1 + a1bn + + an b1 + an+1b0 = 0
nos fornece o valor de bn+1 . Portanto, pelo princpio da induo, podemos
construir g = b0 + b1x + b2 x + tal que fg = 1 , como queramos.
2
2. Se f A e f invertvel em A , ento existe b A A[x ] tal que

ab = 1 . Reciprocamente, se existe g = b0 + b1x + + bm x m tal que fg = 1 , ento
a0 b0 = 1 , logo a0 invertvel em A . Sabemos que an bm = 0 , logo an = 0 ou
b = 0 , pois A um domnio. O coeficiente do termo de grau m + n - 1 em f g
m
an-1bm + an bm-1 = 0 . Multiplicando essa igualdade por an , obtemos

=0
an-1 ( an bm ) + an2 bm-1 = 0.
Logo, an2 bm-1 = 0 . Vamos, agora, mostrar por induo sobre r 1 , que
anr +1bm-r = 0 . Os casos r = 0 e r = 1 j foram feitos. Suponhamos, por induo, que
anj +1bm- j = 0 , para cada j {0,1,, r - 1} . Dado r > 1 , o termo de grau n + m - r
an bm-r + an-1bm-r +1 + + an-r +1bm-1 + an-r bm = 0.
Multiplicando essa ltima igualdade por anr -1 e usando a hiptese de
induo, vemos que
anr bm-r = 0.
Logo, pelo segundo princpio da induo, temos anr bm-r = 0 , para todo r 0 .
Em particular, se r = m , obtemos anm b0 = 0 . Como a0 b0 = 1 , temos anm = 0 e,
sendo A um domnio, an = 0 .
Podemos repetir esse processo para concluirmos que an-1 = 0 , an-2 = 0 e
assim por diante, at a1 = 0 . Conclumos, pois, que f = a0 A e f invertvel
em A .
Seja A um anel e R = A[x ] o anel de polinmios com coeficientes em A .

Podemos considerar o anel de polinmios com coeficientes em R . conveniente

denotarmos a indeterminada usando outro smbolo, por exemplo, y . O anel R[ y ]
formado por polinmios na indeterminada y cujos coeficientes so polinmios na
indeterminada x . Em vez de usarmos a notao R[ y ] , com R = A[x ] , escrevemos,
simplesmente, A[x, y ] . A construo na ordem inversa gera o mesmo anel. Mais
precisamente, se S = A[ y ] , ento e S[x ] isomorfo a A[x, y ] (veja o exerccio de
aprofundamento 1). Um elemento f (x, y ) A[x, y ] chamado polinmio em duas
indeterminadas com coeficientes em A .
EXEMPLO:
Seja f (x, y ) = 1 + x + 4xy + x 2 y + xy 4 + y 5 [x, y ] . Podemos considerar
f (x, y ) como polinmio na indeterminada y com coeficientes em [x ] :
f (x, y ) = (1 + x ) + (4x + x 2 ) y + xy 4 + y 5 , ou como um polinmio na indeterminada
x com coeficientes em [ y ] : f (x, y ) = (1 + y ) + (1 + 4 y + y )x + yx .
5 4 2
De um modo geral, para um anel A , podemos construir anis de polinmios

com coeficientes em A em n indeterminadas, onde n um nmero natural. Se
n = 1 ou n = 2 , a construo do anel de polinmios em n indeterminadas j foi
feita. Suponhamos, por induo, que tenhamos construdo o anel A[x1 ,, xn-1 ] ,
formado pelos polinmios em n - 1 indeterminadas com coeficientes em A . O anel
A[x1 ,, xn ] formado pelos polinmios na indeterminada xn , com coeficientes em
A[x1 ,, xn-1 ] .
Conclumos, assim, o primeiro tpico desta aula, onde vimos uma definio
formal da noo de polinmio e constatamos que o conjunto dos polinmios em
uma indeterminada com coeficientes em um anel A tambm um anel, chamado
anel de polinmios sobre A . Vimos ainda que possvel repetir essa construo
indutivamente, para gerar anis de polinmios em vrias indeterminadas.
No prximo tpico, estudaremos os anis de polinmios mais detalhadamente,
tendo como ponto de partida um algoritmo de diviso similar ao que existe para
nmeros inteiros.
AULA 6 TPICO 1 95

TPICO 2 Algoritmo da diviso
para polinmios
O bjetivos
Estabelecer e usar o algoritmo da diviso para
polinmios
Compreender algumas das consequncias desse
algoritmo
O algoritmo da diviso para nmeros inteiros afirma que, dados

a, b , existem nicos q, r , tais que 0 r b - 1 e
a = b q + r.
Esse o algoritmo que nos permite fazer divises com resto entre os inteiros.
Sobre ele est construda toda a aritmtica modular (congruncias). Neste tpico,
estabeleceremos um algoritmo anlogo para polinmios e estudaremos algumas de
suas consequncias.
Dados f (x ), g (x ) A[x ] , queremos encontrar q(x ), r (x ) A[x ] tais que
f (x ) = g (x ) q(x ) + r (x )
e determinar, se possvel, condies para que q(x ) e r (x ) sejam nicos. A primeira
dificuldade reside no fato de no podermos comparar dois polinmios como
fazemos para nmeros inteiros. Assim as desigualdades 0 r b - 1 , que surgem
no algoritmo da diviso de nmeros inteiros, devem ser adaptadas para o caso dos
polinmios. A melhor maneira de fazer isso comparando os graus dos polinmios.
Assim, temos:

Teorema4 Seja A um corpo e consideremos f (x ), g (x ) A[x ] , com grau(f)>0 e
grau(g)>0. Ento existem nicos tais que nicos q(x ), r (x ) A[x ] tais que
f (x ) = g (x ) q(x ) + r (x ) e 0 grau (r ) grau ( g ) - 1.
Demonstrao:
Sejam
f (x ) = an x n + an-1x n-1 + + a1x + a0 e g (x ) = bm x m + bm-1x m-1 + + b1x + b0 ,
onde an 0 e bm 0 . Se m > n , ento podemos escrever f (x ) = 0 g (x ) + f (x ) e,
como 0 grau ( f ) < grau ( g ) , podemos escrever q(x ) = 0 e r (x ) = f (x ) .
Vamos supor, agora, que m n seja
K0
a
f1 (x ) = f (x ) - n x n-m g (x ).
bm
Dessa forma, diminumos o grau de f1 (x ) , ou seja, n1 = grau ( f1 ) < grau ( f ) .
Se grau ( f1 ) < grau ( g ) , podemos escrever q(x ) = K 0 x n-m e r (x ) = f1 (x ) . Se
grau ( f1 ) grau ( g ) , ento
f2 (x ) = f1 (x ) - K1x n1 -m g (x ),
onde a constante K1 obtida dividindo-se o coeficiente lder de f1 pelo
coeficiente lder de g . Novamente, obtemos, n2 = grau ( f2 ) < grau ( f1 ) . Mais uma
vez, se grau ( f2 ) < grau ( g ) , podemos escrever

q( x )
r (x)
f ( x ) = (K 0 x n-m
+ K1x n1 -m
) g (x) + f2 (x).
Se ocorrer n2 > m , repetimos o processo. A sequncia decrescente
n > n1 > n2 > de nmeros naturais finita e, certamente, existe ni < m . Quando
o procedimento atinge esse ni , paramos e escrevemos:
q(x ) = K 0 x n-m + K1x n1 -m + + K i-1x ni-1 -m e
r (x ) = fi (x ).
Esse o algoritmo que nos permite dividir um polinmio por outro. Se
olharmos com cuidado o que foi escrito acima, veremos que essa demonstrao
nada mais do que o mtodo que usamos para dividir polinmios.
Resta mostrar a unicidade: se f (x ) = q(x ) g (x ) + r (x ) e f (x ) = q'(x ) g (x ) + r'(x ) ,
onde 0 grau (r ) < grau ( g ) e 0 grau (r') < grau ( g ) , devemos mostrar que
q = q' e r = r' . Das igualdades acima, segue que
(q(x ) - q'(x )) g (x ) = r'(x ) - r (x).
Se q(x ) - q'(x ) 0 , ento grau (q - q') 0 e
grau (r' - r ) = grau ((q(x ) - q'(x )) g (x )) grau ( g ).
AULA 6 TPICO 2 97

Por outro lado, grau (r ) < grau ( g ) e grau (r') < grau ( g ) implicam que
grau (r' - r ) < grau ( g ) . Juntando as duas desigualdades, obtemos a contradio
grau ( g ) > grau (r' - r ) grau ( g ) . O absurdo veio de supormos que q(x ) - q'(x ) 0 .
Logo q(x ) = q'(x ) e r'(x ) = f (x ) - q'(x ) g (x ) = f (x ) - q(x ) g (x ) = r (x ) , o que demonstra
a unicidade.
Como de praxe, chamaremos q(x ) e r (x )

de quociente e resto da diviso de f (x ) por g (x ) .
Quando o resto r (x ) o polinmio 0 , podemos
ateno! escrever f (x ) = q(x ) g (x ) . Dizemos, nesse caso,
O resultado do Teorema 4 continua vlido se que g (x ) divide f (x ) , ou que f (x ) divisvel
A for um domnio de integridade, desde que o por g (x ) , ou ainda que f (x ) mltiplo de g (x ) .
coeficiente lder (coeficiente do termo de maior Usamos a notao g | f .
grau) do polinmio divisor g(x) seja invertvel
em A. Por exemplo, se g(x) for um polinmio EXEMPLO 1
mnico, ou seja, um polinmio cujo coeficiente No possvel aplicar o algoritmo
lder igual a 1. da diviso para dividir o polinmio
f (x ) = x - 4x + 2x + 5 [x ]
3 2
por
g (x ) = 3x + 1 [x ] , de modo que o quociente e
o resto pertenam a [x ] . Isso se d porque o coeficiente lder de g (x ) = 3x + 1 no
invertvel em . No entanto, o algoritmo funciona se o divisor for h(x ) = x + 1 ,
pois, nesse caso, o coeficiente lder de h(x ) igual a 1 , logo invertvel em .
Devemos notar que possvel dividirmos f (x ) por g (x ) , desde que permitamos
que o quociente e o resto possam pertencer a [x ] .
EXEMPLO 2.
Seja f (x1 ,, xn ) A[x1 ,, xn ] . Podemos escrever f como um polinmio na
indeterminada xn , com coeficientes no domnio R = A[x1 ,, xn-1 ] . Como xn - an
um polinmio em R[xn ] cujo coeficiente lder invertvel, podemos dividir
f (x1 ,, xn ) por xn - an em R[xn ] , obtendo
f (x1 ,, xn ) = (xn - an )q(x, , xn ) + r (x1 ,, xn-1 ).
Note que o resto da diviso r (x1 ,, xn-1 ) no depende de xn , pois o grau
desse polinmio em relao indeterminada xn menor do que grau (xn - an ) = 1 ,
isto , o grau de r em relao indeterminada xn zero, o que significa que esse
polinmio no depende da indeterminada xn .

De acordo com a definio que demos, polinmios so sequncias, que por
sua vez so funes. Assim, polinmios so funes definidas em . Podemos
ver os polinmios como funes de outro modo, considerando a possibilidade de
avaliar um polinmio em um elemento a A . Isso nada mais do que considerar
a expresso formal do polinmio p(x ) A[x ] , com a indeterminada x substituda
pelo elemento a A , gerando a expresso:
p(a ) = an a n + + a1a + a0 .
Temos, assim, para cada a A , uma funo fa : A[x ] A , dada por
fa ( p(x )) = p(a ) , chamada funo avaliao no ponto a A .
O problema central da lgebra clssica, que motivou a criao e o estudo
sistemtico da lgebra abstrata, o da resoluo de equaes algbricas:
an x n + an-1x n-1 + + a1x + a0 = 0.
Aqui, a indeterminada x assume seu papel usual de quantidade a
determinar. Se denotarmos p(x ) = an x n + + a1x + a0 , poderemos reescrever a
equao acima como
p(x ) = 0.
Um elemento a A tal que p(a ) = 0 chamado raiz do polinmo p(x ) .
A existncia de razes de p(x ) depende diretamente de A . Assim, por exemplo,
p(x ) = x 2 + 1 no tem razes em , mas tem duas razes em . O Corolrio a
seguir relaciona a presena de razes de um polinmio p(x ) com a questo da
divisibilidade em A[x ] .
Corolrio5 (Teorema do Resto)

1. Dado um polinmio p(x ) A[x ] , o resto da diviso de p(x) por x-a p(a).
2. Dado um polinmio p(x ) A[x ] , um elemento a A raiz de p(x) se e so-
mente se x-a divide p(x).
Demonstrao:
De acordo com o Teorema 4, existem q(x ), r (x ) A[x ] , tais que
p(x ) = q(x )(x - a ) + r (x ) e 0 grau (r ) < grau (x - a ) = 1 .
Logo, grau (r ) = 0 , isto , r (x ) = r , uma constante. Assim,
p(a ) = q(a )(a - a ) + r , o que implica que p(a ) = r . A segunda parte do Corolrio
segue diretamente da primeira.
AULA 6 TPICO 2 99

Seja K um corpo e K [x ] o anel de polinmios com coeficientes em K . A
seguir, mostraremos que K [x ] um domnio euclidiano. Para tal, construiremos
uma funo norma N : K [x ] satisfazendo as condies da definio de domnio
euclidiano, dadas na aula 5. claro que essa funo deve depender diretamente
do grau, para que possamos utilizar o resultado do Teorema 4. Devemos relembrar
que, por definio, consideramos grau (0) = - , ou seja, o grau do polinmio
identicamente nulo - . A utilidade dessa escolha, que a princpio parece
ser um tanto quanto despropositada, transparece a seguir. Devemos considerar,
tambm por conveno, que a- = 0 , para qualquer a real, a > 1 .
Corolrio6 Se K um corpo, ento K[x] um domnio euclidiano.
Demonstrao:
O fato de K [x ] ser um domnio
consequncia direta do Lema 7, a ser demonstrado
no prximo tpico. A funo N : K [x ] , dada
ateno!
por N ( f (x )) = 2grau ( f ( x )) uma funo norma. De
De acordo com o que estudamos na aula 5,
fato, N ( f (x )) = 2n 0 , onde n = grau ( f (x )) e
podemos garantir que, se um corpo, ento um
N ( f (x )) = 0 se, e somente se, grau ( f (x )) = - ,
DIP e, consequentemente, tambm um DFU.
o que equivalente a dizer que f (x ) o
polinmio identicamente nulo. Assim, vale a
condio 1.
Como K corpo, grau ( f (x ) g (x )) = grau ( f (x )) + grau ( g (x )) , logo
grau ( f ( x )) grau ( g ( x ))
N ( f (x ) g (x )) = 2 2 = N ( f (x )) N ( g (x )) e vale a condio 2.
Finalmente, a condio 3
consequncia direta do Teorema 4. O nico
fato a verificar a validade das desigualdades
0 N (r (x )) < N ( g (x )) . Sabemos, do
ateno !
Teorema 4, que 0 grau (r (x )) < grau ( g (x ))
Na demonstrao do Teorema 6, consideramos
ou r (x ) = 0 . Se r (x ) = 0 , ento
a norma definida como N(f(x)) = 2grau (f(x)).
N (r (x )) = 0 < N ( g (x )) , pois g (x ) 0 , por
A escolha da base 2 para essa potncia no
hiptese. Se 0 grau (r (x )) < grau ( g (x )) ,
essencial. Podemos substituir 2 por qualquer
ento 20 2grau ( r ( x )) < 2grau ( g ( x )) , isto ,
nmero inteiro maior do que 1
1 N (r (x )) < N ( g (x )) . Em qualquer um dos
casos, 0 N (r (x )) < N ( g (x )) .

Portanto, o anel K [x ] um domnio euclidiano.
Encerramos, assim, o tpico 2. Aqui, vimos que possvel dar a um anel de

polinmios, em uma indeterminada sobre um corpo K , uma estrutura de domnio
euclidiano e que, portanto, os ideais nesses anis so todos principais, isto ,
gerados por um s polinmio. Outra consequncia da existncia de um algoritmo
de diviso em K [x ] que esses anis so domnios onde vale o teorema da fatorao
nica.
AULA 6 TPICO 2 101

TPICO 3
Polinmios com coeficientes em
um domnio de fatorao nica
O bjetivos
Identificar a propriedade de fatorao nica como
estvel na passagem de um anel para um anel de
polinmios com coeficientes nesse anel
Compreender e utilizar o critrio de Eisenstein
para decidir se um dado polinmio irredutvel
s aiba m a i s !
Dois polinmios so iguais se so iguais como
N este tpico,
nos permitam verificar se um

dado polinmio f (x ) com coeficientes inteiros
irredutvel.
estaremos
interessados em critrios que
funes, ou, alternativamente, se os seus Seja A um domnio de fatorao nica e

coeficientes de mesmo grau so iguais. A[x ] o anel de polinmios com coeficientes em
A . Comecemos com o seguinte resultado.
Lema7 Se A um domnio de integridade, ento A[x] tambm o .
Demonstrao:
Dados f (x ), g (x ) A[x ] tais que f (x ) g (x ) = 0 , devemos mostrar
que f (x ) = 0 ou g (x ) = 0 , onde essas igualdades so entre polinmios. Se
f (x ) = a0 + a1x + a2 x 2 +an x n e g (x ) = b0 + b1x + b2 x + + b x , ento
f (x ) g (x ) = a0 b0 + (a0 b1 + a1b0 )x + (a0 b2 + a1b1 + a2 b0 )x 2 + + an bm x n+m .
Como esse polinmio identicamente nulo, todos os seus coeficientes so
iguais a zero, logo

a0 b0 = 0

a0 b1 + a1b0 = 0

a0 b2 + a1b1 + a2 b0 = 0

an bm
= 0

Se os dois polinmios fossem no nulos, ento existiriam coeficientes ak 0
e b 0 de menor grau, isto , tais que ai = 0 , para todo i < k e bj = 0 , para
todo j < l . Nesse caso, o coeficiente

=0
=0
a0 bk + + a1bk +-1 + + ak-1b +1 + ak b + ak +1b-1 + + ak +-1b1 + ak + b0
De f (x ) g (x ) seria nulo, logo ak b = 0 , com ak 0 e b 0 , absurdo, pois

ak , b A e A , por hiptese, um domnio de integridade. Isso mostra que pelo
menos um dos polinmios identicamente nulo, portanto A[x ] um domnio.
O Lema 7 acima nos remete seguinte questo: dada uma propriedade de A ,
possvel garantir que ela se estende a A[x ] ? O exemplo abaixo mostra que isso
nem sempre ocorre.
EXEMPLO:
O anel um domnio de ideais
principais, mas [x ] no um D.I.P., pois o ideal
g u a r d e be m isso!
(2, x ) = {2 f (x ) + x g (x )| f (x ), g (x ) [x ]}
J vimos, no Corolrio 6, que, se um corpo,
No principal. De fato, se (2, x ) fosse gerado
ento um domnio euclidiano, logo tambm
por um polinmio h(x ) , teramos 2 (h(x )) ,
um DIP e um DFU. O exemplo acima mostra que a
o que implicaria h(x )|2 , isto , 2 = h(x ) a(x ) ,
hiptese dos coeficientes estarem em um corpo
com a(x ) [x ] . Em particular, grau (h) = 0 ,
essencial para o resultado desse corolrio. De fato,
ou seja, h(x ) = H . Como x (h(x )) teramos
mesmo sendo um domnio, podemos perder a
h(x )|x , ou seja, x = h(x ) b(x ) = H b(x ) , onde
propriedade dos ideais serem principais.
b(x ) [x ] . Comparando coeficientes, teramos
b(x ) = x e H = 1 , logo (2, x ) = (h(x )) = (1) = [x ] ,
o que no ocorre, pois os elementos de (2, x ) tm
coeficiente de grau zero PAR, logo 1 + x [x ] e
1 + x (2, x ) .
O prximo resultado, conhecido como
Lema de Gauss, de fundamental importncia no at e n o!
que se segue. Precisamos de algumas definies Mostraremos, no Teorema 10, que, se um DFU,
preliminares. Dado um polinmio f (x ) A[x ] , ento tambm um DFU e isso nos dir que um
onde A um DFU, o mximo divisor comum exemplo de DFU que no DIP, como prometido
dos coeficientes de f (x ) chamado contedo na aula anterior.
de f (x ) e denotado por c ( f ) . Se um polinmio
AULA 6 TPICO 3 103

f (x ) A[x ] tem contedo 1 , ento f (x ) dito primitivo. Se a A e f (x ) A[x ] ,
escrevemos a | f (x ) para denotar que a divide todos os coeficientes de f (x ) , isto
, f (x ) = a g (x ) , com g (x ) A[x ] . Note que o contedo de um polinmio divide
o polinmio: c ( f )| f .
Lema8 (Gauss) Seja A um DFU e p A um elemento irredutvel.

1. Se f (x ), g (x ) A[x ] e p| f (x ) g (x ) , ento p| f (x ) ou p| g (x ) .
2. O produto de polinmios primitivos primitivo.
Demonstrao:
Demonstraremos o item 1 em sua forma contrapositiva, isto ,
pf (x )

pf (x ) g (x ). Para tal, escrevamos
pg (x )

f (x ) = a0 + a1x + a2 x 2 + + ai x i +
g (x ) = b0 + b1x + b2 x 2 + + bj x j +
onde ai e bj so os primeiros coeficientes de f (x ) e g (x ) , respectivamente, que

no so divisveis por p . Considere o coeficiente ci+ j de x i+ j em f (x ) g (x ) :
ci+ j = a0 bi+ j + a1bi+ j-1 + + ai-1bj +1 + ai bj + ai+1bj-1 + + ai+ j-1b1 + ai+ j b0 .
Como pai bj e p divide todas as outras parcelas da soma acima, temos que
pci+ j Logo, pf (x ) g (x ) .
Para mostrarmos o item 2, suponhamos que f (x ) e g (x ) sejam polinmios
primitivos em A[x ] . Seja d = c ( fg ) A e suponhamos que d 1 . Ento existe
p A primo que divide d , pois A um DFU. Como p|d e d | f (x ) g (x ) , temos
que p| f (x ) g (x ) . Pelo item 1, demonstrado acima, p| f (x ) ou p| g (x ) . Mas isso no
possvel, pois f e g so primitivos.
As principais consequncias do Lema de Gauss esto nos resultados seguintes.
Corolrio9 Seja A um DFU e K = c. f . ( A) . Se f (x ) A[x ] primitivo e admite

uma fatorao f (x ) = G(x )H (x ) , com G, H K [x ] , ento existem g , h A[x ] tais
que f (x ) = g (x )h(x ) .

Demonstrao:
a c
Podemos escrever G(x ) = g (x ) e H (x ) = h(x ) , onde a, b, c , d A e
b d ac
g (x ), h(x ) A[x ] so polinmios primitivos. Assim f (x ) = g (x )h(x ) , isto ,
bd
acf (x ) = bdg (x )h(x ) , com g (x )h(x ) primitivo (pelo Lema 8). O contedo do
polinmio do primeiro membro da igualdade ac , enquanto o contedo do
polinmio no segundo membro bd . Logo ac = bd e f (x ) = g (x )h(x ) .
Teorema10 Se A um domnio de fatorao nica, ento A[x] tambm o .
Demonstrao:
Por induo sobre o grau de um polinmio f (x ) A[x ] , possvel mostrar
que ele produto de um nmero finito de polinmios irredutveis. Basta, ento,
mostrar que todo polinmio irredutvel primo. Seja p(x ) A[x ] um polinmio
irredutvel e f (x ), g (x ) A[x ] tais que p(x )| f (x ) g (x ) . Se p(x ) = p A , ou seja,
se p(x ) constante, ento, pelo item 1 do Lema 8, p(x )| f (x ) ou p(x )| g (x ) . Se
p(x ) A[x ] no constante, ento p(x ) primitivo, do contrrio poderamos
escrever p(x ) = c ( p) p0 (x ) , o que seria uma decomposio no trivial de p(x ) .
Alm disso, pelo Corolrio 9, p(x ) irredutvel em A[x ] implica que p(x ) tambm
irredutvel em K [x ] . Como K e um corpo, o Corolrio 6 nos garante que K [x ]
um domnio euclidiano, logo tambm um DFU e, portanto, p(x )| f (x ) g (x )
implica que p(x ) divide um dos fatores em K [x ] , ou seja, existe H (x ) K [x ]
tal que, f (x ) = p(x ) H (x ) , digamos. Podemos supor, ainda, que f (x ) primitivo,
1
substituindo H (x ) por H (x ) se necessrio. Assim, novamente pelo Corolrio
c( f )
9, conclumos que f (x ) = p(x ) h(x ) , com h(x ) A[x ] , ou seja, p(x ) divide f (x ) em
A[x ] Claro que o mesmo acontece se supusermos que p(x ) divide g (x ) em K [x ] .
EXEMPLOS:
1. Como um DFU, [x ] tambm o . Como j vimos, [x ] no um DIP,
logo, [x ] um exemplo de DFU que no DIP.
2. Se A um DFU, ento A[x1 ,, xn ] tambm um DFU.
3. Se K um corpo, ento A = K [x ] , pelo Corolrio 6, um DFU, logo,
K [x, y ] = A[ y ] tambm um DFU, pelo Teorema 10. Repetindo esse argumento,
verificamos que K [x1 ,, xn ] um DFU.
AULA 6 TPICO 3 105

Sendo um DFU, o domnio A[x ] possui irredutveis. Em geral, determinar
se um polinmio f (x ) A[x ] irredutvel um problema difcil. Para termos ideia
das dificuldades que podem surgir, consideremos o seguinte exemplo.
EXEMPLO (EMIL ARTIN):

Seja p(x ) = x 5 - x - 1 [x ] . Se
s aiba m a i s ! p( x ) for redutvel, ento p(x ) = f (x ) g (x ) ,

com grau ( f ) > 0 , grau ( g ) > 0 e
Emil Artin, matemtico austraco, nascido em
grau ( f ) + grau ( g ) = grau ( p) = 5 . Se um dos
Viena, que fez a sua carreira na Alemanha (mais
fatores for linear, ter que ser do tipo x - a ,
precisamente em Hamburgo) at ao regime Nazi,
com a , ou seja,
quando ele emigra para os Estados Unidos em
1937 onde esteve na Universidade de Indiana de p(x ) = (x - a )(x 4 +).
1938 at 1946, e na Universidade de Princeton de Em particular, p(a ) = 0 . Multiplicando,
vemos que p(x ) = x - ax + , donde a = -1 ,
5 4
1946 at 1958. Fonte: <http://apprendre-math.
info/portugal/historyDetail.htm?id=Artin>. por comparao de coeficientes. Porm
p(-1) = -1 0 , consequentemente p(x ) no
possui fatores lineares. Assim, grau ( f ) = 2 e
grau ( g ) = 3 , ou grau ( f ) = 3 e grau ( g ) = 2 . Sem perda de generalidade, vamos
supor que grau ( f ) = 2 e grau ( g ) = 3 , isto ,
f (x ) = x 2 + ax + b e g (x ) = x 3 + cx 2 + dx + e.
Observe que ambos os polinmios so mnicos, ou seja, tm coeficiente lder
igual a 1 . Como f (x )| p(x ) e os coeficientes de f e p so inteiros, dado c ,
f (c )| p(c ) . Usando esse fato, podemos construir a seguinte tabela:
x p( x ) f (x )
2 29 1ou 29
1 -1 1
0 -1 1
-1 -1 1
-2 -31 1ou 31
Analisando a tabela, vemos que b = f (0) = 1 . Logo f (x ) = x 2 + ax 1

e 1 = f (1) = 1 + a 1 . Isso implica que a {-3,-1,1} . Ainda usando a
tabela, vemos que 1 = f (-1) = 1 - a 1 , donde a {-1,1,3} . Portanto,
a {-3,-1,1}{-1,1,3} = {-1,1} , isto , a = 1 . Assim,
f (x ) = x 2 1 1.

Dessa forma, | f (2)| 7 < 29 e | f (-2)| 7 < 31 . Isso significa que f (2) = 1
e f (-2) = 1 . Observando novamente a tabela, vemos que f (c ) = 1 , para cinco
valores diferentes de c , a saber, c {-2,-1,0,1,2} . Pelo princpio da casa dos
pombos, existem trs elementos distintos u, v, w do conjunto {-2,-1,0,1,2} tais
que f (u ) = f (v ) = f (w ) = 1 (ou f (u ) = f (v ) = f (w ) = -1 ). Portanto, f (x ) - 1 um
polinmio de grau 2 com trs razes distintas. Concluso: p(x ) irredutvel.
Teorema11 (Critrio de Eisenstein) Seja A um domnio de integridade e K

seu corpo de fraes. Se, para o polinmio
f(x) = a n x n + a n-1x n-1 + + a1x + a 0 A[x]
existe um primo p A tal que
1. pa n ,
2. p|a i , para i = 0,1,,n - 1 ,
3. p2 a 0 ,
ento f(x) irredutvel em K[x] .
Demonstrao:
Suponha, ainda que parea absurdo, que f (x ) = g (x )h(x ) , onde
g (x ) = b0 + b1x + + bk x k e
h(x ) = c0 + c1x + + cm x n ,
sendo k + m = n e 0 < k, m < n . Ento a0 = b0 c0 e an = bk cm . Como, por
hiptese, pan , temos que pbk e pcm . Ainda por hiptese, p|a0 e p2 a0 , logo p|b0
ou p|c0 , mas p no divide ambos, isto ,
p|b0 e pc0 ou
p|c0 e pb0 .
Vamos supor que p|b0 e pc0 . O outro caso similar. Uma vez que p|b0 e
pb , existe i , 1 i k tal que p|bi-1 e pbi .
Os coeficientes de f (x ) podem ser escritos como
a0 = b0 c0 ,
a1 = b0 c1 + b1c0 ,
AULA 6 TPICO 3 107

a2 = b0 c2 + b1c1 + b2 c0 ,

ai = b0 ci + b1ci-1 + + bi-1c1 + bi c0 ,

an = bk cm .
Como p|a1 , p|b0 e a1 = b0 c1 + b1c0 , temos p|b1c0 . Como estamos supondo
que pc0 , segue que p|b1 , pois p primo.
A igualdade a2 = b0 c2 + b1c1 + b2 c0 , juntamente com com p|a2 , p|b0 e p|b1 ,
implicam que p|b2 c0 . Como pc0 , temos p|b2 .
Continuando esse processo, vemos que p|bj , para cada j {0,, i - 1} . Logo,
como p|ai , a igualdade ai = b0 ci + b1ci-1 + + bi-1c1 + bi c0 implica que p|bi c0 , ou
seja, p|bi ou p|c0 . O que no ocorre. Essa contradio vem de supormos f (x )
redutvel em A[x ] . Logo f (x ) irredutvel em A[x ] . Pelo Corolrio 9, f (x )
irredutvel em K [x ] , onde K o corpo de fraes de A .
EXEMPLO:
Seja p um nmero primo. O polinmio p (x ) = x p-1 + + x + 1 chamado
p -simo polinmio ciclotmico. Vamos, a seguir, mostrar que p irredutvel.
Primeiramente, notemos que, se f (x ) = p (x + 1) ento f (x ) irredutvel se, e
somente se, p tambm . De fato, uma decomposio p (x ) = F (x )G(x ) implicaria
uma decomposio f (x ) = F (x + 1)G(x + 1) . Reciprocamente, uma decomposio
f (x ) = g (x )h(x ) implicaria uma decomposio p (x ) = g (x - 1)h(x - 1) .
x p -1 ,
Agora, como p (x ) = 1 + x + x 2 + + x p-1 = temos
x -1
(x + 1) - 1 , logo (x + 1) = x p-1 + p x p-2 + + p
p
x+ p ,
p (x + 1) =
x
p
1 p-2 p -1
ou seja, p (x + 1) = x p-1 + p + + p x + p . Como p| p , para todo
1 p -2 k
1 k p - 1 , p1 e p p , pelo critrio de Einsenstein, p (x + 1) irredutvel, logo
2
p (x ) tambm irredutvel.
Isso mostra que, em [x ] , existem polinmios irredutveis de grau
arbitrariamente grande. interessante observarmos que isso contrasta fortemente
com a situao em [x ] , onde os polinmios irredutveis tm grau 1 , e em [x ] ,
onde os polinmios irredutveis tm grau 1 ou 2 .
Conclumos aqui nossa sexta aula. Estudamos os anis de polinmios e o
problema da irredutibilidade nesses anis. Um dos principais pontos desta aula so
o Lema de Gauss e suas consequncias, principalmente o Teorema 10, que afirma

que a propriedade da fatorao nica preservada na passagem de um domnio para
um anel de polinmios com coeficientes nesse domnio. Outro resultado relevante
o Critrio de Einsenstein, que fornece um mtodo para verificar se um polinmio
com coeficientes inteiros irredutvel em [x ] . Os contedos abordados nesta aula
sero aplicados na prxima, quando estudaremos as extenses de corpos.
1. Seja A um anel, R = A[x ] e S = A[ y ] . Mostre que R[ y ] e S[x ] so anis isomorfos.

Sugesto: Seja f (x, y ) = a0 (x ) + a1 (x ) y + + an (x ) y n R[ y ] . Podemos escrever
f (x, y ) = b0 ( y ) + b1 ( y )x + + bm ( y )x . Considere, ento, o homomorfismo f : R[ y ] S[x ] ,
m
dado por
f(a0 (x ) + a1 (x ) y + + an (x ) y n ) = b0 ( y ) + b1 ( y )x + + bm ( y )x m .
Mostre que f um isomorfismo.
2. Dado n , n 1 , seja A = n [ x, y ] .
(a) Mostre que (x ) um ideal primo de A que no ideal maximal.
(b) Mostre que ( x, y ) ideal maximal se, e somente se, n primo.
(c) Sabendo que (8, x ) um ideal primo de A , determine os possveis valores de n .
3. Seja A = [ x, y ] o anel de polinmios com duas indeterminadas com coeficientes reais.

(a) Mostre que I = ( x 3 - y 2 ) um ideal de A .
(b) Mostre que, no anel quociente A / I , no vale o teorema da fatorao nica.
4. Em cada um dos itens abaixo, mostre que o homomorfismo em questo sobrejetivo e determine seu
ncleo.
(a) f : 8 , dado por f (n) = n .
(b) f : [x, y ] [ x ] , dada por f ( P (x, y )) = P (x,0) , onde x, y e t so indeterminadas.
(c) f : [x ] , dada por f (P (x )) = P (i) , onde i 2 = -1 .
5. Usando os homomorfismos sobrejetores do problema anterior, mostre que

(a) / 8 @ 8
(b) [x, y ] / ( y ) @ [ x ]
(c) [x ] / (x 2 + 1) @
AULA 6 TPICO 3 109

-1 + i 3
6. Seja f : [ x ] , dada por f (P (x )) = P (w ) , onde w = . Mostre que
2
(a) kerT = ( x 3 - 1) .
(b) Im T = {a + bw + cw 2 | a, b, c } .
7. Dois ideais I e J de um anel A so chamados comaximais quando I + J = A , onde I + J ,

por definio, o ideal formado pelas somas do tipo i + j , onde i I e j J . Verifique quais dos ideais
abaixo so comaximais:
(a) (x ) e ( y ) em [ x, y ] .
(b) (m ) e (n) em , onde m e n so inteiros primos entre si.
(c) (x 2 + 1) e (x ) em [ x ] .
8. Seja C = {( x, y ) 2 | x 2 + y 2 = 1} , considere o conjunto

F = { p : C
| p(x, y ) um polinmio },
isto , F o conjunto de todas as funes polinomiais de duas indeterminadas,
p( x , y ) = x i y j
1im
1 j n
definidas sobre a circunferncia de raio 1 centrada na origem.

(a) Mostre que, com a soma e o produto usuais de funes,
( f + g )(x, y ) = f (x, y ) + g (x, y ),
( f g )(x, y ) = f (x, y ) g (x, y ),

F um anel comutativo com unidade. Determine a unidade de F .
(b) Considere o homomorfismo de anis : [x, y ] F dado por ( p) = p|C ( p restrito a C ).
Determine o ncleo e a imagem de .
(c) Mostre, usando o item anterior, que
F @ [x, y ] / (x 2 + y 2 - 1).
9. Determine todos os ideais de [ x ] / (2x ) .
10. Seja o anel quociente [x ] / (x 2 ) . Os elementos de so chamados nmeros duais. Eles so

classes de equivalncia de polinmios com coeficientes reais. Seja e = x . Ento
= [e ] = {a + be | a, b }.
(a) Mostre que, se f : uma funo derivvel, ento f ( x + e) = f ( x ) + e f'( x ) , para todo
x.

(b) Mostre que (1 + e)n = 1 + ne , para todo n .
(c) Mostre que a + be invertvel se, e somente se, a = 1 .
11. Encontre o quociente e o resto da diviso de f (x ) = 3 - 2x + 5x 3 + x 3 7 [ x ] por

g ( x ) = x - 2 7 [ x ] .
12. Demonstre o teorema das razes racionais: Se r / s raiz do polinmio

p(x ) = a0 + a1x + + an x e m.d .c.(r , s ) = 1 , ento r |a0 e s |an .
n
13. Usando o resultado do exerccio anterior, mostre que, se a raiz de um polinmio mnico,
ento a .
14. Fatore P (x ) = x 3 + x 2 - x - 10 como produto de irredutveis em [ x ] .
15. Seja p um primo fixado.

(a) Demonstre que y : [ x ] p [ x ] , dado por
(a 0 + a1x + + anx2) = a 0 + a1x + + anxn
um homomorfismo de anis.
(b) Verifique que, se y( f ( x )) irredutvel em p[x ] , ento f (x ) irredutvel em [x ] (dica:
demonstre a afirmao na forma contrapositiva).
(c) Verifique que, se y( f ( x )) irredutvel em p[x ] , ento f (x ) irredutvel em [ x ] (esse item
igual ao anterior?).
(d) Mostre que x 4 - 7x3 + x + 1 irredutvel em [ x ] .
(e) Mostre que x 4 - 5x3 + 2x + 3 irredutvel em [ x ] .
16. Seja c fixado. Considere a funo j : [x ] [x ] dada por j( f ( x )) = f ( x + c ) .

(a) Demonstre que j um isomorfismo.
(b) Demonstre: dado um polinmio g (x ) [ x ] , se g (x + c ) irredutvel sobre ento g (x )
irredutvel sobre .
(c)(Gauss)UsandoocritriodeEisenstein,mostrequeopolinmio p(x ) = xp - 1 + xp - 2 + + x + 1
irredutvel (dica: escreva p(x ) = xp - 1x - 1 mostre, usando o critrio de Eisentein, que (c)
(Gauss) Usando o critrio de Eisenstein, mostre que o polinmio p (x) = x p-1 + x p-2 + + x + 1
p
x -1
irredutvel (dica: escreva p (x) = mostre, usando o critrio de Eisentein, que p (x + 1)
x -1
irredutvel).
AULA 6 TPICO 3 111

17. Demonstre que f(x,y) = x2 + y2 irredutvel sobre [x,y] .
18. Seja K um corpo e f(x) = a 0 + a1x + + a n-1x n-1 + a n x n K[x] um polinmio

de grau n e termo constante a 0 0 . Demonstre que, se f(x) for irredutvel, ento
n-1
g(x) = a n + a n-1x + + a1x + a 0 x tambm ser.
n
19. x + x + 1 irredutvel em 2 [x] ?

5
20. Seja K um corpo e A = K [x ] .

(a) Demonstre que todo ideal de A do tipo
( f ) = { f (x ) g (x ) | g (x ) K [x ]},
onde f um polinmio com coeficientes em K (dica: essa demonstrao totalmente anloga que
fizemos para A = ).
(b) Demonstre: um ideal I de A primo se e somente se I = ( f ) , onde f K [x ] irredutvel.
(c) Mostre que [x ] / (x 2 + x + 1) um domnio de integridade.
21. Faa uma lista com todos os polinmios de grau 3 em 2 [ x ] . Quais desses polinmios so irredutveis?
22. Determine todos os polinmios de grau 2 irredutveis sobre 3 .
23. Sejam f , g [x ] . Suponha que f irredutvel em [ x ] e que f e g possuam uma raiz comum
em . Demonstre que f | g .
24. Determine quais dos seguintes polinmios so irredutveis em [ x ] :

(a) f (x ) = 3x 2 - 7x + 5 .
(b) f (x ) = x 3 + 6x 2 + 5x + 25 .
(c) f (x ) = x 5 - 3x 3 + 21x - 15 .
(d) f (x ) = x 3 - 3x - 1 .
25. Fatore x 4 + 1 , x 4 - 4 e x 4 + 4 completamente sobre .
26. Se n um inteiro positivo no divisvel por 2 nem por 3 , mostre que o polinmio
(x + y )n - x n - y n [x, y ] divisvel pelo polinmio xy(x 2 + xy + y 2 ) .
27. Um polinmio f de grau n sobre um corpo K tem, no mximo, n razes nesse corpo. Baseando-se
nesse fato, demonstre as seguintes afirmaes:

(a) Se f tem grau n e existem a1 ,, an+1 K tais que f (ai ) = 0 , para todo i {1,, n + 1} , ento
f identicamente nulo.
(b) Se f e g tm grau n e existem a1 ,, an+1 K tais que f ( ai ) = g ( ai ) , para todo i {1,, n + 1} ,
ento f = g .
28. Demonstre que o polinmio ( x - 1)( x - 2)( x - n) + 1 irredutvel sobre .
AULA 6 TPICO 3 113

AULA 7 Introduo teoria
dos corpos
Ol aluno(a),
Nesta aula, estudaremos de maneira breve alguns dos corpos que contm o
corpo dos nmeros racionais e que tm especial importncia, os chamados
corpos de nmeros algbricos, que so exatamente as extenses finitas de .
Veremos ainda resultados (Teoremas 4 e 5) que garantem que os corpos com um
nmero finito de elementos so exatamente aqueles cujo nmero de elementos
a potncia de um primo. Vale salientar que os resultados aqui apresentados
constituem apenas uma pequena parte da teoria dos corpos.
Objetivos
Identificar e trabalhar com extenses algbricas finitas, em particular, com o

corpo de decomposio de um polinmio
Identificar e construir corpos finitos

TPICO 1 Extenses de corpos
O bjetivos
Identificar quando um elemento algbrico ou
transcendente sobre um corpo K
Determinar o grau de algumas extenses finitas de corpos
Encontrar o corpo de decomposio de um polinmio,
para alguns casos simples
N este primeiro tpico, faremos uma breve introduo ao estudo das

extenses de corpos, concentrando nossa ateno nas extenses
algbricas e, mais especificamente, naquelas cujo grau finito.
Os resultados vistos aqui sero usados no tpico 2 para estudarmos extenses
finitas e tambm na aula 8, quando resolveremos alguns problemas clssicos de
Geometria usando as tcnicas desenvolvidas aqui.
Seja K um corpo e L um corpo contendo K . Dizemos que K um subcorpo
de L , ou que L uma extenso de K . Usamos a notao L|K para indicar que
L uma extenso de K . O corpo L pode ser visto como um espao vetorial sobre
K . De fato, a soma em L satisfaz as condies da definio de espao vetorial
(isto , L com a operao soma um grupo abeliano) e, dados a K L e x L ,
o produto ax est bem definido e satisfaz as condies da definio de espao
vetorial, pois um produto de dois elementos do corpo L .
A dimenso de L como espao vetorial sobre K chamada grau da extenso
L|K e denotada por [L : K ] . No caso em que L um espao veotrial de dimenso
infinita sobre K , denotamos [L : K ] = . Quando [L : K ] = 2 , dizemos que L
uma extenso quadrtica de K . Se [L : K ] = 3 , dizemos que L uma extenso
cbica de K .
AULA 7 TPICO 1 115

EXEMPLOS:
1. O corpo dos nmeros complexos um espao vetorial de dimenso
2 sobre o corpo dos nmeros reais. De fato, {1, i} formam uma base de
sobre . Dizemos que | uma extenso quadrtica e denotamos [ : ] = 2 .
2. Seja K um corpo e K (x ) o corpo de funes racionais sobre K , isto ,
K (x ) o corpo de fraes de K [x ] . Ento K (x ) uma extenso de grau infinito de
K . Isso se d porque x uma indeterminada, logo {1, x, x 2 , x 3 ,} um conjunto
infinito e linearmente independente sobre K (veja a Tarefa 1 dessa aula)
Quando consideramos uma cadeia de corpos F K L , temos o seguinte

resultado sobre os graus das extenses.
Teorema1 Sejam F , K e L corpos tais que F K L . Ento [L : F ] finito se, e

somente se, [L : K ] e [K : F ] so finitos e
[L : F ] = [L : K ] [K : F ].
Demonstrao:
Supondo que [L : F ] finito, L pode ser visto como um espao vetorial de
dimenso finita sobre F . Como K um subespao de L , [K : F ] tambm finito.
Qualquer conjunto que gera L com coeficientes em F , uma base, por exemplo,
tambm gera L com coeficientes em K . Logo, [L : K ] tambm finito.
Reciprocamente, suponhamos que [K : F ] = m e [L : K ] = n . Vamos mostrar
que [L : F ] finito e igual a mn . Seja {u1 ,, um } uma base de K sobre F e
{v1 ,, vn } uma base de L sobre K . Afirmamos que B = {ui v j |1 i m,1 j n}
uma base de L sobre F . Note que, como B tem mn elementos, isso mostra que
[L : F ] = mn .
Dado y L , existem a1 ,, an K tais que y = a1v1 + + an vn . Para cada j ,

1 j n , existem a1 j ,, amj F tais que a j = a1 j u1 + + amj um . Assim,
y = a1v1 + + an vn = (a11u1 + + am1um )v1 + + (a1n u1 + amn um )vn =
= aij ui v j .
1im
1 j n
Dessa forma, B gera L sobre F . Vamos mostrar, agora, que B linearmente

independente sobre F . Para isso, consideremos uma combinao linear do tipo
aij ui v j = 0,
1im
1 j n

com aij F . Devemos mostrar que aij = 0 , para quaisquer i {1,, m} e
j {1,, n} . Podemos reorganizar os termos na soma acima de modo que tenhamos
n
0 = b j v j ,
j =1
onde, para cada j {1,, n} , bj = a1 j u1 + + amj um K . Como {v1 ,, vn } uma

base de L sobre K , a igualdade acima implica que bj = 0 , para cada j {1,, n}
Assim, para cada j , 0 = bj = a1 j u1 + + amj um . Como {u1 ,, um } uma base de
K sobre F e aij F , esta ltima igualdade implica que aij = 0 , para quaisquer
i {1,, m} e j {1,, n} .
Seja K um corpo e S um subconjunto de K . Existe um menor subcorpo de
K que contm S , a saber, a interseo de todos os subcorpos de K que contm S
. Estamos particularmente interessados no caso em que S = F {a} , onde F um
subcorpo de K e a um elemento de K que no pertence a F . Denotamos esse
menor subcorpo por F (a ) . Temos suas situaes possveis:
1. No existe polinmio f (x ) F [x ] tal que f (a ) = 0 . Neste caso, dizemos
que a K transcendente sobre F . O corpo F (a ) um corpo de funes
racionais em a , ou seja,
f (a )
F (a ) = | f (x ), g (x ) F [x ]
g (a )
e a comporta-se exatamente como uma indeterminada.
2. Existe um polinmio f (x ) F [x ] tal que f (a ) = 0 . Neste caso, dizemos
que a K algbrico sobre F . No Teorema a seguir, coletaremos os principais
resultados sobre F (a ) quando a algbrico.
Teorema2 Seja K |F uma extenso de corpos, a K , a F , algbrico sobre F

e seja f (x ) F [x ] um polinmio mnico de grau mnimo tal que f (a ) = 0 e seja
grau ( f ) = n . Ento,
1. f nico.
2. f irredutvel em F [x ] .
3. {1, a, a 2 ,, a n-1 } uma base do espao vetorial F (a ) sobre F .
4. [F (a ) : F ] = n .
5. Um polinmio g (x ) com coeficientes em F satisfaz g (a ) = 0 se, e somente
se, f (x ) divide g (x ) em F [x ] .
AULA 7 TPICO 1 117

Demonstrao:
(1) Suponhamos que existam f (x ), g (x ) F [x ] mnicos (isto , com
coeficientes lderes iguais a 1 ) e com grau n = grau ( f ) = grau ( g ) mnimo, tais
que f (a ) = 0 e g (a ) = 0 . Ento h(x ) = f (x ) - g (x ) tem grau menor do que n e
h(a ) = 0 . Como grau (h) < grau ( f ) e f o polinmio no nulo com menor grau
que se anula em a , h(x ) = 0 , isto , h(x ) o polinmio identicamente nulo. Isso
significa que f (x ) = g (x ) , o que demonstra a unicidade de f .
(2) Se f fosse redutvel, poderamos escrever f = f1 f2 , com
grau ( f1 ) < grau ( f ) e grau ( f2 ) < grau ( f ) . Como f1 (a ) f2 (a ) = f (a ) = 0 , teramos
f1 (a ) = 0 ou f2 (a ) = 0 . Mas isso contraria o fato de que f o polinmio de menor
grau que tem a como raz. Portanto, f irredutvel.
(3) Se houvesse uma relao de dependncia linear entre os
n-1
elementos de {1, a, a ,, a 2
} , ou seja, se existissem a0 , a1 ,, an-1 tais que
a0 1 + a1a + + an-1a n-1 = 0 , o polinmio g (x ) = a0 + a1x + + an-1x n-1 seria tal
que ( ) 0 e grau ( g ) < grau ( f ) , contrariando
a minimalidade do grau de f . Dessa forma, uma
tal relao de dependncia linear no existe e,
g uarde b e m i s s o ! assim, o conjunto {1, a, a 2 ,, a n-1 } linearmente
Na demonstrao dos itens (3) e (5), utilizamos independente.
o fato de que em F [x ] podemos calcular o Seja L o subespao de F (a ) gerado por
mximo divisor comum entre dois polinmios. {1, a, a 2 ,, a n-1 } . Vamos mostrar que L = F (a ) .
Isso uma consequncia direta de F [x ] ser um Para isso, suficiente mostrarmos que L um
domnio euclidiano, pois, conforme voc, aluno, corpo, pois F L , a L e, por definio, F (a )
deve lembrar do curso de Teoria dos Nmeros, o menor corpo que contm F e a . Primeiramente,
o Algoritmo de Euclides para o clculo do MDC mostraremos que a k L , para todo k 1 . Para
entre dois inteiros, ou, em geral, entre dois 1 k n - 1 isso consequncia da definio de
elementos de um domnio euclidiano, utiliza-se
L . Como f (x ) = x n - bn-1x n-1 - - b1x - b0 se
apenas do Algoritmo da Diviso, disponvel em
anula em a , temos
domnios euclidianos, em particular em F [x ] .
a n = b0 + b1a + + bn-1a n-1 L.
Supondo, por induo, que a k L ,
para 1 k m , a k = c0 + c1a + + cn-1a n-1 , pois {1, a, a 2 ,, a n-1 } gera L .
Multiplicando a ltima igualdade por a , obtemos
a k +1 = c0 a + c1a 2 + + cn-1a n = c0 a + c1a 2 + +

+cn-1 (b0 + b1a + + bn-1a n-1 ) L.

Assim, pela segunda forma do princpio de induo, a k L , para todo
k 1 .
Agora, dados u, v L , temos u + v L , pois L um espao vetorial, e u v L .
Para nos convencermos de que u v de fato pertence a L , basta notarmos que
possvel escrever tanto u quanto v como combinaes lineares de 1, a,, a n-1 ,
e, portanto, o produto u v pode ser escrito como combinao linear de potncias
de a , com expoentes maiores ou iguais a 1 , que j vimos serem elementos de L .
Dessa forma, L um subanel de F (a ) e, de fato, um domnio, pois subanel de
um corpo.
Para mostrarmos que L um corpo, basta ento verificarmos que, dado
u L , u 0 , existe v L tal que u v = 1 . Como u L , podemos escrever u
como combinao linear de 1, a,, a n-1 com coeficientes em F , ou seja, existe
um polinmio h(x ) F [x ] tal que u = h(a ) . Como grau (h) < grau ( f ) e f um
polinmio irredutvel, segue que o mximo divisor comum entre h e f em F [x ]
igual a 1 , ou seja, existem polinmios g , q F [x ] tais que
h(x ) g (x ) + f (x )q(x ) = 1
e essa uma igualdade de polinmios, ou seja, continua vlida se substituirmos x
por a . Fazendo isso, obtemos h(a ) g (a ) + f (a )q(a ) = 1 . Como f (a ) = 0 , obtemos
h(a ) g (a ) = 1 . Fazendo g (a ) = v L , obtemos u v = 1 , com v L . Assim, L
um corpo, como queramos demonstrar.
(4) Como a base {1, a, a 2 ,, a n-1 } de F (a ) sobre F tem n elementos, temos
que [F (a ) : F ] = n .
(5) Se f (x ) no dividisse g (x ) em F [x ] , ento o mximo divisor comum de
f e g seria igual ao polinmio constante 1 , pois f irredutvel. Assim, existiriam
r (x ), s(x ) F [x ] tais que
r (x ) f (x ) + s(x ) g (x ) = 1.
Fazendo x = a , obteramos 0 = r (a ) f (a ) + s(a ) g (a ) = 1 , contradio. Logo,
f (x ) divide g (x ) em F [x ] .
O polinmio f (x ) F [x ] de menor grau que anula a chamado polinmio
minimal de a . Podemos interpretar os resultados do Teorema acima luz do
Teorema fundamental dos homomorfismos de anis (cf. Aula 4). Para isso, basta
considerarmos o homomorfismo avaliao : F [x ] K , dado por ( g (x )) = g (a ) .
O ncleo desse homomorfismo ker = { g (x ) F [x ]| g (a ) = 0} = ( f (x )) , o
ideal gerado por f (x ) em F [x ] . A imagem de , F [a ] = { g (a )| g (x ) F [x ]} ,
AULA 7 TPICO 1 119

sendo subanel do corpo K , um domnio de integridade. Como, pelo Teorema
fundamental dos homomorfismos de anis, F [a ] isomorfo a F [x ] / ( f (x )) , o
ideal ( f (x )) primo, logo f (x ) irredutvel. De modo similar ao que fizemos na
demonstrao do Teorema 2 da Aula 3, possvel mostrar que F [x ] / ( f (x )) , de
fato, um corpo ( claro que isso tambm foi feito na demonstrao do Teorema 2).
Portanto, F [a ] um corpo e, como F [a ] contm F e a , temos F [a ] = F (a ) .
EXEMPLOS:
1. O polinmio minimal de 2 sobre f (x ) = x 2 - 2 . De fato, f ( 2) = 0
e, se g (x ) [x ] , g ( 2) = 0 , ento a diviso de g (x ) por f (x ) fornece
g (x ) = f (x )q(x ) + r (x ), 0 grau (r ) < grau ( f ) = 2, ou r (x ) = 0.
Assim, podemos escrever r (x ) = a + bx , com a, b . Como
g ( 2) = f ( 2) = 0 temos 0 = r ( 2) = a + b 2 , o que implica a = b = 0 , do
a
contrrio, teramos 2 = - , o que no ocorre. Portanto r (x ) = 0 e f (x )| g (x )
b
em [x ] . Isso mostra, tambm, que [ 2] = ( 2) = {a + b 2|a, b } .
2. ( 3 2) = {a + b 3 2 + c 3 4 |a, b, c } . O polinmio minimal de 3
2
f (x ) = x - 2 . Pelo critrio de Einsenstein (Aula 6, Teorema 11) com p = 2 , f (x )
3
irredutvel. Assim, [( 3 2) : ] = grau (x 3 - 2) = 3 .

1 3 2p 2p
3. Seja z3 = - + i . Podemos escrever z 3 = cos + i sen , logo
2 2 3 3
4p 4p 1 3
z 32 = cos + i sen = - -i = z 3 . O polinmio g (x ) = x 3 - 1 tal que
3 3 2 2
g (z 3 ) = 0 . Porm, g (x ) no irredutvel em [x ] , pois g (x ) = (x - 1)(x 2 + x + 1) .
O polinmio f (x ) = x 2 + x + 1 no tem razes em e tem grau menor do que 4 ,
logo irredutvel em [x ] . Como f (z 3 ) = z 32 + z 3 + 1 = z 3 + z 3 + 1 = -1 + 1 = 0 ,
f (x ) o polinmio mininal de z3 sobre . Portanto, [(z3 ) : ] = grau ( f ) = 2 .
4. O polinmio minimal de i sobre f (x ) = x 2 + 1 . Logo, [(i) : ] = 2 .
Dizemos que um corpo K , contendo o corpo F , algbrico sobre F ,

se todo elemento de K algbrico sobre F . Caso contrrio, isto , se existe um
elemento de K que no algbrico sobre F , dizemos que K transcendente
sobre F , ou que a extenso K |F transcendente. No caso particular de K = ,
uma extenso finita L de necessariamente uma extenso algbrica, chamada
corpo de nmeros algbricos.
Se o grau [K : F ] = n da extenso finito, ento K algbrico sobre F (veja
a tarefa 2). A recproca, no entanto, no verdadeira, ou seja, existem extenses
algbricas de grau infinito.

No exemplo 1 deste tpico, consideramos a extenso ( 2)| . Nesse
exemplo, o polinmio minimal de 2 f (x ) = x 2 - 2 . Esse polinmio irredutvel
sobre , mas, sobre ( 2) , f (x ) fatora-se como o produto de dois fatores lineares:
f (x ) = (x - 2)(x + 2) . Assim, o corpo ( 2) contm as razes de f (x ) .
Nesse exemplo, o elemento 2 , que no pertence ao corpo , foi tomado
em um corpo maior, no caso, . Em geral, dado um corpo K , no dispomos
a priori de um corpo maior onde possamos tomar as razes de um determinado
polinmio com coeficentes em K .
Seja K um corpo e f (x ) K [x ] um polinmio irredutvel sobre K . O anel
quociente L = K [x ] / ( f (x )) um corpo e podemos identificar K com um subcorpo
de L . Dessa forma, obtemos uma extenso L|K que contm pelo menos uma
raz de f (x ) . De fato, se a = p(x ) = x a imagem de x pela projeo cannica
p : K [x ] K [x ] / ( f (x )) , que associa cada polinmio de K [x ] a sua classe no anel
quociente, ento f (a ) = f (x ) = f (x ) = 0 . Isso significa que a L uma raiz de
f (x ) em L .
EXEMPLO:
Se f (x ) = x 2 - 2 , ento, pelo teorema fundamental dos homomorfismos de
anis, L = [x ] / ( f (x )) isomorfo ao anel (que , de fato, um corpo) [ 2] e esse
isomorfismo identifica x com 2.
Caso L contenha todas as razes de f (x ) , o processo termina. Caso contrrio,

existe um polinmio irredutvel f1 (x ) L[x ] de grau maior do que 1 , tal que
f (x ) = (x - a1 )m1 (x - ar )mr f1 (x ),
onde a1 ,, ar so as razes de f (x ) contidas em L e m1 ,, mr so inteiros maiores
ou iguais a 1 . Cada mi chamado multiplicidade de ai como raiz de f (x ) .
Como f1 (x ) irredutvel em L[x ] , o anel quociente L1 = L[x ] / ( f1 (x )) um
corpo e podemos considerar L L1 do mesmo modo que consideramos K L . Em
L1 f1 (x ) possui pelo menos uma raiz, que tambm raiz de f (x ) , pois f1 (x ) divide
f (x ) . Esse processo pode ser repetido de modo a obtermos, aps um nmero finito
de passos, uma cadeia de corpos
K L L1 Ls ,
onde Ls um corpo que contm todas as razes de f (x ) . Se s 1 o menor inteiro
positivo tal que Ls contm todas as razes de f (x ) , o corpo Ls chamado corpo de
AULA 7 TPICO 1 121

decomposio de f (x ) . Esse nome se deve ao fato de que, em Ls [x ] , o polinmio
f (x ) pode ser escrito como produto de polinmios de grau 1 :
f (x ) = c (x - a1 )m1 (x - at )mt ,
com a1 ,, at Ls e c K -{0} .
EXEMPLO:
O polinmio f (x ) = x 4 - 2 [x ] irredutvel sobre . Sabemos
que 4
2 raiz de f (x ) . Logo, f (x ) o polinmio minimal de 4
2
sobre e [( 4 2) : ] = grau ( f ) = 4 . Em ( 4 2) , podemos escrever
f (x ) = (x - 2)(x + 2)(x + 2) , onde x + 2 irredutvel sobre ( 4 2)
4 4 2 2
Assim, x 2 + 2 o polinmio minimal de i 4 2 sobre K = ( 4 2)

O corpo L = K (i) = ( 4 2, i) um corpo de decomposio de f (x ) e
[L : ] = [L : K ] [K : Q ] = 2 4 = 8 .
Sobre o corpo de decomposio de um polinmio, temos o seguinte resultado.
Teorema3 Seja F um corpo, f (x ) F [x ] um polinmio irredutvel sobre F e L

um corpo de decomposio de f (x ) .
1. L uma extenso finita de F .
2. Se K outro corpo de decomposio de f (x ) , ento existe um isomorfismo
s : L K tal que s (x ) = x , para todo x F .
Demonstrao:
(1) A construo que fizemos acima nos mostra que, na cadeia
K L L1 Ls ,
onde Ls o corpo de decomposio de f (x ) K [x ] , cada incluso representa uma
extenso finita. Logo, o grau [Ls : K ] finito.
(2) A demonstrao dessa afirmao requer o uso do Lema de Zorn e da noo
de fecho algbrico, que no estudaremos aqui, devido ao carter introdutrio desta
aula. O leitor interessado pode consultar, por exemplo, o livro de O. Endler, Teoria
dos Corpos, citado nas referncias.
Um isomorfismo s : L K entre duas extenses L F e K F de um corpo

F , tal que s (x ) = x para todo x F , chamado F -automorfismo de L em K .

Nosso primeiro tpico termina aqui. Estudamos, de modo introdutrio, a
noo de elemento algbrico sobre um corpo. Vimos que h uma relao estreita
entre nmeros algbricos e polinmios, dada pelo fato de que a cada nmero
algbrico a sobre um corpo est associado um polinmio irredutvel de grau
mnimo, chamado polinmio minimal de a . Vimos tambm que cada polinmio
irredutvel de K [x ] pode ser decomposto em uma extenso adequada L|K .
No prximo tpico, veremos como os resultados vistos aqui podem ser
aplicados ao estudo dos corpos com um nmero finito de elementos.
AULA 7 TPICO 1 123

TPICO 2 Corpos finitos
O bjetivos
Identificar a existncia e a unicidade dos corpos
finitos
Construir um corpo com pn elementos, dados p
primo e n natural
O Teorema 2 da Aula 3 nos d uma maneira de obter uma infinidade

de exemplos de corpos finitos. De fato, temos que p um corpo
se, e somente se, p primo. Como veremos neste tpico, esses no
so os nicos exemplos de corpos finitos. De fato, demonstraremos a seguir que,
para cada primo p e para cada inteiro positivo n , existe essencialmente um nico
corpo com pn elementos. Usando as ferramentas desenvolvidas no tpico anterior,
encontraremos um mtodo para construir estes corpos.
Na disciplina de lgebra Linear, vimos que podemos construir um espao
vetorial sobre um corpo K qualquer. Assim, podemos considerar o caso em que K = p ,
um corpo finito com p elementos, onde p um nmero primo. Seja, portanto, V
um espao vetorial de dimenso finita dim KV = n . Isso significa que existe uma
base B = {v ,, v } de V sobre p . Logo todo v V pode ser escrito como
v = a1v1 + + an vn ,
com a1 ,, an p . Podemos escolher cada coeficiente de p modos. Assim, o
espao vetorial V tem pn elementos.

O Teorema a seguir mostra que todo corpo com um nmero finito de
elementos pode ser visto como um espao vetorial sobre p para algum primo p ,
exatamente como exposto no pargrafo acima.
Teorema4 Seja L um corpo finito, com m elementos. Ento vale o seguinte:

1. Existe p primo tal que p L uma extenso finita com [L : p ] = n .
2. Vale a igualdade m = pn .
Demonstrao:
Consideremos o homomorfismo f:L, dado por f(0) = 0 ,
f(n) = 1 + + 1 ( n vezes), se n > 0 , e f(n) = -1 - - 1 ( -n vezes), se n < 0 .
Aqui, 1 = 1L denota o elemento neutro do produto em L . Como L finito, existe

p

p tal que 1 + + 1 = 0 . De fato, se isso no acontecesse, seria possvel produzir
uma sequncia 1,1 + 1,1 + 1 + 1, de elementos distintos, logo infinita, em L , o
que no possvel, pois L possui apenas um nmero finito de elementos (veja a
tarefa 3, no final desta aula). Podemos considerar p como sendo o menor inteiro

p

positivo tal que 1 + + 1 = 0 (isso possvel, pelo princpio da boa ordenao).

n
Se n um inteiro positivo tal que 1 + + 1 = 0 , ento p|n .
O ncleo kerf um ideal de e, como um domnio de ideais principais
(aula 5), kerf = n , para algum , n > 0 . Como f( p) = 0 , p kerf = n ,
logo n| p . Como p o menor inteiro positivo tal que f( p) = 0 , temos p|n . Assim,
n = p , pois n e p so positivos.
O teorema fundamental dos homomorfismos de anis nos diz que / p
isomorfo a um subanel de L . Como L um corpo, esse subanel um domnio.
Assim, p = / p um domnio e, pelo Teorema 2 da aula 3, p primo e p
um corpo. Dessa forma, acabamos de verificar que L uma extenso do corpo p .
Uma vez que L um corpo finito, a extenso L| p , necessariamente, uma
extenso finita. Pela discusso do incio do tpico, o nmero de elementos de L
pn , onde n = [L : p ] .
O Teorema 4 mostra que o nmero de elementos em um corpo finito deve ser,

necessariamente a potncia de um primo. O Teorema 5 a seguir garante que, para
cada primo p e para cada n inteiro positivo, existe um corpo com pn elementos.
AULA 7 TPICO 2 125

Teorema5 Para cada inteiro primo p e para cada inteiro positivo n , existe um
corpo L com pn elementos. Dados dois corpos L e K , ambos com q = pn elemen-
tos, existe um p -automorfismo de L em K .
Demonstrao:
Seja q = pn e considere o polinmio f (x ) = x q - x . O Teorema 3 garante que
existe uma extenso finita N de p que corpo de decomposio de f (x ) , isto
, todas as razes de f (x ) esto em N . Seja L N o conjunto das razes de f (x ) .
Vamos mostrar que L = N .
Notemos que, dados a, b L , temos a q = a e b q = b , pois ambos so
razes de f (x ) = x q - x . Agora (a b )q = a q b q = a b , o que implica a b L .
-1
Mais ainda, f (1) = 0 f (0) = 0 implicam que 1 L e 0 L . Se a 0 , a N
raiz de f (x ) pois (a-1 )q = (a q )-1 = a-1 , logo a-1 L . No desenvolvimento
binomial de (a + b )q , os coeficientes binomiais q so mltiplos de q = pn ,
k
para cada k , 1 k q - 1 , logo todos os coeficientes binomiais q so mltiplos
k
de p . Como o corpo N p tem caracterstica p , temos q = 0 , para cada k ,
k
1 k q - 1 , logo (a + b )q = a q + b q e (a - b )q = a q - b q . Como a = a e
q
b b , temos (a b )q = a q b q = a b , o que implica que a b L . Dessa

forma, o subconjunto no-vazio L de N fechado para a soma, para a diferena,
para o produto e para a inverso de elementos no nulos, alm de conter 0 e 1 .
Portanto, L um corpo e contm todas as razes de f (x ) , sendo, portanto, o corpo
de decomposio de f (x ) , ou seja, L = N .
Mostramos, portanto, que existe um corpo com q = pn elementos, para
todo p primo e todo n 1 . Esse corpo exatamente o corpo de decomposio do
polinmio f (x ) = x q - x p [x ] . Pelo item (2) do Teorema 3, se K outro corpo de
decomposio de f (x ) existe um p -automorfismo s : L K .
Assim, para concluirmos a demonstrao, basta verificarmos que, se K
for outro corpo finito com q = pn elementos, ento K tambm ser corpo de
decomposio de f (x ) = x q - x . De fato, vamos mostrar que todo elemento de K
raiz de f (x ) Primeiramente, f (0) = 0 , logo 0 K raiz de f (x ) . O conjunto
K * = K -{0} um grupo (o grupo multiplicativo do corpo K ) e tem q - 1 elementos.
Dado x K * seja S = x = {1, x, x 2 ,, x r -1 } o subgrupo (finito) de K * gerado por
x ( x r = 1 ). Esse grupo tem r elementos e, pelo Teorema de Lagrange (estudado na
Aula 1), r divide a ordem do grupo K * , isto , q - = r a , para algum a inteiro.

Assim, x q-1 = x ar = (x r )a = 1a = 1 e, portanto, f (x ) = x q - x = x(x q-1 - 1) = 0 . Isso
mostra que todo corpo finito K com q = pn elementos corpo de decomposio
de f (x ) = x q - x , como queramos.
EXEMPLO:
Seja F = 2 = {0,1} . O polinmio
f (x ) = x + x + 1 F [x ] irredutvel sobre F .
2
at e n o!
De fato, como f (x ) tem grau 2 , sabemos que f
irredutvel se, e somente se, no tiver razes em Usamos a notao q para indicar o corpo (nico
a menos de isomorfismo) com q = pn elementos.
F . Como F = {0,1} e f (0) = 1 , f (1) = 1 , f no
tem razes em F = 2 e, portanto, irredutvel
em F [x ] . O anel quociente K = 2 [x ] / ( f (x )) , logo, um corpo, cujos elementos
podem ser representados na forma a + na , com a, b 2 , onde a 2 + a + 1 = 0 ,
o que significa que a 2 = -a - 1 = a + 1 . Essa ltima igualdade ocorre porque
-1 = 1 em 2 . Como temos duas escolhas para a e duas escolhas para b , o corpo
K tem 4 elementos. Mais precisamente:
4 = 2 [x ] / ( f (x )) = {0,1, a,1 + a}
Podemos construir as tabelas de adio e multiplicao para os elementos
de K :
+ 0 1 a 1+ a 0 1 a 1+ a
0 0 1 a 1+ a 0 0 0 0 0
1 1 0 1+ a a 1 0 1 a 1+ a
a a 1+ a 0 1 a 0 a 1+ a 1
1+ a 1+ a a 1 0 1+ a 0 1+ a 1 a
Com este exemplo, encerramos o tpico 2. Vimos aqui que um corpo finito
tem como nmero de elementos uma potncia de um nmero primo. Vimos tambm
que, para cada primo p e para cada inteiro positivo n , existe um corpo de ordem
pn e, mais ainda, esse corpo essencialmente nico, no seguinte sentido: dois
corpos finitos com o mesmo nmero de elementos so isomorfos. Conclumos o
tpico exibindo, por meio de um exmplo, um mtodo para construir explicitamente
um corpo finito com pn elementos.
Nessa stima aula, procuramos exibir algumas noes bsicas sobre corpos,
enfatizando sua relao estreita com o estudo da decomposio de polinmios.
Na aula seguinte, usaremos alguns resultados encontrados aqui para resolvermos
problemas clssicos de geometria.
AULA 7 TPICO 2 127

atividad e d e a pr o fuda m e n t o
1. Se K L so corpos e [ L : K ] = p , um nmero primo, mostre que, se um corpo N tal que

K N L , ento N = K ou N = L .
2. Mostre que, se o grau de u sobre K mpar, ento K (u ) = K (u ) . Sugesto: Mostre que

2
K K (u 2 ) K (u ) e que, se K (u ) K (u 2 ) , a extenso K (u ) K (u ) quadrtica.

2
3. Seja f (x ) K [x ] e seja L = K (a1 ,, an ) tal que f ( x ) = ( x - a1 )( x - an ) em L[ x ] .

(a) Mostre que [L : K ] n ! ;
(b) Supondo que f ( x ) irredutvel em K [x ] , mostre que [L : K ] = n se, e somente se,
L = K (a j ) , para algum j {1,, n} . Neste caso, L = K (a j ) para todo j {1,, n} ;
(c) No final da Aula 6, mostramos que f ( x ) = x p-1 + x p-2 + + x + 1 irredutvel em
[x ] . Mostre que este polinmio satisfaz as condies do item (b).
4. Para cada um dos corpos L abaixo, determine todos os homomorfismos de L em :

(a) L = .
(b) L = ( 3 5) .
(c) L = (i, 4 2) .
5. Seja L|K uma extenso algbrica e considere a L . Seja B = {b1 ,, bn } uma base de L como
espao vetorial sobre K . O operador linesr Ta : L L , dado por Ta (x ) = a x representado, na
base B , pela matriz
a11 a12 a1n

a21 a22 a2n
A =

an1 an 2 ann
cujas entradas so determinadas pelas equaes

n
a b1 = a1 j b j ,
j =1
n
a b2 = a2 j b j ,
j =1

n
a bn = anj b j .
j =1
O polinmio caracterstico de a em relao extenso L|K , denotado por Fa ,L|K ( x ) , o polinmio

caracterstico do operador Ta , dado por Fa ,L|K ( x ) = det( xI - A) . Mais explicitamente,
x - a11 -a12 -a1n

-a21 x - a22 -a2n
Fa ,L|K (x ) = det .

-an1 -an 2 x - ann
Calcule o polinmio caracterstico Fa ,L| ( x ) , para cada a e L dados abaixo:

(a) L = (i) , a = 1 + i .
(b) L = ( 2, 3) , a = 2 + 3 .
(c) L = (i, 3 5) , a = i + 3 5 .
6. Usando a mesma notao do exerccio anterior, mostre que Fa ,K ( a )|K (x ) o polinmio minimal de a
sobre K .
AULA 7 TPICO 2 129

AULA 8 Aplicaes
Ol aluno(a),
Chegamos nossa ltima aula. Exibiremos duas aplicaes dos assuntos

estudados nas aulas anteriores. A primeira aplicao a resoluo de trs
problemas geomtricos levantados pelos matemticos da Grcia antiga, os
quais s podem ser adequadamente tratados usando-se lgebra abstrata, mais
precisamente a teoria dos corpos, desenvolvida na aula 7. A segunda aplicao,
os cdigos corretores de erros, a base matemtica para o funcionamento de
inmeros artefatos tecnolgicos que usamos nos dias atuais: CDs, DVDs, telefones
celulares e transmisses digitais de TV, alm do prprio computador pessoal.
Objetivos
Estabelecer conexes entre os assuntos estudados nas aulas anteriores e as

solues de problemas oriundos de outras reas
Compreender a lgebra Abstrata como uma ferramenta til em Geometria e
em Teoria da Comunicao

TPICO 1 Construes com rgua
e compasso
O bjetivos
Compreender, situar historicamente os problemas
clssicos de construo por rgua e compasso, bem como
compreender a impossibilidade de sua soluo
Visualizar a ligao entre esses problemas e a teoria dos
corpos
N este primeiro tpico, indicaremos, de modo breve, como usar

o Teorema 2 da aula 7, para mostrar a impossibilidade de trs
construes geomtricas, valendo-nos de rgua e compasso: a
duplicao do cubo, a trisseco de um ngulo arbitrrio e a quadratura do crculo.
Esses trs problemas surgiram na Grcia antiga e, por isso, so chamados problemas
clssicos de construo. A impossibilidade de sua resoluo s foi estabelecida em
meados do sculo XIX.
Os gemetras gregos, seguindo uma tradio amadurecida ao longo de
sculos de estudo e cristalizada nos treze livros de Euclides de Megara, chamados
Elementos, adotavam como instrumentos bsicos para a construo de figuras
geomtricas planas a rgua, sem marcas, e o compasso. Enfatizamos que a rgua
euclidiana no possui marcas, pois no utilizada para medir comprimentos,
mas apenas para traar retas. Por sua vez, o compasso o instrumento euclidiano
utilizado para se traar crculos.
Discusses de ordem prtica em torno da limitao de instrumentos
especficos no esto em questo aqui. Assim, podemos assumir que dispomos
de uma rgua suficientemente comprida de modo a ser possvel traar qualquer
segmento, mesmo que tenha comprimento muito grande (a distncia entre Saturno
e o sol, por exemplo). Podemos tambm, assumir que dispomos de um compasso
capaz de traar qualquer crculo, mesmo que seu dimetro seja muito grande (o
dimetro de nossa galxia, por exemplo).
AULA 8 TPICO 1 131

Evidentemente, os prprios gregos conheciam outros instrumentos e com eles
conseguiram resolver os problemas aqui propostos. No entanto, a soluo, usando-
se apenas rgua e compasso, a mais simples possvel e, por isso, os matemticos
gregos, sempre que confrontados com um problema de construo, procuravam
obter uma soluo valendo-se somente de rgua e compasso.
Os problemas clssicos gregos so:

1. A duplicao do cubo: dado um cubo,
voc s ab i a? construir, usando apenas rgua e compasso,
outro cubo que tenha o dobro do volume.
Alm da importncia matemtica dos problemas
Como veremos, isso equivalente a construir, a
geomtricos citados, necessrio compreender
partir de um segmento de comprimento 1 , um
que, na antiguidade, cincia e mito confundiam-
3
se. Assim, por exemplo, o problema da duplicao segmento de comprimento 2;
do cubo est vinculado seguinte narrativa: em 2. Trisseco do ngulo: dado um ngulo
427 a.C., uma peste assolou Atenas, dizimando qualquer, traar, usando apenas rgua e
um quarto de sua populao. Como Apolo era o compasso, duas semirretas que tenham origem
deus que regia as pragas e doenas, as pitonisas no vrtice do ngulo e que dividam o ngulo em
do orculo de Apolo em Delos foram consultadas 3 ngulos iguais;
sobre o que fazer para aplacar a ira do deus. A 3. Quadratura do crculo: construir, usando
resposta foi que o altar do templo de Apolo, que apenas rgua e compasso, um quadrado que
tinha o formato de um cubo, deveria ser duplicado. tenha rea igual rea de um crculo dado.
Prontamente, os atenienses construram um novo Mostraremos que isso equivalente a construir,
altar com aresta duas vezes maior. Isso no afastou
a partir de um segmento de comprimento 1 ,
a peste, pois o volume do altar fora multiplicado
outro segmento que tenha comprimento p.
por oito.
O escritor norte-americano Joseph

Campbell, autoridade renomada em mitologia, atestando a importncia mstica do
problema da quadratura, afirma, em seu livro O Heri de Mil Faces,
[Segundo as tradies antigas] a cpula do cu se apia nos quatro cantos da

terra, por vezes sustentada por quatro reis caritides, anes, gigantes, elefantes
ou tartarugas. Da decorre a tradicional importncia atribuda ao problema
matemtico da quadratura do crculo: ele contm o segredo da transformao
das formas celestes em formas terrestres.(Campbell, J., O Heri de Mil Faces,
ed. Pensamento - So Paulo, 2007, p. 46).

Para podermos utilizar as ferramentas
desenvolvidas na aula 7, precisamos traduzir o
sa iba m a i s !
problema geomtrico em linguagem algbrica.
Mais informaes sobre Joseph Campell, acesse
Para fazer isso, usamos a geometria analtica:
o site http://www.amalgama.blog.br/02/2009/
associamos a cada ponto do plano um par
joseph-campbell-o-evolucionista-das-religioes/
ordenado de nmeros reais.
Dado um conjunto no-vazio C0 de
pontos no plano, podemos construir, para cada
par de pontos distintos P ,Q C0 , uma reta que passa por P e Q e tambm
dois crculos, um centrado em P e passando por Q e outro centrado em Q e
passando por P . O conjunto dessas retas e desses crculos denotado por s(C0 ) .
Se X um ponto do plano tal que {X } = a b , com a, b s(C0 ) , dizemos que X
um ponto construtvel de primeira espcie a partir de C0 . O conjunto dos
pontos construtveis de primeira espcie denotado por C1 . Usando a mesma ideia,
podemos obter o conjunto C2 , dos pontos construtveis de segunda espcie, a
partir de C 0 , como sendo o conjunto dos pontos X tais que {X } = a b , com
a, b s(C1 ) . Continuando esse processo, obtemos
Cn = {X |{X } = a b, a, b s(Cn-1 )}.
No que se segue, consideraremos os pontos construtveis a partir do
conjunto C0 = {(0,0),(1,0)} . Os pontos construtveis de primeira espcie a partir
de C0 = {(0,0),(1,0)} so
1 3 1 3
C1 = {(0,0),(1,0),(-1,0),(2,0),( , ),( ,- )}
2 2 2 2
e esto ilustrados na figura abaixo.
Figura 1: Pontos construtveis

1 1
Observemos que ( ,0) C1 , mas ( ,0) C2 (veja a tarefa 1 desta aula).
2 2
AULA 8 TPICO 1 133

Um ponto P dito construtvel se
existe n 0 tal que P Cn . Um nmero a
chamado nmero construtvel se o ponto
ateno! (a,0) for construtvel. O prximo teorema
Sejam A, B,C , D Cn . Se caracteriza os nmeros reais construtveis.
c ( A, B)c (C , D) = {E , F } , ento Vamos estabelecer uma notao que nos ajudar
E , F Cn+1 e podemos considerar na demonstrao do teorema. Se A e so
c ( A, B)c (C , D) = c ( A, B)r (E , F ) . Assim, pontos distintos do plano, r (A, B) denota a
para obtermos pontos construtveis, basta reta determinada por A e B e c ( A, B) denota o
considerarmos intersees entre duas retas, ou crculo de centro A que passa por B . Notemos
entre uma reta e um crculo. que r ( A, B) = r (B, A) , porm, c ( A, B) c (B, A) .
Se A = (a1 , a2 ) e B = (b1 , b2 ) , ento a equao da
reta r ( A, B)
r ( A, B) : (b2 - a2 ) X + (a1 - b1 )Y + (a2 b1 - a1b2 ) = 0.
A equao do crculo c ( A, B)
c ( A, B) : ( X - a1 )2 + (Y - a2 )2 = (b1 - a1 )2 + (b2 - a2 )2 .
Teorema1 Qualquer nmero real construtvel a algbrico sobre os racionais e

[(a ) : ] uma potncia de 2
Demonstrao:
Se a construtvel, ento (a,0) Cn , para algum n 0 . Isso significa
que (a,0) est na interseo de duas retas ou de uma reta e um crculo, determinados
por pontos construtveis de espcie n - 1 . Mais precisamente, existem pontos
A, B,C , D Cn-1 tais que {(a,0)} = r ( A, B) r (C , D) ou {(a,0)} = r ( A, B) c (C , D) .
Em qualquer um dos casos, o par ordenado (a,0) soluo de um sistema de um
dos tipos abaixo:

(b2 - a2 ) X + (a1 - b1 )Y + (a2 b1 - a1b2 ) = 0
ou

(d2 - c2 ) X + (c1 - d1 )Y + (c2 d1 - c1d2 ) = 0

(b2 - a2 ) X + (a1 - b1 )Y + (a2 b1 - a1b2 ) = 0
2,

( X - c1 ) + (Y - c2 ) = (d1 - c1 ) + (d2 - c2 )

2 2 2
onde A = (a1 , a2 ), B = (b1 , b2 ),C = (c1 , c2 ), D = (d1 , d2 ) .

Eliminando a indeterminada Y nesses sistemas, obtemos uma equao de
grau no mximo 2 . Assim, podemos afirmar que, se as coordenadas ai , bi , ci , di (
i = 1,2 ) dos pontos A, B,C , D , pertencem a um corpo F , ento a F ( D ) , com

D K , D > 0 ( D o discriminante da equao quadrtica oriunda do segundo
sistema acima). Como C0 = {(0,0),(1,0)} e 0,1 , podemos afirmar que a Fn ,
onde
= F0 F1 F2 Fn
e, para cada n 0 , Fn+1 = Fn ( Dn ) , com Dn F e Dn > 0 .
De acordo com o Teorema 1 da Aula 7, aplicado um nmero finito de vezes,
[Fn : ] = 2n . Como (a ) Fn , temos que [(a ) : ] um divisor de [Fn : ] = 2n ,
logo , necessariamente, uma potncia de 2 , como queramos demonstrar.
Vamos, agora, usar o Teorema 1 para mostrar a impossibilidade das
construes clssicas.
1. Duplicao do cubo: Seja V = a 3 o volume do cubo original. Para

construirmos um cubo de volume 2V , necessrio construirmos, a partir da
aresta a , uma aresta b tal que b3 = 2a 3 , ou seja, b = 3 2 a . O problema, ento,
equivalente a construir o nmero 3 2 . Como f (x ) = x 3 - 2 irredutvel sobre ,
temos que [( 3 2 : )] = grau ( f ) = 3 . Logo, 3
2 no pode ser construtvel, pois
[( 3 2 : )] no uma potncia de 2 .
2. Trisseco do ngulo: Alguns ngulos (por exemplo, 90 ) podem
ser trissectados, usando-se rgua e compasso. Vamos mostrar que 60 no pode
ser trissectado usando-se rgua e compasso. Se pudssemos trissectar o ngulo
de 60 , poderamos construir o ngulo de 20 . Uma vez construdo esse ngulo,
seria possvel construir um tringulo retngulo com um dos ngulos internos
medindo 20 . Logo, o nmero a = 2 cos20 seria construtvel. A partir da relao
trigonomtrica cos3q = 4cos3q - 3cosq , deduzimos que a 3 - 3a - 1 = 0 . Assim,
a raiz do polinmio f (x ) = x 3 - 3x - 1 , irredutvel sobre e, portanto,
[(a ) : ] = grau ( f ) = 3 . Como o grau dessa extenso no uma potncia de
2 , a = 2cos20 no construtvel, logo um ngulo que mede 60 no pode ser
trissectado.
3. Quadratura do crculo: A rea de um crculo de raio 1 p . Construir
um quadrado cuja rea igual a p equivalente a construir o lado desse quadrado,
ou seja, um segmento de comprimento p . Mas, se p fosse construtvel,
p = ( p )2 , tambm seria construtvel. Pelo Teorema 1, p seria algbrico sobre .
Mas o nmero p transcendente. Logo, o problema da quadratura do crculo
insolvel por rgua e compasso.
AULA 8 TPICO 1 135

Conclumos, aqui, nosso primeiro tpico.
Vimos que a noo de extenso de corpos,
estudada na aula 7, nos permite resolver trs
ateno! problemas sobre construes geomtricas que
A transcendncia de p no um fato elementar, permaneceram em aberto por mais de 23 sculos,
e s demonstrada por Carl Louis Ferdinand desde a Grcia antiga at o sculo XIX, quando
von Lindemann (1852-1939), em 1882. Essa foram resolvidos recorrendo-se ferramenta
demonstrao encerrou a busca pela quadratura algbrica.
do crculo, problema em aberto que perdurou em
Matemtica por mais de 2300 anos!

TPICO 2 Cdigos corretores
de erros
O bjetivos
Compreender o funcionamento dos cdigos detectores e
dos cdigos corretores de erros
Identificar a noo de corpo finito como elemento bsico
na construo de cdigos
N este tpico, veremos uma importante aplicao das noes

estudadas nas aulas anteriores: a Teoria dos Cdigos.
Evidentemente, apresentaremos aqui apenas uma breve
introduo a esse vasto assunto. Para um estudo mais aprofundado, recomendamos
o livro Cdigos Corretores de Erros, de Hefez e Vilela (veja nas referncias).
Os cdigos corretores de erros formam a ferramenta matemtica que permite a
transmisso de dados com perda mnima de informao, tornando possvel o
funcionamento de vrios aparelhos, como os transmissores digitais de imagem
e som (CD, DVD, BlueRay, TV digital, telefonia digital). Esta aplicao contrasta
fortemente com a vista no tpico 1 desta aula, pois ao contrrio de resolver um
problema antigo, torna possvel a transmisso de informaes por meio digital,
fundamental nos dias atuais.
O artigo de Claude Elwood Shannon (1916-
2001), Mathematical theory of communications,
publicado em 1948, marca o incio da Teoria dos sa iba m a i s !
Cdigos. Neste artigo, Shannon mostrou que h
Para maiores informaes a respeito do artigo
como corrigir a interferncia sofrida por uma
de Claude Elwood Shannon (1916-2001),
determinada mensagem (que pode ser um som,
Mathematical theory of communications,
uma imagem ou outra informao qualquer) acesse o site www.mast.queensu.ca/~math474/
de modo a recuperar a mensagem original com shannon1948.pdf.
grande preciso.
AULA 8 TPICO 2 137

Segundo seu colega do MIT (Massachusetts Institute of Technology), R. G.
Gallager, Shannon foi a pessoa que viu a representao binria como elemento
fundamental em toda comunicao. Essa foi uma descoberta realmente sua, e dela
surgiu toda revoluo das comunicaes.
Nas trs dcadas que se seguiram, a Teoria dos Cdigos desenvolveu-se em
boa parte graas ao trabalho de matemticos ligados ao Bell Telephone Laboratories,
nos Estados Unidos: Elwyn Ralph Berlekamp (1940- ), Edgar Nelson Gilbert
(1923- ), Richard Wesley Hamming (1915-1998), David S. Slepian (1923-2007), Neil
James Alexander Sloane (1939- ), e tambm a outros matemticos, dentre os quais
destacamos Jacobus Hendricus van Lint (1932-2004), professor da universidade de
Eindhover, na Holanda. Esse desenvolvimento culminou com a apresentao, no
dia 8 de maro de 1979, do primeiro prottipo de um CD (Compact Disc), para uma
audincia de aproximadamente 300 jornalistas, na sede da Philips, na Holanda. Por
conta de seu pequeno tamanho, o CD foi chamado pelos cientistas da Philips de
Pinkeltje, nome de um minsculo duende que o personagem central de uma srie
de livros populares na Holanda.
Para compreender como funciona um cdigo, vamos comear com um
exemplo de um cdigo que detecta um erro.
EXEMPLO 2:
O cdigo usado para detectar um erro na transmisso de dados entre o teclado
e a unidade central processamento (CPU) de um computador o ASCII (American
Standard Code for Information Interchange, ou seja, Cdigo Padro Americano para
o Intercmbio de Informao). O cdigo consiste de associaes entre os smbolos
do teclado e listas de 7 dgitos 0 ou 1 . Cada dgito de uma dessas listas chamado
bit. Por exemplo, podemos associar ao smbolo * lista 1001101 , formada por 7
bits. Como, para cada possvel bit, temos duas possibilidades, ao todo podemos
dispor de 128 = 27 listas.
Para que possamos detectar um erro, devemos introduzir um oitavo bit,
chamado bit de checagem. Obtemos assim uma lista com 8 bits, denominada byte,
onde 7 dgitos (bits) transmitem uma informao e o oitavo bit serve para verificar
se a informao foi transmitida corretamente.

Figura 2: Ligao entre teclado e CPU
Na prtica, acrescentamos o oitavo bit de modo que o byte resultante tenha

um nmero par e dgitos (bits) iguais a . Por exemplo, tomemos a lista de 7 dgitos
1001101 , que corresponde ao smbolo *. Nessa lista, temos quatro bits iguais a 1 .
Isso significa que o oitavo bit deve ser, necessariamente, igual a 0 , de modo que,
no byte resultante, o nmero de bits iguais a 1 seja par:

bit de checagem

byte
1001101 0 = 10011010.
Assim, digamos que um usurio do
computador pressione a tecla * no teclado e que,
por algum motivo, haja exatamente um erro
na transmisso da mensagem para a CPU. Isso at e n o!
significa que exatamente um dos bits do byte Devemos observar que o cdigo ASCII detecta
10011010 foi trocado, logo, o byte resultante um erro, mas no capaz de corrigi-lo, sendo
possuir um nmero mpar de bits iguais a 1 . necessrio o reenvio da informao. Cdigos
Um byte com um nmero mpar de bits iguais a 1 detectores de erros so teis em sistemas de redes,
rejeitado pela CPU e o usurio tem que digitar onde a informao pode facilmente ser reenviada,
novamente. sem prejuzo de tempo. No entanto, quando
A Figura 3 abaixo esquematiza o preciso enviar informaes para um destinatrio
funcionamento de um cdigo. A ideia distante, o erro, alm de detectado, tem que ser
corrigido.
selecionar um certo nmero de blocos de
comprimento finito, que formaro o cdigo.
No exemplo acima, os blocos so os bytes. Uma certa informao que precisa ser
transmitida por um canal sujeito interferncia codificada (transformada em um
AULA 8 TPICO 2 139

bloco X pertencente ao cdigo) e transmitida. Depois da transmisso, a informao
recebida ( X + E ) analisada e, dependendo do cdigo escolhido, ser possvel
corrigir um certo nmero de erros ( E ) que eventualmente podem ter ocorrido
durante a transmisso. S depois, a informao decodificada.
Figura 3: Codificao e decodificao
Um cdigo chamado cdigo de blocos se a informao codificada pode

ser dividida em blocos, todos com n smbolos, que podem ser decodificados
independentemente. Estes blocos so chamados palavras do cdigo e n chamado
comprimento da palavra. No exemplo que vimos anteriormente, o cdigo ASCII
um cdigo de blocos, no qual as palavras so os bytes de comprimento 8 .
Seja Q um conjunto com q smbolos, que chamaremos de alfabeto (por
exemplo, no cdigo ASCII, Q = {0,1} ). Em um cdigo de blocos, cada palavra
uma lista formada por n elementos de Q : (q1 ,, qn ) Q Q = Q . Por uma
n
questo de simplicidade e porque no h perigo de confuso, denotamos cada

palavra simplesmente escrevendo q1 qn , omitindo as vrgulas e os parnteses. Se
X ,Y Q n , a distncia de Hamming entre X = x1 xn e Y = y1 yn , denotada
por d ( X ,Y ) , dada por
d ( X ,Y ) = #{i|1 i n, xi yi }
onde o smbolo # denota o nmero de elementos de um conjunto.
A distncia de Hamming uma mtrica, isto , satisfaz as seguintes
condies:
1. d ( X , X ) = 0 , para todo X Q n .
2. Se X ,Y Q n e X Y , ento d ( X ,Y ) > 0 .
3. d ( X ,Y ) = d (Y , X ) , para quaisquer X ,Y Q n .
4. Se X ,Y , Z Q n , ento d ( X , Z ) d ( X ,Y ) + d (Y , Z ) .
Todas as condies acima podem ser verificadas sem dificuldade, exceto a

condio 4, cuja validade ser verificada a seguir.

Se X =Y ou Y = Z , ento d ( X , Z ) = d (Y , Z ) ou d ( X , Z ) = d ( X ,Y ) ,
respectivamente. Assim, neste caso vale 4. Podemos, ento, supor que X Y e
Y Z . Se xi zi para algum i , 1 i n , ento xi yi ou yi zi , do contrrio
xi = yi e yi = zi implicariam xi = zi . Portanto, se as i -simas coordenadas de
X e Z contribuem com uma unidade para d ( X , Z ) , ento as mesmas i - simas
coordenadas contribuem com uma unidade em d ( X ,Y ) ou uma unidade em
d (Y , Z ) (ou uma unidade em cada). Sendo assim, d ( X , Z ) d ( X ,Y ) + d (Y , Z ) , como
queramos.
Um cdigo de blocos , portanto, um subconjunto C Q n . Se #(C ) = 1 ,
dizemos que C trivial. Se #(Q)q = 2 , o cdigo C chamado binrio. Se q = 3 ,
o cdigo C chamado ternrio, e assim por diante.
Desejamos encontrar cdigos cujas palavras sejam difceis de serem
confundidas umas com as outras. Isso significa que, dadas duas palavras distintas
X ,Y C , devemos ter d ( X ,Y ) d . , onde d > 0 um inteiro positivo que mede
quo distintas umas das outras so as palavras do cdigo C . Chamamos esse inteiro
d = d (C ) de distncia mnima de C . Mais precisamente, a distncia mnima de
C dada por
d (C ) = min{d (x, y )|x, y C}.
Se o valor de d(C) grande , temos uma garantia de que o cdigo pode

funcionar bem. De fato, se ocorrer um erro de transmisso e a palavra enviada
d
X for recebida como Z , e se d ( X , Z ) < , onde
d 2
representa o maior intro que no supera d
2 2
, ento a palavra Z deve ser interpretada como
X.
at e n o!
Neste ponto, vale a pena observarmos que, tanto
o computador que envia quanto o que recebe a
mensagem tm, a sua disposio, uma listagem
com todas as palavras do cdigo, de modo a poder
calcular a distncia de Hamming entre a palavra
recebida e cada uma das palavras do cdigo. Dessa
forma, a palavra recebida Z interpretada como
sendo a palavra X do cdigo tal que d ( X , Z )
assume o menor valor possvel.
Figura 4: Distncia mnima
AULA 8 TPICO 2 141

EXEMPLO 3:
Se Q = {0,1} e C = {001,010,100} , as distncias entre os elementos de C so:
d (001,010) = 2 , d (001,100) = 2 e d (010,100) = 2 . Logo, a distncia mnima de C
igual a 2 .
Assim, para um cdigo C com distncia mnima d , se a interferncia na
d
transmisso provoca um erro menor do que , o cdigo capaz de corrigir o erro
2
e recuperar a mensagem original.
A partir deste ponto, vamos fazer uso do nosso estudo de corpos finitos para
podermos construir cdigos eficientes. Vamos tomar como alfabeto um corpo finito
q , com q elementos. Como j vimos na aula 7, q , necessariamente, a potncia
de um nmero primo. As palavras so, agora,
elementos de qn = q q . Como qn um
espao vetorial sobre q , as palavras podem ser
ateno! vistas agora como vetores.
Revise o contedo de subespao vetorial na

Um subespao vetorial C de qn chamado
disciplina de lgebra linear aula 2. cdigo linear. Se C tem dimenso k , ento C

chamado cdigo [n, k ] .
Esta estrutura algbrica adicional nos permite simplificar os clculos e obter

resultados mais profundos sobre os cdigos lineares do que sobre os cdigos de
blocos que no tm estrutura algbrica alguma.
Uma uma matriz k nG cujas linhas formam uma base do cdigo C como
subespao de qn , chamada matriz geradora do cdigo C . Se G uma matriz
geradora de C , ento
C = {X G | X qk },
onde um elemento X de qk deve ser identificado aqui com a matriz linha ( 1 k )
X . O resultado do produto X G uma matriz linha 1 n , que identificamos com
um elemento de qn , pertencente a C .
EXEMPLO 1:
Seja C 26 o cdigo binrio gerado pela base B = {100011,010101,001110} .
A matriz geradora de C
1 0 0 0 1 1

G = 0 1 0 1 0 1 ,

0 0 1 1 1 0

cujas linhas so os vetores da base B de C . Para cada X = x1x2 x3 23 , o produto
X G um elemento de C e todos os elementos de C so obtidos dessa forma. Por
exemplo, dado X = 101 23 , temos
1 0 0 0 1 1

X G = (1 0 1) 0 1 0 1 0 1 = (1 0 1 1 0 1).

0 0 1 1 1 0
Ao todo, 23 tem 8 elementos, logo tambm tem oito elementos.
Se um cdigo C tem distncia mnima d = 2e + 1 , ento ele pode corrigir
d
at = e erros em uma palavra recebida. Para encontrar a distncia mnima d
2
de um cdigo arbitrrio C , temos que encontrar a distncia entre todos os pares
M ( M - 1)
de palavras. Se o cdigo possui M palavras, precisamos calcular M =
2 2
distncias. Quando C um cdigo linear, podemos encontrar a distncia mnima
com muito menos esforo computacional. Para isso, precisamos considerar o peso
w ( X ) de uma palavra X C , que dado por
w ( X ) = d ( X ,0),
onde 0 o vetor nulo do espao vetorial qn . O peso mnimo de C dado por
w (C ) = min{w ( X )| X C , X 0}.
Para encontrar o peso mnimo, precisamos calcular w ( X ) para todo X C .
Logo, necessrio calcular M - 1 distncias, o que representa um esforo
computacional bem menor do que aquele usado no clculo da distncia mnima.
Temos, ento, o seguinte resultado:
Teorema2 Em um cdigo linear C , a distncia mnima igual ao peso mnimo.
Demonstrao:
Como C um espao vetorial, se X ,Y C , ento X - Y C . Pela definio
de distncia de Hamming, d ( X ,Y ) igual quantidade de coordenadas distintas
de X e Y . Esse nmero coincide com o nmero de coordenadas no nulas de
X - Y , logo d ( X ,Y ) = d ( X - Y ,0) = w ( X - Y ) . Assim, a menor distncia coincide
com o menor peso.
Seja q = pn , onde p um nmero primo e n um nmero inteiro positivo.
Seja C um cdigo [n, k ] sobre q , isto , C um subespao de dimenso k de qn .
Podemos escolher uma base B = {v1 , vk } de C dada por
v1 = 100 0x1 k +1 x1n
AULA 8 TPICO 2 143

v2 = 010 0x2 k +1 x2n

vk = 0 01xkk +1 xkn .
Com essa escolha, a matriz geradora de C adquire a seguinte forma, chamada
forma cannica:
1 0 0 x1 k +1 x1n

0 1 0 x2 k +1 x2n
G = = ( Ik P ),

0 0 1 xkk +1 xkn
onde Ik denota a matriz identidade k k e

x1 k +1 x1n

x2 k +1 x2n
P =

xkk +1 xkn
k( n-k )
A partir da matriz transposta simtrica de P ,

-x1 k +1 -xkk +1

-x1 k +2 -xkk +2
-P =

t

-x1 n -xkn ( n-k )k
e da matriz identidade In-k , podemos construir a matriz

-x1 k +1 -xkk +1 1 0 0

-x1 k +2 -xkk +2 0 1 0
H = (-P t In-k ) =

-x1 n -xkn 0 0 1
( n-k )n
chamada matriz de checagem de paridade, ou, simplesmente, matriz de

checagem, do cdigo C . A importncia da matriz de checagem esclarecida pelo
teorema a seguir.
Teorema3 Dado um cdigo C , linear [n, k ] sobre q e uma palavra x qn , temos

x Cse , esomentese , x H t = 0,
onde H t representa a transposta da matriz de checagem.

Demonstrao:
Primeiramente, mostraremos que G H t = 0 , a matriz nula de ordem
k (n - k ) . De fato,
-x1 k +1 -x1 k +2 -x1n

1 0 0 x1 k +1 x1n
-x -xkk +2 -xkn
0 1 0 x2 k +1 x2n kk +1
G H =
t
1 0 0 .

0 1 0
0 0 1 xkk +1 xkn kn

0 0 1 n( n-k )
O produto de matrizes acima igual matriz nula de ordem k (n - k ) (veja

a tarefa 3 desta aula).
Uma palavra x qn pertence ao cdigo C se, e somente se, x = y G , onde
G a matriz k n geradora do cdigo C e y q . Assim, x C se, e somente se,
k
x H t = y (G H t ) = y 0 = 0 .
Seja H a matriz de checagem do cdigo [n, k ] linear C . Dado um vetor

x , o produto x H t um vetor de qn-k , que chamaremos de sndrome de x .
n
q
Como vimos na Aula 1, um espao vetorial V , quando se considera apenas a

operao soma, um grupo abeliano, e um subespao S de V um subgrupo de V .
Em particular, o cdigo linear C subgrupo de qn . Dessa forma, qn = C1 Cm ,
onde cada Ci ( i {1,, m} .) uma classe lateral de C . Dois elementos x, y qn
pertencem mesma classe (isto , so equivalentes) se x - y C . Devemos observar
que, pelo Teorema 3,
x - y C (x - y )H t = 0 x H t = y H t .
Isso significa que x e y so equivalentes se, e somente se, tm a mesma
sndrome.
Vejamos como as observaes acima se aplicam situao real. Suponhamos
que uma palavra x C tenha sido recebida com erro, devido interferncia.
Admitimos que o erro na transmisso um vetor e qn , de talodo que a palavra
recebida y , seja igual palavra enviada x , adicionada ao erro oriundo da
interferncia na transmisso, ou seja, y = x + e . Assim, y - e = x C , o que
mostra que y e e so equivalentes e, portanto, tm a mesma sndrome.
Se queremos decodificar a palavra com um mnimo de mudanas, devemos
assumir que o vetor e possui o maior nmero possvel de zeros como coodenadas,
isto , que o peso w (e ) seja mnimo. Assim, para cada palavra recebida y , devemos
AULA 8 TPICO 2 145

procurar o vetor e0 de peso mnimo que pertena classe y + C , representada por
y , ou seja, que tenha a mesma sndrome de y . Chamamos e0 de vetor lder da
classe y + C . Feito isso, a palavra x pode ser recuperada calculando-se y - e0 .
Dessa forma, podemos elaborar o seguinte algoritmo bsico de decodificao
e correo de erros:
Consideremos um cdigo linear C , de dimenso k em qn , com matriz de
checagem H . Suponhamos que a palavra y foi recebida.
1. Calcule a sndrome y H t .
2. Considere um vetor erro arbitrrio e = e1 en e imponha a e a condio:
e H = y Ht .
t
3. O item anterior fornece um sistema linear indeterminado, com n - k

equaes envolvendo as incgnitas e1 ,, en . Encontre uma soluo e = e1 en do
sistema, tal que w (e ) seja mnimo.
4. Calcule y - e . Como y H t = e H t , a diferena y - e , certamente, uma
palavra x do cdigo C .
5. Decodifique a palavra y como sendo x .
Vamos ilustrar o funcionamento do algoritmo acima por meio de um exemplo.
EXEMPLO:
Queremos transmitir 8 smbolos, a1 ,, a7 , usando um cdigo que nos
permita corrigir um erro. Podemos associar a cada smbolo um nmero de 0 a 7 .
Escrevendo esses nmeros na base 2 , obtemos as seguintes palavras de trs bits:
000,001,010,011,100,101,110,111.
A informao ser transmitida dessa forma e, aps recebida, ser convertida
novamente em nmero decimal e, finalmente, no smbolo correspondente ao
nmero especfico.
Para que seja possvel corrigir um erro, devemos introduzir o que costumamos
denominar redundncia, que nada mais do que uma informao adicional que
torna o cdigo mais eficiente. No nosso exemplo, adicionaremos mais trs bits a
cada palavra x1x2 x3 , de modo a obtermos palavras com 6 bits: x1x2 x3 x4 x5x6 . Os
trs bits adicionais devem depender dos trs primeiros bits. Vamos escolher as
seguintes relaes lineares: x4 = x2 + x3 , x5 = x1 + x3 e x6 = x1 + x2 . Dese modo,
obtemos o seguinte cdigo linear:
C = {000000,001110,010101,011011,100011,101101,110110,111000}.

O peso de uma palavra no-nula de C igual a 3 ou 4 . Logo, o peso
mnimo do cdigo C w (C ) = 3 . Suponha que uma palavra y foi recebida aps a
transmisso e que y C , mas existe xi C tal que d ( y, xi ) = 1 . Se x j C , x j xi ,
ento a desigualdade triangular nos diz que d (xi , x j ) d (xi , y ) + d ( y, x j ) . Como o
cdigo C linear, o Teorema 2 garante que a distncia mnima de C igual ao seu
peso mnimo w (C ) = 3 . Assim, 3 d (xi , x j ) d (xi , y ) + d ( y, x j ) . Como d (xi , y ) = 1 ,
obtemos d ( y, x j ) 2 . Isso significa que a nica palavra do cdigo que est
distncia 1 de y xi , enquanto as outras palavras de C esto mais distantes.
Portanto, a palavra recebida y deve ser substituda pela palavra xi , pertencente
ao cdigo. Isso significa que o cdigo C pode corrigir 1 erro.
Para descobrir a matriz geradora de C , escrevemos:

x4

x5

x6

C = {(x1 , x2 , x3 , x2 + x3 , x1 + x3 , x1 + x2 ) 26 |x1 , x2 , x3 2 } =
1 0 0 0 1 1

= {(x1x2 x3 ) 0 1 0 1 0 1 |x1x2 x3 23 }.

0 0 1 1 1 0
Assim, o cdigo binrio C 26 coincide que o que foi dado no Exemplo da
pgina 13, gerado pela base B = {100011,010101,001110} , cuja matriz geradora
1 0 0 0 1 1

G = 0 1 0 1 0 1 .

0 0 1 1 1 0
A matriz de checagem de C
0 1 1 1 0 0

H = 1 0 1 0 1 0.

1 1 0 0 0 1
(veja a terefa 4 desta aula. Note que, em 2 , -1 = 1 ).
Suponhamos que tenhamos recebido a seguinte palavra, aps a transmisso:
y = 110010 . Como y C , devemos procurar a palavra do cdigo mais prxima de
y . No presente exemplo, isso pode ser feito por verificao direta, pois o cdigo
tem poucas palavras. Na prtica, contudo, isso invivel, pois, em geral, um cdigo
tem um nmero muito grande de palavras. Vamos, por isso, buscar o elemento
xi C mais prximo de y , usando o algoritmo exposto acima.
1. Calculando a sndrome de y , obtemos:
AULA 8 TPICO 2 147

0 1 1

1 0 1

1 1 0
y H t = (11 0 01 0) = (1 0 0).
1 0 0

0 1 0
0
0 1
2. Seja e = e1e2 e3 e4 e5e6 26 tal que e H t = y H t = (1 0 0) . Temos:

e2 + e3 + e4 = 1

e1 + e3 + e5 = 0

e1
+ e2 + e6 = 0
Como w (e ) deve ser mnimo, escolhemos
as coordenadas de e de modo que aparea
o maior nmero possvel de zeros. Isso
ocorre quando e1 = e2 = e3 = e5 = e6 = 0
ateno !
e e4 = 1 . Logo e = 000100 e
O cdigo do exemplo acima capaz de corrigir x = y - e = 110010 - 000100 = 110110 C .
1 erro. Caso a interferncia na transmisso Conclumos, ento, que a palavra y foi enviada
provoque mais de um erro, o cdigo pode falhar,
como x = 110110 C e sofreu interferncia,
no recuperando corretamente a palavra enviada.
que alterou um de seus bits. O cdigo C foi,
portanto, capaz de recuperar a palavra enviada
x a partir da palavra y recebida (com 1 erro).
Conclumos aqui o nosso ltimo tpico. Nele vimos, de modo resumido, como
possvel a construo de um cdigo corretor de erros. Fizemos uso de tcnicas
desenvolvidas em aulas anteriores para conceber um mtodo de transmisso de
dados que minimiza a perda de informaes.
Existem muitas outras aplicaes da lgebra Abstrata a outras partes da
Matemtica e mesmo a outras reas do conhecimento. Citemos, brevemente e
apenas a ttulo de informao, algumas dessas aplicaes: na Mecnica Quntica,
as partculas elementares podem ser estudadas usando-se a teoria da representao
(linear) de grupos, com a qual verificamos os homomorfismos de um grupo abstrato
em um grupo formado por matrizes.

at iv ida d e d e a p r of u da m e nto
1. Sejam m e n nmeros inteiros maiores ou iguais a 2 , tais que mdc (m, n) = 1 . Mostre que, se um
ngulo q puder ser dividido em m partes iguais e tambm em n partes iguais, com rgua e compasso,
ento q pode ser dividido em m n partes iguais com rgua e compasso.
p 1
2. Use o fato de que no pode ser trissectado para mostrar que 4x 3 - 3x + irredutvel em [ x ] .
3 2
3. Considere o cdigo C linear [7,4] sobre 2 que tem matriz de checagem dada por
0 0 0 1 1 1 1

0 1 1 0 0 1 1.

1 0 1 0 1 0 1
Este cdigo chamado cdigo [7,4] de Hamming.
(a) Determine o peso de C .
(b) Encontre uma matriz geradora de C .
(c) Calcule os vetores lderes das classes de equivalncia de C .
(d) Escreva alguns vetores de 27 e decodifique-os.
4. Dados x, y qn , com x = x1 xn e y = y1 yn , o elemento

n
, y = xi yi q
i =1
chamado produto interno em qn .

(a) Exiba um exemplo de vetor x 25 , com x 0 e , x = 0 .
(b) Se C qn um cdigo linear, mostre que o conjunto
C ^ = { y qn |, y = 0 paratodox C}
um cdigo linear, chamado cdigo dual de C .
(c) Mostre que a matriz geradora de C ^ igual matriz de checagem de C .
5. Seja C um cdigo binrio com matriz geradora

1 0 0 0 1 0 1

0 1 0 0 1 0 1
.
0 0 1 0 0 1 1

0 0 0 1 0 1 1
AULA 8 TPICO 2 149

Decodifique as seguintes palavras recebidas:
(a) 1101011 .
(b) 0110111 .
(c) 0111000 .

REFERNCIAS
ARTIN, E. Algebra with Galois Theory. American Mathematical Society, Providence, Rhode
Island, 2007.
BHATTACHARYA, P.B.; JAIN, S.K.; NAGPAUL, S.R. Basic abstract Algebra. Cambridge:
Cambridge University Press, 1999.
ENDLER, O. Teoria dos Corpos. Monografias de Matemtica, 44. Rio de Janeiro: IMPA,
1987.
GARCIA, Arnaldo; LEQUAIN, Yves. Elementos de lgebra. 5. ed. Rio de Janeiro: Projeto
Euclides, IMPA, 2008.
GONALVES, Adilson. Introduo lgebra. Rio de janeiro: Projeto Euclides, IMPA, 1995.
HEFEZ, A.; VILELA. M.L.T. Cdigos corretores de erros. Rio de Janeiro: IMPA, 2008.
REFERNCIAS 151

CURRCULO
Angelo Papa Neto
Angelo Papa Neto nasceu em Fortaleza, onde fez seus estudos bsicos e sua graduao.
licenciado em Matemtica pela Universidade Federal do Cear (UFC), onde tambm fez
seu mestrado. Concluiu o doutorado em Matemtica em 2007 na Universidade Estadual de
Campinas (UNICAMP). Sua rea de pesquisa a lgebra Comutativa, rea em que nutre
especial interesse pela Teoria de Valorizaes, pela Teoria das Formas Quadrticas e pela
lgebra Real. professor efetivo do IFCE desde 1997. Casado desde 2000, pai de dois
filhos. Na msica, um grande admirador de J. S. Bach, L. Beethoven e Dimitri Shostakovich;
no cinema, de F. W. Murnau, Fritz Lang e A. Hitchcock; na literatura, de F. Kafka, A. Tchekov
e Guimares Rosa; na gastronomia, de sua esposa Sueli.
152 Estruturas Algbricas CURRCULO

Estalgebrica Livro

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Estalgebrica Livro

Caricato da

Copyright:

Formati disponibili

MINISTRIO DA EDUCAO

Universidade Aberta do Brasil

ngelo Papa Neto

EstAlgebrica.indd 1 06/05/2016 10:09:50

EstAlgebrica.indd 2 06/05/2016 10:09:50

P229e Neto, ngelo Papa.

1. MATEMTICA. 2. ESTRUTURAS ALGBRICAS. 3. LGEBRA

EstAlgebrica.indd 3 06/05/2016 10:09:50

AULA 2 Subgrupos normais e homomorfismos 23

AULA 3 Anis, subanis e ideais 33

AULA 4 Homomorfismo de anis 50

EstAlgebrica.indd 4 06/05/2016 10:09:50

AULA 7 Introduo teoria dos corpos 114

AULA 8 Aplicaes 130

EstAlgebrica.indd 5 06/05/2016 10:09:50

Ao contrrio da Aritmtica e da Geometria, que so reas da Matemtica que se caracterizam

ngelo Papa Neto

EstAlgebrica.indd 6 06/05/2016 10:09:50

Conhecer a estrutura algbrica grupo e obter suas propriedades bsicas

EstAlgebrica.indd 7 06/05/2016 10:09:50

N esse primeiro tpico, vamos apresentar a definio de grupo,

EstAlgebrica.indd 8 06/05/2016 10:09:51

O exemplo 4 especialmente importante, tanto que reservamos ao grupo

Caso particular 1: se X ={1,, n} , ento S ( X ) denotado por Sn e chamado

EstAlgebrica.indd 9 06/05/2016 10:09:52

Note que t 2 = I . Devemos observar ainda que

onde escrevemos, por simplicidade, st em vez de s t , e o produto das

o que mostra que Sn no abeliano.

com a mesma operao de S4 . Pelo mesmo motivo, t ={I , t } tambm um grupo.

Caso particular 2: seja Tringulo escaleno Tringulo issceles Tringulo equiltero

(ou, mais geralmente, um espao vetorial

EstAlgebrica.indd 10 06/05/2016 10:09:52

A principal caracterstica de um grupo sua capacidade de medir o

Exemplo: Considere trs tringulos, um escaleno, um issceles e um

Tringulo escaleno Tringulo issceles Tringulo equiltero

EstAlgebrica.indd 11 06/05/2016 10:09:53

EstAlgebrica.indd 12 06/05/2016 10:09:53

EstAlgebrica.indd 13 06/05/2016 10:09:53

tpico 2 da aula 2 da disciplina de lgebra Linear

Lema 1 Um subconjunto S de um grupo G um subgrupo se e somente se valem

EstAlgebrica.indd 14 06/05/2016 10:09:54

Reciprocamente, se S , ento a condio 1 nos diz que existe a S .

Notao: se S subgrupo de G , denotamos S G .

A interseo de subgrupos um subgrupo. Essa afirmao tem verificao

EstAlgebrica.indd 15 06/05/2016 10:09:54

Lema 2: Se Y ={ y1 ,, yn } subconjunto de um grupo abeliano G , ento

Um subgrupo S G chamado cclico se S = y , isto , se S

EstAlgebrica.indd 16 06/05/2016 10:09:55

Dado um grupo finito G e fixado um subgrupo S G , dizemos que dois

Isso significa que uma relao de equivalncia. Como S subgrupo,

EstAlgebrica.indd 17 06/05/2016 10:09:56

EstAlgebrica.indd 18 06/05/2016 10:09:56

Em particular, se S G finito, ento GS tambm finito e ambos tm o

Chegamos ao nosso teorema importante:

Teorema 4 (Lagrange): Se G um subgrupo finito, ento a ordem de um subgrupo

EstAlgebrica.indd 19 06/05/2016 10:09:57

EstAlgebrica.indd 20 06/05/2016 10:09:57

4. Um grupo de ordem 8 pode conter um subgrupo de ordem 6 ? Por qu?

6. Seja G ={x R |0 x <1} . Para x, y G , defina

9. Demonstre (por induo sobre n ) que, se G um grupo,

11. Se D8 ={1, a, a 2 , a 3 , b, ab, a 2 b, a 3 b} o grupo diedral de ordem , isto , o grupo de simetrias de

EstAlgebrica.indd 21 06/05/2016 10:09:58

EstAlgebrica.indd 22 06/05/2016 10:09:58