Álgebra I PDF

lgebra I
Oscar Ricardo Janesch

Inder Jeet Taneja
2 Edio Revisada
Florianpolis, 2011
Governo Federal
Presidente da Repblica: Dilma Rousseff
Ministro de Educao: Fernando Haddad
Coordenador Nacional da Universidade Aberta do Brasil: Celso Costa
Universidade Federal de Santa Catarina

Reitor: Alvaro Toubes Prata
Vice-Reitor: Carlos Alberto Justo da Silva
Secretrio de Educao a Distncia: Ccero Barbosa
Pr-Reitora de Ensino de Graduao: Yara Maria Rauh Mller
Pr-Reitora de Pesquisa e Extenso: Dbora Peres Menezes
Pr-Reitor de Ps-Graduao: Maria Lcia de Barros Camargo
Pr-Reitor de Desenvolvimento Humano e Social: Luiz Henrique Vieira Silva
Pr-Reitor de Infra-Estrutura: Joo Batista Furtuoso
Pr-Reitor de Assuntos Estudantis: Cludio Jos Amante
Centro de Cincias da Educao: Wilson Schmidt
Centro de Cincias Fsicas e Matemticas: Tarciso Antnio Grandi
Centro de Filosofia e Cincias Humanas: Roselane Neckel
Curso de Licenciatura em Matemtica na

Modalidade Distncia
Coordenao de Curso: Neri Terezinha Both Carvalho
Coordenao de Tutoria: Jane Crippa
Coordenao Pedaggica/CED: Roseli Zen Cerny
Coordenao de Ambientes Virtuais/CFM: Nereu Estanislau Burin
Comisso Editorial
Antnio Carlos Gardel Leito
Albertina Zatelli
Elisa Zunko Toma
Igor Mozolevski
Luiz Augusto Saeger
Roberto Corra da Silva
Ruy Coimbra Charo
Laboratrio de Novas Tecnologias - LANTEC/CED
Coordenao Pedaggica
Coordenao Geral: Andrea Lapa, Roseli Zen Cerny
Ncleo de Formao: Nilza Godoy Gomes
Ncleo de Pesquisa e Avaliao: Claudia Regina Flores
Ncleo de Criao e Desenvolvimento de Materiais

Design Grfico
Coordenao: Laura Martins Rodrigues, Thiago Rocha Oliveira
Projeto Grfico Original: Diogo Henrique Ropelato, Marta Cristina Goulart
Braga, Natal Anacleto Chicca Junior
Redesenho do Projeto Grfico: Laura Martins Rodrigues,
Thiago Rocha Oliveira
Diagramao: Laura Martins Rodrigues
Ilustraes: Kallani Bonelli
Capa: Rafael Naravan Kienen
Design Instrucional
Coordenao: Elizandro Maurcio Brick
Design Instrucional: Maria Carolina Machado Magnus
Reviso Gramatical: Daniela Piantola, Evillyn Kjellin, Hellen Melo Pereira
Copyright 2011, Universidade Federal de Santa Catarina/CFM/CED/UFSC

Nenhuma parte deste material poder ser reproduzida, transmitida e gravada, por qualquer
meio eletrnico, por fotocpia e outros, sem a prvia autorizao, por escrito, da Coordenao
Acadmica do Curso de Licenciatura em Matemtica na Modalidade Distncia.
Ficha Catalogrfica
J35a Janesch, Oscar Ricardo
lgebra I / Oscar Ricardo Janesch , Inder Jeet Taneja. 2. ed. rev.
Florianpolis : UFSC/EAD/CED/CFM, 2011.
215 p. : il. ; grafs. , tabs.
Inclui bibliografia
UFSC. Licenciatura em Matemtica na Modalidade a Distncia
ISBN xxx
1. lgebra. I. Taneja, Inder Jeet. II. Ttulo.

CDU 519.6
Elaborada pela Bibliotecria Eleonora M. F. Vieira CRB 14/786

Sumrio
Apresentao.............................................................................. 7
Introduo................................................................................... 9
1. Anis, Domnios e Corpos................................................. 13

1.1 Introduo.................................................................................... 15
1.2 Anel, domnio e corpo................................................................ 18
1.3 Propriedades dos anis............................................................... 25
Resumo............................................................................................... 32
2. Alguns Anis Especiais..................................................... 33

2.1 Anis de funes......................................................................... 35
2.2 Anis de matrizes....................................................................... 38
2.3 Anis n. ...................................................................................... 43
2.4 Anel produto direto.................................................................... 55
Resumo............................................................................................... 60
3. Subanis, Elementos Notveis e Divisibilidade............ 61

3.1 Subanis, subdomnios e subcorpos......................................... 63
3.2 Elementos notveis de um anel................................................. 73
3.3 Divisibilidade, elementos primos
e elementos irredutveis............................................................. 82
Resumo............................................................................................... 94
4. Ideais e Anis Quociente................................................... 95

4.1 Ideais............................................................................................. 97
4.2 Aritmtica de ideais...................................................................107
4.3 Ideais primos e ideais maximais..............................................113
4.4 Anel quociente........................................................................... 120
Resumo............................................................................................. 134
5. Homomorfismos e Isomorfismos.................................... 135

5.1 Homomorfismo de anis...........................................................137
5.2 Propriedades dos homomorfismos..........................................145
5.3 Isomorfismos de anis.............................................................. 153
Resumo..............................................................................................168
6. O Corpo dos Nmeros Complexos................................. 169
6.1 O corpo ................................................................................... 171
6.2 Conjugado e norma................................................................... 180
6.3 Forma trigonomtrica e potncias.......................................... 188
6.4 Raiz n-sima complexa............................................................. 195
6.5 Alguns subdomnios de ....................................................... 208
Resumo..............................................................................................214
Apresentao
Este material foi elaborado para o curso de ensino distncia de
lgebra I. Os objetivos principais desta disciplina so o estudo de
estruturas algbricas e das propriedades dos elementos de cada
estrutura algbrica.
O contedo est dividido em seis captulos. Cada captulo est

dividido em sees, de acordo com os assuntos abordados, e ter-
mina com um resumo.
Os captulos 1, 2 e 3 so menos extensos, e os exerccios referentes

a cada um destes captulos aparecem no final do respectivo cap-
tulo. Os captulo 4, 5 e 6 tm mais contedo e por isso os exerc-
cios destes captulos so colocados no final de cada seo.
Os exerccios integram ao texto. indispensvel resolv-los. As

dvidas que surgirem podem ser sanadas com os colegas de cur-
so, com os tutores ou com o professor da disciplina.
O programa da disciplina foi desenvolvido de forma que inicias-

se com os conceitos bsicos e exigisse o mnimo de pr-requisitos.
Todas as sees, com exceo da primeira, utilizam conceitos e re-
sultados das sees anteriores. Desta forma, nenhuma parte deste
material pode ser deixada de lado sem a possibilidade de prejuzo
de aprendizado.
Todo o material deste livro de responsabilidade do Professor

Oscar Ricardo Janesch.
Oscar Ricardo Janesch

9
Introduo
Atualmente, quando estudamos conjuntos numricos, temos in-
teresse em conhecer propriedades das operaes e relaes nestes
conjuntos. Esta maneira de tratar com conjuntos numricos teve
incio com os trabalhos de Pitgoras de Samos, que viveu no s-
culo VI a.C..
Pitgoras tinha conhecimento que os egpcios e babilnios faziam

clculos usando regras que eram passadas de gerao a gerao.
Analisando tais regras, ele passou a considerar os nmeros como
elementos abstratos (que no eram necessariamente associados a
problemas prticos que envolvessem medidas ou quantidades), e
deduziu propriedades das operaes entre estes elementos.
Para ter certeza dos resultados obtidos, Pitgoras aperfeioou a

prova cientfica ou prova matemtica, que tambm chamamos
simplesmente de demonstrao. A demonstrao matemtica ini-
cia com uma verdade aceita e atravs de argumentao lgica
chega a uma concluso inegvel. Esta a ferramenta fundamental
para o estudo da matemtica.
Os conhecimentos sobre vrias reas da matemtica so forma-

lizados atravs do mtodo axiomtico, que consiste de conceitos
primitivos e axiomas. Os conceitos primitivos so termos aceitos
sem explicao formal, e os axiomas so proposies, envolvendo
os conceitos primitivos, tomadas como verdadeiras por estarem
baseadas na intuio elementar. A partir dos axiomas provam-
se novas proposies, e a partir dos axiomas e das novas propo-
sies provam-se outras proposies, e assim sucessivamente se
constri a teoria sobre determinado assunto.
A geometria foi o primeiro ramo da matemtica que teve sua teo-

ria construda de forma axiomtica. Isto se deve aos trabalhos de
Euclides (sculo III a.C.) publicados na obra Elementos.
A axiomatizao da lgebra ocorreu bem mais tarde. A primeira

tentativa foi feita pelo ingls Benjamin Peacok (1791-1858) em 1830,
mas no se mostrou consistente. Nesta poca poucos matemticos
10
se dedicavam tentativa de axiomatizar operaes em conjuntos de

forma geral, pois o objetivo principal era obter a axiomatizao dos
conjuntos numricos , , , e .
O conjunto dos nmeros complexos foi o primeiro a ter sua cons-

truo descrita pelo mtodo axiomtico. Isso ocorreu em 1833, com
trabalhos de Willian R. Hamilton (1805-1865). O ltimo foi o conjun-
to dos nmeros naturais em 1899, graas aos estudos de Giuseppe
Peano.
Conjuntos com operaes que satisfazem axiomas determinados

previamente so chamados de estruturas algbricas. O conceito da
estrutura algbrica chamada anel, fundamental para a axiomatiza-
o da lgebra, surgiu como conseqncia da sistematizao dos
conjuntos numricos. A definio formal de anel foi elaborada em
1914 pelo alemo A. Fraenkel (1891-1965).
A estrutura algbrica chamada anel o assunto do curso de lgebra

I. Veremos que um anel um conjunto no vazio onde esto de-
finidas operaes que satisfazem propriedades bem determinadas.
Por exemplo, o conjunto dos nmeros inteiros , com as operaes
usuais de adio e multiplicao, um anel.
A definio de anel surge da necessidade de saber em quais conjun-

tos temos boas propriedades aritmticas que permitem fazer contas.
De outra forma, o conceito de anel est relacionado com as seguintes
perguntas: Qual o conjunto mnimo de propriedades da adio e da
multiplicao em , a partir do qual possvel demonstrar as de-
mais propriedades de ? Quais propriedades as operaes de um
conjunto A devem satisfazer para que possamos fazer contas em A
de forma semelhante a que fazemos em ?
As respostas para as perguntas acima levaram aos seis axiomas de

anel. Isto , um conjunto mnimo de propriedades que as operaes
de adio e de multiplicao em (e de qualquer outro conjunto
com duas operaes) devem satisfazer para que possamos deduzir
outras propriedades.
Seja A um conjunto onde esto definidas duas operaes que satisfa-

zem os seis axiomas de anel. Chamaremos A de anel. Suponha que
11
a partir dos seis axiomas de anel consigamos provar outras quinze

propriedades operacionais. Como usamos apenas os seis axiomas
de anel para deduzir estas quinze novas propriedades, elas valem
no apenas para A , mas para todo conjunto com duas operaes
que satisfaam os seis axiomas de anel.
Note que isso leva a uma mudana de enfoque. Deixamos de estu-

dar um conjunto baseados na natureza de seus elementos, e pas-
samos a estud-lo com base nas propriedades de suas operaes.
Veremos que este procedimento til para obter informaes sobre
vrios conjuntos.
Existem vrias outras estruturas algbricas, mas neste curso trata-

remos apenas com estruturas algbricas que so anis, ou que so
anis e satisfazem novos axiomas. Especificamente estudaremos as
estruturas algbricas chamadas anis comutativos, anis com uni-
dade, anis comutativos com unidade, domnios e corpos.
No Captulo I definiremos formalmente as estruturas algbricas ci-

tadas acima, veremos alguns exemplos e provaremos propriedades
aritmticas comuns aos anis. O Captulo seguinte trata de anis
especficos. A saber, os anis de funes, os anis de matrizes, os
anis n e os anis produto direto. No Captulo III estudaremos
subanis como uma ferramenta para produzir novos anis, e tra-
taremos de elementos especiais em anis. O Captulo IV aborda os
ideais como a famlia de subanis para a qual possvel construir
um anel quociente. As funes que relacionam anis, chamadas de
homomorfismos de anis, sero tratadas no Captulo V. O ltimo
Captulo traz um estudo do corpo dos nmeros complexos, e de
alguns subanis de .
Captulo 1
Anis, Domnios e Corpos
Captulo 1
Anis, Domnios e Corpos
Neste captulo definiremos formalmente as estruturas

algbricas chamadas anel, anel comutativo, anel com
unidade, anel comutativo com unidade, domnio e cor-
po. Apresentaremos alguns exemplos e provaremos pro-
priedades aritmticas dos anis.
1.1 Introduo
Iniciaremos com conceitos e resultados conhecidos sobre o con-
junto dos nmeros inteiros . O objetivo apresentar como
um exemplo que motive a definio formal de anel.
As operaes usuais de adio e multiplicao de nmeros in-

teiros so indicadas respectivamente por
+ : e :
( a , b) a + b ( a , b) a b .
Essa notao usada para deixar claro que a adio e a multi-

plicao so funes de em . Assim, a operao de adi-
o associa a cada par ( a, b) um nico elemento a + b .
Analogamente, a operao de multiplicao associa a cada par
( a, b) um nico elemento a b .
claro que existem outras operaes em . Vejamos dois

exemplos:
:
( a , b) a b .
:
( a, b) a b = 2a + 5b .
16
Para indicar que consideramos no conjunto as operaes

usuais de adio ( + ) e multiplicao ( ) , escrevemos ( , +, ) .
Nosso interesse por propriedades das operaes de ( , +, ) .

Existem muitas, mas vamos destacar seis delas, que chamaremos
de axiomas de anel:
(i) Comutatividade da adio:

a + b = b + a, a, b .
(ii) Associatividade da adio:

(a + b) + c = a + (b + c), a, b, c .
(iii) Existncia de elemento neutro para a adio:

0 + a = a + 0 = a, a .
(iv) Existncia de elemento simtrico em relao adio:

Dado a , existe ( a ) tal que a + ( a ) = ( a ) + a = 0 .
(v) Associatividade da multiplicao:

(a b) c = a (b c), a, b, c .
(vi) Distributividade da multiplicao em relao adio:

a (b + c) = a b + a c, a, b, c ;
(a + b) c = a c + b c, a, b, c .
Pelo fato de ( , +, ) satisfazer os axiomas acima, dizemos que

( , +, ) um anel.
evidente que existem outros conjuntos munidos de duas ope-

raes que satisfazem os axiomas de anel. Por exemplo, (, +, ) ,
( , +, ) e (, +, ) com operaes usuais. Veremos neste captu-
lo que existem muitos outros. Na verdade existem infinitos con-
juntos munidos de duas operaes que satisfazem os axiomas de
anel. Em analogia ao que fizemos com ( , +, ) , cada um desses
conjuntos com suas operaes ser chamado de anel.
claro que ( , +, ) tambm satisfaz outros axiomas, mas no

momento estamos interessados apenas nos axiomas (i)-(vi) citados
acima. A importncia desses seis axiomas est no fato de forma-
rem o menor conjunto de axiomas, a partir dos quais possvel
provar as propriedades operacionais bsicas de ( , +, ) .
17
Para ilustrar de que maneira os axiomas de anel podem ser

usados para provar propriedades operacionais de ( , +, ) , va-
mos provar um fato bem conhecido:
a 0 = 0, a .
Pelo axioma (iii): 0 = 0 + 0.
Multiplicando por a: a 0 = a (0 + 0) .
Pelo axioma (vi): a 0 = a 0 + a 0.
Pelo axioma (iv), existe um

simtrico x = (a.0) para a 0 .
Somando x em ambos os
lados da igualdade acima: a 0 + x = ( a 0 + a 0) + x .
Pelo axioma (ii): a 0 + x = a 0 + (a 0 + x ) .
Como x simtrico de a 0 : 0 = a 0 + 0.
Pelo axioma (iii): 0 = a 0.
Note que na demonstrao acima no foi relevante o fato de

trabalharmos com nmeros inteiros, mas sim o fato de valerem
os axiomas de anel. Isso leva concluso seguinte:
Qualquer conjunto no vazio A, com duas operaes que

satisfazem os axiomas de anel, tem a propriedade a 0 = 0,
para todo a A.
De forma mais geral:
Toda propriedade provada a partir dos axiomas de anel vale

para qualquer conjunto que satisfaz os axiomas de anel.
Isso leva a uma mudana de enfoque. A saber, estudar um con-

junto no pela natureza de seus elementos, mas sim pelas pro-
priedades de suas operaes. Esse novo enfoque comeou a ser
18
usado na primeira metade do sculo passado, e alguns autores

o chamam de lgebra Moderna. Neste contexto a nfase est
na estrutura algbrica do conjunto, isto , nos axiomas satisfeitos
pelas operaes do conjunto.
A vantagem da abordagem acima est no fato de obtermos pro-

priedade para muitos conjuntos de uma s vez. Claro que estes
conjuntos devem ter operaes que satisfaam axiomas previa-
mente estabelecidos. Em nosso caso, queremos conhecer proprie-
dades obtidas atravs dos axiomas de anel e conhecer conjuntos
que satisfaam estes axiomas. Iniciaremos este trabalho na prxi-
ma seo.
1.2 Anel, domnio e corpo

Definio 1.2.1. Um anel um conjunto A no qual esto definidas
duas operaes, + e , satisfazendo os seguintes axiomas:
(i) a + b = b + a, a, b A .
(ii) (a + b) + c = a + (b + c), a, b, c A .
(iii) Existe 0 A A tal que a + 0 A = a = 0 A + a, a A .
(iv) Dado a A , existe ( a ) A tal que a + ( a ) = ( a ) + a = 0 A .
(v) a (b c) = (a b) c, a, b, c A
(vi) a (b + c) = a b + a c a, b, c A .
( a + b ) c = a c + b c, a, b, c A .
Observao 1.2.1. Os smbolos + e indicam operaes em A, isto ,
+ : A A A e : A A A
( a , b) a + b ( a , b) a b ,
so funes de A A em A .
Observao 1.2.2. A escolha dos smbolos + e para indicar as

operaes do anel A apenas uma notao. Poderamos, por
exemplo, representar as operaes do anel A por e .
19
Observao 1.2.3. Por indicar que o conjunto A anel, em relao

s operaes e , escrevemos ( A, , ) . A primeira operao ,
na notao ( A, , ) , chamada de adio. A segunda operao
chamada de multiplicao. Quando no houver possibilida-
de de confuso sobre as operaes consideradas, podemos nos
referir simplesmente ao anel A , sem mencionar as operaes.
Observao 1.2.4. O elemento 0 A do axioma (iii) chamado de

elemento neutro ou zero da adio do anel A . Quando apenas o
anel A for considerado denota-se 0 A simplesmente por 0 .
Observao 1.2.5. O elemento a A , visto no axioma (iv),

chamado de simtrico de a . Note que o axioma (iv) garante que
todo elemento de A tem simtrico em A . Assim, se a, b A en-
to a, b A e podemos efetuar a operao a + (b) . Para facili-
tar a escrita, usamos a notao a b para indicar a + (b) , isto ,
a + (b) = a b . Chamamos de operao subtrao em A a opera-
o que a cada (a, b) A A associa o elemento a b A .
Observao 1.2.6. Ao efetuarmos a multiplicao dos elementos

a e b do anel ( A, + , ) , comum omitir o smbolo que indica a
operao. Isto , a b = ab .
Observao 1.2.7. Os axiomas (i)-(vi) so chamados de axiomas

de anel.
Antes de apresentar exemplos de anel, veremos que anis

cujas operaes satisfazem novos axiomas tm denominao
especial. Lembre que quando dizemos que A um anel, fica
subentendida a existncia de duas operaes que satisfazem os
axiomas de anel.
Definio 1.2.2. O anel A comutativo quando:

(vii) ab = ba, a, b A .
Definio 1.2.3. O anel A unitrio ou com unidade quando:

(viii) Existe 1A A tal que 1A a = a 1A = a, a A .
Observao 1.2.8. O elemento 1A da definio acima chamado

de unidade do anel A . Quando no houver possibilidade de con-
20
fuso sobre o anel considerado, escrevemos apenas 1 para indicar

a unidade do anel A .
Observao 1.2.9. Um elemento a do anel A chamado divi-

sor de zero quando a 0 e existe b A , b 0 , tal que a b = 0 ou
ba = 0.
Definio 1.2.4. Dizemos que o anel A um anel sem divisores de

zero quando:
(ix) a, b A e ab = 0 a = 0 ou b = 0 .
Definio 1.2.5. Um domnio de integridade um anel unitrio,

comutativo e sem divisores de zero.
Observao 1.2.10. Um domnio de integridade tambm cha-

mado de anel de integridade ou simplesmente domnio.
Definio 1.2.6. Um corpo um anel unitrio e comutativo K que

satisfaz:
(x) a K e a 0 x K ; a x = 1 .
Observao 1.2.11. O elemento x da definio acima chamado

de inverso do elemento a K , e denotado por a 1 . Assim, um
corpo um anel unitrio e comutativo no qual todo elemento
diferente de zero tem inverso.
Observao 1.2.12. A estrutura algbrica de um conjunto com

operaes a denominao dada ao conjunto em funo dos axio-
mas satisfeitos pelas operaes. Nosso interesse pelas estruturas
algbricas de anel (anel comutativo e anel com unidade), domnio
e corpo.
Segue das definies acima que:
Todo domnio anel;
Todo corpo um anel.
Veremos agora que todo corpo um domnio. Por isso, usa-

remos o lema abaixo, cuja demonstrao cpia do que fizemos
para verificar que a 0 = 0, a .
21
Lema 1.2.1. Se A um anel, ento a 0 = 0 a = 0 , para todo a A .
Demonstrao. Seja a A . Verificaremos que a 0 = 0 . A igual-

dade 0 a = 0 se prova de forma anloga. Pelo axioma (iii) temos:
0 = 0 + 0 (Multiplique por a esquerda)

(Use o axioma (vi))
(Some o simtrico x de a.0 , que
a.0 = a.0 + a.0 existe pelo axioma (iv))
a.0 + x = (a.0 + a.0) + x (Use o axioma (ii))

( a.0 + x = 0 )
0 = a.0 + 0 ( a.0 + 0 = a.0 )
0 = a 0.

Proposio 1.2.1. Se K corpo, ento K domnio.
Demonstrao. Como K corpo, temos que K anel unitrio e

comutativo que satisfaz o axioma (x). Assim, para provar que K
domnio s faltar verificar que K no tem divisores de zero, isto ,
verificar o axioma (ix).
Sejam a, b K tais que ab = 0 .
Se a = 0 a demonstrao acabou.
Se a 0 , usamos o axioma (x), pois K corpo, para obter a 1 K

tal que a 1 a = 1 .
Agora,
ab = 0 (multiplique por a 1 esquerda)
a 1 ( ab) = a 1 0 (use o Lema 1.2.1)
a 1 ( ab) = 0 (use o axioma (v))
( a 1a )b = 0
1 b = 0
b=0.
22
Portanto, quando ab = 0 devemos ter a = 0 ou b = 0 . Isso asse-

gura que K um domnio.

Passemos aos exemplos de anis. Note que o Exemplo 1.2.1

abaixo mostra que no vale a recproca da Proposio 1.2.1, isto ,
existe domnio que no corpo.
Exemplo 1.2.1. Com as operaes usuais, ( , + , ) domnio que

no corpo.
claro que ( , + , ) domnio cujo elemento neutro o nmero
0 , o simtrico de a a , e a unidade o nmero 1. No
entanto ( , + , ) no corpo, pois 2 e no existe x tal que
2 x =1.
Exemplo 1.2.2. No conjunto defina as operaes:
a b = a + b
a b = 0 .
Como a operao a adio usual, os axiomas (i), (ii), (iii) e (iv)

so verificados. Vejamos que valem os axiomas (v) e (vi). Tome
a, b, c .
a ( b c ) = 0 = ( a b) c ,
a ( b c ) = 0 = 0 + 0 = ( a b) + ( a c ) = ( a b) ( a c ) ,
( a b) c = 0 = 0 + 0 = ( a c ) + ( b c ) = ( a c ) ( b c ) .
Segue que ( , , ) anel. Obviamente comutativo, pois

a b = 0 = b a, a, b . No entanto, ( , , ) no tem unidade.
De fato, suponha que x unidade, ento, teremos 2 = x 2 = 0 ,
que uma contradio. Conclumos que, ( , , ) anel comuta-
tivo sem unidade, e portanto no domnio. Observe ainda que
( , , ) anel com divisores de zero, pois 2 0 , 3 0 e 2 3 = 0 .
Os exemplos acima mostram que a estrutura algbrica de um

conjunto depende das operaes consideradas. Vimos que com as
operaes usuais um domnio, mas no domnio com as
operaes a b = a + b e a b = 0 . O prximo exemplo mostra que
pode sequer ser anel, dependendo da escolha das operaes.
23
a b = a b
a b = a b .
Afirmamos que ( , , ) no anel. Basta observar que no vale

o axioma (i), pois 1 0 = 1 0 = 1 e 0 1 = 0 1 = 1 .
Exemplo 1.2.4. Com as operaes usuais (, + , ) um corpo.

No h dificuldade para verificar que (, + , ) anel comutativo
e com unidade 1 .
p q
Alm disso, dado a = , p, q , a 0 , vem que p 0 e .
q p
q p q
Ento a 1 = , pois = 1 .
p q p
a b = a + b
a b = 0 .
De forma anloga ao Exemplo 1.2.2 vemos que (, , ) anel

comutativo sem unidade e com divisores de zero. Logo, (, , )
no corpo e nem domnio.
Exemplo 1.2.6. Com as operaes usuais ( , + , ) um corpo.

claro que ( , + , ) anel comutativo com unidade 1.
1 1
Tambm sabemos que se x , x 0 , ento e x = 1 .
x x
Isso garante que ( , + , ) corpo, pois todo elemento no nulo
tem inverso.
No prximo exemplo apresentamos operaes em um conjun-

to finito A atravs de tabelas. Para isso escrevemos os elementos
do conjunto A em uma coluna (vertical) e tambm em uma linha
(horizontal) separados por traos, como no exemplo abaixo. A ta-
bela preenchida operando, em ordem, o elemento da coluna por
cada elemento da linha. Portanto, dada uma tabela deste tipo, sa-
bemos como operar quaisquer dois elementos do conjunto.
24
Exemplo 1.2.7. Seja A = {e, a} um conjunto com 2 elementos. Defi-

na as operaes + e em A , pelas tabelas abaixo:
+ e a e a
e e a e e e
a a e a e a
Afirmamos que ( A, + , ) corpo onde 0 A = e e 1A = a . Analisan-

do a tabela da operao +, vemos que esta operao comutativa
e associativa, isto , satisfaz os axiomas (i) e (ii). Alm disso 0 A = e ,
pois e + e = e e e + a = a . O simtrico de e e e o simtrico de a
a . At agora vimos que ( A, + , ) satisfaz os axiomas (i), (ii), (iii) e
(iv). Olhando para a tabela da operao , vemos que vale (v). Para
verificar o axioma (vi) precisamos fazer algumas contas:
e( e + e) = ee = e = e + e = ee + ee
e( e + a ) = ea = e = e + e = ee + ea
a ( e + e) = ae = e = e + e = ae + ae
a ( a + e) = aa = a = a + e = aa + ae
a ( a + a ) = ae = e = a + a = aa + aa .
Isso prova a distributividade esquerda. De forma anloga veri-

fica-se a distributividade direita. Portanto, ( A, + , ) anel. A co-
mutatividade da multiplicao bvia. Desde que ae = e e aa = a
temos que 1A = a . Para provar que ( A, + , ) corpo, s falta mos-
trar que todo elemento diferente de 0 A = e tem inverso. Mas o
nico elemento diferente de 0 A = e a , que tem inverso a . Con-
clumos que ( A, + , ) corpo.
Vimos acima que para apresentar um exemplo de anel finito

com 2 elementos, d algum trabalho. Veremos no decorre des-
te curso, que para cada nmero natural n , possvel construir
um anel com n elementos. Claro que iremos desenvolver tcnicas
25
mais refinadas do que simplesmente fazer contas como no Exem-

plo 1.2.7. Imagine quantas combinaes deveramos trabalhar
para verificar a propriedade distributiva em um conjunto com 50
elementos.
No prximo captulo estudaremos famlias especiais de anis,

inclusive uma famlia de anis finitos. Antes, vamos terminar este
captulo provando vrias propriedades comuns aos anis.
1.3 Propriedades dos anis

Proposio 1.3.1. Sejam ( A, + , ) um anel e a, b, c A .
(1) O zero nico.
(2) O simtrico nico.
(3) a 0 = 0 a = 0 .
(4) a + b = a + c b = c .
(5) b = c ab = ac e ba = ca .
(6) ( a ) = a .
(7) ( ab) = ( a )b = a ( b) .
(8) a (b c ) = ab ac .
(9) ( a b)c = ac bc .
(10) ( a + b) = a b .
(11) ( a )( b) = ab .
Demonstrao.
(1) Sabemos que o anel A tem um zero que denotamos por 0 A .

Suponha que exista outro zero em A , que indicaremos por x .
Como 0 A elemento neutro da adio, vale 0 A + x = x .
Como x elemento neutro da adio, vale 0 A + x = 0 A .
Das igualdades acima conclumos que x = 0 A , e portanto 0 A o

nico elemento neutro do anel A .
26
(2) Seja a A . Sabemos que a tem um simtrico a A . Supo-

nha que x A tambm simtrico de a .
x = x + 0 ( 0 elemento neutro para A )
= x + ( a + ( a )) ( a simtrico de a )
= ( x + a ) + ( a ) (axioma (ii))
= 0 + ( a ) (pois x simtrico de a )
= a . ( 0 elemento neutro de a )
Logo x = a e ento a o nico simtrico de a .
(3) J foi provada no Lema 1.2.1.
(4) () Desde que + operao em A , ela associa a cada par

de elementos de A um nico elemento de A . Como b = c te-
mos que os pares ( a, b) e ( a, c ) so os mesmos em A A . Assim
a+b=a+c.
() Por hiptese a + b = a + c . Ento, usando a direo () ,

podemos somar a em ambos os lados obtendo:
a + ( a + b) = a + ( a + c ) ( a + a ) + b = ( a + a ) + c
0+b = 0+c
b = c.
(5) anloga a () da propriedade anterior, trocando + por .

De fato, como b = c os pares ( a, b) e ( a, c ) coincidem em A A ,
e a operao multiplicao associa a cada par de elementos de A
um nico elemento de A . Portanto, ab = ac . Da mesma maneira
verifica-se que ca = ba .
(6) Como a o simtrico de a valem as igualdades

a + ( a ) = ( a ) + a = 0 . Isso mostra que a o simtrico de a .
Desde que o smbolo indica o simtrico temos ( a ) = a .
(7) ( a )b + ab = ( a + a )b (axioma (vi))
= 0b
= 0 . (propriedade (3))
27
Analogamente verifica-se que ab + ( a )b = 0 . Isso mostra que

( a )b simtrico de ab . Pela unidade do simtrico vista na pro-
priedade (2) vem que ( ab) = ( a )b .
A igualdade ( ab) = a ( b) pode ser verificada da mesma forma.
(8) a (b c ) = a (b + ( c ))
= ab + a ( c ) (axioma (vi))
= ab + (ac) (propriedade (7))
= ab ac .
(9) (a b)c = (a + (b))c (axioma(vi))
= ac + (b)c (propriedade (7))
= ac bc
(10) a + b + ( a ) + ( b) = a + ( a ) + b + ( b) (axiomas (i) e (ii))
= 0+0
= 0.
Analogamente, ( a ) + ( b) + a + b = 0 .
Segue que o simtrico de a + b ( a ) + ( b) = a b . Portanto,

( a + b) = a b .
(11) ( a )( b) = ( a ( b)) (propriedade (7))
= ( ab) (propriedade (7))
= ab . (propriedade (6))
Proposio 1.3.2. Seja ( A, + , ) um anel com unidade.
(1) A unidade nica.
(2) Se a A, a 0 e a tem inverso em A , ento o inverso de a

nico.
(3) Se 1 = 0 ento A = {0} .

28
Demonstrao.
(1) idntica que fizemos na Proposio 1.3.1(1) trocando 0 A

por 1 e trocando + por .
(2) Anloga demonstrao da Proposio 1.3.1(2), trocando a

por a 1 , trocando 0 por 1 e trocando + por .
(3) Seja a A . Como A tem unidade 1 temos a = a 1 . Por

hiptese 1 = 0 , ento usando a Proposio 1.3.1(3) vem que
a = a 1 = a 0 = 0 . Logo A = {0} .

Observao 1.3.1. Em geral no temos interesse em estudar o anel

A = {0}. Assim, quando trabalhamos com anel com unidade, fica
subentendido que 1 0 . Pois, se 1 = 0 temos A = {0}, de acordo
com a Proposio 1.3.2(3).
Veremos agora que, em um anel, a inexistncia de divisores de

zero equivalente s leis do cancelamento para a multiplicao.
Assim, em um domnio sempre valem as leis do cancelamento.
Proposio 1.3.3. Se ( A, + , ) um anel, ento so equivalentes:
(a) A anel sem divisores de zero;
ab = ac b = c
(b) a, b, c A, a 0 .
ba = ca b = c
Demonstrao.
(a) (b).
ab = ac ab ac = 0
ab + a ( c ) = 0
a (b c ) = 0 .
Como A no tem divisores de zero e a 0 , vem que b c = 0 , e

da b = c .
O outro item se verifica da mesma maneira.

29
(b) (a). Sejam a, b A tais que ab = 0 . Suponha que a 0 .

Aplicando a hiptese na igualdade ab = 0 = a 0 , vem que b = 0 .
Portanto, a = 0 ou b = 0 , isto , o anel A no tem divisores de
zero.

Definio 1.3.1. Seja ( A, + , ) um anel. Dado a A e n , n 0 ,

definimos:
a1 = a
a n+1 = a n.a , n 1.
Quando A tem unidade tambm definimos a 0 = 1 .
Proposio 1.3.4. Sejam ( A, + , ) um anel, a, b A e m, n {0} .

Ento:
(1) a m a n = a m + n ;
(2) ( a m ) n = a mn ;
(3) ( ab) n = a n bn , quando ab = ba .
Demonstrao. Usaremos o Primeiro Princpio de Induo sobre

n nas trs provas.
(1) Para n = 1 temos a m a1 = a m a = a m +1, pela definio de potncia.

Suponha que vale para n = r 1 , isto , a m a r = a m + r .
Vejamos que vale para n = r + 1 .
a m a r +1 = a m (a r a1 ) = (a m a r )a = a m + r a = a ( m + r ) +1 = a m + ( r +1) .
(2) Para n = 1 temos ( a m )1 = a m = a m1 .

Suponha que vale para n = r 1 , isto , ( a m ) r = a mr . Ento,
( a m ) r +1 = ( a m ) r a m = a mr a m = a mr + m = a m ( r +1) .
Logo, vale para n = r + 1 .
Observe que usamos o item (1) na penltima igualdade acima.
(3) Para n = 1 , temos ( ab)1 = ab = a1b1 .

Suponha que vale para n = r 1 , isto , ( ab) r = a r b r quando
ab = ba . Ento, ( ab) r +1 = ( ab) r ( ab) = a r b r ab = a r ab r b = a r +1b r +1 .
Logo, vale para n = r + 1 .

30
Observao 1.3.3. Quando A anel com unidade a Proposio

1.3.4 vale para quaisquer m, n . De fato, fcil acrescentar o
caso n = 0 nas demonstraes acima:
a m a 0 = a m 1 = a m = a m + 0
(a m )0 = 1 = a 0 = a m 0
(a b)0 = 1 = 1 1 = a 0 b 0 .
Observao 1.3.4. Se A um anel com unidade, a A e existe

a 1 A , ento definimos , u . Nesse caso possvel
m n m+n
verificar que a a = a e , para quaisquer m, n .
Alm disso, se a, b A e ab = ba , ento (ab) n = a nb n , n .
31
Lista de exerccios
1) Verifique se (( A, , )) anel quando:
a) A = , a b = a b e a b = a + b .
b) A = , a b = a b e a b = a + b .
c) A = , a b = a + b 1 e a b = a + b a b .
ab
d) A = , a b = a + b 3 e a b = a + b .
3
2) Para cada item do Exerccio anterior em que (( A, , )) anel,
determine sua melhor estrutura algbrica. Isto , verifique
se A apenas anel, anel comutativo, anel com unidade,
anel comutativo com unidade, domnio ou corpo.
3) Sejam S um conjunto no vazio, ( A, +, )) um anel e f : S A

uma funo bijetora. Para x, y S defina as operaes:
e .
Verifique que ((S , , )) um anel.
4) Seja A um anel que possui um elemento x 0 tal que x 2 = x

e x no divisor de zero em A . Verifique que A tem unida-
de e 1A = x .
5) Seja A um anel tal que a 2 = a , para todo a A . Verifique

que a = a e que A anel comutativo.
6) Seja A = {e, a, b, c} um anel com unidade 1A = a e 0 A = e . Sa-

bendo que a + a = b + b = e e b c = e , construa as tabelas das
operaes do anel A .
32
Resumo
Neste captulo voc viu:
As definies axiomticas das estruturas algbricas chama-

das anel, anel comutativo, anel com unidade, anel comutati-
vo com unidade, domnio e corpo.
Que todo corpo um domnio e que todo domnio um

anel comutativo com unidade.
Que um conjunto pode ser ou no um anel, dependendo das

operaes definidas neste conjunto.
Que operaes diferentes podem definir estruturas algbri-

cas diferentes no mesmo conjunto.
Que em um anel o elemento neutro nico, o simtrico de

cada elemento nico e valem outras nove propriedades
aritmticas.
Que, em um anel com unidade, a unidade nica. Se um

elemento possui inverso, ento o inverso nico.
Que as leis do cancelamento do produto valem em um anel

se, e somente se, este anel no tem divisores de zero.
Propriedades de potncias de elementos de um anel.

Captulo 2
Alguns Anis Especiais
Captulo 2
Alguns Anis Especiais
Neste captulo veremos outros exemplos de anis. Tra-

taremos especificamente com anis de funes, anis de
matrizes, anis n e anis produto cartesiano.
2.1 Anis de funes

Sejam X um conjunto no vazio e A um anel. Denote por A X
o conjunto de todas as funes de X em A , isto ,
A X = { f : X A; f funo}.
Lembre que duas funes so iguais quando tm mesmo do-

mnio, mesmo contra-domnio e mesma imagem para todos os
pontos do domnio. Assim, dados f , g A X temos:
f = g f ( x ) = g ( x ), x X .
Vamos introduzir operaes de adio e multiplicao em A X .

Para f , g A X defina f + g e f g por
( f + g )( x ) = f ( x ) + g ( x ) ,
( f g )( x ) = f ( x ) g ( x ) , x X .
Note que a operao + em f + g a que estamos definindo, e

a operao + em f ( x ) + g ( x ) a adio do anel A . O mesmo vale
para a operao multiplicao.
A cada par de funes f , g A X associamos nicas funes

f + g , f g A X . Dessa maneira + e so operaes em A X .
Proposio 2.1.1. Com a notao acima temos:
(1) ( A X , + , ) anel.
(2) Se ( A, + , ) comutativo, ento ( A X , + , ) comutativo.

36
(3) Se ( A, + , ) tem unidade, ento ( A X , + , ) tem unidade.
Demonstrao.
(1) Devemos mostrar que ( A X , + , ) satisfaz os 6 axiomas de anel.

Verificaremos alguns e os demais ficaro como exerccio. Sejam
f , g , h AX .
Axioma (i): f + g = g + f .
Seja x X . Como f ( x), g ( x) A e a adio comutativa em A ,
temos:
f ( x) + g ( x) = g ( x) + f ( x) .
Ento,
( f + g )( x ) = f ( x ) + g ( x ) = g ( x ) + f ( x ) = ( g + f )( x ) .
Portanto,
f +g=g+ f .
Axioma (iii): Elemento neutro.

Tome l A X dada por l ( x) = 0 , x X . Ento para qualquer
f A X temos:
( f + l )( x ) = f ( x ) + l ( x ) = f ( x ) + 0 = f ( x ) f + l = f .
Pela comutatividade vista acima tambm vale l + f = f . Logo, l

um elemento neutro de A X .
Axioma (iv): Elemento simtrico.

Dada f A X , defina a funo ( f ) : X A por ( f )( x ) = f ( x ) .
Ento temos:
( f + ( f ))( x ) = f ( x ) + ( f )( x ) = f ( x ) f ( x ) = 0 f + ( f ) = l .
Pela comutividade, ( f ) + f = l . Portanto, ( f ) A X o sim-

trico de f A X .
(2) Sejam f , g A X . Como A comutativo por hiptese e

f ( x), g ( x) A, x X , temos:
f ( x ) g ( x ) = g ( x ) f ( x ) , x X .
Ento,
( f g )( x ) = f ( x ) g ( x ) = g ( x ) f ( x ) = ( g f )( x ) fg = gf .
37
(3) Por hiptese A tem unidade 1. Defina : X A por ( x ) = 1 ,

x X . Ento, x Ax e dados f A X e x X temos:
( f )( x ) = f ( x ) ( x ) = f ( x ) 1 = f ( x ) ,
e
( f )( x ) = ( x ) f ( x ) = 1 f ( x ) = f ( x ) .
Segue que f = f = f . Portanto, a unidade de A X .
Na demonstrao acima vimos que se A anel ento AX anel e
O elemento neutro de A X a funo nula,

l : X A, l ( x) = 0.
O simtrico de f A X a funo ( f ) : X A ,
( f )( x ) = f ( x ) .
Se A tem unidade ento a unidade de A X a funo

constante 1, isto , : X A , ( x ) = 1 .
J sabemos que para qualquer conjunto no vazio X e qual-

quer anel A o conjunto A X = { f : X A; f funo} um anel.
Em particular tomando X = A vem que
A A = { f : A A; f funo}
anel. Em outras palavras, para cada anel A , o conjunto das fun-

es de A em A um anel. Isso fornece um procedimento para
obtermos novos anis a partir de anis conhecidos. Por exemplo,
sabemos que ( , + , ) anel e ento = { f : ; f funo}
anel. Alm disso, pela Proposio 2.1.1, anel comutativo
com unidade.
Observao 2.1.1. No verdade, em geral, que anis de funes

A X sejam domnios, mesmo que A seja corpo. De fato, corpo
mas no domnio, pois tomando
f : , f ( x) = x
0, se x 0
g : , g ( x ) =
1, se x = 0 .
38
Temos que f , g , f 0, g 0, porm f .g = 0 . De fato,

f .g (0) = f (0).g (0) = 0.1 = 0,
e para x 0 ,
f .g ( x) = f ( x).g ( x) = x.0 = 0 .
2.2 Anis de matrizes

Sejam ( A, + , ) um anel e n , n 1 . Denote por M n ( A) o
conjunto das matrizes quadradas de ordem n , com entradas em
A , isto ,
a11 a12 a1n

a21 a22 a2 n
M n ( A) = ; aij A .

an1 an 2 ann

Note que quando n = 1 o conjunto M n ( A) pode ser identifica-

do com A . Por isso nosso interesse por n 2 . Para simplificar a
escrita comum denotar a matriz
x11 x12 x1n
x x22 x2 n
X= 21
M n ( A) por X = xij ,

xn1 xn 2 xnn
onde fica subentendido que 1 i, j n .
Lembre que duas matrizes so iguais quando tm entradas

( A)
correspondentes iguais. Assim, para X = xij , Y = yij M n (A)
temos:
X = Y xij = yij , i, j {1, 2,..., n} .
Em M n ( A) vamos definir a adio e a multiplicao de manei-

( A)escrevemos:
ra usual. Dados X = xij , Y = yij M n (A),
X + Y = Z = zij , onde zij = xij + yij (isto , [ xij ] + [ yij ] = [ xij + yi j ] )
e
n
X Y = Z = zij , onde zij = xik ykj .
k =1
39
Proposio 2.2.1. Com as notaes acima temos:
(1) (M n ( A), + , )) anel.
(2) Se ( A, + , ) tem unidade, ento (M n ( A), + , ))tem unidade.
Demonstrao.
(1) Devemos verificar os 6 axiomas de anel. Para isso fixamos as

notaes X = xij , Y = yij , Z = zij M n ( A) .
Axioma (i): X + Y = Y + X .
X + Y = xij + yij = xij + yij = yij + xij = yij + xij = Y + X .
Na terceira igualdade acima usamos a comutatividade da adio

do anel A .
Axioma (ii): X + (Y + Z ) = ( X + Y ) + Z .
= xij + yij + zij
= xij + yij + zij
= (X +Y ) + Z .
Na quarta igualdade acima usamos a associatividade da adio do

anel A .
0 0

Tome EE = [[0]
0] = M n ( A) . claro que para todo
0 0

X M n ( A) temos E + X = X + E = X .
40
Dada X = xij M n ( A) temos que xij A . Como A anel exis-

te o simtrico xij A tal que xij + ( xij ) = ( xij ) + xij = 0 . Tome
X = xij M n ( A) .
Ento X + ( X ) = [ xij ] + [ xij ] = [ xij xij ] = [0] = E .
Pela comutatividade provada no axioma (i) tambm temos

( X ) + X = E .
Portanto, X = [ xij ] o simtrico de X = [ xij ] .
Axioma (v): X (YZ ) = ( XY ) Z
Escrevendo
n
[ yij ] [ zij ] [aij ] , com aij = yit ztj
t =1
n
[ xij ] [aij ] = [bij ] , com bij = xik akj
k =1
n
[ xij ] [ yij ] = [cij ] , com cij = xik ykj
k =1
n
[cij ] [ zij ] = [dij ] , com dij = cit ztj ,
t =1
devemos provar que bij = dij .

n n n
bij = xik akj = xik ykt ztj
k =1 k =1 t =1
n n
= x ik ( ykt ztj )
k =1 t =1
n n
= (x ik ykt ) ztj
k =1 t =1
n n
= (x ik ykt ) ztj
t =1 k =1
n
= cit ytj
t =1
= dij .
Axioma (vi): X (Y + Z ) = XY + XZ e ( X + Y ) Z = XZ + YZ .
Faremos apenas X (Y + Z ) = XY + XZ . A outra anloga.
, onde
41
n n n n
aij = xik ( ykj + zkj ) = ( xik ykj + xik zkj ) = xik ykj + xik zkj .
k =1 k =1 k =1 k =1
Por outro lado,
XY + XZ = [ xij ][ yij ] + [ xij ][ zij ] = [bij ] + [cij ] onde

n n
bij = xik ykj e cij = xik zkj
k =1 k =1
Segue que bij + cij = aij e ento
XY + XZ = [bij ] + [cij ] = [bij + cij ] = [aij ] = X (Y + Z ) .
1 0 0
0 1 0
(2) Seja 1 a unidade de A . Tome I = M n ( A)

0 0 1
e note que I = [aij ] , onde aii = 1 e aij = 0 para i j . Dado
X = [ xij ] M n ( A) temos:
n
X I = [ xij ][aij ] = [bij ] , onde bij = xik akj .
k =1
Como akj = 0 para k j e a jj = 1 , vem que

n
bij = xik akj = xij a jj = xij 1 = xij .
k =1
Logo, [bij ] = [ xij ] , isto , X I = X . Analogamente prova-se que

IX = X .
1 0 0
0 1 0
Portanto, I = a unidade de M n ( A) .

0 0 1

Observao 2.2.1. O anel M n ( A) no comutativo em muitos ca-

sos. Por exemplo, se n 2 e A tem unidade, temos:
1 1 0 0 1 0 0 0

0 0 0 0 1 0 0 0
X = 0 0 0 0 , Y = 0 0 0 0 M n ( A) .

0 0 0
0 0 0 0 0

42
2 0 0 0 1 1 0 0
1
0 0 0 0
1 0 0
Mas XY = 0 0 0 0 e YX = 0 0 0 0 .

0 0 0 0 0 0 0 0

Pela observao anterior, podemos concluir que:
M n ( ) no comutativo para n 2 .
M n () no comutativo para n 2 .
Observao 2.2.2. O anel M n ( A) tem divisores de zero para todo

n 2.
De fato, seja a A , a 0 . Ento:
a 0 0 0 0 0
0 0 0 0 0 0
X = , Y = M n ( A) e X , Y 0 .

0 0 0 0 0 a
0 0 0
0 0 0
Porm X Y = .

0 0 0
Pelo visto at aqui, podemos concluir que se n 2 ento

M n ( ) , M n () , M n ( ) so anis com unidade, no comutativos
e com divisores de zero. Mais que isso, mesmo quando A corpo,
M n ( A) no domnio para n 2 .
A construo de anis de matrizes importante pois, a partir

de um anel fixado A , produzimos infinitos anis. A saber, um
novo anel M n ( A) para cada n , n 2 .
Exemplo 2.2.1. Os anis abaixo tm unidade, no so comutati-

vos e tm divisores de zero.
M 2 (), M 2 (), M 2 (), M 3 (), M 3 () e M 3 ().
43
2.3 Anis n
Vamos iniciar recordando a congruncia em . Para cada
n , n 2 , definimos em a relao
a b (mod n ) n | ( a b) .
A expresso a b (mod n ) deve ser lida como: a congruente

a b mdulo n .
A congruncia mdulo n uma relao de equivalncia em ,

isto , satisfaz as propriedades: reflexiva, simtrica e transitiva.
Reflexiva: a a (mod n ) .
Como n | ( a a ) temos que a a (mod n ) .
Simtrica: a b (mod n ) b a (mod n ) .
a b (mod n ) n | ( a b) n | ( a b)
n | (b a ) b a (mod n ) .
Transitiva: a b (mod n ) e b c (mod n ) a c (mod n ) .
a b (mod n ) e b c (mod n ) n | ( a b) e n | (b c )
nx = a b e ny = b c ,
para certos x, y
n( x + y ) = a b + b c = a c
n |a c
a c (mod n ) .
Toda relao que satisfaz as propriedades reflexiva, simtrica e

transitiva chamada relao de equivalncia. Portanto, a congrun-
cia mdulo n uma relao de equivalncia em .
Em , com a relao de equivalncia a b (mod n ) , chamamos

de classe de equivalncia de a o conjunto
a = {b ; b a (mod n )}.
44
Observe que:
b a b a (mod n )
n | (b a )
nx = (b a ) , para algum x
b = a + nx , x .
Portanto, a = {a + nx; x }, isto , a o conjunto dos mltiplos

de n somando com a . Por isso, comum a notao:
a = a + n = {a + nx; x }.
Por exemplo, para n = 2 ,
0 = 0 + 2 = {2k ; k } - conjunto dos nmeros pares.
1 = 1 + 2 = {2k + 1; k } - conjunto dos nmeros mpares.
2 = 2 + 2 = {2k + 2; k }= 0
3 = 3 + 2 = {2k + 3; k }= 1
1 = 1 + 2 = {2k 1; k } = 1
2 = 2 + 2 = {2k 2; k } = 0
3 = 3 + 2 = {2k 3; k } = 1
Observe que s temos duas classes distintas, 0 e 1 . Alm dis-

so, todo elemento de est em exatamente uma dessas classes.
Vejamos o que ocorre com n = 3 .
0 = 0 + 3 = {3k ; k }
1 = 1 + 3 = {3k + 1; k }
2 = 2 + 3 = {3k + 2; k }
3 = 3 + 3 = {3k ; k }= 0
4 = 4 + 3 = {3k + 4; k }= 1
5 = 5 + 3 = {3k + 5; k }= 2
1 = 1 + 3 = {3k 1; k } = {3k + 2; k } = 2
45
2 = 2 + 3 = {3k 2; k } = {3k + 1; k } = 1
3 = 3 + 3 = {3k 3; k } = {3k ; k } = 0
Assim, temos trs classes distintas, 0 , 1 e 2 e todo elemento

de est em exatamente uma dessas classes.
Os exemplos vistos so casos particulares do seguinte caso geral:
A relao de congruncia mdulo n determina exatamente n

classes de equivalncia distintas.
Para mostrar o resultado acima vamos usar um lema que faci-

lita a verificao de igualdade de classes mdulo n .
Lema 2.3.1. Sejam a, b e n , n 2 . So equivalentes:
(a) a = b .
(b) a b (mod n) .
Demonstrao.
(a) (b). Pela propriedade reflexiva, a a ((mod n )e da a a = b .

mod n)
Segue que a b , e pela definio de b temos a b (mod n) .
(b) (a). Devemos provar a igualdade entre os conjuntos a e b .

Vamos mostrar que a b . A outra incluso anloga.
Seja x a . Ento x a ((mod n)
mod n).
Por hiptese, a b (mod n) . Pela propriedade transitiva, vem que
x b (mod n ) e portanto x b .

Observao 2.3.1. Como caso particular do lema acima temos:

a = b n | (a b) a b(mod n) a = b .
Exemplo 2.3.1. De acordo com o Lema 2.3.1, temos:
Para n = 2 , 0 = 2 = 4 = ...
1 = 3 = 5 = ...
46
___
Para n = 7 , 0 = 7 = 14 = ...
_ _ ___
1 = 8 = 15 = ...
_ _ ___
2 = 9 = 16 = ...
_ ___ ___
3 = 10 = 17 = ...
_ ___ ___
4 = 11 = 18 = ...
_ ___ ___
5 = 12 = 19 = ...
_ ___ ___
6 = 13 = 20 = ...
O conjunto de todas as classes de equivalncia mdulo n

denotado por n , isto ,
n = {a ; a }.
Na prxima proposio veremos que a relao de congrun-

cia mdulo n determina exatamente n classes de equivalncia,
e mais ainda, podemos escolher os representantes dessas classes
como 0,1, , n 1 .
{
Proposio 2.3.1. Para cada n , n 2 temos que n = 0,1,..., n 1 }
um conjunto com exatamente n elementos.
Demonstrao.
{ }
Pela definio de n claro que 0,1,..., n 1 n . Vamos ver a
incluso contrria. Para isso, tome a n . Como a e n ,
n 2 , podemos dividir a por n obtendo quociente q e resto
r . Assim,
a = nq + r , 0 r < n
a r = nq a r (mod n ) .
Pelo Lema 2.3.1 vem que a = r . Mas como r {0, 1,..., n 1} te-
{ }
mos a = r 0, 1,..., n 1 . Para provar que n tem exatamente
n elementos, devemos mostrar que os elementos de
so distintos dois a dois. Suponha que isso no verdade, isto , su-
ponha que existem x, y {0, 1,..., n 1} com x y e x = y . Sem
perda de generalidade vamos assumir que x < y . Como x = y ,
o Lema 2.3.1 assegura que x y (mod n ) e da n | ( y x ) . Mas
0 < y x < n e n | ( y x ) impossvel. Portanto, nossa suposio
47
no pode ser feita e os elementos de so dois a dois

distintos.

Exemplo 2.3.2. .
Como 0 = 2 = 4 = ...
1 = 3 = 5 = ...
Tambm podemos escrever .
Exemplo 2.3.3. , que tambm pode ser

representado por , pois 7 = 0 , 15 = 1 ,
16 = 2 , 10 = 3 , 25 = 4 , 5 = 5 e 13 = 6 .
Chamamos a ateno para o fato de 0 2 ser diferente de

0 7 . De fato, 0 2 indica o conjunto dos mltiplos de 2, en-
quanto 0 7 indica o conjunto dos mltiplos de 7. Em geral, a
distinto em cada n .
Observao 2.3.2. Trabalhamos com n , n 2 , para definir

os conjuntos n = {0,1, 2,..., n 1} . Os casos n = 0 e n = 1 so pouco
usados. No entanto, trabalhando com congruncia mdulo n = 0
e n = 1 , podemos definir 0 e 1 e verificar que:
1 = {0} , com 0 = 0 + 1 = .
0 = {..., 2, 1, 0,1, 2,...} , com x = x + 0 = {x} .
Isto , cada classe x 0 o conjunto unitrio {x} .
Nosso objetivo mostrar que n um anel. Por isso precisa-

mos definir operaes de adio e multiplicao em n .
Lembre que os elementos de n so classes de equivalncia,

isto , so conjuntos que podem ser representados de mais de
uma maneira. Por isso devemos tomar cuidado ao definir as ope-
raes, de forma que o resultado no dependa da escolha dos re-
presentantes.
__ __
Sejam a , b n . Defina a adio e a multiplicao em n , res-
pectivamente, por:
48
__ __ ______
a+ b = a + b
__ __ _____
a b = ab .
Assim,
+ : n n n e : n n n
__ __ ______ __ __ _____
(a, b ) a + b (a, b ) a b .
Vamos fazer um teste para verificar se h chance dessas opera-

es estarem bem definidas, ou seja, no dependerem da escolha
dos representantes das classes.
_ ___ _ ___
Em 7 temos as igualdades 1 = 15 e 3 = 10 . Queremos que
__ __ ___ ___ __ __ ___ ___
1 + 3 = 15+ 10 e 1 3 = 15 10 .
__ __ __ ___ ___ ___
Mas, 1 + 3 = 4 e 15+ 10__= 25___. No entanto, 25 4 (mod 7) e ento,
pelo Lema 2.3.1, temos 4 = 25 . Segue que:
__ __ ___
1 + 3 = 4 = 25 = 15 + 10 .
__ __ __ ___ ___ _____
Da mesma forma,
_____ __
1 3 = 3 e 15 10 = 150 . Como 150 3 (mod 7)
vem que 150 = 3 , e portanto:
__ __ ___ ___
1 3 = 3 = 150 = 15 10 .
Note que a verificao acima informa apenas que h chances

das operaes estarem bem definidas. Para termos certeza dis-
so, necessitamos de uma prova geral do seguinte resultado, para
cada n , n 2 , a, b, x, y n ,
__ __ __ __ __ __ __ __ __ __ __ __
a = b e x = y a+ b = x+ y e a b = x y .
Para fazermos essa prova usaremos um lema sobre proprieda-

des aritmticas das congruncias.
Lema 2.3.2. Sejam a, b, x, y e n , n 2 . Ento:
a x (mod n ) e b y (mod n ) a + b x + y (mod n ) e

ab xy (mod n ) .
Demonstrao. Como a x (mod n ) ento n | ( a x ) , isto ,

existe u tal que nu = a x . Analogamente, b y (mod n )
assegura que existe v tal que nv = b y . Agora,
49
n(u + v ) = nu + nv = a x + b y = ( a + b) ( x + y ) n | ((a + b) ( x + y ))
a + b x + y (mod n )
n(ub + vx) = nub + nvx = (a x)b + (b y ) x = a b x y

ab xy (mod n )

Proposio 2.3.2. As operaes de adio e multiplicao esto bem

definidas em n , isto ,
__ __ __ __ __ __ __ __ __ __ __ __
a, b, x, y , a = x e b = y a + b = x + y e a b = x y .
Demonstrao. Primeiro usamos o Lema 2.3.1.
a = x a x (mod n )
b = y b y (mod n ) .
Agora, usamos o Lema 2.3.2,
a x (mod n ) e b y (mod n ) a + b x + y (mod n )
e ab xy (mod n ) .
Usando novamente o Lema 2.3.1, conclumos que a + b = x + y e

ab = xy . Assim,
__ __ __ __ __ __ __ __
a+ b = x+ y e a b = x y .

Agora que conhecemos o conjunto n e temos operaes bem

definidas, vamos mostrar que n um anel. Note que estamos
produzindo uma infinidade de exemplos de anis finitos.
Proposio 2.3.3. ( n , + , ) anel comutativo com unidade.
Demonstrao. Sejam a, b, c n .
__ __ __ __
Axioma (i): a + b = b + a .
__ __ ______ ______ __ __
a + b = a + b= b + a = b + a
Na
______
segunda
______
igualdade acima usamos a + b = b + a , e da
a + b= b + a .
50
__ __ __ __ __ __
Axioma (ii): a + ( b + c ) = ( a + b ) + c .

__
Dado a n , temos que__ a ______
. Tambm
__ __
sabemos
__
que __0 __ e
______
0 + a =__a + 0 = a . Ento a = a + 0 = a + 0 e a = 0 + a = 0 + a ,
isto , 0 o elemento neutro de n .

__
Dado a n , temos que a__ ___________ a __ e
. Tambm ______
a__ a_______
= a +__a =______ ( a ) + a = ( a ) + a e__
0 . Ento 0 =______
0 = a a = a + ( a ) , isto , ( a ) o simtrico de a .
__ __ __ __ __ __
Axioma (v): a ( b c ) = ( a b ) c .
__ __ __ __ ___ _______ _______ __ __ __
a ( b c ) = a (bc ) = a (bc ) = ( ab)c = ( a b ) c .
Axioma (vi): a (b + c) = a b + a c e (a + b) c = a c + b c .
a (b + c) = a (b + c) = a (b + c) = ab + ac = ab + ac = ab
a b++ac
ac.
A outra igualdade anloga.

__ __ __ __
Axioma (vii): a b = b a .
__ __ ___ ___ __ __
a b = ab = ba = b a .
Axioma (viii): Unidade.

__
Dado a n , temos que a . Como 1 e a 1 = 1 a = a te-
mos
__ ____ __ __ __ ____ __ __
a = 1 a = 1 a e a = a 1 = a 1 .
__
Portanto, 1 a unidade de n .

Para treinar operaes em n , vamos elaborar a tabela das

operaes para n = 2,3, 4 e 5 .
51
__ __
Exemplo 2.3.4. 2 = {0, 1} .
__ __
Como 0 elemento neutro e 1 a unidade, sabemos que
__ __ __ __ __ __ __ __ __ __ __ __
0 + 0 = 0 , 0 + 1 = 1 , 1 0 = 0 e 1 1 = 1 .
Lembrando que n comutativo podemos escrever
+ 0 1 0 1
0 0 1 0 0
1 1 1 0 1
Para completar, calculamos

__ __ _____ __ __
1 + 1 = 1 + 1 = 2 = 0 (pois 2 0 (mod 2) )
__ __ __
0 0 = 0
+ 0 1 0 1
0 0 1 0 0 0
1 1 0 1 0 1
__ __
Como curiosidade, denote 0 = e e 1 = a . Agora note que este
exemplo coincide com o anel finito visto no Exemplo 1.2.7.
__ __ __
Exemplo 2.3.5. 3 = {0, 1, 2} .
__ __
Desde
__
que 0 elemento neutro e 1 __unidade, sabemos somar
0 a qualquer elemento e multiplicar 1 por qualquer elemento.
Restam as seguintes contas:
__ __ __
1+1 = 2
__ __ __ __
1+2 = 3 = 0
__ __ __ __
2+ 2 = 4 = 1
__ __ __ __
2 2 = 4 = 1
__
Lembre que multiplicar o elemento neutro
__
0 , por outro elemen-
to qualquer do anel, sempre resulta 0 (Proposio 1.3.1(3)). Isso
completa as contas.
52
+ 0 1 2 0 1 2
0 0 1 2 0 0 0 0
1 1 2 0 1 0 1 2
2 2 0 1 2 0 2 1
__ __ __ __
Exemplo 2.3.6. 4 = {0, 1, 2, 3} .
Seguindo de forma anloga aos exemplos acima, temos:
+ 0 1 2 3 0 1 2 3
0 0 1 2 3 0 0 0 0 0
1 1 2 3 0 1 0 1 2 3
2 2 3 0 1 2 0 2 0 2
3 3 0 1 2 3 0 3 2 1
__ __ __ __ __
Exemplo 2.3.7. 5 = {0, 1, 2, 3, 4} .
Seguindo de forma anloga aos exemplos acima, temos:
+ 0 1 2 3 4 0 1 2 3 4
0 0 1 2 3 4 0 0 0 0 0 0
1 1 2 3 4 0 1 0 1 2 3 4
2 2 3 4 0 1 2 0 2 4 1 3
3 3 4 0 1 2 3 0 3 1 4 2
4 4 0 1 2 3 4 0 4 3 2 1
Analisando as tabelas de multiplicao em 2 , 3 e 5 , vemos

que esses anis __no tm divisores de zero,
__
pois o produto de dois
elementos s 0 quando um deles for 0 . Como n anel unit-
rio e comutativo, conclumos que 2 , 3 e 5 so domnios.
53
Olhando
__ __ __
para a tabela de multiplicao em 4 , vemos que
2 2 = 0 e portanto 4 no domnio.
Isso fornece uma pista para saber quando n domnio. Que

propriedade os nmeros 2, 3 e 5 tm em comum e que no sa-
tisfeita por 4?
A primeira resposta que vem cabea que 4 no nmero

primo e 2, 3 e 5 so nmeros primos. De fato, n ser nmero primo
a condio necessria e suficiente para n ser domnio. Antes
de provar esse resultado, observe que se n no primo, ento
existem x, y tais que n = xy com 1 < x, y < n , ou seja, n tem
divisores prprios.
Proposio 2.3.4. As condies abaixo so equivalentes:
(a) n domnio;
(b) n nmero primo;
(c) n corpo.
Demonstrao.
(a) (b) Seja x um divisor de n . Devemos provar que x = 1

ou x = n . Como x divide n , existe y tal que n = xy . Desde
que n domnio,
__ __ ______ __ __ __ __ __ __
0 = n = x y = x y x = 0 ou y = 0 .
__ __
1 Caso: x = 0
__ __
x = 0 x 0 (mod n ) n | x .
Como n | x , x | n e x, n , temos x = n .
__ __
2 Caso: y = 0
__ __
y = 0 y 0 (mod n ) n | y nt = y , para algum t .
Substituindo o valor de y em n = xy vem que n = xnt . Como

domnio e n 0 , cancelamos n obtendo xt = 1 . Portanto, x = 1 .
(b) (c) J sabemos que n anel unitrio e comutativo.

__
Para
ver
__
que
__
corpo devemos mostrar que todo
__ __
elemento x n ,
x 0 , tem inverso em n . Desde que x 0 podemos admitir
54
x {1, 2,..., n 1} e como n primo temos mdc( n, x ) = 1 . Pela

Identidade de Bezout, existem r, s tais que nr + xs = 1 . To-
mando classes mdulo n vem que
__ _________ ___ ___ __ __ __ __ __ __ __ __ __ __ __ __ __
1 = nr + sx = nr + sx = n r + x s = 0 r + x s = 0 + x s = x s .
__ __
Portanto, s o inverso de x e n corpo.
(c) (a) J vimos na Proposio 1.2.1 que todo corpo domnio.
Observe que a proposio anterior assegura que, para os anis

n , ser corpo o mesmo que ser domnio. Alm disso, para cada
nmero primo p obtemos um corpo finito p , com p elementos.
Lembrando que o conjunto dos nmeros primos infinito, te-

mos construda uma famlia infinita de corpos, a saber, p para
cada nmero primo p .
Combinando os anis n com os anis de matrizes podemos

produzir outros exemplos de anel. De fato, para cada m, n ,
m, n 2 , sabemos que M m ( n ) um anel, pois ( n , + , ) anel.
Mesmo que os elementos de M m ( n ) no sejam nmeros, eles sa-
tisfazem propriedades aritmticas, como as descritas na Proposio
1.3.1. Portanto, perfeitamente possvel fazer contas em M m ( n ) .
Exemplo 2.3.8.
1 0 0 0 0 1 1 0
, , , ,
0 0 1 1 0 1 0 1
0 1 1 0 1 1 0 1
, , , ,
1 0 1 0 0 0 1 1
1 0 1 1 1 1 1 1
, , , .
1 1 0 1 1 0 1 1
55
__ __

0 0
Sabemos que M 2 ( 2 ) anel com elementos neutro __ e
__
__ __
1 0 0 0

unidade __ __ .

0 1
Como vimos nas Observaes 2.2.1 e 2.2.2, M 2 ( 2 ) no co-

mutativo e tem divisores de zero. fcil fazer contas em M 2 ( 2 ) ,
veja exemplo abaixo:
__ __
__ __
__ __

0 1 1
+ __
1 1
= __
0
,
__ __ __ __
1 0 1 1 0 1
e
__ __
__ __
__ __

0 1 1 1 1
= __
1
.
__ __ __ __ __
1 0 1 1 1 1
Veremos agora um outro procedimento para obter anis, a par-

tir de anis conhecidos.
2.4 Anel produto direto

Sejam ( A, , ) e ( B, , ) anis quaisquer. Em A B defina
as operaes de adio e multiplicao por
( a , b ) + ( c, d ) = ( a c, b d )
e
( a, b) ( c, d ) = ( ac, b d ) .
Note que a adio + obtida fazendo a adio entre os ele-

mentos de A que esto na primeira coordenada, e fazendo a adio
entre os elementos da segunda coordenada que pertencem a B .
Observao similar vale para a multiplicao definida em A B .
As operaes acima so as mais simples que se pode definir em

A B , pois so obtidas operando as coordenadas respectivas.
Proposio 2.4.1. Com a notao acima, ( A B, + , ) anel.

56
Demonstrao.
Verificaremos os axiomas (i), (iii), (iv) e (v). Deixamos os axiomas

(ii) e (vi) como exerccio. Sejam ( a, b),( c, d ),( e, f ) A B .
Axioma (i): ( a, b) + ( c, d ) = ( c, d ) + ( a, b) .
Basta usar a comutividade de em A e de em B .
( a , b ) + ( c, d ) = ( a c, b d )
= ( c a , d b)
= ( c, d ) + ( a , b ) .

Sejam 0 A e 0 B elementos neutros de A e B respectivamente.
Ento (0 A ,0 B ) A B e
( a, b) + (0 A ,0 B ) = ( a 0 A , b 0 B ) = ( a, b) ,
(0 A ,0 B ) + ( a, b) = (0 A a,0 B b) = ( a, b) .
Portanto, (0 A ,0 B ) o elemento neutro de A B .

Dado ( a, b) A B , temos que a A e b B . Como A e B so
anis, existem a A e b B tais que
a ( a ) = ( a ) a = 0 A e b (b) = (b) b = 0 B .
Ento ( a, b) A B e
(a, b) + (a, b) = (a (a ), b (b)) = (0 A , 0 B ) ,
(a, b) + (a, b) = ((a ) a, (b) b) = (0 A , 0 B ) .
Portanto, (a, b) o elemento simtrico de ( a, b) A B .
Axioma (v): .
Basta usar a associatividade de em A e de em B .

57
Definio 2.4.1. O anel A B obtido na proposio acima cha-

mado de anel produto direto (ou produto cartesiano) dos anis
A e B.
Exemplo 2.4.1. ( , + , ) anel com operaes
( a , b ) + ( c, d ) = ( a + c, b + d )
( a, b)( c, d ) = ( ac, bd ) .
Aqui as operaes nas coordenadas so as operaes de adio e

multiplicao usuais.
Exemplo 2.4.2. Sabemos que 3 e M 2 ( ) so anis. Ento o anel

produto direto
__ x x __
3 M 2 () = a , 11 12 ; a 3 e xij .
x21 x22
Note que 3 M 2 ( ) no anel comutativo, pois
__ 1 1 __ 1 0 __ 2 0
2, 2, = 1,
0 0 1 0 0 0
e
__ 1 0 __ 1 1 __ 1 1
2, 2, = 1, .
1 0 0 0 1 1
Exemplo 2.4.3. Apesar de 2 e 3 serem corpos, o anel produto

direto
,
no corpo. Na verdade sequer domnio. De fato, e

so elementos no nulos de 2 3 , porm
A prxima proposio mostra que o produto direto mantm a

comutatividade e a existncia de unidade dos anis A e B .
Proposio 2.4.2. Sejam ( A, , ) e ( B, , ) anis.
(1) Se A e B tm unidade, ento A B tem unidade.
(2) Se A e B so comutativos, ento A B comutativo.

58
Demonstrao.
(1) Sejam 1A e 1B os unidades de A e B respectivamente. Ento

(1A ,1B ) A B , e para todo ( a, b) A B temos:
(1A ,1B ) ( a, b) = (1A a,1B b) = ( a, b) = ( a1A , b 1B ) = ( a, b) (1A ,1B ) .
Portanto, (1A ,1B ) a unidade de A B .
(2) Sejam ( a, b), ( c, d ) A B . Usando a comutatividade de em

A e de em B temos
( a, b) ( c, d ) = ( ac, b d ) = ( ca, d b) = ( c, d ) ( a, b) .
Observao 2.4.1. Valem as recprocas de (1) e (2) na proposio

acima. No entanto, no nos preocupamos em demonstrar essas
recprocas, pois nosso interesse conhecer a estrutura algbrica
do anel A B a partir das estruturas de A e B .
Exemplo 2.4.4. O anel 4 anel comutativo com unidade,

pois e 4 o so.
No prximo captulo estudaremos novos anis produzidos a

partir de anis conhecidos. Mais especialmente, trataremos com
subconjuntos de um anel ( A, +,.) que com as operaes herdadas
de A tm estrutura de anel. Os novos anis assim obtidos so
chamados de subanis dos anis iniciais. Veremos que esse pro-
cedimento fornece anis sem exigir muitas contas.
59
Lista de exerccios
1) Verifique os axiomas de anel (ii), (v) e (vi) para o anel
( A X , +,.) , que foi deixado como exerccio na demonstrao
da Proposio 2.2.1.
2) Verifique os axiomas de anel (ii) e (vi) para o anel ( A B, +,.) ,

que foi deixado como exerccio na demonstrao da Propo-
sio 2.4.1.
3) Construa as tabelas das operaes do anel n , para n = 6, 7

e 8.
4) Calcule os elementos inversveis dos anis 4 , 5 e 6 .
5) Mostre que x n inversvel em n se, e somente se,

mdc( x, n) = 1 .
6) Sejam a, b, m, n , m 1 e n 2 . Mostre que:

.
M22((33).))Descreva um elemento genrico

7) Sejam A = e BB == M
do anel A x B . Qual o elemento neutro de A B ?
8) Calcule 3 elementos inversveis em cada um dos anis abaixo.
a)
b)
c)
d)
e)
9) Sabemos que = {f : ; f funo} e que

anel comutativo com unidade. Troque o produto de funes
pela composio de funes e verifique que valem os
axiomas de anel em , com exceo da distributivi-
dade. Conclua que no anel.
Dica: Tome , e calcule e

.
60
Resumo
Neste captulo vimos que:
Com as operaes usuais de soma e multiplicao de fun-

es, o conjunto A X das funes do conjunto X no anel A ,
um anel. Mais ainda, A X ser comutativo quando A for
comutativo, e A X ter unidade quando A tiver unidade. Em
geral A X no domnio, mesmo que A seja corpo.
Com as operaes usuais de soma e multiplicao de ma-

trizes, o conjunto M n ( A) das matrizes n n com entradas
no anel A , um anel. Se A tem unidade ento M n ( A) tem
unidade. O anel M n ( A) , n 2 , no comutativo em geral, e
possui divisores de zero. Mesmo que A seja corpo, a melhor
estrutura algbrica de M n ( A) , n 2 , anel com unidade.
As propriedades de congruncia em , estudadas na seo

2.3, levam construo do anel n , que comutativo e tem
unidade. Provamos que n corpo se, e somente se, n
nmero primo, e que isso tambm equivalente a n ser
domnio.
A partir de anis conhecidos A e B , podemos construir o

anel produto direto A B . Quando A e B so comutativos
ento A B comutativo. Quando A e B tm unidade en-
to A B tem unidade. Mesmo quando A e B so corpos o
anel A B no domnio.
Combinando os anis de funes, os anis de matrizes, os

anis n e os anis produto direto, podemos produzir v-
rias famlias infinitas de anis.
Captulo 3
Subanis, Elementos
Notveis e Divisibilidade
Captulo 3
Subanis, Elementos Notveis e
Divisibilidade
Este captulo est dividido em trs sees. Na primeira

estudaremos subanis com o objetivo de produzir no-
vos exemplos de anis. Na segunda seo destacaremos
elementos especiais dentro de um anel. Na ltima seo
trataremos da divisibilidade em anis. Veremos que o
quociente de uma diviso nico em domnios e desta-
caremos os elementos primos e irredutveis.
3.1 Subanis, subdomnios e subcorpos

Estudaremos agora como produzir novos anis a partir de anis
conhecidos. Mais especificamente, trataremos de anis contidos
em anis dados. Os novos anis obtidos desta forma so chama-
dos subanis dos anis iniciais. Veremos que esse procedimento
leva a novos exemplos de anis, sem exigir muitas contas.
Definio 3.1.1. Seja ( A, + , ) um anel. Um subconjunto no vazio

B A subanel de A quando:
(1) As operaes de A so operaes em B , isto ,

a, b B a + b B e ab B .
(2) ( B, + , ) anel.
A condio (1) da definio acima expressa que a adio e a

multiplicao do anel A so operaes fechadas em B .
Todo anel tem pelo menos dois subanis, que so {0} e A . Es-
ses subanis so chamados de subanis triviais. Nosso interesse
utilizar subanis para produzir novos exemplos de anis. Por
isso procuramos subanis no triviais.
64
De acordo com a Definio 3.1.1, para verificar que B A

subanel de A , devemos mostrar que as operaes de A so fecha-
das em B e que valem os seis axiomas de anel em B . No entanto,
alguns dos axiomas de anel so propriedades hereditrias, isto ,
valem automaticamente em todo subconjunto.
Por exemplo, a comutatividade da adio vale em A , portanto

vale em todo subconjunto de A . De outra forma,
a + b = b + a , a , b A x + y = y + x , x , y B A .
Logo, a comutatividade da adio hereditria. Abaixo descre-

vemos os axiomas de anel que so hereditrios.
(i) comutatividade da adio;
(ii) associatividade da adio;
(v) associatividade da multiplicao;
(vi) distributividade.
O fato de alguns axiomas de anel serem hereditrios reduz

o trabalho de verificar se um subconjunto subanel. A prxima
proposio reduz ainda mais este servio.
Note que no enunciado abaixo, b o simtrico de b em A .
Proposio 3.1.1. Sejam ( A, + , ) um anel e B A . So equiva-

lentes:
(a) B subanel de A ;
(b) a, b B a b B e ab B .
Demonstrao.
(a) (b). Como B subanel, ento B anel. Assim dados

a, b B temos a, b, b B , da a b B e ab B .
(b) (a). J temos por hiptese que a multiplicao fechada

em B . Alm disso, os axiomas de anel (i), (ii), (v) e (vi) so heredi-
trios. Resta provar que a adio fechada em B e que valem os
axiomas de anel (iii) e (iv).
65

Desde que B , podemos tomar a B . Ento, por hiptese,
0 A = a a B . Como 0 A elemento neutro para adio em A ,
tambm ser em B . Logo, B tem elemento neutro para adio e
0B = 0 A .

Seja b B . Pelo que fizemos acima, temos b,0 A B . Da, aplican-
do a hiptese obtemos 0 A b B , isto , b B . Desde que b
o simtrico de b em A , ento b o simtrico de b em B .
Adio Fechada em B : a, b B a + b B .
Sejam a, b B . J sabemos que b B . Ento a,( b) B e por
hiptese temos a ( b) B . Isso garante que a + b B .

Observao 3.1.1. Na demonstrao acima vimos que se B su-

banel de A ento 0 B = 0 A , e o simtrico de b B o mesmo em
A e B . Por isso podemos denotar o elemento neutro de A e B
pelo mesmo smbolo 0 , e o simtrico de b em A e B pelo mesmo
smbolo b .
Exemplo 3.1.1. Com as operaes usuais, ( , + , ) subanel de

(, + , ) e (, + , ) subanel de ( , + , ) .
Exemplo 3.1.2. O conjunto dos nmeros mpares B = {2k + 1; k }

no subanel de . Basta ver que 1, 3 B porm 3 1 = 2 B .
Exemplo 3.1.3. O conjunto dos nmeros pares B = {2k ; k }

subanel de .
De fato, o produto a diferena de nmeros pares sempre um
nmero par.
Exemplo 3.1.4. O conjunto subanel de 4 .

Basta observar que
0 0 =0 2.0
= 2.0
0= 02.2
==2.2
2.0
= 0=
=0
2.2 4 e0 4
4 =
0 0 = 0 , 0 2 = 2 , 2 00 0= =2 2.0
, 02 0=
=22.2
2.0
= 0=
=0
2.2 4 .0 4
4 =
66
Exemplo 3.1.5. O conjunto no subanel de 4 , pois

3 3 = 1 B .
Exemplo 3.1.6. Para cada nmero primo positivo p, o conjunto

subanel de ( , + , ) com as operaes usuais.
Para verificar isso, tomemos u = a + b p e v = c + d q em p .
= ( a c ) + (b d ) p p , pois a c, b d ,
= ( ac + pbd ) + ( ad + bc ) p p , pois
O anel p chamado de anel adjuno p.
De maneira totalmente anloga ao exemplo anterior, podemos

construir o anel adjuno p ,
que subanel de ( , + , ) .
Desde que o conjunto dos nmeros primos positivos infini-

to, obtivemos duas famlias infinitas de anis, a saber, p e
p . Esses anis sero bastante utilizados durante o curso.
Exemplo 3.1.7.
subanel de p .
p subanel de p .
p subanel de .
Observao 3.1.2. Se p nmero primo positivo, ento p
no subanel de , pois p . Para ver isso, note que
p = 0 + 1 p p . Agora vamos mostrar que p . Su-

67
ponha o contrrio, isto , suponha que p . Ento podemos

a
escrever p = com a, b e mdc( a, b) = 1 .
b
a a2
p = p = 2 pb2 = a 2 p | a 2 p | a .
b b
Escreva pt = a , t , e substitua na igualdade pb2 = a 2 ;
pb2 = a 2 pb2 = p 2t 2 b2 = pt 2 p | b2 p | b .
Obtivemos assim que p | a e p | b . Isso contradiz a escolha de a

e b com mdc( a, b) = 1 . Portanto p .
A proposio abaixo til para fazer contas nos anis p

e p .
Proposio 3.1.2. Sejam a + b p , c + d p p . Ento
a+b p = c+d p a = c e b = d .
Demonstrao. () Suponha que b d . Ento d b 0 .
a+b p = c+d p
ac
p= .
bd
Vimos na Observao anterior que p . Portanto no ver-
dade que b d , isto , devemos ter b = d . Assim a igualdade
a + b p = c + d p leva a a = c .
() bvia.

Observao 3.1.3. Segue da Proposio 3.1.2 que se a + b p ,

c + d p p , ento:
a+b p = c+d p a = c e b = d .
Seja B um subanel do anel A. claro que se A anel comutativo

ento B anel comutativo, pois a comutatividade da multiplicao
uma propriedade hereditria. Outra propriedade que o subcon-
junto B herda do anel A a inexistncia de divisores de zero. Com
efeito, se B tivesse divisores de zero ento A teria divisores de
zero. Vamos deixar isso registrado na prxima proposio.
68
Proposio 3.1.3. Seja B um subanel do anel A .
(1) Se A comutativo ento B comutativo.
(2) Se A anel sem divisores de zero ento B anel sem divisores de zero.
Demonstrao. Imediata, pois essas propriedades so hereditrias.
Exemplo 3.1.8. Com as operaes usuais temos que:
um subanel comutativo e sem divisores de zero do anel .
subanel comutativo e sem divisores de zero do anel .
subanel comutativo e sem divisores de zero do anel

p .
p subanel comutativo e sem divisores de zero do

anel p .
p subanel comutativo e sem divisores de zero do
anel .
Em cada item do exemplo acima temos um resultado a mais.

A saber, o anel e o subanel tm a mesma unidade. Por isso, dize-
mos que o subanel subanel unitrio do anel, de acordo com a
definio abaixo.
Definio 3.1.2. O subanel B subanel unitrio do anel com unida-

de A quando B tem unidade e 1B = 1A .
Vamos ver agora dois exemplos de subanis que no so unit-

rios. O primeiro deles no unitrio porque no tem unidade, e
o segundo no unitrio, pois tem unidade diferente da unidade
do anel.
Exemplo 3.1.9. Seja n , n 2 . O conjunto dos mltiplos de n ,

n = {nx; x }, subanel de e no tem unidade.
Vamos prova. Para verificar que n subanel de utilizare-
mos a Proposio 3.1.1.
69
Sejam a, b n , a = nx e b = ny , x, y .
Como a b = n( xny ) n e a b = n( x y ) n temos que n su-
banel de .
Falta ver que n no tem unidade.
Suponha que u = nx n seja unidade de n . Ento u v = v , para
todo v n . Tomando v = n = n 1 n vem que
uv
1 ==1.vu 1nx.n xnunx
=11.=n=1. 1nx 1=n1,x nx = 1
==1.
que impossvel, pois n 2 . Logo, n no tem unidade.
Como caso particular do exemplo acima, temos que:
2 , 3 , 4 , 5 , 6 , ..., so subanis de , que no tem

unidade.
Note tambm que:
4 subanel de 2 ;
6 subanel de 2 ,
e de forma geral, n | m se, e somente se, m subanel de n . Veja

o Exerccio 3a.
Observao 3.1.4. No exemplo anterior trabalhamos com n ,

n 2 . Poderamos tomar n , n 2 , pois os mltiplos de n e
n so os mesmos, isto , n = ( n ) . claro que 1 = ( 1) =
e 0 = {0} so os subanis triviais de . Veremos adiante que
todo subanel de de forma n para alguns n .
a 0
Exemplo 3.1.10. O conjunto B = ; a subanel de
0 0
A = M 2 () , pois o produto e a diferena de duas matrizes de B
1 0
permanecem em B . Sabemos que 1A = . fcil ver que B
0 1
1 0
tem unidade 1B = . Desde que 1A 1B , temos que B no
0 0
subanel unitrio de A .
Quando A um domnio e B subanel com unidade, sempre

temos 1A = 1B . De fato, lembre que estamos considerando sempre
que a unidade diferente de zero. Ento 1B 0 , e como A do-
mnio,
1B (1B 1A ) = 1B 1B = 0 1A 1B = 0 1A = 1B .
70
Isso mostra que um subanel com unidade de um domnio um

subanel unitrio.
Definio 3.1.3. Seja A um domnio. Um subanel B de A um sub-

domnio de A quando B subanel unitrio e domnio.
A prxima proposio caracteriza os subdomnios como suba-

nis que tm unidade.
Proposio 3.1.4. Sejam A um domnio e B um subanel de A . So

equivalentes:
(a) B subdomnio de A .
(b) B tem unidade.
Demonstrao. (a) (b). claro, pois B domnio.
(b) (a). Segue da Proposio 3.1.3 que B comutativo e no

tem divisores de zero. Alm disso, como B tem unidade e A
domnio, temos 1B = 1A . Logo, B subdomnio de A .

Exemplo 3.1.11.
subdomnio de .
subdomnio de p .

p subdomnio de p .

p subdomnio de .

subdomnio de p .

subdomnio de .
Basta notar que os subanis da coluna da esquerda tm unidade.
Definio 3.1.4. Seja A um corpo. Um subanel B de A um subcor-

po de A quando B subanel unitrio e corpo.
claro que se A corpo, B A e B corpo com as operaes

de A , ento B subcorpo de A .
71
A proposio abaixo caracteriza os subcorpos. Note que o ele-

mento b 1 que aparece no enunciado o inverso de b B A no
corpo A .
Proposio 3.1.5. Sejam A um corpo e B um subanel de A . So equi-

valentes:
(a) B subcorpo de A .
(b) B tem unidade e b 1 B , para todo 0 b B .
Demonstrao. (a) (b). claro que B tem unidade, pois

corpo. Alm disso, todo elemento b B , b 0 , tem um inverso
x B A . Mas o inverso de b em A nico, como vimos na
Proposio 1.3.2(2), e ento b 1 = x B .
(b) (a). J vimos na Proposio 3.1.3 que B comutativo, pois

A comutativo. Como B tem unidade e A domnio, segue da
Proposio 3.1.4 que B subanel unitrio. At aqui temos que B
subanel unitrio e comutativo de A . Para ver que subcorpo
basta usar a hiptese (b), que garante que todo elemento diferente
de zero em B tem inverso em B .

Agora vamos usar a proposio anterior para apresentar exem-

plos de subcorpos, e consequentemente conhecer novos corpos.
Lembre que os corpos que conhecemos at o momento so

, , p , onde p um nmero primo.
Exemplo 3.1.12. Para cada nmero primo positivo p temos que

p um subcorpo de .
De fato, sabemos que p tem unidade .
Seja u = a + b p p , u 0 . Ento a 0 ou b 0 , e da
v = a b p p , v 0 .
Como p domnio, temos
= a 2 pb2 .
72
Mas corpo e ento

1
( a 2 pb2 ) 1 = 2 .
a pb2
a b
Desde que 2 2
e 2 esto em , temos:
a pb a pb2
a b
y= 2
2 2 2
p p .
a pb a pb
fcil ver que

a b
uy 2
2 2 2
p = 1.
a pb a pb
Logo u tem inverso u 1 = y [ p ] .
Portanto, p subcorpo de .
Para encerrar esta seo vamos ver como os subanis se com-

portam em relao unio e a interseo.
Proposio 3.1.6. Sejam A um anel e B1 , B2 A .
(1) Se B1 e B2 so subanis de A , ento B1 B2 subanel de A .
(2) Se B1 e B2 so subdomnios de A , ento B1 B2 subdomnio

de A .
(3) Se B1 e B2 so subcorpos de A , ento B1 B2 subcorpo de A .
Demonstrao. (1) Sejam a, b B1 B2 . Como a, b B1 e B1

subanel, temos que a b, a b B1 . Analogamente a b, a b B2 .
Portanto a b, a b B1 B2 e B1 B2 subanel de A .
(2) Como B1 e B2 so subdomnios de A , temos que B1 e B2

tm a mesma unidade de A . Ento 1A B1 B2 e pela Proposio
3.1.4, B1 B2 subdomnio de A .
(3) Como B1 e B2 so subcorpos de A , ento so subdomnios

de A , e pelo item anterior B1 B2 tem unidade 1A . Seja agora
b B1 B2 , b 0 . Como b B1 e B1 corpo, temos que b 1 B1 .
Analogamente b 1 B2 . Logo, b 1 B1 B2 e pela Proposio
3.1.5, B1 B2 subcorpo de A .

73
Exemplo 3.1.13. Sabemos que 2 e 3 so subanis de . Ento

2 3 = 6 subanel de .
Exemplo 3.1.14. Sabemos que 2 e 3 so subcorpos
de . Ento 2 3 subcorpo de . Deixamos como
exerccio verificar que 2 3 = .
A unio de subanis no , em geral, um subanel. Veja o pr-

ximo exemplo.
Exemplo 3.1.15. Sabemos que B1 = 2 e B2 = 3 so subanis de

. Porm B1 B2 no subanel. De fato, 2,3 B1 B2 , porm
2 + 3 = 5 B1 B2 .
3.2 Elementos notveis de um anel

Nesta seo estudaremos alguns elementos especiais de um
anel. A importncia desses elementos est no fato de que algu-
mas contas efetuadas no anel ficam simples quando trabalhamos
com tais elementos.
Para exemplificar, suponha que desejamos resolver a equa-

o a x = b no anel com unidade A. Isto significa que a, b A e
queremos encontrar x A que satisfaa a equao. Se soubermos
que a A inversvel em A e seu inverso a 1 , multiplicamos a
equao a x = b por a 1 esquerda obtendo x = a 1 b. Dessa for-
ma, conhecer elementos inversveis do anel til para resolver
equaes no anel.
Alm dos elementos inversveis, vamos destacar os seguintes

elementos de um anel: divisores de zero, regulares, idempotentes e
nilpotentes. Chamaremos esses elementos de elementos notveis
do anel.
Definio 3.2.1. Seja ( A, + , ) um anel com unidade. Dizemos que

a A elemento inversvel de A quando existe y A tal que
a y = ya = 1.
74
Como fizemos anteriormente no estudo de corpos, denotare-

mos o inverso de a por a 1 .
O conjunto dos elementos inversveis do anel com unidade A

( A)
denotado por (A).
((A)
(AA))= {a A; y A : ay = ya = 1} .
Definio 3.2.2. Seja ( A, + , ) um anel. Dizemos que a A ele-

mento:
Divisor de zero: quando a 0 e existe b A {0} tal que

a b = 0 ou b a = 0 .
Regular: quando a 0 e a no divisor de zero.
Idempotente: quando a 2 = a .
Nilpotente: quando existe n {0} tal que a n = a0.
Observao 3.2.1. O elemento a A , a 0 , regular quando

no existe b A , b 0 , tal que a b = 0 ou b a = 0 . De outra forma,
a A , a 0 regular quando:
b A, b 0 ab 0 e ba 0.
Tomando a contrapositiva da implicao acima:
a b = 0 ou b a = 0 b = 0 .
Usaremos as notaes:
( A),para o conjunto dos elementos divisores de zero do

Ddz (A),
anel A .
( A),para o conjunto dos elementos regulares do anel A .

Reg (A),
( A),para o conjunto dos elementos idempotentes do

Idemp (A),
anel A .
( A),para o conjunto dos elementos nilpotentes do anel A .

Nilp (A),
Em geral no tarefa fcil conhecer os elementos inversveis,

divisores de zero, regulares, idempotentes e nilpotentes de um
anel qualquer. Quando trabalhamos com um domnio ou um cor-
po, podemos usar a proposio abaixo.
75
Proposio 3.2.1. Se D um domnio ento:
Ddz((D)
(1)Ddz D) = .
Reg((D)
(2)Reg D ) = D {0}.
Idemp((D)
(3)Idemp D ) = {0,1}.
Nilp((D)
(4)Nilp D ) = {0}.
Demonstrao. (1) imediato da definio de domnio, pois se

a, b D {0}, ento a b 0. Logo, nenhum elemento de D pode
ser divisor de zero.
(2) Segue de (1), pois
Alternativamente podemos provar (2) verificando duas incluses

de conjuntos. claro que Re
Reg (DA)), D {0} . Por outro lado, se
g ((D)
a D, a 0, ento a no divisor de zero pois Ddz ((D) D) = .
Logo D {0} Re (D
A ),
Regg(D).
(3) claro que 0 e 1 so idempotentes. Para ver que so os nicos,

tome x D tal que x 2 = x. Ento:
x 2 x = 0 x (x 1) = 0
x = 0 ou x 1 = 0
x = 0 ou x = 1.
Logo os nicos idempotentes de D so 0 e 1, isto ,

Idemp ((D)
D ) = {0,1}.
(4) claro que 0 nilpotente. Suponha que x D nilpotente.

Ento existe n {0} tal que x n = 0, e n o menor natural
no nulo com esta propriedade. Se n = 1 , ento x = 0. Se n > 1 ,
ento n 1 {0} e 0 = x n = x x n 1. Como D domnio, vem
que x = 0 ou x n 1 = 0.
Desde que n o menor natural no nulo tal que x n = 0, no po-

Nilp((D)
demos ter x n 1 = 0. Logo x = 0 , e daNilp D ) = {0}.

76
Corolrio 3.2.1. Se K um corpo, ento:
(1)((K)
(KK))==KK{{00}}. .
Ddz((K)
(2)Ddz (KK))==.
Reg(((K)
(3) Reg KK))==KK{{
00}}.
Idemp((K)
(4)Idemp (KK))=={{0,1
0,1}}.
Nilp((K)
(5) Nilp (KK))=={{00}}. .
Demonstrao. (1) imediato da definio de corpo. Para (2), (3),

(4) e (5), basta lembrar que todo corpo domnio e usar a propo-
sio anterior.

(KK))==Reg
Observe que se K corpo ento ((K) ((KK).)
Reg(K)
Exemplo 3.2.1.
O mesmo continua valendo se trocarmos por , p ou

p , p um nmero primo, pois todos so corpos.
Exemplo 3.2.2.
Aplicando a Proposio 3.2.1 ao domnio temos ,

, e Resta provar
que . claro que {1} ( ).. Seja x ( ), ento
existe y tal que x y = 1. Note que x, y e x y = 1 . Assim y
77
o inverso de x em . Pela unicidade do inverso em , temos que

1
y = . Mas y e ento x = 1 ou x = 1. Portanto, .
x
Exemplo 3.2.3. Fazendo contas com os elementos de

temos:
Lembramos que a Proposio 1.3.3 assegura que vale a lei do

cancelamento do produto no anel A se, e somente se, A um anel
Ddz((A)
sem divisores de zero, isto ,Ddz A ) = . Por outro lado sabemos
Ddz((A)
queDdz A ) = se, e somente se,Reg
Reg((A)
A ) = A {0}.
{0}.Acabamos de es-
tabelecer uma relao entre cancelamento do produto e elementos
regulares. A prxima proposio deixa essa relao bem clara.
Proposio 3.2.2. Sejam A um anel e a A, a 0 so equivalentes:
(a) a elemento regular.
ax = ay x = y
(b)
xa = ya x = y x, y A.
Demonstrao: (a) (b) Desde que a regular, temos:
ax = ay a (x y) = 0 x y = 0 x = y.
A outra implicao anloga.
(b) (a) Seja b A tal que a b = 0 ou b a = 0. Devemos provar

que b = 0. Usando a hiptese podemos cancelar a em cada uma
das igualdades abaixo.
a b = 0 = a 0 b = 0.
b a = 0 = 0 a b = 0.
Portanto b = 0 , e da a regular.

78
Exemplo 3.2.4. Resolva a equao 3 x = 2 em 4 .
1 Forma: Como 3 regular em 4 e 3 x = 2 = 3.2, podemos can-

celar 3 obtendo x = 2.
()
1
1
2 Forma: Como 3 inversvel em 4 e 3 = 3, podemos multi-
(())
1 11
1
plicar 3 x = 2 por obtendo xx== 33 .2
.2==3.2
3.2==66==2.2.
Existem algumas relaes entre elementos regulares, di-

visores de zero, inversveis, nilpotentes e idempotentes. Se
A um anel qualquer, imediato queDdz Ddz((A(A)
Ddz A))Reg
Reg(((A)
AA))==
e
Ddz((A(A)
Ddz
Ddz A))Reg
Reg(((A)
AA))==AA{{00}}. . Outras relaes esto na proposio
{0}.
abaixo.
Proposio 3.2.3. Seja A um anel.
(1) Idemp ( A ) Nilp ( A ) = {0}.

{0}.
(2) Se A tem unidade, ento e
(3) Se A corpo, ento ( A) = Reg ( A)..
Demonstrao. (1) Seja . Ento x 2 = x

e existe n { 0} que podemos tomar o menor possvel, tal
{0}
n
que x = 0. Se n = 1 , ento claro que x = 0. Se n = 2 , temos
0 = x 2 = x. Se n > 2 , ento 0 = x n = x 2 x n 2 = x x n 2 = x n 1 , o que
contradiz o fato de n ser o menor natural no nulo tal que x n = 0.
Portanto x = 0.
(2) Seja a ( A) . Ento existe a 1 A tal que a a 1 = a 1a = 1.

Vamos verificar que a Ddz ( A ).. Se b A e a b = 0 ou ba = 0 ,
multiplicando por a 1 do lado adequado, vem que b = 0. Logo
a 0 e a Ddz, isto , a Reg ( A ).. Assim .
Pela definio de elemento regular, , e
como temos que .
(3) Vimos no Corolrio 3.2.1 que se A corpo ento

Reg ( A ) = A {0}, e claro queReg ( A ) = A {
{0}, 0}, Portanto,
{0}.
( A) = Reg ( A).

79
Quando A no corpo pode no valer a igualdade

( A) = Reg ( A) . Por exemplo, em A = temos que 2 elemento
regular mas no elemento inversvel.
Veremos a seguir que nos anis n vale a igualdade

( n ) = Reg ( n ), e mostraremos uma maneira simples de calcu-
lar .
Proposio 3.2.4. Seja n , n 2. So equivalentes:
(a) x ( n ).
(b) x Reg ( n )..
(c) mdc ((x,n)

x, n ) = 1.
Demonstrao. (a) (b) Pela Proposio 3.2.3,

e ento x ( n )implica em x Reg ( n )..
(b) (c) Seja d = mdc (x,n) (x, n ) e escreva du = x, dv = n com

u , v . Multiplicando a igualdade du = x por v temos,
du v = xv ((dv)u
dv )u = xv nu = xv nu = xv 0 = x v.
Como x regular, a igualdade x v = 0 leva a v = 0 , isto , v ml-

tiplo de n. Escrevendo v = nt e substituindo em d v = n , vem:
d nt = n dt = 1 d = 1.
Logo mdc ((x,n)
x, n ) = 1.
1.
(c) (a) Como mdc ((x,n) x, n ) = 1,1, a Identidade de Bezout garante

que existem r , s tais que r x + sn = 1. Tomando classes mdu-
lo n temos:
1 = r x + sn = r x + s n = r x + s 0 = r x.
Logo x inversvel em n , isto , x ( n )..

Exemplo 3.2.5. Calcule ( 6 ).

Pela proposio anterior, basta tomar as classes dos elementos
positivos que so primos relativos com 6 e menores que 6, isto ,
80
Exemplo 3.2.6. Calcule

O mesmo raciocnio do exemplo acima leva a
Veremos agora como caracterizar , para cada n-

mero primo positivo p .
Proposio 3.2.5. Se p um nmero primo positivo, ento
Demonstrao. Primeiro vamos provar que todo elemento do con-
junto inversvel.
De fato, se a + b p p e a 2 pb 2 = 1 ento temos:
1 = a 2 pb2 .
( )
Portanto o inverso de a + b p a b p p ou
Agora vamos provar que todo elemento de dessa

forma.
( )
Seja ento a + b p p . Assim existe
c + d p p tal que
Isto fornece as igualdades
(ad + bc) = 0 e (ac + pbd) = 1.

Agora,
Assim,
81
e portanto
(a 2 - pb 2)(c 2 - pd 2 ) = 1.
Como a 2 pb 2 , c 2 pd 2 , conclumos que a 2 pb 2 = 1.
Exemplo 3.2.7.
( ) (
1 + 2 2 e 2 + 2 2 . )
( ) (
2 + 3 3 e 1 + 3 3 .. )
Conforme comentamos anteriormente, calcular todos os ele-
mentos notveis de um anel no tarefa fcil. Terminaremos esta
seo apresentando exemplos de cada um dos tipos de elementos
notveis no anel de matrizes M n ( )..
Exemplo 3.2.8.
0 0 1 0 1 0 0 0
, , , Idemp (M 2 ( )).
0 0 0 1 0 0 0 1
0 0 0 5 0 0
, , Nilp (M 2 ( )).
0 0 0 0 8 0
2 0 0 0 0 1 2 5
, , , Ddz (M 2 ( )).
0 0 1 3 0 4 0 0
2 0 3 0 0 1 0 3
, , , Reg (M 2 ( )).
0 1 0 3 1 0 2 0
1 0 1 0 0 1 0 1
, , , (M 2 ( )).
0 1 0 1 1 0 1 0
Informao: Sabemos que uma matriz M M n ( ) inversvel se,

e somente se, seu determinante diferente de zero. Assim:
O resultado acima caso particular de um resultado geral. A sa-

ber, se A um anel com unidade e M M n ( A )ento:
82
Note que quando A corpo temos ( A) = A {0} , e ento
M (M n ( A)) det M 0.
Uma consequncia do resultado acima que uma matriz

M M n ( ) tem inversa em M n ( ) se, e somente se,
3.3 Divisibilidade, elementos primos

e elementos irredutveis
Definio 3.3.1. Sejam A um anel e a, b A. Dizemos que a divide
b em A quando existe c A tal que a c = b.
Notao: a | b.
Observao 3.3.1. O elemento c da definio acima chamado

de quociente da diviso de b por a.
Exemplo 3.3.1. Se A um anel e a A ento a | 0. Em particular,

fazendo a = 0 temos que 0 | 0. Observe que 0 divide apenas 0,
pois 0 c = b implica em b = 0.
Exemplo 3.3.2. Em 2 temos que 1 + 2 2 divide 7, pois
1 2 2 2 e
Exemplo 3.3.3. Em 8 temos que 2 divide 6, pois 2.3 = 6. Note

tambm que 2.7 = 14 = 6.
No exemplo acima vemos que 2 divide 6 em 8 com dois quo-

cientes diferentes. Nosso interesse por anis onde o quociente
nico. O prximo Lema mostra que isso ocorre em domnios.
Lema 3.3.1. Sejam A um domnio, a, b A e a 0. Se a | b ento o

quociente nico.
Demonstrao. Suponha que c, c ' A sejam quocientes da divi-

so de b por a. Ento a c = b e a c ' = b. Igualando temos:
83
ac = ac' ac ac' = 0
Desde que A domnio e a 0, vem que c = c '.

Em funo do Lema 3.3.1, vamos estudar divisibilidade em do-

mnios. Chamamos a ateno para o fato de que divisibilidade em
corpos sempre trivial, pois um elemento no nulo divide qual-
quer outro elemento. De fato, se A corpo, a, b A e a 0 ento
a | b e o quociente c = a 1b.
Vejamos algumas propriedades da divisibilidade em domnios.
Proposio 3.3.1. Sejam A um domnio e a, b, d , x, y A.
(1) a | b a | b x.
(b x + ddy).
(2) a | b e a | d a | (bx y ).
(3) a | b a d | b d .
(4) a | b e b | d a | d .
(5) a |1 a ( A)..
(6)
Demonstrao.
(1)
(2) a | b e a | d a c = b e a v = d , c, v A
aa((cx)
c x ) = b x e aa((vy)
v y)= d y
aa((cx y ) = b x + d y a | ((bx
c x ++vvy) y ).
b x ++ddy).
(3) a | b a c = b, c A ((ad)
a d )c = b d a d | b d .
(4) a | b e b | d a c = b e b v = d , c, v A.
a c v = b v = d a | d.
(5) a |1 a c = 1, c A a ( A )..
84
(6) u ( A) u u 1 = 1, u 1 A
u a | a.

Pelo item (5) da proposio anterior vemos que os elementos

inversveis podem ser caracterizados pela divisibilidade da se-
guinte forma:
( A) = {a A ; a |1}.
Definio 3.3.2. Sejam D um domnio e a, b D. Dizemos que a e b

so associados quando a | b e b | a.
Notao: a ~ b.
Observao 3.3.2. Sejam D um domnio e a D. claro que 1| a .

Ento a |1 se, e somente se, a ~ 1. Desde que os divisores de 1 so
os elementos inversveis, temos
Proposio 3.3.2. Seja D um domnio. A relao ~ relao de equi-

valncia em D.
Demonstrao. Veja o Exerccio 9.

A prxima proposio assegura que dois elementos so asso-

ciados quando diferem pelo produto de um elemento inversvel.
Esse resultado til para determinar associados.
Proposio 3.3.3. Sejam D um domnio e a, b D so equivalentes:
(a) a ~ b.
(b) u (D ) tal que b = a u.
Demonstrao. (a) (b) a ~ b a | b e b | a .
Ento, existem x, y D tais que ax = b e by = a .

85
1 Caso: a = 0.
a = 0 e a x = b b = 0.
Tome u = 1 (D ) e ento 0 = 0.1 , isto , b = a u.
2 Caso: a 0.
ax=b e by=aaxy =a
(x y - 11)) == 00
a (xy
x y =1
x inversvel.
Tome u = x (D ) e ento a u = b.
(b) (a) Por hiptese,bb==aauu, , uu((DD).)Segue que a | b. Alm

disso, de b = a u temos b u 1 = a e ento b | a. Logo, a ~ b.
Exemplo 3.3.4. Determinar os elementos associados a 2 .

Desde que ( ) = {1}, segue da Proposio 3.3.3 que os associa-
dos a 2 so 2 e 2 .
Exemplo 3.3.5. Determinar os elementos associados a 2 6 .

Sabemos que . Logo os associados a 2 so:
2.1 = 2 e 2.5 = 10 = 4.

Pela Observao 3.3.2, os associados a 1 so exatamente os ele-
mentos inversveis. Como 7 corpo, pois 7 primo, os associa-
dos a 1 so

Como 7 corpo, temos que 3 inversvel. Logo 3 ~ 1 e desde
que ~ relao transitiva, os associados de 1 e de 3 coincidem.
Portanto os associados a 3 so
Note que no exemplo acima podemos trocar 3 por qualquer

elemento no nulo. Mais que isso, podemos trocar 7 por qual-
quer corpo. Isso leva seguinte concluso:
86
Se K corpo e ento os associados a a so

.
Sabemos que no fcil determinar o conjunto dos elementos

inversveis de um anel. Como os associados so obtidos por pro-
duto de inversveis, tambm no fcil encontrar todos os ele-
mentos associados a um elemento dado. No entanto, para cada
elemento inversvel podemos produzir um elemento associado.
Exemplo 3.3.8. Determine 4 elementos associados a

3 + 2 3 3 .
Desde que , e temos que
Assim, multiplicando pelos inversveis acima, obtemos os seguin-

tes associados a 3 + 2 3 :
Definio 3.3.3. Sejam D um domnio, p D, p 0 e p (D ).

Dizemos que p elemento
Primo quando:
a, b D e p | ab p | a ou p|b.
Irredutvel quando:

a, b D e p = ab a U ( D) ou b U ( D) .
Redutvel quando no irredutvel.
Observao 3.3.3. Um elemento p D, no nulo e no inversvel,

redutvel quando pode ser decomposto como produto de dois
elementos no inversveis, isto ,
a, b D, a, b (D ) tal que p = a b.
87
O conceito de elemento primo em um domnio qualquer a

generalizao da definio de nmero primo estudada no dom-
nio . Provaremos isso na prxima proposio, que tambm as-
segura que no domnio os elementos primos coincidem com
os irredutveis. Antes, porm, veremos que elementos primos so
irredutveis em qualquer domnio.
Lema 3.3.2. Todo elemento primo elemento irredutvel.
Demonstrao.
Sejam D um domnio e p D um elemento primo. claro que

p 0 e p (D ). Para ver que p irredutvel, considere a, b D
tais que p = a b. Devemos mostrar que a (D ) ou b (D ).
De p = a b vem que p | a b e da, p | a ou p | b. Admita que p | a .
Ento existe c D tal que p c = a. Substituindo em p = a b vem
que p = p c b. Como D domnio e p 0 , cancelamos p obten-
do 1 = c b. Segue que b (D ). O caso p | b tratado de forma
anloga e leva concluso de que a (D ). Portanto a (D )
ou b (D ), e assim p irredutvel.

Observao 3.3.4. No vale a recproca do Lema anterior. Isto ,

existem exemplos de elementos irredutveis que no so primos,
contudo produzir tais exemplos requer resultados que no sero
tratados aqui.
Proposio 3.3.4. Seja p , p 0 e . So equiva-

lentes:
(a) p nmero primo.
(b) p elemento primo.
(c) p elemento irredutvel.
Demonstrao.
(a) (b) Sejam a, b tais que p | a b. Devemos provar

que p | a ou p | b. Se p | a a demonstrao acabou. Se p /| a
ento mdc (a, p) = 1, pois 1 e p so os nicos divisores posi-
tivos de p, j que p nmero primo. Pela Identidade de Be-
zout, existem x, y tais que a x + p y = 1. Multiplicando por
88
b vem que a b x + p b y = b. Como p | a b e p | p , temos que

p | ((abx p b y )isto
a b x++ pby), , , p | b. Portanto, p | a ou p | b,, isto , p
elemento primo.
(b) (c) Segue do Lema anterior.
(c) (a) Para ver que p um nmero primo, basta provar que
seus nicos divisores so 1 e p. Seja ento a tal que
a | p. Assim, existe b tal que p = a b. Por hiptese, p ele-
mento irredutvel e ento a ( ) = {1} ou b ( ) = {1}..
Se a = 1 nada temos para fazer. Se b = 1, substitumos em
p = a b obtendo a = p. Logo p nmero primo.

Exemplo 3.3.9.
Em os elementos primos so exatamente os nmeros primos.
Em os elementos irredutveis so exatamente os nmeros primos.
Em os elementos redutveis so os nmeros diferentes de 0, 1
e 1 , que no so primos.
Exemplo 3.3.10. Um corpo no possui elementos primos, irredu-

tveis e nem redutveis.
De fato, para um elemento p ser primo, irredutvel ou redutvel
no corpo K devemos ter p 0 e claro que
no existe elemento que satisfaa isso.
Observao 3.3.5. Classificar um elemento como primo ou irre-

dutvel depende fortemente do anel onde consideramos tal ele-
mento. Por exemplo, 2 e 2 . Vimos que 2 primo e irredu-
tvel em , mas 2 inversvel no corpo . Portanto 2 no primo
nem irredutvel em .
Exemplo 3.3.11. Se p um nmero primo positivo, ento o ele-
mento p redutvel em p . Logo no primo em p .
De fato, p no inversvel em p , de acordo com a Pro-
posio 3.2.5. Para ver que p redutvel tome aa == bb = p

89
p , que no so inversveis pela Proposio 3.2.5. Claro que
pp == a bb = p p . Portanto p redutvel em p e, pelo Lema
3.3.2, p no primo em p .
Exemplo 3.3.12. O elemento p primo em p , para todo

nmero primo positivo p.
Pela Proposio 3.2.5, , pois 02 p.12 1 .
Para ver que p elemento primo tomamos ,
, tais que p | ( ab) . Devemos mostrar que
ou .
pp | |((ab (( ))
xx++ yy pp pp tal que
ab))
a d + b c = x
Segue que
a c + p b d = p y.
a c + p b d = p y p ( y b d ) = a c p | a c p | a ou p | c .
p | a p t = a, t
.
p | c p u = c, u
.
Logo p elemento primo em p .
Exemplo 3.3.13. O elemento p irredutvel em p , para

todo nmero primo positivo p.
Vimos no exemplo anterior que p primo em p . Segue
do Lema 3.3.2 que p irredutvel em p .
A prxima proposio mostra que multiplicar elemento primo

por inversvel resulta elemento primo. O mesmo vale para ele-
mento irredutvel. A concluso que elementos associados a ele-
mentos primos ou irredutveis so, respectivamente, elementos
primos ou irredutveis.
90
Proposio 3.3.5. Sejam D um domnio, p D e u (D ). Ento:
(1) p elemento primo p u elemento primo.
(2) p elemento irredutvel p u elemento irredutvel.
Demonstrao. Primeiramente note que p 0 se, e somente se,

p u 0. Tambm p (D ) se, e somente se, p u (D ). Dessa
maneira, considerando p no nulo e no inversvel vem que p u
no nulo e no inversvel, e reciprocamente.
(1) Sejam a, b D tais que p u | a b. Como p | p u vem que

p | a b. Por hiptese p primo e ento p | a ou p | b. Se p | a
ento existe c D tal que p c = a , e da, , que ga-
rante que p u | a . Analogamente, admitindo que p | b conclumos
que p u | b . Logo p u elemento primo.
Na direo mostramos que um elemento primo multi-

plicado por um elemento inversvel resulta num elemento primo.
Nossa hiptese agora que p u primo. Ento multiplicando por
u 1 obtemos que primo.
(2) Sejam a, b D tais que p u = a b. Segue que

e como p irredutvel vem que u 1a (D ) ou b (D ) . Logo
a (D ) ou b (D ), e p u elemento irredutvel.
Na direo mostramos que um elemento irredutvel mul-

tiplicado por um elemento inversvel resulta num elemento irredu-
tvel. Como nossa hiptese que p u irredutvel, multiplicando
por u 1 obtemos que irredutvel.

A proposio acima pode ser usada para produzir novos ele-

mentos primos e irredutveis a partir de elementos primos e ir-
redutveis conhecidos. Tambm pode ser usada para produzir
elementos que no so primos ou irredutveis. Vejamos alguns
exemplos.
Exemplo 3.3.14. Vimos nos Exemplos 3.3.12 e 3.3.13 que para

cada primo positivo p o elemento p primo e irredutvel em
91
p . Pela proposio anterior podemos produzir novos ele-
mentos primos e irredutveis, multiplicando p por elementos
inversveis de p .
Para p = 2, usando a Proposio 3.2.5 vemos que
, e ento primo e irredu-
tvel em 2 .
Para p=5 teremos que , e ento
primo e irredutvel em 5 .
Exemplo 3.3.15. Vimos no Exemplo 3.3.11 que p no elemento
primo nem irredutvel em p .
Para p = 2 sabemos que , e ento, pela propo-
sio anterior, = 2 + 2 2 no elemento primo nem ir-
redutvel em 2 .
Para p=5 sabemos que , e ento
no elemento primo nem irredutvel de
5 .
Os elementos primos e irredutveis tm vrias aplicaes em

lgebra, que esto um pouco alm dos objetivos deste curso. Con-
tudo, um estudo sobre elementos primos e irredutveis em anis
de polinmios ser visto no segundo curso de lgebra.
92
Lista de exerccios
1) Verifique se B subanel de .
a) B = {x ; x } .
a
b) B = ; a, b e 2|b .
b
a
c) B = n ; a e n .
2
2) Verifique se B subanel de .
a c
a) B = M 2 ( ) .
b 0
a 0
b) B = M 2 ( ) .
0 b
0 a
c) B = M 2 ( ) .
c b
a b
d) B = M 2 ( ) .
0 0
3) a) Mostre que n | m se, e somente se, m subanel de n .
b) Calcule todos os subanis de 4 , 5 , 6 e 8 .
4) Calcule todos os subcorpos de .
5) Determine o corpo obtido pela interseco de 7 com
5 .
n
6) Sejam B1 , B2 ,..., Bn subanis de A e B = Bi , a interseco
de B1 , B2 ,..., Bn . Verifique que i =1
a) B subanel de A .
b) Se Bi subcorpo de A para cada i {1, 2,..., n},

ento B corpo.
c) B1 B2 subanel de A se, e somente se, B1 B2 ou

B2 B1 .
93
7) O centro do anel A o conjunto

( A ) = {x A ; x y = y x, y A}.
Verifique que subanel comutativo de A .
a 0
8) Calcule o centro do anel A = M 2 ( ) .
b 0
9) No domnio A , considere a relao

a ~ b a|b e b|a .
Mostre que ~ relao de equivalncia.
10) Calcule os divisores de zero, regulares, inversveis, nilpo-

tentes e idempotentes, para cada um dos anis abaixo.
a) 6 .
b) 8 .
c) 9 .
d) 10 .
e) 2 x 4 .
f) 3 x 2 .
11) Para cada nmero primo positivo p , calcule .
x 5
12) Determine x para que M 2 ( ) seja inversvel
3 2
em M 2 ( ) .
13) Calcule os elementos associados a 5 em 8 .
14) Calcule 5 elementos associados a 1 + 2 5 em 5 .
15) Calcule quatro elementos associados a 1 + 7 em 7 .
16) Calcule quatro elementos primos do domnio 7 .
17) Calcule cinco elementos irredutveis do domnio 3 .
18) Calcule o inverso de 7 em 101 .

94
Resumo
Vimos que se A um anel (respectivamente domnio ou
corpo) e B A anel (respectivamente domnio ou corpo)
com as operaes de A , ento B subanel (respectivamente
subdomnio ou subcorpo) de A . Caracterizamos cada uma
dessas subestruturas e vimos que conhec-las til para
produzir novos exemplos de anis.
Estudamos os elementos notveis de um anel. No caso de

domnios, descrevemos os elementos divisores de zero,
regulares, nilpotentes e idempotentes. Para os anis n e
[ p ] caracterizamos os elementos inversveis.
Verificamos que o conceito de divisibilidade em domnios

leva definio de elementos primos e irredutveis. Mostra-
mos que todo elemento primo irredutvel, que elementos
associados a elementos primos so primos e que elementos
associados a elementos irredutveis so irredutveis.
Captulo 4
Ideais e Anis Quociente
Captulo 4
Ideais e Anis Quociente
O principal objetivo deste captulo o estudo de Anis

Quociente. A construo desse tipo de anis feita atra-
vs de um subanel especial, chamado ideal. Portanto
comearemos com um estudo de ideais, destacando os
ideais primos e maximais.
4.1 Ideais
A noo de ideal foi introduzida no final do sculo XIX por
Dedekind. Os ideais formam uma classe especial de subanis e
surgiram como ferramenta para o estudo de Teoria de Nmeros.
Sejam A um anel e B um subconjunto no vazio de A . Vimos

na Proposio 3.1.1 que B um subanel de A quando:
a, b B a - b B .
a, b B ab B .
Portanto B subanel de A quando fechado por diferenas e

produtos. Veremos abaixo que os ideais so subconjuntos fecha-
dos por diferenas e por produtos com elementos do anel A .
Definio 4.1.1. Sejam A um anel e I A . Dizemos que I

ideal esquerda de A quando:
(i) a, b I a - b I .
(ii) x A e a I xa I .
Definio 4.1.2. Sejam A um anel e I A . Dizemos que I

ideal direita de A quando:
(i) a, b I a - b I .
(ii) x A e a I ax I .
98
Definio 4.1.3. Sejam A um anel e I A . Dizemos que I ideal

(ou ideal bilateral) de A quando I ideal direita e esquerda de A .
Note que se o anel comutativo ento as definies de ideal

esquerda e ideal direita coincidem. Portanto, para um anel co-
mutativo falamos apenas em ideais sem nos preocuparmos com
lateralidade.
Observao 4.1.1. Todo ideal esquerda, direita ou bilateral

um subanel. De fato, se I ideal esquerda de A e a, b I , ento
a - b I . Como a I A tambm temos ab I . Logo, I fecha-
do por diferenas e produtos, isto , I subanel. Se I ideal
direita, procedemos de forma anloga. Quando I ideal bilate-
ral, ento I ideal esquerda, portanto subanel.
O prximo exemplo mostra que existem subanis que no so

ideais esquerda e nem direita.
Exemplo 4.1.1. Sabemos que subanel de . No entanto

no ideal direita e nem esquerda de . Para ver isso basta
1 1 1
notar que 1 , , mas 1. e .1 .
2 2 2
Observao 4.1.2. Se B subanel de A e a, b B , ento a - b B .

Assim, para verificar se o subanel B ideal esquerda de A bas-
ta verificar se vale a implicao:
x A , a B xa B .
Da mesma forma, para verificar se o subanel B ideal direita de
A , devemos verificar se vale:
x A , a B ax B .
Exemplo 4.1.2. Se A um anel, ento {0} e A so ideais de A , cha-

mados de ideais triviais de A . De fato, {0} e A so subanis de
A . Alm disso, dado x A temos x.0 = 0 = 0.x , isto , {0} ideal
direita e esquerda de A . Para x A , a A claro que x a, a x A ,
e ento A tambm ideal direita e esquerda de A .
Existem anis que s possuem ideais triviais. Esses anis so

chamados de anis simples. Veremos abaixo que os corpos so
anis simples.
99
Lema 4.1.1. Seja I um ideal esquerda (ou direita) do anel com uni-
dade A . Se I contm um elemento inversvel de A , ento I = A .
Demonstrao. Trabalharemos com ideal esquerda. O raciocnio

para ideais direita o mesmo.
claro que I A .
Vamos provar a incluso A I . Seja a A . Por hiptese, existe
x I tal que x -1 A . Como I ideal esquerda de A , x I
e a x -1 A , temos que . Logo, A I e portanto
I = A.

Exemplo 4.1.3. Um corpo s possui ideais triviais.

Seja I um ideal do corpo K . Suponha que I {0}. Ento existe
0 a I , e como a K e K corpo, temos a -1 K . Assim, I pos-
sui um elemento inversvel de K , e pelo Lema acima conclumos que
I = K . Portanto I = {0} ou I = K , isto , K s tem ideais triviais.
Vejamos agora exemplo de ideal direita que no ideal es-

querda e vice-versa.
u v
Exemplo 4.1.4. Seja A = M 2 ( ) e I = M 2 ( ) .
0 0
a b
claro que se X , Y I , ento X - Y I . Se M = A e
c d
u v
X = I ento
0 0
u v a b u a + v c u b + v d
X M = = I .
0 0 c d 0 0
Portanto I ideal direita de A . No entanto, I no ideal
esquerda de A .
De fato,
1 1 1 1
X = I e M = A , porm
0 0 1 1
1 1 1 1 1 1
M X = = I .
1 1 0 0 1 1
Logo I no ideal esquerda.
100
Exemplo 4.1.5. Tome A = M 2 ( ) e

u 0
J = M 2 ( ) . claro que se X , Y J ento X - Y J .
v 0
a b u 0
Se M = A e X = J ento
c d v 0
a b u 0 a u + b v 0
M X = = J .
c d v 0 c u + d v 0
Portanto J ideal esquerda de A . No entanto, J no ideal
direita de A .
De fato,
1 0 1 1
X = J e M = A , porm
1 0 1 1
1 0 1 1 1 1
X M = = J .
1 0 1 1 1 1
Logo J no ideal direita de A .
Existe uma maneira rpida de produzir ideais de um anel qual-

quer. Para isso, basta tomar todos os mltiplos de um elemento
fixado no anel. O Lema abaixo traz um caso mais geral, onde to-
mamos a soma de mltiplos de vrios elementos.
Lema 4.1.2. Sejam A um anel e x1 , x2 ,..., xn A . Ento:
(1) Ax1 + Ax2 + ... + Axn = {a1 x1 + a2 x2 + ... + an xn ; ai A, i {1,..., n}}
ideal esquerda de A .
(2) x1 A + x2 A + ... + xn A = {x1a1 + x2 a2 + ... + xn an ; ai A, i {1,..., n}}
ideal direita de A .
Demonstrao. (1) Sejam u = a1 x1 + a2 x2 + ... + an xn ,

v = b1 x1 + b2 x2 + ... + bn xn Ax1 + Ax2 + ... + Axn e a A .
Note que a1 , a2 ,..., an , b1 , b2 ,..., bn A .

) x2 + ... + (an - bn ) xn Ax1 + Ax2 + ... + Axn , pois ai - bi A , i = 1, 2,..., n .
101
,
pois , i = 1, 2,..., n .
Portanto Ax1 + Ax2 + ... + Axn ideal esquerda de A .
(2) anloga prova de (1).

Corolrio 4.1.1. Se A um anel e x A ento:
(1) Ax = {a x; a A} ideal esquerda de A .
(2) x A = {x a; a A} ideal direita de A .
Demonstrao. consequncia imediata do Lema.

Definio 4.1.4. Sejam A um anel e x1 , x2 ,..., xn A . O ideal esquer-

da Ax1 + Ax2 + ... + Axn chamado ideal esquerda de A gerado
por x1 , x2 ,..., xn . O ideal direita x1 A + x2 A + ... + xn A chamado ideal
direita de A gerado por x1 , x2 ,..., xn .
No caso de trabalharmos com um nico elemento como gera-

dor, temos um nome especial para o ideal, de acordo com a defi-
nio seguinte.
Definio 4.1.5. Sejam A um anel e x A . O ideal esquerda Ax

chamado de ideal principal esquerda de A gerado por x . O ideal
x A chamado de ideal principal direita de A gerado por x .
Observao 4.1.3. Quando o anel A no tem unidade, pode ocor-

rer que o ideal principal gerado por x no contenha o elemento x.
Por exemplo, se tomarmos o anel A = 2 e o ideal gerado por
x = 2 , temos 2. A = 2.2 = 4 , que formado pelos mltiplos de 4.
Logo, o ideal gerado por 2 no contm o nmero 2. Quando o anel
A tem unidade claro que a situao acima no ocorre.
Exemplo 4.1.6. So exemplos de ideais de :
2 = {2 x ; x },
3 = {3 x ; x },

n = {nx ; x }; n .
102
Exemplo 4.1.7. So exemplos de ideais de 2 :
, para todo aa 2 .
Em particular, fazendo a = 7 , obtemos o ideal
formado pelos elementos da forma c + d 2 com c, d 7 .
Exemplo 4.1.8. , , e
so ideais do anel 4 . Na verdade estes so os
nicos ideais de 4 . De fato, seja um ideal de 4 . Se 1 I
ou 3 I , ento I = 4 , pois 1 e 3 so inversveis em 4 . Seno
resta apenas . Portanto, os ideais de 4 so exata-
mente 0. 4 , e .
No exemplo acima vimos que todos os ideais de 4 so princi-

pais. Por isso dizemos que 4 um anel principal, de acordo com
a definio seguinte.
Definio 4.1.6. Dizemos que o anel comutativo A anel principal

quando todo ideal de A ideal principal.
A prxima proposio mostra que n anel principal. Em par-

ticular, um domnio principal. Alm disso, esclarece que em
n os conceitos de subanel e ideal so exatamente os mesmos.
Proposio 4.1.1. Seja I um subconjunto no vazio de n . So

equivalentes:
(a) I = m (n ) = {mnx ; x } , para algum m .
(b) I ideal de n .
(c) I subanel de n .
Demonstrao. (a) (b) Segue do Corolrio 4.1.1.
(b) (c) Vimos isso na Observao 4.1.1.

103
(c) (a) Seja I um subanel de n .
Se I = {0} , ento I = 0 (n) . Basta tomar m = 0 .
Se I {0} , ento existe a I tal que a 0 . Desde que I su-

banel de n , temos que -a I . Segue que I possui um nmero
inteiro positivo. Pelo Princpio do Menor Inteiro, o conjunto I tem
um menor inteiro positivo t .
t I n t = mn , para algum m .
Provaremos que I = m(n) .
claro que m(n) I , pois mn I e I subanel de n .
Para ver a incluso contrria, tome u I e divida u por t = mn ,

obtendo quociente q e resto r , tais que
u = tq + r , 0r <t.
Note que u e tq esto em I , e assim r = u - tq I . Desde que t

o menor nmero inteiro positivo em I e 0 r < t , devemos ter
r = 0 . Portanto u = tq = m(nq ) m(n) .

Observao 4.1.4. Vimos na proposio anterior que todo ideal

I de n da forma I = m(n) , para algum m . Alm disso,
a demonstrao do item (c) (a) esclarece como obter este m , no
caso em que I {0} . A saber, tome o menor inteiro positivo que
est em I e divida-o por n . O quociente dessa diviso o m pro-
curado. Note que se n = 1 , isto , quando trabalhamos com o anel
, ento o ideal I {0} gerado pelo menor natural no nulo m
que pertence a I .
Corolrio 4.1.2. Sejam n, t , so equivalentes:
(a) t ideal de n
(b) n | t
Demonstrao.
(a) (b) Desde que t ideal de n , segue da Proposi-

o 4.1.1 (b) (a) que t = m(n) , para algum m . Ento
t = t 1 t = m(n) , isto , t m(n) e portanto n | t .
104
(b) (a) Como n | t , podemos escrever t = mn , para algum m .

Ento t = mn = m(n) e m(n) ideal de n pela Proposio
4.1.1 (a) (b).

Corolrio 4.1.3. Seja I um subconjunto no vazio de . So equi-

valentes:
(a) I = m = {mx; x } , para algum m .
(b) I ideal de .
(c) I subanel de .
Demonstrao. Basta fazer n = 1 na Proposio 4.1.1.

Exemplo 4.1.9. Verificar que I = {x ;12 | x 2 } ideal de e de-

terminar m tal que I = m .
claro que I , pois 0 I .
Sejam x, y I . Ento 12 | x 2 e 12 | y 2 .
Como 2 |12 , temos que 2 | x 2 . Mas 2 nmero primo e ento 2 | x .
Um raciocnio anlogo mostra que 3 | y .
Ento 6 | xy e 12 | (-2 xy ) . Assim, ( x - y ) 2 = x 2 - 2 xy + y 2 divisvel
por 12. Segue que x - y I .
Seja a . Como 12 | x 2 , temos que 12 | (ax) 2 , e ento ax I .
Logo I ideal de .
De acordo com o Corolrio 4.1.3, existe m tal que I = m .
Vimos na Observao 4.1.4 que m o menor nmero natural que
pertence a I . Como 36 o menor quadrado perfeito que divis-
vel por 12, conclumos que m = 6 . Portanto I = 6 .
Veremos a seguir que os anis n tambm so anis princi-

pais. Alm disso, classificaremos os ideais de n e veremos que
em n os conceitos de subanel e ideal coincidem.
Proposio 4.1.2. Seja I um subconjunto no vazio de n . So

equivalentes:
(a) I = m n = {mx ; x n } , para algum m n .
(b) I ideal de n .
105
(c) I subanel de n .
Demonstrao.
(a) (b) Segue o Corolrio 4.1.1.
(b) (c) Vimos isso na Observao 4.1.1.
(c) (a) Se I = {0} , basta tomar m = 0 .
Se I {0} , ento o conjunto S = {a * ; a I } no vazio. Pelo

Princpio do Menor Inteiro existe um menor nmero natural no
nulo m S . E ento m I .
Vamos mostrar que I = m n .
" " Seja u m n . Ento, u = m x = mx , para algum x .

Como u = m x = m (1 + 1 + ... + 1) , x parcelas
= m + m + ... + m ,
segue que u I , pois m I e I subanel.
" " Seja u I . Como I n , temos que u n e ento

u = u + n .
Dividindo u por m obtemos quociente q e resto r tais

que
u = mq + r , 0 r < m .
Assim, r = u - mq e da r = u - m q I , pois u I e
m q m n I .
Como r I , 0 r < m e m o menor natural no nulo tal que
m I , devemos ter r = 0 . Segue que u = mq e ento
u = m q m n .

Observao 4.1.5. De forma anloga Observao 4.1.4, destaca-

mos que o gerador m de um ideal no nulo I do anel n , pode
ser obtido tomando m como o menor nmero natural no nulo
tal que m I .
Existe uma forma mais rpida para provar que todo ideal de
n principal, usando homomorfismo de anis. Isso est propos-
to no Exerccio 9 da Seo 5.2.
106
Lista de exerccios
a b
1) Verifique se I = M 2 ( ) ideal direita de M 2 ( ).
c 0
a b
2) Verifique se I = M 2 ( ) ideal esquerda de
M 2 ( ) . 0 c
3) Verifique se I ideal do anel comutativo A quando:
a) e A=.
b) e A=.
c) I = 2 x 3 e A = x .
d) I = n x m e A = x .
e) I = 6 e A = 2 .
f) e A = 9 .
g) e A = 12 .
h) e A = .
4) Descreva todos os ideais de 6 e todos os ideais de 8 .
5) Se p um nmero primo positivo, quais so os ideais de pp?
6) Apresente 3 ideais no triviais de 5 .
7) Verifique que ideal de e determine

n tal que I = n .
8) Calcule n tal que 3 + 5 = n .
9) Se I ideal do anel A e J ideal do anel B , mostre que

I x J ideal do anel A x B .
10) Sejam I e J ideais do anel A tais que I J = {0}. Mostre

que x y = 0, x I e y J .
11) Se I ideal do anel comutativo A , verifique que

J = {x A; xi = 0, i I } ideal de A .
107
4.2 Aritmtica de ideais

Nesta seo veremos que a interseco de ideais novamente
um ideal, mas que a unio de ideais pode no ser um ideal. Tam-
bm produziremos novos ideais a partir das definies de soma
e produto de ideais.
Proposio 4.2.1. Sejam I e J ideais esquerda (respectivamente

direita) do anel A . Ento I J ideal esquerda (respectivamente
direita) de A .
Demonstrao.
Faremos apenas esquerda. A outra situao anloga.

Como I e J so ideais esquerda, temos 0 I e 0 J , da
IJ .
Dados x, y I J temos que x, y I e x, y J .
Logo x - y I J .
Seja agora a A . Novamente usando o fato de I e J serem
ideais esquerda de A , obtemos a x I e a x J .
Portanto a x I J e I J ideal esquerda do anel A .
Exemplo 4.2.1. 2 3 = 6 .
Claro que um elemento de 2 3 mltiplo de 6, e reciproca-
mente todo elemento de 6 mltiplo de 2 e 3.
Veja o Exerccio 2(a) desta seo, que generaliza o exemplo acima.
O exemplo abaixo mostra que se I e J so ideais de A que

no tm a mesma lateralidade, pode ocorrer que I J no ideal
direita e nem esquerda de A .
a b
Exemplo 4.2.2. Sejam A = M 2 ( ), I = M 2 ( ) e
0 0
a 0
J = M 2 ( ) . J vimos que I ideal direita que no
b 0
ideal esquerda, e que J ideal esquerda que no ideal
direita.
108
a 0
fcil ver que I J = M 2 ( ). No entanto, I J no
0 0
ideal esquerda e nem direita de A .
De fato,
1 0 1 1
X = I J , M = A,
0 0 1 1
1 1 1 0 1 0
M X = = I J
1 1 0 0 1 0
e
1 0 1 1 1 1
X M = = I J .
0 0 1 1 0 0
No verdade, em geral, que a unio de ideais um ideal. Veja

o exemplo abaixo.
Exemplo 4.2.3. 2 3 = {x ; 2 | x ou 3 | x} no ideal de .

De fato,
2,3 2 3 , porm 3 - 2 = 1 2 3 .
Notaes: Sejam I e J ideais direita ou esquerda de A . Usa-

remos as seguintes notaes:
I + J = {x + y ; x I e y J }
e
n
I . J = xi yi ; n , xi I , yi J .
i =1
Note que I . J o conjunto de todas as somas finitas de elemen-
tos de I multiplicados por elementos de J . Tambm claro que
I+J =J +I .
Proposio 4.2.2. Sejam A um anel e II,,JJ

AA.

(1) Se I e J so ideais esquerda de A, ento I + J ideal esquerda de A.
(2) Se I e J so ideais direita de A, ento I + J ideal direita de A.
(3) Se I ideal esquerda e J ideal esquerda ou direita de A, ento

I.J ideal esquerda de A.
109
(4) Se J ideal direita e I ideal esquerda ou direita de A, ento

I.J ideal direita de A.
(5) Se I ideal esquerda e J ideal direita de A, ento I.J ideal de A.
Demonstrao.
(1) claro que I + J , pois I e J .

Sejam u , v I + J . Escreva u = a + b , v = c + d com a, c I e
b, d J .
Como I e J so ideais esquerda, temos a - c I e b - d J .
Logo .
Seja agora aa A . Novamente pelo fato de I e J serem ideais
esquerda, temos aa a I e aa b J . Logo
.
Portanto I + J ideal esquerda de A .
(2) anloga (1).
(3) claro que I . J , pois I e J .

n m
Sejam u , v I . J . Ento u = ai bi , v = c j d j com m, n ,
i =1 j =1
ai , c j I e bi , d j J , i = 1, 2,..., n e j = 1, 2,..., m . Como I ide-
al esquerda de A temos . Logo
soma finita de elementos de I multiplicados por elementos de

J , isto , u - v I . J .
Seja agora a A . Pelo fato de I ser ideal esquerda de A e ai I ,
vem que a ai I . Logo .
Portanto I . J ideal esquerda de A .
(4) anloga (3).
(5) Como I ideal esquerda, segue de (3) que I . J ideal

esquerda. Como J ideal direita, segue de (4) que I . J ideal
direita. Portanto I . J ideal de A .

110
Definio 4.2.1. O ideal ( esquerda ou direita) I + J chamado

de soma dos ideais I e J .
Definio 4.2.2. O ideal ( esquerda ou direita) I . J chamado

de produto dos ideais I e J .
O exemplo abaixo mostra que se I e J so ideais de A que

no tm a mesma lateralidade, pode ocorrer que I + J no ideal
esquerda e nem direita de A .
a b
Exemplo 4.2.4. Sejam A = M 2 ( ), I = M 2 ( ) e
0 0
a 0
J = M 2 ( ) . Sabemos que I ideal direita, que no
b 0
ideal esquerda, e que J ideal esquerda que no ideal
direita.
a b
fcil ver que I + J = M 2 ( ) . No entanto, I + J no
c 0
ideal esquerda e nem direita de A .
De fato,
1 1 1 1
X = I + J , M = A,
1 0 1 1
1 1 1 1 2 1
M X = = I + J
1 1 1 0 2 1
e
1 1 1 1 2 2
X M = = I + J .
1 0 1 1 1 1
Exemplo 4.2.5. 2 + 3 = .
claro que 2 + 3 . Por outro lado, dado x vamos mos-
trar que x 2 + 3 . Como , aplicamos a Identidade
de Bezout para obter r , s tais que 1 = 2r + 3s . Multiplicando
por x temos . Portanto 2 + 3 e
da 2 + 3 = .
O exemplo acima pode facilmente ser generalizado de acordo

com a proposio seguinte.
111
Proposio 4.2.3. Sejam m, n . Ento m + n = d se, e so-

mente se, d = mdc (m, n) .
Demonstrao.
() Pela Proposio 4.2.2 sabemos que m + n ideal de .

Ento, pelo Corolrio 4.1.3, existe d tal que m + n = d .
Podemos escrever d = mu + nv , com u , v .
Vamos provar que d = mdc (m, n) .
Como m m + n = d temos que d | m . Analogamente, d | n .
Seja d ' tal que d | m e d | n .
Ento d | (mu + nv) , isto , d | d .
Portanto d = mdc (m, n) .
() Como d = mdc (m, n) , temos que d | m e d | n .

Podemos escrever m = du e n = dv , com u , v .
Segue que m d e n d .
Mas d ideal de , e ento, m d e n d .
Logo m + n d .
Para provar a incluso contrria usamos a identidade de Bezout,
obtendo r , s tais que d = mr + ns m + n .
Mas m + n ideal de , e ento, d m + n .

Exemplo 4.2.6. 360 + 540 = 180 pois .
Exemplo 4.2.7. Em 8 tome os ideais e
fcil ver que 2. 8 + 4. 8 = 2. 8 .
{}
Exemplo 4.2.8. Em 8 temos que 2. 8 .4. 8 = 0 , pois todos os
produtos so 0 .
Exemplo 4.2.9. 2 .3 = 6 . De fato, todo mltiplo de 6 produ-

to de um mltiplo de 2 por um mltiplo de 3. E respectivamente,
todas as somas finitas cujas parcelas so formadas pelo produto
de um mltiplo de 2 por um mltiplo de 3 resulta em um mlti-
plo de 6.
O exemplo acima pode ser generalizado. Veja o Exerccio 2(b).

112
a 0
Exemplo 4.2.10. Sabemos que I = M 2 ( ) ideal
b 0
x y
esquerda de M 2 ( ) e J = M 2 ( ) ideal direita de
M 2 ( ) . 0 0
De acordo com a Proposio 4.2.2(5), I . J ideal de M 2 ( ). Va-

mos verificar que I . J = M 2 ( ).
Note que
1 0 0 0
x1 = , x2 = I
0 0 1 0
e
1 0 0 1
y1 = , y2 = J .
0 0 0 0
Ento,
1 01 0 0 0 0 1
x1 y1 + x2 y2 = +
0 0 0 0 1 0 0 0
1 0 0 0 1 0
=
0 0 + 0 1 = 0 1 I. J .

1 0
Como elemento inversvel de M 2 ( ), que est em I . J ,
0 1
aplicamos o Lema 4.1.1 para concluir que I . J = M 2 ( ).
Informao. No exemplo anterior vimos que se

a 0 x y
I = M 2 ( ) e J = M 2 ( ) ento I . J ideal
b 0 0 0
bilateral de M 2 ( ) e I . J = M 22 ( ). Esse exemplo um caso parti-
cular de um resultado devido a McCoy, que assegura que
anel simples quando K corpo. De outra forma, se K corpo
ento s tem ideais (bilaterais) triviais. No caso do exem-
plo anterior, podemos concluir a partir do resultado de McCoy,
que M 2 ( ) s tem {0} e M 2 ( ) como ideais. Desde que I . J
ideal e I . J {0} vem que I . J = M 22 ( ).
113
Lista de exerccios
1) Determine n tal que 5 7 = n .
2) Sejam a, b . Verifique que:
a) a b = m ; m = mmc {a, b}.
b) a .b = a b .
3) Determine n tal que 5 + 7 = n .
4) Sejam 2,3 6 .
a) Descreva o ideal I gerado por 2 .
b) Descreva o ideal J gerado por 3 .
c) Calcule o ideal produto I . J .
5) Seja p um nmero primo positivo. Quais so os ideais de

que contm p ?
6) Seja A um anel comutativo com unidade. Se I e J so ideais

principais de A , verifique que I . J = {x y; x I e y J }.
7) Seja A um anel comutativo com unidade. Se I = aA e J = bA

so ideais principais de A gerados respectivamente por a e
b , determine c A tal que I . J = cA .
8) Sejam I = 3 e J = p os ideais de gerados por 3 e

respectivamente. Calcule I . J .
9) Sejam I e J ideais do anel A . Prove que I . J I J .
4.3 Ideais primos e ideais maximais

Os ideais primos e os ideais maximais so classes especiais de
ideais, que sero teis na prxima seo para determinar a me-
lhor estrutura algbrica dos anis quocientes.
Neste trabalho abordaremos apenas ideais primos e ideais ma-

ximais em anis comutativos. O estudo para anis no comutati-
vos bem mais complexo, e est alm dos objetivos deste curso.
114
Definio 4.3.1. Sejam A um anel comutativo e P um ideal de A .

Dizemos que P ideal primo de A quando P A e
a, b A e a b P a P ou b P .
Definio 4.3.2. Sejam A um anel comutativo e M um ideal de A .

Dizemos que M ideal maximal de A quando M A e
I ideal de A e M I A I = M ou I = A.
A proposio seguinte relaciona ideais primos e ideais maxi-

mais de um anel comutativo com unidade.
Proposio 4.3.1. Em um anel comutativo com unidade todo ideal ma-

ximal primo.
Demonstrao. Seja M um ideal maximal do anel comutativo

com unidade A .
Para provar que M ideal primo tomamos a, b A tais que
a b M , e vamos provar que a M ou b M .
Suponha que a M e forme o ideal principal a A .
Sabemos que a soma de ideais ideal e portanto, M + a A ideal
de A .
Como 1 A , temos que a = 0 + a.1 M + a A , mas a M e en-
to M M + a A A . Desde que M ideal maximal de A con-
clumos que M + a A = A .
Em particular 1 A = M + a A , e da existem m M e x A tais
que 1 = m + a x . Multiplicando por b , vem que .
Sabemos que m, ab M e da
m M mb M
mb M e .
Portanto b M e M ideal primo de A .

Veremos agora que a existncia da unidade no anel essencial

na proposio anterior. Em outras palavras: em anel sem unidade
pode existir ideal maximal que no primo.
115
Exemplo 4.3.1. No anel A = 2 o ideal 4 maximal, mas no

primo.
claro que 4 no ideal primo de 2 , pois 2 2 e 2.2 4 ,
mas 2 4 .
Para ver que 4 ideal maximal tome um ideal I de A tal que
4 I 2 .
Pela Proposio 4.1.1, I = 2m .
Ento 4 2m 2 , e da 2m | 4 .
Segue que m = 1 ou m = 2 .
Logo I = 2 ou I = 4 , e portanto 4 ideal maximal de 2 .
O prximo exemplo mostra que no vale a recproca da Proposi-

o 4.3.1, isto , existem ideais primos que no so ideais maximais.
Exemplo 4.3.2. No anel o ideal {0} primo, mas no maximal.

claro que {0} no ideal maximal de , pois 2 ideal de
e {0} 2 .
Para ver que {0} ideal primo de tomamos a, b tais que
ab {0}.
Assim ab = 0 , e como domnio conclumos que a = 0 ou b = 0 ,
isto , a {0} ou b {0}. Portanto {0} ideal primo de .
Veremos a seguir que possvel saber exatamente quando {0}

ideal primo e quando {0} ideal maximal de um anel comuta-
tivo com unidade.
Proposio 4.3.2. Seja A um anel comutativo com unidade. So equi-

valentes:
(a) {0} ideal primo de A .
(b) A um domnio.
Demonstrao. (a) (b) Sejam a, b A tais que ab = 0 . Ento

ab {0}, e como {0} ideal primo, vem que a {0} ou b {0}.
Portanto a = 0 ou b = 0 e A domnio.
(b) (a) Sejam a, b A tais que ab {0}. Ento ab = 0 , e como

A domnio, vem que a = 0 ou b = 0 .
Portanto a {0} ou b {0} e {0} ideal primo de A .

116
Proposio 4.3.3. Seja A um anel comutativo com unidade. So equi-

valentes:
(a) {0} ideal maximal.
(b) A corpo.
Demonstrao. (a) (b) Seja a A , a 0 . Devemos mostrar

que a tem inverso em A .
claro que a = a.1 a A , e ento o ideal a A diferente de {0}.
Assim {0} a A A , e como {0} ideal maximal devemos con-
cluir que a A = A . Ento 1 A = a A e existe a -1 A tal que
1 = a a -1 .
Portanto A corpo.
(b) (a) Seja I um ideal de A tal que {0} I A .

Se I = {0} nada temos para fazer.
Se I {0} existe 0 a I A , e como A corpo existe a -1 A .
Logo, I contm um elemento inversvel do anel A e portanto I = A .
Assim I = {0} ou I = A , isto , {0} ideal maximal de A .

Aplicando as proposies acima podemos justificar cada uma

das afirmaes feitas no prximo exemplo.
Exemplo 4.3.3.
{0} ideal primo e maximal de .

{0} ideal primo e maximal de p , p = primo positivo .
{0} ideal primo e maximal de .
ideal primo e maximal de p , p = primo positivo .
{0} ideal primo de .

{0} ideal primo de p , p = primo positivo .
Exemplo 4.3.4. {0} no ideal maximal de n , n 0 .

De fato, 2n ideal de n e {0} 2n n .
Em particular,
{0} 4 2 diz que {0} no ideal maximal de 2 .

117
{0} 6 3 diz que {0} no ideal maximal de 3 .
Quando n 0 temos que {0} ideal primo de n . Veja o Exerc-

cio 10.
Exemplo 4.3.5.
6 no ideal maximal de , pois 6 2 .
6 no ideal primo de , pois 2.3 6 mas 2 6 e 3 6 .
Note que no exemplo acima podemos trocar 6 por qualquer

nmero natural n > 1 , que no seja primo. De fato, se n no pri-
mo existem a, b , 1 < a, b < n , tais que n = a b. Ento ab n
mas a, b n pois a, b < n . Isso garante que n no ideal primo
de . Para ver que n no ideal maximal de basta observar
que n a . Isso justifica o prximo exemplo.
Exemplo 4.3.6. Se n , n > 1 , no nmero primo, ento n

no ideal maximal de e n no ideal primo de .
Veremos a seguir que quando n primo o ideal n primo e

maximal em . Note que o exemplo anterior tambm pode ser
visto como consequncia da proposio abaixo.
Proposio 4.3.4. Seja n , n 2 . So equivalentes:
(a) n nmero primo.
(b) n ideal maximal de .
(c) n ideal primo de .
Demonstrao.
(a) (b) Como n 2 temos que n .

Seja I um ideal de tal que n I .
Vimos no Corolrio 4.1.3 que I = m para algum m . Desde
que n n I = m vemos que m | n , mas n primo, temos
m = 1 ou m = n .
Quando m = 1 segue que I = m = , e quando m = n , segue
que I = m = n .
Portanto n ideal maximal de .
118
(b) (c) Segue da Proposio 4.3.1.
(c) (a) Provaremos que n elemento primo, e ento, pela Pro-

posio 3.3.4 teremos que n nmero primo.
Sejam a, b tais que n | ab .
Devemos mostrar que n | a ou n | b .
Como n | ab temos que ab n . Mas por hiptese, n ideal
primo.
Ento a n ou b n .
Segue que n | a ou n | b .

Exemplo 4.3.7.
2 ideal primo e maximal de .
60 no ideal primo nem maximal de .
A Proposio 4.3.1 uma ferramenta para obter ideais primos de

um anel comutativo com unidade. De fato, basta encontrar um ideal
maximal e certamente ele ser um ideal primo. No entanto, nem
sempre fcil explicitar ideais maximais. Algumas vezes, mesmo
sem poder explicitar ideais maximais, til saber que eles existem.
A seguir enunciaremos um teorema que assegura que todo

ideal diferente do anel est contido num ideal maximal. Observe
que este resultado garante que anis com muitos ideais podem
ter muitos ideais maximais e, consequentemente, muitos ideais
primos.
No faremos a prova deste teorema, mas informamos que sua

demonstrao utiliza um belo resultado da Matemtica, conheci-
do como Lema de Zorn.
Teorema 4.3.1. Seja A um anel comutativo com unidade. Se I ideal

de A e I A , ento existe um ideal maximal M de A tal que I M .

119
Essencialmente o Teorema 4.3.1 garante que todo ideal diferen-

te de A est dentro de um ideal maximal de A . Podemos tirar da
um corolrio interessante que relaciona elementos no inversveis
com ideais maximais.
Corolrio 4.3.1. Seja A um anel comutativo com unidade. Todo ele-

mento no inversvel de A est contido num ideal maximal de A .
Demonstrao. Seja a A um elemento no inversvel em A .

Ento ax 1 , para todo x A . Segue que a A A , pois 1 A e
1 a A .
Como a A ideal de A e a A A , o Teorema 4.3.1 acima diz que
existe um ideal maximal M de A tal que a A M . Portanto
a = a.1 a A M .

Exemplo 4.3.8. Sabemos que 2 4 no elemento inversvel de

4 . Pelo corolrio acima, existe um ideal maximal M de 4 tal
que 2 M . Tome que o ideal de 4 gerado por
2 . Claro que 2 M . Alm disso M ideal maximal de 4 pois
os ideais de 4 so , e 4 , como vimos no Exemplo 4.1.8.
Lista de exerccios
1) Verifique se 6 ideal maximal de 2 .
2) Verifique se 6 ideal primo de 2 .
3) Verifique se 9 ideal maximal de 3 .
4) Verifique se 9 ideal primo de 3 .
5) Descreva os ideais primos de 4 e de 6 .
6) Descreva os ideais maximais de 6 e de 12 .
7) A soma de ideais primos sempre um ideal primo?
8) A soma de ideais maximais sempre um ideal maximal?
9) Apresente 3 exemplos de ideais maximais que no so ide-

ais primos.
10) Mostre que {0} ideal primo de n , n 0 .

120
4.4 Anel quociente

Veremos nesta seo que cada ideal do anel A define uma re-
lao de equivalncia em A , e que o conjunto das classes de equi-
valncia um anel, que chamaremos de anel quociente.
A construo do anel quociente pode ser vista como uma gene-

ralizao da construo do anel n . Portanto, vamos construir os
anis quocientes seguindo etapas usadas na construo do anel n .
Inicialmente lembre que para descrever o anel n definimos

no anel a relao
Que pode ser escrita na forma:
a b (mod n ) a - b n .
Portanto, a relao de congruncia mdulo n determinada a

partir do ideal n do anel . Para indicar isso, vamos mudar um
pouco a notao da congruncia mdulo n , destacando o ideal n .
Agora vamos generalizar esta ideia, trocando o anel por um

anel qualquer A , e trocando o ideal n por um ideal I do anel
A . Assim, o ideal I do anel A define no anel A a relao
A expresso deve ser lida a congruente b m-

dulo I ou a est relacionado com b mdulo I .
Exemplo 4.4.1. O ideal I = 2 define no anel A = a relao
a b (mod 2 ) a - b 2 ,
que o mesmo que
a b (mod 2 ) 2 | (a-b).
(a - b )
Neste caso, dois nmeros inteiros so congruentes mdulo 2 ,
quando a diferena entre eles um nmero par. claro que a
121
diferena entre nmeros pares par, a diferena entre nmeros

mpares par, e a diferena entre um nmero par e um nmero
mpar mpar.
Portanto:
Quaisquer dois nmeros pares so congruentes mdulo 2 .
Quaisquer dois nmeros mpares so congruentes mdulo 2 .
Um nmero par nunca congruente a um nmero mpar

mdulo 2 .
Observe que podemos dividir o anel em dois subconjuntos

disjuntos, de forma que os elementos de cada subconjunto so
congruentes entre si, mas no so congruentes aos elementos do
outro subconjunto.
De fato,
= {a ; a par} {a ; a mpar}
= {a ; a par} {a ; a mpar}.
Exemplo 4.4.2. Considere o anel e o ideal

. A relao em 6 definida por I
claro que um elemento sempre est relacionado com ele mes-

mo, e ento 0 0 (mod I ), 1 1(mod I ),..., 5 5 (mod I ). Tambm
0 3 (mod I ), 1 4 (mod I ), 2 5 (mod I ) e nenhuma outra relao
existe entre elementos de 6 .
Observe que podemos dividir 6 em trs subconjuntos disjuntos
dois a dois, de forma que os elementos de cada subconjunto so
congruentes entre si, mas no so congruentes a elementos dos
outros subconjuntos.
De fato,
122
Nos dois exemplos acima vimos que a relao definida pelo

ideal I no anel A , produziu uma decomposio do anel A em
subconjuntos dois a dois disjuntos no vazios, isto , o ideal I
produziu uma partio do anel A . Alm disso, os elementos de
cada subconjunto da partio esto relacionados entre si, mas no
esto relacionados com elementos de outro subconjunto da parti-
o. Provaremos na Proposio 4.4.2 que isso no coincidncia,
mas sim um fato geral. Com este objetivo em mente vamos estu-
dar classes de elementos relacionados.
Comeamos mostrando que a relao de congruncia mdulo

um ideal uma relao de equivalncia. Note que j verificamos
isso, na Seo 2.3, para a congruncia mdulo n .
Proposio 4.4.1. Se I um ideal do anel A ento a relao

x y (mod I ) uma relao de equivalncia em A , isto , para a, b, c A
vale:
(1) - Reflexiva;
(2) - Simtrica;
(3) e - Transitiva.
Demonstrao.
(1) Como I ideal de A temos que a - a = 0 I . Logo a a (mod I )

.
(2) Se a b (mod I ) ento a - b I . Como I ideal temos que

. Logo b a (mod I ) .
(3) Se a b (mod I ) e b c (mod I ) ento a - b I e b - c I .

Como I ideal temos que . Logo a c (mod I )
.

Definio 4.4.1. Seja I um ideal do anel A . Dado a A , chamamos

de classe de equivalncia de a mdulo I , ao conjunto de todos os
elementos de A que so congruentes a mdulo I .
Notao: .
123
Observao 4.4.1. O conjunto a no vazio.

De fato, a relao congruncia mdulo I reflexiva, e da
a a (mod I ). Portanto, a a .
Observao 4.4.2. .
Basta notar que a congruncia mdulo I relao simtrica, isto
, a b (mod I ) o mesmo que b a (mod I ) .
O Lema abaixo traz uma alternativa para descrever os elemen-

tos de a . Para isso, recordamos a notao a + I = {a + u ; u I }.
Lema 4.4.1. Sejam I um ideal do anel A e a A . Ento a = a + I .
Demonstrao.
b a b a (mod I )
b - a I b - a = u,u I
b = a + u ,u I b a + I .

Exemplo 4.4.3. J sabemos que o ideal 2 define a relao em ,

.
Vamos calcular algumas classes de equivalncia mdulo 2 .

Note que estamos repetindo o que fizemos na seo 2.3.
0 = 0 + 2 = {0 + u , u 2 }= {x ; x par}
1 = 1 + 2 = {1 + u , u 2 }= {x ; x mpar}
2 = 2 + 2 = {2 + u , u 2 }= {x ; x par}
3 = 3 + 2 = {3 + u , u 2 }= {x ; x mpar}
-1 = -1 + 2 = {-1 + u , u 2 }= {x ; x mpar}
-2 = -2 + 2 = {-2 + u , u 2 }= {x ; x par}.
No exemplo acima verificamos que:
0 2 (mod 2 ), 0 -2 (mod 2 ) e 0 = 2 = -2 = 0 + 2
1 3 (mod 2 ), 1 -1(mod 2 ) e 1 = 3 = -1 = 1 + 2
0 1 = e 0 1 = .
124
Isso sugere que quando os elementos so congruentes suas

classes so iguais, e se as classes no so iguais ento elas so
disjuntas. Veremos a seguir que isso vale para toda relao de
congruncia mdulo I definida por um ideal I .
Proposio 4.4.2. Sejam I um ideal do anel A e a, b A .
(1) a = b a b (mod I )
(2) a = b ou a b = .
(3) O anel A a unio das classes dos seus elementos.
Demonstrao.
(1) a a = b a b a b (mod I ) .
Vamos provar que a b . A outra incluso anloga.
Seja u a , isto , u a (mod I ). Por hiptese, a b (mod I ), e
como a congruncia mdulo I relao transitiva, temos que
u b (mod I ).
Portanto u b e ento a b .
(2) Se a b = nada temos para fazer.

Suponha que existe z a b . Como z a vemos que z a (mod I ).
Da mesma forma, z b implica em z b (mod I ) .
Pela transitividade da congruncia mdulo I segue que
a b (mod I ), e pelo item (1) conclumos que a = b .
(3) Queremos provar que A = a . Como a A para todo a A ,

a A
claro que a A . Por outro lado, dado b A sabemos que
a A
b b a , pois b um dos conjuntos que esto sendo reuni-
a A
dos. Logo A a e vale A = a .
a A a A

Conhecendo o resultado geral provado na Proposio 4.4.2, fica

mais fcil descrever as classes de equivalncia definidas por um
ideal. Veja os prximos exemplos.
Exemplo 4.4.4. Descrever as classes de equivalncia que o ideal

define no anel 6 .
125
Primeiro tomamos a classe de 0 6 , isto , .
Como 1 6 e 1 / 0 (mod I ), produzimos uma nova classe
Como 2 6 , 2 / 0 (mod I ) e 2 / 1(mod I ), produzimos outra clas-
se, . Como todo elemento de 6 est em 0 , 1
ou 2 , no h outras classes.
Portanto, o conjunto das classes de equivalncia que
o ideal I = 3. 6 define no anel 6 .
Exemplo 4.4.5. Descrever as classes de equivalncia que o ideal

3 define no anel .
Iniciamos com a classe do zero, 0 = 0 + 3 formada pelos mlti-
plos de 3.
Como 1 / 0 (mod 3), temos uma nova classe definida por 1. A sa-
ber, 1 = 1 + 3 , formada pelos mltiplos de 3 somados com 1.
Como 2 / 0 (mod 3) e 2 / 1(mod 3), temos tambm a classe
2 = 2 + 3 , formada pelos mltiplos de 3 somados com 2.
Por outro lado, todo nmero inteiro est numa destas trs classes
( mltiplo de 3, ou mltiplo de 3 somado com 1, ou mltiplo
de 3 somado com 2).
Portanto o conjunto das classes de equivalncia que 3
define em .
Exemplo 4.4.6. Um raciocnio totalmente anlogo ao que fizemos

no exemplo acima garante que:
o conjunto das classes de equivalncia que o ideal 4

define em .
o conjunto das classes de equivalncia que o ideal

5 define em .
o conjunto das classes de equivalncia que o ideal

n define em .
126
Para cada n , n 2 , o ideal n gera a relao:
Assim a relao congruncia mdulo n , coincide com a rela-

o congruncia mdulo n , estudada no Captulo II. Logo, o con-
junto das classes de equivalncia , que o ideal n
define em , exatamente o conjunto n . Mas sabemos que n
um anel com as operaes a + b = a + b e a . b = a b , e ento con-
clumos que o conjunto das classes de equivalncia
tambm um anel com essas operaes.
Nosso prximo objetivo verificar que o fato de o conjunto das

classes de equivalncia geradas por n em ser um anel, no
um resultado isolado. Trocando o anel por um anel qualquer
A , e trocando o ideal n de por um ideal I de A , vamos
verificar que o conjunto das classes de equivalncia geradas pelo
ideal I no anel A novamente um anel.
O conjunto das classes de equivalncia geradas no anel A pelo

A
ideal I ser denotado por . Assim,
I
.
Observao 4.4.3. Note que no caso particular em que A = e
I = n temos .
A
Para que seja anel precisamos definir operaes de adio e
I
A
multiplicao em . Faremos isso com base nas operaes defi-
I

nidas em n = .
n
127
A A
Sejam a, b . Defina a adio e a multiplicao em , res-
I I
pectivamente, por
a+b = a+b
a .b = a b .
Assim,
A A A A A A
+: e :
I I I I I I
(a, b ) a+b

(a, b ) ab.
A
Sabemos que os elementos de so classes de equivalncia,
I
isto , so conjuntos de elementos congruentes mdulo I , e de
acordo com a Proposio 4.4.2(1) cada um dos elementos da classe
pode represent-la. Portanto precisamos verificar que as opera-
A
es de adio e multiplicao em no dependem da escolha
I
de representante para as classes operadas.
A
Proposio 4.4.3. As operaes de adio e multiplicao em esto
I
bem definidas, isto ,
A
a, b, x, y , a + b = x + y e a. b = x. y .
I
Demonstrao. A principal ferramenta para esta demonstrao

a Proposio 4.4.2(1), que assegura que duas classes so iguais se,
e somente se, os elementos so congruentes.
a = x a x (mod I ) a - x I .
b = y b y (mod I ) b - y I .
Como a - x, b - y I e I ideal temos que .

Segue que , isto , a + b x + y (mod I ).
Pela Proposio 4.4.2(1) conclumos que a + b = x + y e ento

a+b =x+ y.
Como a - xI , b A e I ideal de A , temos

. Analogamente, b - y I , x A e I
128
ideal de A , leva . Agora sabemos que

a b - x b , x b - x y I e ento a b - x b + x b - x y I , isto ,
a b - x y I . De outra forma, a b x y (mod I ). Pela Proposi-
o 4.4.2(1) conclumos que a b = x y e ento ab = x y .
Agora vamos provar o principal resultado desta seo. Chama-

mos a ateno para o fato de que a prova deste teorema anloga

que fizemos para o anel n = na Proposio 2.3.3.
n
A
Teorema 4.4.1. Se I um ideal do anel A ento , +, um
anel. I
A
Demonstrao. Vamos provar que , +, satisfaz os seis axio-
I
A
mas de anel. Sejam a, b, c . Lembre que a, b, c A e
I
satisfaz os seis axiomas de anel.
Axioma (i): a + b = b + a .
a +b =a +b = b+ a = b+ a .
Na segunda igualdade acima usamos a + b = b + a e, da,

a+b = b+a.
Axioma (ii): a + (b + c) = ( a + b) + c .
a + (b + c) = a + (b + c) = a + (b + c) = (a + b) + c = (a + b) + c = (a + b) + c.
Na terceira igualdade acima usamos a + (b + c) = (a + b) + c e, da,

a + (b + c) = (a + b) + c .
Axioma (iii): Elemento neutro
Como A anel, existe 0 A . Vamos provar que 0 o elemento

A
neutro de .
I
a+0 = a+0 = a e 0+a = 0+a = a .
129
Axioma (iv): Elemento simtrico

A
Para a temos a A , e ento existe -a A tal que
I
. Tomando classes mdulo I vem que,
Logo, 0 = (-a ) + a = a + (- a ) e (-a ) o simtrico de a .
Axioma (v): a (b c) = (a b) c .
Anlogo ao axioma (ii).
Axioma (vi): a (b + c) = a b + a c e (b + c) a = b a + c a .
a (b + c) = a (b + c) = a (b + c) = a b + a c = a b + a c = a b + a c.
A outra igualdade anloga.

A
Definio 4.4.2. Seja I um ideal do anel A . O anel chamado de
I
anel quociente de A por I .
Observao 4.4.4. Vimos na demonstrao acima que se 0 o ele-
mento neutro da adio do anel A e I um ideal de A , ento

A
0 o elemento neutro da adio de . De forma anloga pode
I
A
ser provado que se 1 unidade de A , ento 1 unidade de .
I
A
Tambm vimos que a comutatividade da adio em consequn-
I
cia da comutatividade da adio em A . De forma anloga pode ser
provado que se a multiplicao comutativa em A , ento a multi-
A
plicao em comutativa. Deixaremos a prova desses dois fatos
I
como exerccio. Vamos apenas registr-los aqui como corolrio.
Corolrio 4.4.1. Sejam A um anel e I um ideal de A .

A
(1) Se A tem unidade 1 ento o anel tem unidade 1.
I
130
A
(2) Se A anel comutativo ento o anel tambm comutativo.
I
Demonstrao. Exerccio.

Exemplo 4.4.7. No vale a recproca do item (1) do Corolrio 4.4.1,

A
isto , existe anel sem unidade A e ideal I de A tal que tem
I
unidade.
Tome como exemplo o anel A = 2 , que sabemos que no possui

A 2
unidade. Para o ideal I = 6 temos o anel quociente = .
I 6
2
Vamos descrever os elementos de .
6
0 = 0 + 6 = {..., -12, -6, 0, 6, 12,...}
2 = 2 + 6 = {..., -10, -4, 2, 8, 14,...}
4 = 4 + 6 = {..., -8, -2, 4, 10, 16,...} .
Como todo elemento do anel 2 est em uma dessas classes, temos

2
que . Afirmamos que 4 unidade do anel .
6
De fato,
4.0 = 4.0 = 0 .
4.2 = 4.2 = 8 = 2 , pois 2 8 (mod 6 ).
4.4 = 4.4 = 16 = 4 , pois 16 4 (mod 6 ).
2
Desde que o anel comutativo, temos tambm 0.4 = 0 e
6
2.4 = 2 .
2
Logo, anel com unidade 4 , apesar de 2 no ter unidade.
6
Exemplo 4.4.8. A recproca do item (2) do Corolrio 4.4.1 tambm

no vale.
Por exemplo, o anel A = M 2 ( ) no comutativo. No entanto, to-
mando o ideal I = A temos que , pois todos os elemen-

131
A
tos so congruentes. Assim, comutativo apesar de A no ser
I
comutativo.
A
Em geral, descrever os elementos do anel quociente uma
I
tarefa difcil. Muitas vezes o interesse maior em conhecer a me-
A
lhor estrutura do anel quociente, isto , saber quando tem uni-
I
dade, comutativo, domnio ou corpo. Note que o corolrio
acima fornece informaes desse tipo a partir de informaes so-
bre o anel A .
A
O prximo teorema diz quando o anel quociente domnio
I
ou corpo, a partir de informaes sobre o ideal I .
Teorema 4.4.2. Sejam A um anel comutativo com unidade e I um

ideal de A , I A .
A
(1) domnio I ideal primo de A .
I
A
(2) corpo I ideal maximal de A .
I
Demonstrao.
(1) Sejam a, b A tais que a b I . Como 0 - a b I vem

A
que 0 a b (mod I ) e ento 0 = a b = a . b . Como domnio,
I
devemos ter a = 0 ou b = 0 .
a = 0 .
b = 0 .
Portanto a I ou b I , isto , I ideal primo de A .
Como A anel comutativo com unidade, segue do Corolrio

A A
4.4.1 que anel comutativo com unidade. Falta provar que
I I
no tem divisores de zero.
A
Sejam a, b tais que a b = 0 . Como 0 = ab , temos a b I .
I
Mas I ideal primo e ento a I ou b I .
132
a I a - 0 I a 0 (mod I ) a = 0 .
b I b - 0 I b 0 (mod I ) b = 0 .
A
Portanto a = 0 ou b = 0 , isto , domnio.
I
(2) Seja J um ideal de A tal que I J A . Ento existe
A
a J tal que a I . Segue que a 0 , e como corpo, existe
I
A
b tal que a . b = 1 . Isso leva a a b - 1 I , isto , 1 = a b + i ,
I
i I J . Note que a b J pois a J . Como i, a b J temos
1= ab +i J .
Portanto J = A e I ideal maximal de A .
Como A anel comutativo com unidade, segue do Corolrio

A
4.4.1 que anel comutativo com unidade. Falta provar que
I
A A A
todo elemento no nulo de tem inverso em . Seja a ,
I I I
a 0 . Segue que a I e ento I I + a A A . Lembre que
I + a A ideal de A . Desde que I ideal maximal devemos ter
I + a A = A . Em particular, 1 A = I + a A , e da 1 = i + a b para
iI e b A.
Tomando classes mdulo I na igualdade 1 = i + a b temos
1 = i + a b . Mas i I e ento i = 0 . Logo a b = 1 , isto , b o
A
inverso de a . Portanto corpo.
I

Exemplo 4.4.9. Sabemos que se p um nmero primo, ento p

ideal maximal de . Logo p = corpo.
p
Exemplo 4.4.10. Sabemos que se n no um nmero primo, en-

to n no ideal primo de . Logo n = no domnio.
n
133
Lista de exerccios
1) Se I ideal do anel A e a A , mostre que:
A
aI a = 0 .
I
2) Prove o Corolrio 4.4.1.
3) Vimos que onde
0 = 0 + 6 ,
2 = 2 + 6 ,
4 = 4 + 6 .
2
Faa as tabelas das operaes do anel quociente .
6
3
4) Descreva os elementos do anel quociente e faa as tabe-
6
las das operaes.
5) Considere o anel A = 6 e o ideal I = 2. 6 . Descreva os ele-

A
mentos e as tabelas das operaes do anel quociente .
I
A
6) Descreva os elementos do anel quociente quando:
I
a) A um anel qualquer e I = {0}.
b) A um anel qualquer e I = A .
c) A = 8 e I = 3. 8 .
d) A = 8 e I = 2. 8 .
e) A = 3 e I = 9 .
7) Apresente exemplo de um domnio D e de um ideal I de

D
D tal que no seja domnio.
I
8) Qual a melhor estrutura algbrica do anel quociente
x
?
2 x 3
134
Resumo
Vimos que os ideais direita ( esquerda ou bilaterais) de
um anel A formam uma classe especial de subanis de A .
Essas classes coincidem quando A anel comutativo, e po-
dem ser distintas quando A no anel comutativo.
Um procedimento para obter ideais direita ou esquerda

do anel A construir o ideal gerado por elementos de A .
Quando x A , o ideal direita xA chamado ideal di-
reita principal gerado por x . Analogamente Ax o ideal
esquerda principal gerado por s .
No caso particular do anel , todos os ideais so da forma

n , e o conjunto dos ideais coincide com o conjunto dos
subanis.
A unio de ideais no em geral um ideal. No entanto, a

interseco de ideais um ideal.
Usando ideais conhecidos podemos produzir o ideal soma

e o ideal produto.
Estudamos ideais maximais e ideais primos. Provamos que

em um anel comutativo com unidade A , todo ideal maxi-
mal primo. Alm disso, {0} ideal primo (respectivamen-
te maximal) de A se, e somente se, A domnio (respecti-
vamente corpo).
A partir de um ideal I do anel A construmos o anel quo-

A
ciente . Vimos que a comutatividade e a existncia de uni-
I
A
dade se transportam de A para , mas que no vale a rec-
I
A
proca. Provamos que o anel domnio (respectivamente
I
corpo) se, e somente se, I ideal primo (respectivamente
maximal) do anel A .
Captulo 5
Homomorfismos e
Isomorfismos
Captulo 5
Homomorfismos e Isomorfismos
O tema principal deste captulo so as funes entre

anis. Lembre que um conjunto pode ser ou no um
anel, dependendo das operaes definidas nesse con-
junto. Isso leva a pensar que as funes de interesse so-
bre os anis so funes que preservam as operaes de
anis. Essas funes especiais entre anis so chamadas
de homomorfismo de anis.
5.1 Homomorfismo de anis

Definio 5.1.1. Sejam e anis. Um homomorfismo
entre os anis A e B uma funo f : A B tal que:
(i) .
(ii) .
Note que se f : A B um homomorfismo entre os anis

e , e se a, b A , ento o axioma (i) assegura que te-
mos o mesmo resultado nos dois procedimentos abaixo:
Efetuar a adio de a e b em A (obtendo a + b ) e ento

aplicar .
Aplicar f em a e em b e ento efe-

tuar a adio em B .
O axioma (ii) permite fazer um raciocnio anlogo para a mul-

tiplicao.
Observao 5.1.1. Quando tratamos com homomorfismo entre os

anis A e B , comum denotar as operaes dos dois anis pelos
mesmos smbolos. Isto , tratamos com e lembran-
do que os smbolos + e podem designar operaes distintas em
138
A e B . Note que isso no causa confuso, pois quando f : A B

um homomorfismo de anis, e olhamos para as igualdades:
est claro que a + b e a b so operaes em A , e que

e so operaes em B .
Exemplo 5.1.1. Sejam A e B anis quaisquer. Ento a funo nula

f : A B , f (a ) = 0, a A , um homomorfismo chamado de
homomorfismo nulo.
De fato, para a, b A temos:
,
e
.
Exemplo 5.1.2. Se A um anel qualquer, ento a funo identida-

de f : A A , f (a ) = a, a A , um homomorfismo chamado
homomorfismo identidade.
De fato, para a, b A temos:
,
e
.
Exemplo 5.1.3. f : , , no homomorfismo.

Tome 1, 2 e note que , enquanto
.
Logo,
e f no homomorfismo.
Exemplo 5.1.4. f : 2 2 , , homomorfismo.
Basta notar que e , portanto f o homo-

morfismo identidade de 2 .
Exemplo 5.1.5. Para cada nmero inteiro a 0, 1 , a funo

fa : , , no homomorfismo.
139
Tome 1 e note que , enquanto

.
Como a 0, 1 temos que a a 2 e ento .
Exemplo 5.1.6. f : , , homomorfismo.

A verificao idntica do Exemplo 5.1.2.
Note que simplesmente trocamos o anel do contradomnio
pelo anel que contm . Da mesma forma,
f : , ,
f : p , ,
f : p , ,
so exemplos de homomorfismo, chamados de homomorfismo

incluso.
Exemplo 5.1.7. Para cada inteiro n 2 a aplicao f : n ,

, um homomorfismo chamado homomorfismo proje-
o cannica.
De fato,
e
.

Lembrando que n um anel quociente, isto , n = , po-
n
demos pensar em generalizar o Exemplo 5.1.7 para um anel quo-
ciente qualquer. Note que isso razovel, pois as operaes no

anel quociente so semelhantes s operaes no anel n = .
n
A
Exemplo 5.1.8. Seja I um ideal do anel A . A funo f : A
,
I
, homomorfismo chamado homomorfismo projeo
cannica.
De fato,
e
.
140
Exemplo 5.1.9. Seja A um anel qualquer. Considere os anis A x A

a 0
e M 2 ( A ). Ento a aplicao f : A x A M 2 ( A ), f (a, b ) = ,
0 b
um homomorfismo.
De fato, para temos,
a + x 0 a 0 x 0
= = +
0 b + y 0 b 0 y
a x 0 a 0 x 0
= =
0 b y 0 b 0 y
.
Exemplo 5.1.10. f : 2 2 , , ho-

momorfismo.
De fato, sejam a + b 2 , c + d 2 2 .
No exemplo anterior podemos trocar 2 por qualquer nmero

primo positivo p e teremos que
141
f : p p , ,
homomorfismo.
Definio 5.1.2. Seja f : A B um homomorfismo de anis. O n-

cleo (ou Kernel) de f formado pelos elementos de A cuja imagem
por f 0 B . Isto ,
.
Definio 5.1.3. Seja f : A B um homomorfismo de anis. A ima-

gem de f a imagem da funo f . Isto ,
Observao 5.1.2. Note que se f : A B homomorfismo de

anis, ento e .
Nos cursos de clculo, vemos que encontrar a imagem de uma

funo uma tarefa geralmente difcil. Como a imagem de um ho-
momorfismo a imagem de uma funo, conclumos que encontrar
o conjunto imagem de um homomorfismo pode no ser simples.
Encontrar o ncleo de um homomorfismo normalmente mais

fcil do que encontrar a imagem.
Na prxima seo obteremos informaes adicionais sobre n-

cleo e imagem do homomorfismo de anis f : A B . A saber, ve-
rificaremos que subanel de B e que ideal de A .
Para concluir esta seo, vamos calcular o ncleo e a imagem

dos homomorfismos vistos nos Exemplos 5.1.1, 5.1.2, 5.1.4, 5.1.6,
5.1.7, 5.1.8, 5.1.9 e 5.1.10. Observe em cada caso que ideal do
domnio e que subanel do contradomnio.
Exemplo 5.1.11. Sejam A e B anis e f : A B , f (a ) = 0 . En-

to:
N ( f ) = A e Im ( f ) = {0}.
Exemplo 5.1.12. Se A um anel e f : A A , , ento:
N ( f ) = {0} e Im ( f ) = A .
142
Exemplo 5.1.13. Seja f : 2 2 o homomorfismo .

Como x = x em 2 , segue que f o homomorfismo identidade.
{}
Pelo exemplo acima conclumos que N ( f ) = 0 e Im ( f ) = 2 .
Exemplo 5.1.14. Para o homomorfismo f : , , te-

mos:
N ( f ) = {0} e Im ( f ) = .
O mesmo vale para os homomorfismos
f : , f : p e f : p .
x x x x xx
Exemplo 5.1.15. Para n , n 2 , vamos calcular o ncleo e a

imagem do homomorfismo f : n , .
Desde que claro que Im ( f ) = n .
Para calcular , queremos descobrir quais elementos x sa-
tisfazem f (x ) = x = 0 . Mas,
x = 0 x 0n xn .
Logo, N ( f ) = n , isto , o ncleo de f exatamente o ideal n

que gera o anel quociente n = .
n
Exemplo 5.1.16. Seja I um ideal do anel A . Considere o homo-

A
morfismo f : A , .
I
Desde que , temos que todo
A
elemento de imagem de um elemento de A pela funo f .
I
A
Logo, Im ( f ) = .
I
Para encontrar , queremos descobrir quais elementos a A
A
satisfazem f (a ) = a = 0 . Mas,
I
a = 0 a 0 I a I .
143
Logo N ( f ) = I , isto , o ncleo do homomorfismo projeo can-

nica o ideal que gera o anel quociente.
Exemplo 5.1.17. Seja A anel. Vamos calcular o ncleo e a imagem

a 0
do homomorfismo f : A x A M 2 ( A ) , f (a, b ) = .
0 b
Note que f leva elementos de A x A em matrizes diagonais 2 x 2 ,
e que toda matriz diagonal 2 x 2 sobre A a imagem de um ele-
mento de A x A .
a 0
Logo Im ( f ) = M 2 ( A ) .
0 b
0 0
Desde que o elemento neutro de M 2 ( A ) , o ncleo ob-
0 0
tido da equao
a 0 0 0
f (a, b ) = = .
0 b 0 0
A nica soluo a = b = 0 , e portanto .
Exemplo 5.1.18. Considere o homomorfismo f : 2 2 ,
a b 2 .
O elemento neutro de 2 0 . Ento,
a b 2 = 0 a = 0 e b = 0.
Logo, .
fcil ver que todo elemento de 2 est na imagem de f .
De fato, dado x + y 2 2 , tome x y 2 2 .
Ento, , isto , .
Segue que e .
144
Lista de exerccios
1) Verifique se cada uma das funes abaixo um homomor-
fismo de anis.
a) f : x , .
b) f : x , .
c) f : x x , .
d) f : 2 M 2 ( ), .
e) f : 3 3 , .
f) f : 7 7 , .
g) f : A x A M
A 2 (A), .
A um anel qualquer.
h) f : 2 6 , .
2) Calcule o ncleo e a imagem dos homomorfismos do exer-

ccio 1.
3) Verifique que , , homomor-

fismo de anis quando x y = x + y + 1 e x y = x + y + x y .
Qual o ncleo de f ?
4) Sejam p e q nmeros primos positivos e distintos. Verifi-
que que f : p [q ] , , no
homomorfismo.
5) Seja A um anel qualquer. Verifique que f : A x A A ,

, um homomorfismo de anis. Calcule e
.
6) Refaa o exerccio 5 trocando por .

145
5.2 Propriedades dos homomorfismos

Nesta seo apresentaremos as principais propriedades dos
homomorfismos de anis. Veremos, entre outras, que um homo-
morfismo f : A B transforma subanel de A em subanel de
B , transforma ideal de A em ideal de que f injetor se,
e somente se, , que N ( f ) ideal de A e que Im( f )
subanel de B .
Proposio 5.2.1. Seja f : A B um homomorfismo de anis. Ento:
(1) .
(2) .
(3) .
Demonstrao. (1) Aplicando f em ambos os lados da igualdade

0 A = 0 A + 0 A e usando o fato de f ser homomorfismo, temos:
Como e B anel, podemos somar o simtrico f (0 A )

em ambos os lados. A associatividade da adio em B permite no
usar parnteses.
0 B = f (0 A ).
(2) Aplicando f na igualdade 0 A = a a e usando (1), temos
Pela unicidade do simtrico de f (a ) no anel B , conclumos que
(3) Lembrando que e usando (2), temos:
A Proposio 5.2.1(1) assegura que todo homomorfismo de

anis leva elemento neutro em elemento neutro. Esse fato pode ser
146
usado como ferramenta para verificar que uma funo f : A B

no homomorfismo. De fato, se tivermos f (0 A ) 0 B , ento f
no homomorfismo.
Exemplo 5.2.1. Verificar se f : , f (x ) = x + 1 , homomorfis-

mo.
Como o elemento neutro do anel 0 e f (0 ) 0 , conclumos
que f no homomorfismo.
O mesmo raciocnio do exemplo acima mostra que para qual-

quer inteiro a 0 , a funo f a : , , no homo-
morfismo.
Seja f : A B uma funo entre os anis A e B . Note que em

momento algum afirmamos que se f (0 A ) = 0 B , ento f homo-
morfismo. Isso no verdade, como mostra o prximo exemplo.
Exemplo 5.2.2. A funo f : , f (x ) = 2 x , tem a propriedade

. Porm f no homomorfismo de anis, como vimos
no Exemplo 5.1.5.
Proposio 5.2.2. Seja f : A B um homomorfismo de anis.
(1) Se J subanel de A , ento subanel de B .
(2) Se I ideal de A , ento ideal de .
Demonstrao.
(1) .
Sejam x, y f (J ) . Devemos mostrar que x y f ( J ) e
x y f (J ) .
Como x, y f (J ), existem a, b J tais que e .
Mas J subanel e ento a b, a b J .
Aplicando f temos .
Segue que
e
.
Portanto, subanel de B .
147
(2) .
Sejam x, y f (I ) e z f ( A ). Devemos provar que x y f (I ),

z x f (I ) e x z f ( I ) .
Como I ideal ento I subanel, segue de (1) que suba-
nel. Isso garante que x y f (I ) .
Vamos mostrar apenas que xz f (I ), pois de forma anloga se
prova que zx f (I ) .
Como x f (I ) e z f ( A ), existem a I e c A tais que
e . Mas I ideal de A e ento a c I .
Aplicando f , temos .
Segue que
.
Portanto, ideal de .

Exemplo 5.2.3. Sabemos que f : , , homomor-

fismo de anis e que 2 subanel e ideal de . claro que
f (2 ) = 2 . Segue da Proposio 5.2.2 que 2 subanel de
e que 2 ideal de f ( ) = .
Observao 5.2.1. No verdade, em geral, que se f : A B

homomorfismo e I ideal de A , ento ideal de B . De fato,
basta observar no Exemplo 5.2.3 que f : homomorfismo,
2 ideal de , mas f (2 ) = 2 no ideal de , pois 2 2
1 1
e , mas 2 = 1 2 .
2 2
Exemplo 5.2.4. Sabemos que f : 4 , , homomor-

fismo de anis e que 2 ideal de . Pela Proposio 5.2.2,
subanel de 4 e ideal de . Tambm vimos que
. Note que . Por-
tanto, ideal de 4 = f ( ).
Proposio 5.2.3. Seja f : A B um homomorfismo de anis.
(1) subanel de B .
(2) ideal de A .
148
Demonstrao.
(1) Como A subanel de A e ento, pela Propo-

sio 5.2.2 (1), temos que subanel de B .
(2) .
Sejam a, b N ( f ) e c A . Devemos mostrar que a b, a c,
c a N ( f ).
Como a, b N ( f ), temos . Ento,
e
.

Exemplo 5.2.5. Sabemos que f : 6 , , homomorfismo.

Note que N ( f ) = 6 ideal de e Im ( f ) = 6 subanel de 6 .
Exemplo 5.2.6. A aplicao f : 4 6 , , homomorfis-

mo, pois uma restrio do homomorfismo f : 6 , .
Pela Proposio 5.2.3 sabemos que ideal de 4 e
subanel de 6 .
Vamos calcular e .
Para encontrar , tomamos x = 4k 4 tal que f ( x) = 0 , isto
, 4k = 0 . Assim
0 = 4k 4k 0 6
4k 6
6 | 4k
3| k
k = 3u
x = 12u 12 .
Logo N ( f ) = 12 .
Desde que subanel de 6 e os subanis de 6 so ,
, e 6 , basta descobrir qual desses subanis a ima-
gem de f .
149
Note que , e e assim

ou Im ( f ) = 6 . Mas 1 Im ( f ). De fato, diz que
que no possvel pois 4k 1 mpar.
Logo, Im ( f ) 6 e da .
Sejam X e Y conjuntos quaisquer. Lembre que uma funo

f : X Y
Sobrejetora quando Im ( f ) = Y ;
Injetora quando: .
Definio 5.2.1. Seja f : A B um homomorfismo de anis. Dizemos

que f um epimorfismo quando f sobrejetor, isto , Im ( f ) = B .

que f um monomorfismo quando f injetor, isto ,
implica em x = y .
A prxima proposio mostra que o ncleo de um homomor-

fismo pode ser usado para verificar se esse homomorfismo mo-
nomorfismo.
Proposio 5.2.4. Seja f : A B um homomorfismo de anis. So

equivalentes:
(a) f monomorfismo;
(b) N ( f ) = {0}.
Demonstrao.
(a) (b) J vimos que , e ento 0 N ( f ) .

Logo, {0} N ( f ) .
Por outro lado, se a N ( f ), ento .
Como f injetora, conclumos que a = 0 . Portanto N ( f ) {0}
e segue que N ( f ) = {0}.
(b) (a) Sejam a, b A tais que .

Sabemos pela Proposio 5.2.1(3) que .
Logo, N ((ff ))=={{00}}.
, isto , a b N
Segue que a = b e portanto f injetora.

150
Exemplo 5.2.7. Vimos no Exemplo 5.1.14 que se f : p ,

, ento N ( f ) = {0} e Im ( f ) = . Logo f monomorfismo,
mas no epimorfismo.
Exemplo 5.2.8. Vimos no Exemplo 5.1.15 que se n 2 e f : n ,

, ento N ( f ) = n e Im ( f ) = n . Logo f epimorfismo,
mas no monomorfismo.
Exemplo 5.2.9. Vimos no Exemplo 5.1.16 que se I ideal do anel

A A
A e f :A , , ento N ( f ) = I e Im ( f ) = . Logo f
I I
epimorfismo.
Note que f monomorfismo se, e somente se, I = NN ((ff ))=={{00}}.
Exemplo 5.2.10. Vimos no Exemplo 5.1.17 que se A um anel e

a 0
, f (a, b ) = , ento
0 b
a 0
e Im ( f ) = M 2 ( A ) .
0 b
Logo f monomorfismo, mas no epimorfismo.
Exemplo 5.2.11. Vimos no Exemplo 5.2.6 que se f : 4 6 ,

, ento N ( f ) = 12 e . Logo f no mo-
nomorfismo nem epimorfismo.
Exemplo 5.2.12. Vimos no Exemplo 5.1.18 que se
f : 2 2 , a b 2 , ento e
Im ( f ) = 2 . Logo f monomorfismo e epimorfismo.
O exemplo acima apresenta um homomorfismo bijetor. Homo-

morfismos bijetores so chamados isomorfismo. Trataremos des-
se assunto na prxima seo.
Para terminar esta seo vamos destacar propriedades espec-

ficas de epimorfismos definidos em anis com unidade.
151
Proposio 5.2.5. Seja f : A B um epimorfismo de anis.
(1) Se A tem unidade, ento B tem unidade e .
(2) Se A tem unidade, a A e a inversvel em A , ento

inversvel em B e .
Demonstrao.
(1) Basta mostrar que para todo b B vale ,

e ento teremos que B tem unidade .
Como b B e f sobrejetora, existe a A tal que f (a ) = b .
claro que a 1A = 1A a = a , e aplicando f vem que
.
Mas f homomorfismo e ento
.
Logo .
(2) Por hiptese existe a 1 A tal que a a 1 = a 1 a = 1A .

Aplicando o homomorfismo f e lembrando que , temos
Logo o inverso de , isto , .

Exemplo 5.2.13. Verificar que no existe epimorfismo de em

n , para n 2 .
Sabemos que se n 2 , ento n no tem unidade. Se houvesse
um epimorfismo f : n teramos, pela Proposio 5.2.5(1),
que unidade em n . Absurdo. Logo no existe epimorfis-
mo de em n .
Exemplo 5.2.14. Determine, se existir, a inversa da matriz

2 0
M 2 ( 9 ).
0 4
a 0 a 0
Sabemos que f : 9 x 9 M 2 ( 9 ) , f (a, b ) =
0 b 0 b
epimorfismo, e que 9 x 9 tem unidade .
2 0
claro que
0 4 ( )
= f 2, 4 , .

152
Como , segue da Proposio 5.2.5(2) que o

5 0 2 0
, isto ,
0 7 .
inverso de a inversa de
0 4
Lista de exerccios
1) Verifique que nenhuma das funes abaixo homomorfis-
mo de anis.
a) f : 2 2 , .

b) f : , f (x ) = x 2 .
x 1
c) f : M 2 ( ), f (x ) = .
1 x
2) Usando o fato de 3 ser ideal de e f : 6 , f (x ) = x ,
ser epimorfismo, verifique que ideal de 6 .
3) Verifique que f : 2 6 , f (x ) = x , homomorfismo. Cal-

cule e . Conclua que f no monomorfismo e
nem epimorfismo.
4) Sejam f : A B e g : B C homomorfismos de anis.
a) Mostre que g f : A C homomorfismo de anel.
b) Se f e g so epimorfismos, mostre que g f epimor-

fismo.
c) Se f e g so monomorfismos, mostre que g f mono-

morfismo.
5) Seja A um anel qualquer. Sabendo que ,

0 0 0
a b
f = a b 0 homomorfismo, conclua que
c d c d 0

0 0 0

x y 0 M 3 ( A ) subanel de .
z t 0

1 0
6) Determine, se existir, a inversa da matriz
0 5
.

153
7) Sejam A um corpo e f : A B um homomorfismo. Prove

que se f no for o homomorfismo nulo, ento f mono-
morfismo.
8) Seja f : A B um homomorfismo de anis. Lembre

que a imagem inversa de um subconjunto X de B
f 1 ( X ) = {a A; f (a ) X } . Mostre que:
a) Se J subanel de B , ento f 1 ( J ) subanel de A ;
b) Se J ideal de B , ento f 1 ( J ) ideal de A .
9) Prove que todo ideal de n principal.
5.3 Isomorfismos de anis

Nesta seo estudaremos os homomorfismos bijetores, tam-
bm chamados de isomorfismos, entre anis. Verificaremos que
se f : A B um isomorfismo de anis, ento existem vrias
propriedades que valem para o anel A se, e somente se, valem
para o anel B . Dessa forma, os isomorfismos so ferramentas
para o estudo dos anis. De fato, suponha que desejemos estudar
um anel B e que exista um isomorfismo f entre B e um anel co-
nhecido, por exemplo f : B . Isso assegura que B tem vrias
propriedades de tais como unidade, comutativa, inexistncia
de divisores de zero e inverso para elementos no nulos.

que f um isomorfismo quando f bijetor.
Quando existe um isomorfismo entre os anis A e B , dizemos

que eles so isomorfos e indicamos isso por A B .
claro que um homomorfismo isomorfismo se, e somente se,

epimorfismo e monomorfismo.
Exemplo 5.3.1. Seja A um anel qualquer. O homomorfismo iden-

tidade f : A A , , isomorfismo pois bijetor.
154
Exemplo 5.3.2. f : 2 2 ; iso-

morfismo.
De fato, j vimos no Exemplo 5.1.18 que e
Im ( f ) = 2 .
Portanto, f injetor e sobrejetor.
Exemplo 5.3.3. Se A um anel qualquer, ento A x {0} A .

De fato, defina f : A A x {0} por .
Vamos mostrar que f isomorfismo. Para a, b A temos:
e
.
Logo f homomorfismo.
Dado , tome a A . Ento f (a ) = (a, 0 ) = x ,

isto , f sobrejetora.
Logo e ento f injetora.

Portanto, f isomorfismo e, da, A A x {0}.
Como casos particulares do exemplo anterior temos:
x {0}, 7 7 x {0} , .
a 0
Exemplo 5.3.4. Seja A = M 2 ( ). Vamos verificar que
A . 0 a
x 0
Defina f : A por f (x ) = . Para x, y temos:
0 x
x+ y 0 x 0 y 0
f (x + y ) = = + = f (x ) + f ( y )
0 x + y 0 x 0 y
e
x y 0 x 0 y 0
f (x y ) = = = f (x ) f ( y ).
0 x y 0 x 0 y
claro que Im ( f ) = A . Logo f sobrejetora.

155
x 0 0 0
f (x ) = 0 = x = 0.
0 x 0 0
Logo e ento f injetora.
Portanto, f isomorfismo e da A .
a 0
Exemplo 5.3.5. Sejam B = M 2 ( ) e f : B ,
0 b
x 0
f (x ) = . Afirmamos que f no isomorfismo. De fato,
0 x
. Logo f no
sobrejetora, portanto no isomorfismo.
Veremos depois que no existe isomorfismo entre e

a 0
M 2 ( ) . Veja Exemplo 5.3.8.
0 b
Seja f : A B um isomorfismo de anis. Ento, alm de f ser

um homomorfismo, f tambm uma funo bijetora. Portanto
existe a funo inversa f 1 : B A , que bijetora. O Lema abaixo
mostra que f 1 isomorfismo de anis.
Lema 5.3.1. Se f : A B isomorfismo de anis, ento

f 1 : B A isomorfismo de anis.
Demonstrao. Desde que f 1 bijetora, basta provar que f 1

homomorfismo. Sejam x, y B . Como f sobrejetora existem
a, b A tais que e . Note que e
.
Usando o fato de f ser homomorfismo, temos:

156
Observao 5.3.1. O Lema 5.3.1 mostra que as propriedades de

isomorfismo que valem para f : A B , tambm valem para
f 1 : B A . Portanto uma propriedade que transportada, via
isomorfismo, de A para B , tambm transportada de B para A .
Proposio 5.3.1. Seja f : A B um isomorfismo de anis.
(1) A tem unidade B tem unidade.
(2) A comutativo B comutativo.
(3) .
(4) A no tem divisores de zero B no tem divisores de zero.
(5) A domnio B domnio.
(6) A corpo B corpo.
Demonstrao. Em cada um dos itens acima, basta provar a dire-

o . De fato, como vimos na Observao 5.3.1, as proprieda-
des que o isomorfismo f leva de A para B , o isomorfismo f 1
leva de B para A .
(1) Como f sobrejetora e A tem unidade, o resultado segue da

Proposio 5.2.5(1).
(2) Sejam x, y B . Como f sobrejetora existem a, b A tais

que e . Lembre que, por hiptese, A comu-
tativo. Ento:
Portanto B comutativo.
(3) Como f sobrejetora e A tem unidade, o resultado segue da

Proposio 5.2.5(2).
(4) Sejam x, y B tais que x y = 0 . Como f sobrejetora exis-

tem a, b A tais que e . Lembre que .
Ento:
.
Como f injetora vem que a b = 0 . Mas, por hiptese, A no

tem divisores de zero e da a = 0 ou b = 0 .
157
Logo,
ou
(5) Como A um domnio, ento A anel com unidade, comu-

tativo e sem divisores de zero. Pelos itens (1), (2) e (4) temos que
B um anel com unidade, comutativo e sem divisores de zero.
Portanto B domnio.
(6) Como A corpo, ento A anel com unidade, comutativo

e tem inverso para todo elemento no nulo. Pelos itens (1) e (2)
temos que B um anel com unidade e comutativo. Seja ago-
ra b B, b 0 . Como f sobrejetora, existe a A tal que
f (a ) = b . claro que a 0 , pois em caso contrrio teramos
b = f (a ) = f (0) = 0 , que impossvel. Assim e pelo item
(3), . Logo B tem inverso para todo elemento
no nulo. Portanto B corpo.

A Proposio 5.3.1 mostra que um isomorfismo preserva a me-

lhor estrutura algbrica para o anel. Cada propriedade preserva-
da por isomorfismo conhecida como propriedade invariante
por isomorfismo. Por exemplo, a comutatividade do anel inva-
riante por isomorfismo, pois se A comutativo e A B , ento B
comutativo.
Conforme comentamos no incio desta seo, isomorfismo en-

tre anis so ferramentas para estudar anis. O procedimento o
seguinte: Queremos conhecer propriedades de um anel B e sa-
bemos que B A , onde A um anel cujas propriedades so co-
nhecidas. Se essas propriedades so invariantes por isomorfismo,
ento elas valem em B .
Exemplo 5.3.6. Verificar que corpo.
Vimos no Exemplo 5.3.3 que , e como corpo con-

clumos que corpo.
158
a 0
Exemplo 5.3.7. Verificar que A = M 2 ( ) corpo.
0 a
Vimos no Exemplo 5.3.4 que A , e como corpo conclu-
mos que A corpo.
Exemplo 5.3.8. Verificar que no existe isomorfismo entre e

a 0
A = M 2 ( ) .
0 b
1 0 0 0 1 0 0 0 0 0
claro que , A e que = .
0 0 0 1 0 0 0 1 0 0
Logo A tem divisores de zero.
Como corpo, no pode ter divisores de zero. Portanto
no isomorfo a A .
Exemplo 5.3.9. Verificar que o subanel ,
do anel M 3 () , anel com unidade, no comutativo e que tem

divisores de zero.
Sabemos que M 2 () anel com unidade, no comutativo e com
divisores de zero. Assim basta provar que M 22 (()) A .
a b 0
a b
Defina ff :: M 22 (()) A por f = c d 0 . Para
c d 0 0 0
a b x y
,
M
M 22 ( )
) temos:
c d z t
a b x y a + x b + y
f + = f
c d z t c + z d + t
a + x b + y 0
= c + z d + t 0
0 0 0

a b 0 x y 0
= c d 0 + z t 0
0 0 0 0 0 0

a b x y
= f + f .
c d z t
159
a b x y a x + b z a y + bt
f = f c x + d z c y + d t
c d z t
a x + b z a y + bt 0
= c x + d z c y + d t 0
0 0 0

a b 0 x y 0
= c d 0 z t 0
0 0 0 0 0 0

a b x y
= f f .
c d z t
claro que f sobrejetora, pois Im ( f ) = A .
Para ver que f injetor, vamos calcular .
0 0 0
a b a b
N ( f ) f = 0 0 0
c d c d 0 0 0

a b 0 0 0 0

c d 0 = 0 0 0
0 0 0 0 0 0

a=b=c=d =0
a b 0 0
= .
c d 0 0
Segue que e ento f injetora. Portanto f isomorfismo.
Observao 5.3.2. No Exemplo 5.3.9 podemos trocar

a b 0 0 0 0

A = c d 0 M 2 ( ) por B = 0 a b M 2 ( ) ou por
0 0 0 0 c d

a 0 b

C = 0 0 0 M 2 ( ) , obtendo que B e C so anis com uni-
c 0 d

dade, no comutativos que tem divisores de zero. Observe ainda
que podemos refazer o Exemplo 5.3.9 trocando e por
e , para cada anel comutativo com unidade A .
160
a 2b
Exemplo 5.3.10. Verificar que A = M 2 ( ) corpo.
b a
Sabemos que corpo. Assim, basta
provar que 2 A .
Defina f : 2 A por . Para
a + b 2, c + d 2 2 temos:
Logo f homomorfismo, e claramente sobrejetor, pois
Im ( f ) = { f (a + b 2); a, b }
a 2b
= M 2 ( )
b a
= A.
Vamos calcular .
a 2b 0 0
=
b a 0 0
a = b = 0 a +b 2 = 0.
Segue que e ento f injetora. Portanto f isomor-

fismo.
Acompanhando as contas do exemplo anterior, vemos que ele

pode ser facilmente generalizado, trocando 2 por um nmero pri-
161
a pb
mo positivo p . Isto , A = M 2 () um corpo iso-
b a

morfo ao corpo p .
Exemplo 5.3.11. O mesmo raciocnio do Exemplo 5.3.10 mos-

a pb
tra que A = M 2 () p , para cada nmero
b a
primo positivo p . Como p domnio, conclumos que

a pb
A = M 2 () domnio.
b a
Observao 5.3.3. Sabemos que no anel comutativo.
a pb
No entanto, o Exemplo 5.3.11 mostra que A = M 2 ( )
b a
subanel comutativo de , pois A domnio. Assim, mes-
mo sem fazer contas, temos certeza que
a pb c pd c pd a pb
= .
b a d c d c b a
Outro resultado que obtemos sem precisar fazer contas que A
no tem divisores de zero, isto ,
a pb c pd 0 0
=
b a d c 0 0
implica em
a pb 0 0 c pd 0 0
= ou = .
b a 0 0 d c 0 0
Nem sempre fcil produzir exemplos de isomorfismo entre

anis. Veremos agora algumas informaes teis para produzir
isomorfismos a partir de homomorfismo.
Observao 5.3.4. Seja f : A B um homomorfismo de anis.

Sabemos que um anel, por ser subanel de B . Tro-
cando o contradomnio B por obtemos o homomorfismo so-
brejetor f : A f ( A ) . Portanto, a partir de um homomorfismo
de anis podemos produzir um epimorfismo de anis.
162
Exemplo 5.3.12. Vimos no Exemplo 5.1.17 que se A um
a 0
anel, ento f : A x A M 2 ( A ) , f (a, b ) = , homomor-
0 b
fismo injetor, pois . Mas no sobrejetor, pois
a 0
Im ( f ) = M 2 ( A) .
0 b
a 0
Segue que f : A x A f ( A) = M 2 ( A) isomorfismo.
0 b
Exemplo 5.3.13. Pelo Exemplo 5.2.6 temos que f : 4 6 ,

homomorfismo tal que e .
Segue que epimorfismo.
A principal ferramenta para produzir isomorfismos entre anis

o chamado Teorema do Isomorfismo.
Seja f : A B um homomorfismo de anis. Lembre que
ideal A , e assim podemos considerar o anel quociente .
O Teorema do Isomorfismo assegura que .
Teorema 5.3.1. (Teorema do Isomorfismo). Seja f : A B um homo-

morfismo de anis. Ento:
a f (a)
isomorfismo.
Demonstrao. J vimos na Proposio 5.3.2 que a suba-

nel de B e que ideal A . Desde que subanel de B ,
temos em particular que um anel. Por outro lado, como
ideal A , sabemos do Teorema 4.4.1 que um anel.
Portanto, , , uma correspondn-
cia entre anis. No entanto, os elementos de so classes de

163
equivalncia, e ento devemos provar que no depende da esco-

lha dos representantes das classes. Isto , devemos mostrar que se
a = b em ento (a ) = (b) .
Lembre que a = b o mesmo que a b N ( f ), e da
Logo e est bem definida. Agora vamos ver que

homomorfismo.
A
Sejam a, b e lembre que a, b A e f homomorfismo.
N(f )
Ento, temos
e
.
Segue que f homomorfismo.

Para ver que f sobrejetor, tome y Im ( f ) . Ento y = f (x )
para x A .
A
Desde que x e , conclumos que
N(f )
sobrejetora.
Falta ver que injetora. Faremos isso mostrando que .
Portanto , isomorfismo de
anis.

Exemplo 5.3.14. Retome o Exemplo 5.2.6 onde vimos que
, epimorfismo com
Pelo Teorema do Isomorfismo temos que e sabemos
explicitar esse isomorfismo. A saber,
, ,
4
onde x indica classe no anel 6 e x indica classes no anel .
12
164
4
Agora podemos obter informaes sobre o anel a partir de
12
informaes do anel {0, 2, 4} 6 . Analisando a tabela
0 2 4
0 0 0 0
2 0 4 2
4 0 2 4
vemos que {0, 2, 4} anel comutativo com unidade 4 e (2) 1 = 2 ,

(4) 1 = 4 .
4
Logo {0, 2, 4} corpo e portanto corpo.
12
Exemplo 5.3.15. fcil ver que f : x , f ( x, y ) = x epi-

morfismo.
Alm disso,
( x, y ) N ( f ) f ( x, y ) = 0 x = 0 .
Logo,
N ( f ) = {(0, y ) x } = {0}x .
Pelo Teorema do Isomorfismo, temos

x
.
{0} x
x
Assim, podemos concluir que um domnio que no
{0} x
corpo, pois tem essa estrutura.
Exemplo 5.3.16. De forma anloga ao Exemplo 5.3.15, temos que

x x
, e portanto corpo. O mesmo vale para
{0} x {0} x
x x
.
x {0} {0} x
Exemplo 5.3.17. Seja n , n 2 . Sabemos que f : n ,

f ( x) = x , epimorfismo com N ( f ) = n .
Segue do Teorema do Isomorfismo que
165

n .
n
Vimos que n corpo se, e somente se, n nmero primo. Logo

corpo se, e somente se, n nmero primo.
n
Exemplo 5.3.18. Lembre que o conjunto

A = { f : ; f funo} um anel com as operaes
( f + g ) ( x) = f ( x) + g ( x) e ( f g ) ( x) = f ( x) g ( x) .
Defina y : A por ( f ) = f (0) . Vamos ver que epimor-

fismo.
( f + g ) = ( f + g ) (0) = f (0) + g (0) = ( f ) + ( g )
( f g ) = ( f g ) (0) = f (0) g (0) = ( f ) ( g ) .
Logo homomorfismo de anis.

Para verificar que sobrejetor, tome r e escolha em A a fun-
o constante r , isto , f (x ) = r , x .
Desde que ( f ) = f (0) = r , temos que sobrejetora.
Agora vamos calcular N ( ) .
f N ( ) ( f ) = 0 f (0) = 0 .
Logo N ( f ) = { f : ; f (0) = 0} , isto , o ncleo de f forma-

do pelas funes que se anulam em 0 .
Pelo Teorema do Isomorfismo, temos que
A { f : ; f funo}
= .
N ( f ) { f : ; f (0 ) = 0}
Lista de exerccios
1) Os anis A e B abaixo no so isomorfos. Apresente uma
justificativa para cada item.
a) A = M 2 () e B = x x x .
b) A = 3 e B = 3 .
c) A = 5 e B = 5 .
d) A = 7 e B = x .
166
a b
e) A = x e B = M 2 () .
0 0
Dica: Proposio 5.3.1 (comutatividade).
f) A = M 2 () e B = x .
2
g) A = e B = 4 .
8
Dica: Proposio 5.3.1 (unidade).
2) Verifique se so isomorfismos.
a) f : p p , f (a + b p ) = a b p , quando p

um nmero primo positivo.
a b x 0
b) f : M 2 () M 2 () ,
0 0 y 0
a b a 0
f = .
0 0 b 0
2
c) f : , f ( x) = 2 x .
3 6
d) f : A x B B x A , f (( x, y )) = ( y, x) , quando A e B so
anis quaisquer.
3) Seja f : A B um homomorfismo de anis. Prove que:
a) Se A e B so domnios, ento f o homomorfismo nulo

ou f (1) = 1 .
b) Se A e B so corpos, ento f o homomorfismo nulo ou

f injetora.
167
4) Use o Exerccio 3 para provar que se f : isomorfis-

mo, ento f a funo identidade de .
Dica: Prove por induo que . Depois

verifique que .
5) Sejam A um anel com unidade e a ( A) .
a) Verifique que , a ( x) = a x a 1 , isomorfismo.
b) Calcule ( a ) 1 .
c) Se b ( A) , mostre que .
6) Sejam f : A B um isomorfismo de anis e a A . Prove

que:
a) a idempotente em A f ((a)
a ) idempotente em B .
(a ) nilpotente em B .
b) a nilpotente em A f (a)
1
7) Sejam A = { f : ; f funo} e I = f A; f = 0 .
2
a) Mostre que I ideal de A .
A
b) Use o Teorema do Isomorfismo para provar que .
I
Dica: Exemplo 5.3.18.
8) Seja f : 12 4 , f ( x) = x .
a) Verifique que f est bem definida e epimorfismo.
b) Calcule N ( f ) .
12
c) Conclua que 4 .
{0, 4,8}
168
Resumo
Estudamos homomorfismos de anis. Vimos que o ncleo
de um homomorfismo f : A B ideal de A , e que a ima-
gem de f subanel de B .
Provamos que um homomorfismo monomorfismo se, e

somente se, tem ncleo trivial. Tambm destacamos que se
f : A B epimorfismo e A tem unidade, ento B tem
unidade e os elementos inversveis de A so levados em ele-
mentos inversveis de B .
Mostramos que isomorfismos entre anis preservam as

principais estruturas algbricas. Para obter isomorfismos
entre anis demonstramos o Teorema do Isomorfismo.
Captulo 6
O Corpo dos Nmeros
Complexos
Captulo 6
O Corpo dos Nmeros Complexos
O conjunto dos nmeros complexos surgiu a partir do

estudo de equaes polinomiais. Grosseiramente fa-
lando, um dos objetivos deste estudo encontrar um
conjunto que contenha todas as solues de equaes
polinomiais com coeficientes neste conjunto. Como
necessrio fazer contas nesse conjunto, ele deve ter al-
guma estrutura algbrica, e sabemos que a melhor es-
trutura algbrica corpo.
Atualmente dizemos que um corpo algebricamente
fechado, para indicar que todo polinmio no constante
com coeficiente em tem suas razes em . Esse resul-
tado devido a Karl Friedrich Gauss (1777 1855), e
conhecido como Teorema Fundamental de lgebra.
Neste captulo faremos um estudo algbrico do conjunto
dos nmeros complexos. Verificaremos que um
corpo e apresentaremos alguns subdomnios de que
no esto contidos em . Tambm trataremos do cl-
culo de potncias e razes de nmeros complexos.
6.1 O corpo
Com as operaes usuais sabemos que (, +, ) um corpo.
Ento temos o anel produto direto 2 = x , cujas operaes
so efetuadas em cada coordenada, isto ,
(a, b) + (c, d ) = (a + c, b + d )
(a, b) (c, d ) = (a c, b d ) .
Desde que anel comutativo com unidade, segue da Pro-

posio 2.4.2 que 2 = x anel comutativo com unidade. No
entanto, 2 no corpo. Na verdade 2 sequer domnio, pois
(1, 0), (0,1) so no nulos em 2 porm (1, 0) (0,1) = (0, 0) .
172
Portanto, o plano cartesiano 2 visto como anel produto dire-

to de com no corpo. A partir das operaes usuais de ,
vamos definir novas operaes em 2 para obter um corpo. Para
(a, b), (c, d ) 2 defina:
(a, b) + (c, d ) = (a + c, b + d )
(a, b) (c, d ) = (a c b d , ad + bc) .
Proposio 6.1.1. ( 2 , +, ) corpo.
Demonstrao. A operao + definida em 2 = x coincide

com a adio do anel produto direto x , e ento os axiomas
de anel (i), (ii), (iii) e (iv) so verificados.
Axioma (v): (a, b) ((c, d ) (e, f )) = ((a, b) (c, d )) (e, f )
(a, b) ((c, d ) (e, f )) = (a, b) (c e d f , c f + d e)
= (a (c e d f ) b (c f + d e), a (c f + d e) + b (c e d f ))
= (a c e a d f b c f b d e, a c f + a d e + b c e b d f )
= ( a c e b d e a d f b c f , a c f b d f + a d e + b c e)
= ((a c b d ) e (a d + b c) f , (a c b d ) f + (a d + b c) e)
= (a c b d , a d + b c) (e, f )
= ((a, b) (c, d )) (e, f ) .
Axioma (vi): (a, b) ((c, d ) + (e, f )) = (a, b) (c, d ) + (a, b) (e, f )
e ((c, d ) + (e, f )) (a, b) = (c, d ) (a, b) + (e, f ) (a, b) .
Faremos apenas a distributiva esquerda. A outra anloga.
(a, b) ((c, d ) + (e, f )) = (a, b) (c + e, d + f )
= (a (c + e) b (d + f ), a (d + f ) + b (c + e))
= ( a c + a e b d b f , a d + a f + b c + b e)
= ( a c b d + a e b f , a d + b c + a f + b e)
= ( a c b d , a d + b c ) + ( a e b f , a f + b e)
= (a, b) (c, d ) + (a, b) (e, f ) .

173
Axioma (vii): (a, b) (c, d ) = (c, d ) (a, b)
( a , b ) (c, d ) = ( a c b d , a d + b c )
= (c a d b, c b + d a )
= (c, d ) ( a , b ) .
Axioma (viii): 12 tal que 12 (a, b) = (a, b) 12 = (a, b)
Tome 12 = (1, 0) 2 . Ento
(1, 0) (a, b) = (1 a 0 b, 1b + 0 a) = (a, b) .

Pelo Axioma (vii), comutatividade do produto, tambm temos
(a, b) (1, 0) = (a, b) .

Logo (1, 0) a unidade de ( 2 , +, ) .
Axioma (x): Se (a, b) 2 e (a, b) (0, 0) existe (a, b) 1 2 tal

que
(a, b) (a, b) 1 = (1, 0) .
Como (a, b) (0, 0) , ento a 0 ou b 0 .
Segue que a 2 + b 2 0 , e como a 2 + b 2 temos
1
(a 2 + b 2 ) 1 = .
a + b2
2
a b
Tome (a, b) 1 = 2 2
, 2 2
2 .
a +b a +b
a b
(a, b) (a, b) 1 = (a, b) 2 2
, 2 2
a +b a +b
a2 b2 a b ba
= 2 2
+ 2 2
, 2 2
+ 2 2
a +b a +b a +b a +b
= ((1,
1, 00)) .

Na demonstrao acima vimos que ( 2 , +, ) um corpo onde:
O elemento neutro (0, 0) .
O simtrico de (a, b) (a, b) .

174
A unidade (1, 0) .
a b
O inverso de (a, b) (0, 0) 2 2
, 2 2
.
a +b a +b
Usaremos a notao (, +, ) para indicar o corpo ( 2 , +, ) , e

chamaremos de corpo dos nmeros complexos.
claro que o corpo no est contido no corpo = 2 . Ve-

remos agora que, atravs de uma identificao via isomorfismo,
podemos considerar como subcorpo de .
Lema 6.1.1. A aplicao f : , f (a ) = (a, 0) , monomorfismo

de anis e Im ( f ) = {0} .
Demonstrao. imediato que Im ( f ) = {0} e que f injeto-

ra. Resta provar que f homomorfismo. Sejam a, b , ento
f (a + b) = (a + b, 0) = (a, 0) + (b, 0) = f (a ) + f (b) .
Segue do Lema 6.1.1 que Im ( f ) = {0} e que {0}

subanel de . Como a estrutura de corpo invariante por iso-
morfismo, podemos concluir que {0} corpo, isto , {0}
subcorpo de .
Olhando para o isomorfismo Im ( f ) = {0} , e lembrando

que as propriedades operacionais dos corpos so invariantes por
isomorfismo, vemos que fazer operaes no corpo ou no cor-
po Im ( f ) = {0} tem o mesmo efeito. Em funo disso, vamos
identificar com Im ( f ) = {0} , escrevendo = Im ( f ) . Deve
ficar claro que esta ltima igualdade no no sentido estrito da
palavra, mas sim uma identificao via isomorfismo.
No contexto acima, isto , quando escrevemos

= Im (( f )) = x{0}
{0}, temos:
a = (a, 0), a .
175
Visto que {0} subcorpo de . natural perguntarmos

se {0} tambm subcorpo de . A resposta no. De fato,
{0} sequer subanel de , pois {0} no fechado com
relao multiplicao de . Basta ver que (0,1) {0} porm
(0,1) (0,1) = (1, 0) {0} .
No entanto, existe uma identificao til de elementos de

da forma (0, b) , com um produto de um nmero real por um ele-
mento de . Note que
(0, b) = (b, 0) (0,1) .
Denotando i = (0,1) e lembrando que (b, 0) = b , podemos escrever
(0, b) = bi .
Definio 6.1.1. O elemento i = (0,1) chamado de unidade imagi-

nria.
Observao 6.1.1. Uma conta simples mostra que i 2 = 1 . De

fato,
i 2 = i . i = (0,1) (0,1) = (1, 0) = 1 .
Dado z = (a, b) , temos:
z = (a, b) = (a, 0) + (0, b) = a + bi .

Ento:
= {a + bi ; a, b }
e
a + bi = c + di (a, b) = (c, d ) a = c e b = d .
Para z = a + bi , sabemos que a = (a, 0) {0} = Im ( f ) = ,

e ento chamamos a de parte real do nmero z = a + bi . Em ana-
logia, chamamos b de parte imaginria do nmero z = a + bi .
Notao: Para z = a + bi , denotamos a parte real e a parte ima-

ginria de z , respectivamente, por:
Re ( z ) = a e Im ( z ) = b .
Definio 6.1.2. Um nmero complexo real quando sua parte ima-

ginria zero. Um nmero complexo imaginrio puro quando sua
parte real zero.
176
Exemplo 6.1.1. z = 3 + 0 i real e

z = 0 + 7 i imaginrio puro.
Usando a notao = {a + bi ; a, b } as operaes de so:
(a + b i ) + (c + d i ) = (a + c) + (b + d ) i ;
(a + b i ) (c + d i ) = (a c b d ) + (a d + b c) i .
Alm disso, no corpo = {a + bi ; a, b } temos:
O elemento neutro 0 .
O simtrico de a + bi a bi .
A unidade 1.
a b
O inverso de a + bi 0 2 i.
a + b a + b2
2 2
Vejamos alguns exemplos de operaes com nmeros comple-

xos escritos na forma a + bi .
Exemplo 6.1.2. Calcular o inverso de z = 3 + 5 i .
Soluo.
3 5 1
z 1 = 2 2
2 2 i = (3 5 i ) .
3 +5 3 +5 34
Exemplo 6.1.3. Se = 11 2i e = 2 + i , calcular:

+ , 2, , , e .

Soluo.
+ = (11 2 i ) + (2 + i ) = (11 + 2) + (2 + 1) i = 13 i .
2 = (11 2 i ) 2 (2 + i ) = (11 2 i ) + (4 2 i ) = (11 4) + (2 2) i = 7 4 i.
= ( 1) = (11 2 i ) (2 + i 1) = (11 2 i ) (1 + i ) = (11 + 2) + (11 2) i = 13 + 9 i.
= = 0 .
2 i 1 1
= 1 = (11 2 i ) = (11 2 i ) (2 i ) = ((22 2) + (11 4) i)
5 5 5 5
1
= (20 15 i ) = 4 3 i.
5
177
1
4 3 1
= 1 = ( 1 ) 1 = = (4 3 i ) 1 = + i = (4 + 3 i ).
25 25 25
Exemplo 6.1.4. Determinar x para que z = (2 x i ) ( x + 2 i ) seja

imaginrio puro.
Soluo.
z = (2 x i ) ( x + 2 i ) = (2 x + 2 x) + (4 x 2 ) i .
Para ser imaginrio puro devemos ter 0 = Re ( z ) = 4 x . Logo, x = 0 .
Veremos a seguir que, via isomorfismo, o corpo (, +, ) pode

ser identificado com um corpo formado por matrizes reais 2 x 2 .
Proposio 6.1.2. A aplicao f : M 2 ()
a b
a + bi ,
b a
monomorfismo de anis e
a b
Im ( f ) = ; a, b .
b a
Demonstrao. claro que

a b
Im ( f ) = ; a, b .
b a
Para mostrar que f injetora fazemos
a b c d
f ( a + b i ) = f (c + d i ) =
b a d c
a=c e b=d
a + bi = c + d i .
Agora vamos ver que f homomorfismo.

178
Com a notao da Proposio 6.1.2 temos que
a b
Im ( f ) = ; a, b
b a
subanel de M 2 () , e ento
a b
f : ; a, b
b a
a b
a + bi
b a
isomorfismo. Mas corpo, e corpo estrutura algbrica inva-
a b
riante por isomorfismo. Ento ; a, b um corpo.
b a
Observao 6.1.2. Sabemos que o anel M 2 () no comutativo

e tem divisores de zero, portanto no corpo nem domnio. No
a b
entanto, vimos acima que A = ; a, b um corpo
b a
contido em M 2 () . Em particular temos que o produto de matri-
zes de A comutativo, que vale a lei do cancelamento em A e que
toda matriz no nula de A inversvel.
a b
O isomorfismo f : ; a, b permite efetuar
b a
operaes em , fazendo operaes com matrizes. Para ilustrar isso,
sejam , e suponha que desejemos calcular . Podemos
multiplicar as matrizes x = f ( ) e y = f ( ) obtendo x y e ento
f 1 ( x y ) = f 1 ( x) f 1 ( y ) = .
179
Exemplo 6.1.5. Sejam = 11 2i e = 2 + i . Ento:
11 2 2 1
f ( ) = = x e f ( ) = = y.
2 11 1 2
2 1
13 1 24 7 1
5 5
Como x + y = , xy= e y = , temos:
1 13 7 24 1 2

5 5
+ = f 1 ( x) + f 1 ( y ) = 1
f ( x + y ) = 13 i .
= f 1 ( x) f 1 ( y ) = f 1 ( x y ) = 24 + 7 i .
2 i
1 = ( f 1 ( y ))1 = f 1 ( y 1 ) = .
5 5
Lista de exerccios
1) Mostre que todo subdomnio de contm .
2) Mostre que todo subcorpo de contm .
3) Se z e w so nmeros complexos, mostre que:
a) Re ( z w) = Re ( z ) Re ( w) ;
b) Im ( z w) = Im ( z ) Im ( w) .
4) Considere os nmeros complexos z = (2, 5) e w = 2 + 2i .

Calcule o inverso dos seguintes elementos.
a) z , z , iz , iz .
b) w, w, iw, iw .
5) Para = 1 + i e = 3 2i , calcule:
a) + , 3 2 , i i, ;

b) , , i 1 , i 1 , 1 1 .

6) Sabendo que z e z 1 + zi = 0 , escreva z na forma (a, b) .
7) Sabendo que z e 1 z 1 = (3, 2) , escreva z na forma a + bi .

180
8) Determine x tal que z = i (4 x + 7) + (3 x i ) seja nmero

real negativo.
a+i
9) Para que valores de a o nmero z = real?
1+ a i
3 4
10) Calcule a inversa da matriz M 2 () .
4 3
11) Calcular i 0 + i1 + i 2 + ... + i n , para todo n .
6.2 Conjugado e norma

Definio 6.2.1. O conjugado do nmero complexo z = a + bi
z = a bi .
claro que o conjugado de um nmero real ele prprio, e que

o conjugado de um nmero imaginrio puro seu simtrico. Isto
, para a, b temos:
z=a z=a
z = bi z = b i.
Note que se z representado como par ordenado z = (a, b) , ento
z = (a, b) . Isso significa que o conjugado de z , geometricamen-
te, a reflexo de z em relao ao eixo horizontal, como na figura
abaixo.
b z = (a, b)
b z = (a,b)
Figura 6.2.1
Lema 6.2.1. A aplicao f : , f ( z ) = z , um isomorfismo.
Demonstrao.
Sejam = a + bi , = c + d i .
181
Segue que f homomorfismo.

Para ver que sobrejetor, considere z = a + bi e tome
w = a bi . Ento:
f ( w) = w = a b i = a + bi = z .
Finalmente, f injetor, pois
z = a + b i N ( f ) f ( z) = a b i = 0
a=b=0
z=0

No Lema 6.2.1 vimos que f : , f ( z ) = z , um isomor-

fismo, que chamamos de isomorfismo conjugao. Em particular
isso diz que + = + e = , para quaisquer , .
De fato,
+ = f ( + ) = f ( ) + f ( ) = + .
= f ( ) = f ( ) f ( ) = .
A prxima proposio rene propriedades do isomorfismo

norma.
Proposio 6.2.1. Sejam , .
(1) + = + .
182
(2) = .
(3) = .
(4) = .

(5) = , 0.

(6) + = 2 Re ( ) .
(7) = 2 Im ( ) i .
Demonstrao. Os itens (1) e (2) j foram provados e o item (3)

bvio.
Para os itens (4) e (5) usaremos as propriedades conhecidas de
isomorfismo para f ( z ) = z .
(4) = f ( ) = f ( ) f ( ) = .

(5) = 1 = f ( 1 ) = f ( ) f ( 1 ) = f ( ) f ( ) 1 = ( ) 1 = .

(6) e (7). Seja = a + bi , ento
+ = (a + bi ) + (a bi ) = (a + a ) + (b b) i = 2a = 2 Re ( ) .
= (a + bi ) (a bi ) = (a a ) + (b + b) i = 2b i = 2 Im ( ) i .

Exemplo 6.2.1. Seja = 5 + 2i . Escreva = 3i na forma a + bi .
= 3i = 3i = + 3i = 5 + 2 i + 3i = 5 + 5i .
(2 + i ) 2
Exemplo 6.2.2. Escreva = na forma a + bi .
3 4i
(2 + i ) 2
= = (2 i ) (2 i ) (3 4 i ) 1 = (3 4 i ) (3 4 i ) 1 = 1 .
3 4i
Exemplo 6.2.3. Seja . Mostre que .

Chame = a + bi .
= (a + bi ) (a bi ) = (a 2 + b 2 ) + ( a b + a b) i = a 2 + b 2 .
183
Exemplo 6.2.4. Determine tal que 4 i + = 10 + 5 i .

Seja = a + bi .
10 + 5 i = 4 i + = 4 i (a + bi ) + (a bi )
= (4 b + 4 a i ) + (a bi )
= (a 4 b) + (4 a b) i .
a 4 b = 10
Devemos ter
4 a b = 5
e ento a = 2 e b = 3 . Logo = 2 + 3i .
Definio 6.2.2. A norma do nmero complexo z = a + bi
z = a 2 + b 2 . A norma de um nmero complexo tambm chamada de

mdulo ou valor absoluto.
Se z = a , ento z = a = a 2 , portanto no caso de nmero

complexo real, a norma coincide com o mdulo do nmero real.
Em particular, se z = a temos z = a = max {a, a}.
Note que se z representado como par ordenado z = (a, b) ,

ento z exatamente a distncia de (a, b) at a origem (0, 0) .
( )
Figura 6.2.2
r = d ((a, b), (0, 0)) = (a 0) 2 + (b 0) 2 = a 2 + b 2 = z .
De forma mais geral, se z = (a, b) e w = (c, d ) so nmeros com-

plexos ento z w a distncia de (a, b) at (c, d ) .
184
( )
( )
Figura 6.2.3
r = d ((a, b), (c, d )) = (a c) 2 + (b d ) 2 = z w .
Exemplo 6.2.5. z = 7 z = (7) 2 = 7
z = 2 i z = 22 = 2
z = 1+ 3 i z = 1+ 3 = 2 .
A cada nmero complexo z = a + bi associamos trs nmeros

reais:
z = a 2 + b 2 , Re ( z ) = a e Im ( z ) = b .
Esses nmeros esto relacionados pela equao

2
z = (Re ( z ))2 + (Im ( z ))2 .
Tambm fcil ver que
z Re ( z ) Re ( z ) e z Im ( z ) Im ( z ) .
De fato, se z = a + b i ento:
z = a 2 + b 2 a 2 = a = Re ( z ) a = Re ( z ) .
z = a 2 + b 2 b 2 = b = Im ( z ) b = Im ( z ) .
Na prxima proposio listamos algumas propriedades da

norma.
Proposio 6.2.2. Sejam , .

2
(1) = .
(2) = = .
185

(3) 1 = 2
, 0.

1
(4) 1 = , 0.
(5) = .

(6) = , 0.

(7) + + (desigualdade triangular).
(8) .
Demonstrao. Sejam = a + b i e = c + d i .
(1) = (a + b i ) (a b i ) = (a 2 + b 2 ) + (a b + b a ) i
2
= a 2 + b2 = ( a 2 + b2 )2 = .
(2) = a 2 + (b) 2 = a 2 + b 2 =
e
= a b i = (a ) 2 + (b) 2 = a 2 + b 2 = .
cdi
(3) 1 = 2 2
= 2.
c +d
cdi c d
(4) 1 = 2 2
= 2 2 i
c +d c + d c + d2
2
c2 d2 c2 + d 2
= + =
(c 2 + d 2 ) 2 (c 2 + d 2 ) 2 (c 2 + d 2 ) 2
1 1
= 2 2
=
c +d c2 + d 2
1
= =| |1 .
| |
186
(5) Por (1) temos

2 2 2
= = = = .
Desde que , e so nmeros reais positivos, extraindo

2 2 2
raiz quadrada na igualdade = = ( ) 2 , vem que
= .
(6) .
(7)
Desde que + e + so nmeros reais positivos, toman-

2
do raiz quadrada na desigualdade + ( + ) 2 , vem que
+ + .
(8) = + +
= + + = + = ( ).
Como um nmero real, temos que
max { , ( )} = .

Exemplo 6.2.6. Sabendo que = 34 e = 4 + i , calcule e

1 .
187
2
= = 34
e
1 34
1 = = 34 ( 17) 1 = = 2.
17
Lista de exerccios
1) Determine o mdulo de z quando:
10
1+ i
a) z = .
1 i
b) z = (3 + 2i ) 2 + (3 2i ) 2 .
(3 2i )3
c) z = .
(3 + 2i )5
2) Sejam = 1 3i e = 3 i . Calcule:
a) , , e .
b) e 1 .
3) Determine tal que i + 3 = 5 2i .
4) Resolva em a equao x 4 + 3 x 2 + 2 = 0 .
5) Determine z tal que z 2 = 5 + 4i .
6) Sabendo que | |= 7 e = 3 + 2i , calcule e 1 .
i
7) Seja z = . Escreva z na forma a + bi e calcule z 1 .
2 2i
8) Sejam , tais que . Mostre que:
a) + 0 .
z z
b) , z .
+
188
6.3 Forma trigonomtrica e

potncias
Alm da representao do nmero complexo z na forma de
par ordenado z = (a, b) , e na forma algbrica z = a + b i , temos in-
teresse numa nova representao que ser til no clculo de po-
tncias e razes.
Seja z = a + b i um nmero complexo no nulo. Sabemos que o

segmento que liga (0, 0) at (a, b) tem comprimento z . Se o
ngulo entre este segmento e o eixo positivo O X , temos
( )
Figura 6.3.1
Assim podemos escrever z = z (cos + i sen ) , 0 < 2 .
Definio 6.3.1. Dizemos que o nmero complexo no nulo

z = z (cos + i sen ) , 0 < 2 , est na forma trigonomtrica (ou
forma polar) e que o argumento de z .
Costuma-se denotar o argumento de z por arg ( z ) .
Olhando para a figura 6.3.1 acima, observe que o argumento

de z = a + b i , a 0 , pode ser obtido como
b b
tg = = arg ( z ) = arc tg .
a a
claro que quando a = 0 temos

189

arg ( z ) = , se b > 0
2
e
3
arg ( z ) = , se b < 0 .
2
Observao 6.3.1. No falamos em representao trigonom-

trica para z = 0 , pois esse nmero pode ser representado de

mais de uma maneira. Por exemplo, 0 = 0 cos + i sen ;
2 2
0 = 0 (cos + i sen ) .
O Lema abaixo mostra que um nmero complexo no nulo tem

representao nica na forma trigonomtrica.
Lema 6.3.1. Sejam r , s nmeros reais positivos e , x ngulos medidos

em radianos. Se
r (cos + i sen ) = s (cos x + i sen x)
ento r = s exx== ++2t2t,
, t .
Em particular, quando [0, 2 ) e x [0, 2 ) , temos = x .
Demonstrao.
Assim a igualdade r (cos + isen) = s (cos x + isenx) , pode ser es-

crita como cos + isen = cos x + isenx . E ento
cos = cos x

sen = senx
Segue que x = + 2k , k .
Quando e x esto no intervalo [0, 2 ) , temos que = x .

190
Exemplo 6.3.1. Representar na forma trigonomtrica os nmeros

complexos:
1+ i
3 i , 3i , 7 e .
1 i
z = 3 i
11
Logo = .
6
11 11
3 i = 2 cos + i sen .
6 6
z = 3 i
z = (3) 2 = 3; cos = 0, sen = 1 .
3
Logo = .
2
3 3
3 i = 3 cos + i sen .
2 2
z = 7
Logo
= 0.
7 = 7 (cos 0 + i sen 0) .
1 + i (1 + i ) (1 + i ) (1 1) + (1 + 1) i 2 i
z = = = = =i.
1 i (1 i ) (1 + i ) 2 2
.

Logo
= .
2
1+ i
= i = 1 cos + i sen .
1 i 2 2
191
A proposio abaixo, devida a Abraham de Moivre (1667

1754), apresenta uma frmula para calcular potncias de nmeros
complexos escritos na forma trigonomtrica.
Proposio 6.3.1. (Frmula de Moivre).

Se
z = z (cos + i sen ) e n
ento
n
z n = z (cos n + i sen n ) .
Demonstrao. Faremos a demonstrao por induo sobre n .

claro que a frmula vale para n = 0 pois
0
z 0 = 1 = 1(cos 0 + i sen 0) = z (cos 0. + i sen 0. ) .
Admita, como hiptese de induo, que a frmula vale para n = k ,

isto , k
z k = z (cos k + i sen k ) .
Para n = k + 1 , usamos a hiptese de induo e obtemos:
Lembrando que
sen (u + v) = sen u cos v + sen v cos u

cos (u + v) = cos u cos v sen u sen v, u, v . ,
vem que
k +1
z k +1 = z (cos (k + 1) + i sen (k + 1) ) .
Logo a frmula vale para k + 1 , e pelo primeiro princpio de indu-
o
n
z n = z (cos n + i sen n ) , n .

Exemplo 6.3.2. Calcule (1 + 3 i )5 e (1 + 3 i )6 .

. Logo = e ento
3

z = 2 cos + i sen .
3 3
192
Pela Frmula de Moivre,
5 5
5 1 3
z 5 = 25 cos + i sen = 2 i = 16 16 3 i
3 3 2 2
e
6 6
z 6 = 26 cos + i sen 6 6
= 2 (cos 0 + i sen 0) = 2 = 64 .
3 3
Exemplo 6.3.3. Calcule ( 3 i )10 .

Vimos no Exemplo 6.3.1 que
11 11
z = 3 i = 2 cos + i sen .
6 6
Pela Frmula de Moivre
11 11
( 3 i )10 = 210 cos 10 + i sen 10 .
6 6
Como o argumento de z deve estar no intervalo [0, 2 ) , devemos

11 55
descontar os mltiplos de 2 do ngulo 10 = .
6 3
Assim tomamos
55
9 2 = .
3 3
1 3
( 3 i )10 = 210 cos + isen = 210 + i 9
= 2 (1 + 3 i ) .
3 3 2 2
O exemplo abaixo ilustra que, em alguns casos, conveniente

calcular potncias de nmeros complexos sem usar a Frmula de
Moivre.
(1 + i )6
Exemplo 6.3.4. Calcule .
(1 i ) 4
1+ i
J vimos que = i . Ento:
1 i
4
(1 + i )6 1 + i 2 4 2
4
= (1 + i ) = i (1 + i ) = 1(1 + i ) (1 + i ) = 2 i .
(1 i ) 1 i
Exemplo 6.3.5. Determine o menor valor de n , para que

( 2 + 2 i ) n seja:
193
a) Um nmero real.
b) Um nmero imaginrio puro.
Logo,

= e z = 2 cos + i sen .
4 4 4
Portanto,
n n
z n = 2n cos + i sen .
4 4
n
a) Para que z n seja real precisamos sen = 0.
4
n
Isso ocorre quando = k .
4
n
Se tomarmos k = 0 , vem que = 0 e da n = 0 , que no
4
possvel, pois n .
n
Segue que k = 1 e ento = , isto , n = 4 .
4
Assim z 4 = 24 (cos + i sen ) = 16 .
n
b) Para que z n seja imaginrio puro devemos ter cos = 0.
4
n
Isso ocorre quando = + k .
4 2
n
Tomando k = 0 vem que = , isto , n = 2 .
4 2

Assim, z 2 = 22 cos + i sen = 4 i .
2 2
Lista de exerccios
1) Sejam z = r (cos + i sen ) e w = s (cos + i sen ) nmeros
complexos no nulos escritos na forma trigonomtrica.
a) Verifique que z w = r s (cos ( + ) + i sen ( + )) .
b) Conclua que arg ( z w) arg ( z ) + arg ( w) (mod 2 ) .
1 1
c) Mostre que w1 = (cos ( ) + i sen ( )) = (cos i sen ) .
s s
r
d) Mostre que z w1 = (cos ( ) + i sen ( )) .
s
z
e) Conclua que arg arg ( z ) arg ( w) (mod 2 ) .
w
194
2) Escreva na forma trigonomtrica.
a) 1 + 3 i .
1
b) (1 + 3 i ) .
2
c) 17 i .
d) b i, b + .
e) b i, b .
3) Calcule as potncias indicadas.
a) (1 + 3 i )12 .
b) (1 3 i )6 .
c) (1 i ) 40 .
4) Determine o menor valor de n para que (1 + i ) n seja:
a) Um nmero real.
b) Um nmero imaginrio puro.
1
5) Escrever z = na forma trigonomtrica.
1+ i 3
6) Determinar o mdulo e o argumento de z , sabendo que
i z + 2 z +1 i = 0 .
2
7) Dado que z + 3( z z ) = 4 12i , escreva z na forma alg-
brica.
8) Sejam x, y e z = x + i y . Se y = x + 1 e z = 5 , calcule as
possibilidades para z .

9) Se z tem mdulo 2 e argumento , calcule z 2 .
8
10) Sejam z = 1 + i e w = 3 + i . Escreva z w na forma trigono-
mtrica.
195
5 5
11) Dados os nmeros complexos z1 = 2 cos + i sen ,
6 6
3 3
z2 = 3 cos + i sen e z3 = cos + i sen , calcule o m-
4 4 12 12
dulo e o argumento de z = z1 z2 z3 .
6.4 Raiz n-sima complexa

Sejam n e a . Lembre que a raiz n-sima real de a ,
indicada por n a , definida da maneira seguinte:
Se a 0 , ento n
a o nico nmero real positivo b tal que
bn = a .
Se n mpar e a qualquer, ento n

a o nico nmero real
b tal que b n = a .
Note que, quando n par e a < 0 no existe b tal que

b = a , pois b n no negativo. Assim a raiz n-sima real no est
n
definida quando a < 0 e n par.
Observao 6.4.1. Devemos tomar cuidado para no confundir

n
a com o conjunto soluo da equao x n = a em . Com efeito,
n
a indica um nico nmero real (que uma soluo de x n = a ),
no entanto x n = a tem outra soluo em , quando n par. Por
exemplo, 4 = 2 mas as solues de x 2 = 4 so 2 e 2 .
Trataremos agora de raiz n-sima complexa de z . A pr-

xima definio junto com a observao acima deixa claro que
quando z e a raiz n-sima real de z est definida, ento os
conceitos de raiz n-sima real de z e raiz n-sima complexa de z
so distintos, para n > 1 .
Definio 6.4.1. Sejam n e z . Chamamos de raiz n-si-

ma complexa de z os nmeros complexos que so soluo da equao
xn = z .
Exemplo 6.4.1. A raiz quadrada real de 4 2 , pois 2 > 0 e 22 = 4 .

Os nmeros complexos 2 e 2 so razes quadradas complexas de
4, pois 22 = 4 = (2) 2 .
196
Exemplo 6.4.2. A raiz quarta real de 16 2, pois 2 > 0 e 24 = 16 .

Os nmeros complexos 2 , 2, 2 i , 2 i so razes quartas com-
plexas de 16, pois 24 = (2) 4 = (2 i ) 4 = (2 i ) 4 = 16 .
Exemplo 6.4.3. A raiz cbica real de -8 -2, pois 2 e

(2)3 = 8 .
Os nmeros complexos 2 , 1+ 3 i e 1 3 i so razes cbicas
complexas de 8 , pois (2)3 = (1 + 3 i )3 = (1 3 i )3 = 8 .
Exemplo 6.4.4. Os nmeros complexos 1 + i e 1 i so razes

quadradas complexas de 2i , pois (1 + i ) 2 = (1 i ) 2 = 2 i .
Veremos a seguir um procedimento para calcular as razes n-

simas complexas de z .
Proposio 6.4.1. (Segunda Frmula de Moivre). Sejam n e

z = z (cos + i sen ) . Existem exatamente n razes n-simas com-
plexas de z dadas por
Demonstrao. Inicialmente note que k raiz n-sima comple-

xa de z , pois
n ( + 2 k ) n ( + 2 k )
(k ) n = ( n z )n cos + i sen
n n
= z (cos ( + 2k ) + i sen ( + 2k ))
= z (cos + i sen ) = z .
Agora vamos mostrar que toda raiz n-sima complexa de z da

forma
k , k {0,1,..., n 1}.
Seja = (cos x + i sen x) raiz n-sima complexa de z . Ento

n = z , isto ,
n
(cos n x + i sen n x) = z (cos + i sen ) .
n
n x== + 2t , t .
Pelo Lema 6.3.1 temos = z e nx
Segue que
197
Dividindo t por n escrevemos t = nq + k , 0 k < n , isto ,

k {0,1,..., n 1}.
Assim,
Como
conclumos que
Exemplo 6.4.5. Seja a , a > 0 . Calcular as razes quadradas

complexas de a .
Como a > 0 , escrevemos a = a (cos 0 + i sen 0) , e ento
0+0 0 + 0
w0 = a cos + i sen = a ,
2 2
e
0 + 2 0 + 2
w1 = a cos + i sen = a .
2 2
Em particular:
As razes quadradas complexas de 4 so 2 e 2 .
As razes quadradas complexas de 5 so 5 e 5.
As razes quadradas complexas de 36 so 6 e 6 .
Observao 6.4.2. Note que a raiz quadrada real de a > 0 exata-

mente a escolha da raiz quadrada complexa positiva. Denotamos
isso por a . Assim, 4 = 2 e 36 = 6 .
198
Exemplo 6.4.6. Seja a , a < 0 . Calcular as razes quadradas

complexas de a .
Como a < 0 , escrevemos a = a (cos + i sen ) , e ento
+0 + 0
w0 = a cos + i sen = a i,
2 2
e
+ 2 + 2
w1 = a cos + i sen = a (i ) = a i.
2 2
Em particular:
As razes quadradas complexas de 4 so 2i e 2i .
As razes quadradas complexas de 5 so 5i e 5i.
As razes quadradas complexas de 36 so 6i e 6i .
Observao 6.4.3. Sabemos que a raiz quadrada real de a < 0 no

est definida. Usaremos o smbolo para indicar a escolha de
uma das razes quadradas complexas de a < 0 . Deve ficar claro
que se trata apenas de uma notao.
Notao: Se a e a < 0 , escrevemos a= a i.
A notao acima diz que
4 = 4 i = 2 i
5 = 5 i
36 = 6i
1 = i .
Note que todas as razes n-simas complexas

k , k {0,1,..., n 1}, do nmero complexo z tm o mesmo m-
dulo.
De fato,
,
e
199
Portanto as razes n-simas complexas k podem ser repre-

sentadas geometricamente sobre a circunferncia com centro na
origem e raio n z . Alm disso, como os possveis argumentos
para k so , a circunfe-
rncia fica dividida em n partes congruentes.
Exemplo 6.4.7. Calcular as razes cbicas complexas de 8 e re-

presentar graficamente.
z = 8 = 8(cos + i sen )
2k
e = k .120
n

arg (0 ) = 60 =
3
arg (1 ) = 60 + 120 = 180 =
5
arg (2 ) = 60 + 240 = 300 =
3
1 3
0 = 3 8 cos + i sen = 2 + i = 1 + 3 i
3 3 2 2
1 = 3 8 (cos + i sen ) = 2
5 5 1 3
2 = 3 8 cos + i sen = 2 i = 1 3 i
3 3 2 2
Figura 6.4.1
200
Exemplo 6.4.8. Calcular as razes quartas complexas de

z = 8 + 8 3 i e representar graficamente.
Logo,
2 2 2
= e z = z cos + i sen ,
3 3 3
2k
e = k .90
n

arg (0 ) = 30 =
6
2
arg (1 ) = 30 + 90 = 120 =
3
7
arg (2 ) = 30 + 180 = 210 =
6
5
arg (3 ) = 30 + 270 = 300 =
3

0 = 4 16 cos + i sen
6 6
3 1
= 2 cos + i sen = 2 + i = 3 + i ,
6 6 2 2
2 2
1 = 2 cos + i sen
3 3
1 3
= 2 + i = 1 + 3 i ,
2 2
7 7 3 1
2 = 2 cos + i sen = 2 i = 3 i ,
6 6 2 2
e
5 5 1 3
3 = 2 cos + i sen = 2 i = 1 3 i .
3 3 2 2
201
Figura 6.4.2
A definio abaixo um caso particular da Definio 6.4.1.
Definio 6.4.2. Seja n . As solues da equao x n = 1 em

so chamadas razes n-simas complexas da unidade.
Desde que 1 = 1 (cos 0 + i sen 0) , a Segunda Frmula de Moivre

assegura que as razes n-simas complexas da unidade so:
2k 2k
cos + i sen , k = 0,1,..., n 1 .
n n
2 2
Escrevendo w = cos + i sen , e usando a Primeira Frmu-
n n
la de Moivre para calcular potncias de w , temos que as razes
n-simas complexas da unidade so
w = 1, w, w2 , ... , wn 1 .
Dizemos que wk raiz n-sima complexa primitiva da uni-

dade quando mdc (n, k ) = 1 . A importncia de uma raiz primitiva
est no fato de podermos obter todas as demais a partir de potn-
cias da primitiva. Veja o exemplo abaixo.
Exemplo 6.4.9. Determinar as razes sextas complexas da unida-

de, identificar as primitivas e representar graficamente. Verificar
que, fixada uma primitiva, as demais podem ser obtidas como
potncia dessa primitiva.
2 2
As razes so 1, w, w2 , ... , w5 para w = cos + i sen
6 6
1 3
w = cos 60 + i sen 60 = + i
2 2
1 3
w2 = cos120 + i sen120 = + i
2 2
202
w3 = cos180 + i sen180 = 1
1 3
w4 = cos 240 + i sen 240 = i
2 2
1 3
w5 = cos 300 + i sen 300 = i
2 2
As primitivas so: w e w5 .
w2
w3
w4 w5
Figura 6.4.3
Para a raiz primitiva w obtemos as demais fazendo

w0 , w1 , w2 , ... , w5 .
Agora fixe a raiz primitiva w5 . fcil ver que
2 6 2 6
w6 = cos + i sen = cos 2 + i sen 2 = 1 .
6 6
Ento:
( w5 )0 = 1
( w5 )1 = w5
( w5 ) 2 = w10 = w6 w4 = 1 w4 = w4
( w5 )3 = w15 = ( w6 ) 2 w3 = 1 w3 = w3
( w5 ) 4 = w20 = ( w6 )3 w2 = 1 w2 = w2
( w5 )5 = w25 = ( w6 ) 4 w = 1 w = w .
Portanto, todas as razes sextas complexas da unidade podem ser

obtidas como potncia de cada raiz primitiva.
Quando conhecemos u tal que u n = z * , n * , pode-

mos usar a raiz n -ensima complexa da unidade
203
2 2
w = cos + isen ,
n n
para determinar todas as razes n-simas complexas. Veja o lema
abaixo.
Lema 6.4.1. Sejam n * , z * , u uma raiz n -ensima comple-

2 2
xa de z e w = cos + isen . Ento as razes n-simas complexas
n n
de z so u , uw, uw2 , , uwn 1 .
Demonstrao. Para cada k {0,1, , n 1} temos
(uwk ) n = u n ( wn ) k = z 1k = z .
Assim u , uw,..., uwn 1 so razes n-simas complexas de z . Alm
disso essas razes so distintas, pois se r , s {0,1, , n 1} , temos:
2 r 2 r 2 s 2 s
uwr = uws wr = ws cos + isen = cos + isen .
n n n n
r 2 r
Como 0 < 1 , temos [0, 2 ).
n n
2 s
Da mesma forma, [0, 2 ).
n
2 r 2 s
Segue do Lema 6.3.1 que = , isto , r = s .
n n
Assim, r s implica uwr uws .
Como existem exatamente n razes n-simas complexas de z ,
conclumos que u , uw, , uwn 1 so essas razes.

Exemplo 6.4.10. Vamos retomar o Exemplo 6.4.8, isto , determinar

as razes quartas complexas de z = 8 + 8 3 i . Desta vez estamos
admitindo que sabemos que u = 1 + 3 i uma dessas razes.
Como
2 2
w = cos + isen =i
4 4
w2 = 1 e
w3 = i,
as razes quartas complexas de z = 8 + 8 3 i so
u = 1 + 3 i , u w = 3 i , u w2 = 1 3 i e u w3 = 3 + i .
204
Vimos que as razes n-simas complexas de z so as solu-

es em , da equao x n = z . Alm disso, essas solues podem
ser representadas como n pontos no plano complexo. Em geral,
dada uma equao em podemos representar sua soluo como
uma regio do plano complexo. No entanto, encontrar soluo
para uma equao arbitrria em no tarefa fcil.
Terminaremos esta seo apresentando exemplos de solues

de equaes em e descrevendo a regio do plano complexo
correspondente ao conjunto soluo.
Exemplo 6.4.11. Determinar a regio do plano complexo que sa-

tisfaz a equao
Re ( z ) = 1 ;
S ={( x, y ) ; x = 1} = {(1, y ) } .
Figura 6.4.4

tisfaz a equao
Re ( z ) 3 ;
S = {( x, y ) ; x 3} .
Figura 6.4.5
205

tisfaz a equao
1 Im ( z ) < 1 ;
S ={( x, y ) ; 1 y < 1} .
1
Figura 6.4.6

tisfaz a equao
z +i + z i = 2 .
Seja z = x + y i .
z +i + z i = 2
x + ( y + 1) i + x + ( y 1) i = 2 (*)
x + ( y + 1) i = 2 x + ( y 1) i , (elevar ao quadrado e usar

2
= = a 2 + b 2 )
x 2 + ( y + 1) 2 = 4 4 x + ( y 1) i + x 2 + ( y 1) 2
y 2 + 2 y + 1 = 4 4 x + ( y 1) i + y 2 2 y + 1
4 y = 4 (1 x + ( y 1) i )
y 1 = x + ( y 1) i , (eleva ao quadrado)
( y 1) 2 = x 2 + ( y 1) 2 x = 0 .
Substituindo em (*)
( y + 1) i + ( y 1) i = 2 .
y + 1 + y 1 = 2 , equao modular real
1 Caso: y 1; y + 1 + y 1 = 2 2 y = 2 y = 1 .
2 Caso: y 1; y 1 y + 1 = 2 2 y = 2 y = 1 .
3 Caso: 1 < y < 1; y + 1 y + 1 = 2 2 = 2 (vale para todo 1 < y < 1 )
S = {(0, y ) ; 1 y 1} .
206
Figura 6.4.7

tisfaz a equao
z 2 < 1.
Seja z = a + bi . Procuramos os valores para a, b tais que
(a 2) + bi < 1 .
Pela definio de mdulo devemos ter
(a 2) 2 + b 2 < 1 ,
e assim,
(a 2) 2 + b 2 < 1 .
Sabemos que a equao da circunferncia de centro (2, 0) e raio 1
(a 2) 2 + (b 0) 2 = 1 .
Portanto, a regio procurada a regio interior dessa circunferncia.
1 2 3
Figura 6.4.8
Lista de exerccios
1) a) Calcule a raiz quadrada real de 6.
b) Calcule as razes quadradas complexas de 6.
c) Calcule a raiz cbica real de 6 .
d) Calcule as razes cbicas complexas de 6 .

207
2) a) Descreva as razes cbicas complexas de a + .
b) Descreva as razes cbicas complexas da unidade.
3) Descreva as razes cbicas complexas de a .
4) Calcule as razes cbicas complexas de 1 i e represente

graficamente.
5) Calcule as razes sextas complexas de 8 e represente grafi-

camente.
6) Calcule as razes quintas complexas de 8 + 8 3 i e represen-

te graficamente.
7) Calcule as razes oitavas complexas de 2 + 2 i e represen-

te graficamente.
8) Calcule as razes quadradas complexas de i e represente

graficamente.
9) Calcule (1 + 3 i )3|2 .
10) Determine as razes quartas complexas de 4 . Utilize essas

razes para fatorar z 4 + 4 em:
a) quatro fatores lineares com coeficientes complexos;
b) dois fatores quadrticos com coeficientes reais.
11) Verifique que a frmula de Bskaras pode ser usada para

resolver a equao a z 2 + b z + c = 0 , com a, b, c , a 0 .
12) Use o exerccio 11 para resolver a equao

(1 + i ) z 2 + (1 + 2i ) z 2 = 0 .
13) Descreva geometricamente cada uma das regies indicadas

abaixo.
a) Re ( z ) < 2 .
b) Im ( z ) > 1 .
208
c) z 4 > 3 .
1
d) Re ( z 1 ) < .
2
e) z 4 > z .
6.5 Alguns subdomnios de

Nesta seo, p um nmero primo positivo, e usaremos a no-
tao p = pi.
Vimos que:
p subdomnio de ;

p subcorpo de .
Agora definimos os conjuntos p , p e p

por
p = {a + b p ; a, b } = {a + b p i ; a, b } ,
p = {a + b p ; a, b } = {a + b p i ; a, b }
e
p = {a + b p ; a, b } = {a + b p i ; a, b } .
claro que p p p . Vamos veri-
ficar que cada um desses conjuntos um subanel de e determi-

nar sua melhor estrutura algbrica.
Comeamos mostrando que p = , portanto corpo.
Proposio 6.5.1. Se p um nmero primo positivo, ento p = .
Demonstrao. Devemos mostrar que p .

Dado a + b i , escrevemos
b b
a + bi = a + pi =a+ p p .
p p

209
Para fazer contas em p e p , usamos o resultado

a seguir.
Lema 6.5.1. Sejam a + b p , c + d p , com a, b, c, d . Ento
a+b p = c+d p a = c e b = d .
Demonstrao. () bvio.
() a + b p = c + d p a + b p i = c + d p i
a=c e b p =d p
a=c e b=d

Proposio 6.5.2.
(a) p subdomnio de , mas no subcorpo.
(b) p subcorpo de .
Demonstrao.
(a) Sejam a + b p , c + d p p . Assim, (a c) ,
(b d ) , (a c p b d ) , (a d + b c) e ento
(a + b p ) (c + d p ) = (a c) + (b d ) p p .

( a + b p ) (c + d p ) = ( a c + b d p p ) + ( a d + b c ) p
= (a c + b d p i p i ) + (a d + b c) p
= (a c p b d ) + (a d + b c) p p .
Segue que p subanel de e tem unidade, pois

1 = 1+ 0 p .
Logo p subdomnio de .
No entanto no subcorpo, pois 0 2 p , mas

1
21 = p .
2
210
1 1
De fato, se p , ento = a + b p , a, b .
2 2
1
Pelo Lema anterior temos que = a . Que no possvel.
2
(b) De forma anloga ao item (a) verifica-se que p um
subanel comutativo e unitrio de . Para concluir que subcorpo,
devemos mostrar que se 0 a + b p p , ento
(a + b p ) 1 p .
Sabemos que a + b p tem inverso em e
a b pi
(a + b p ) 1 = (a + b pi ) 1 = 2
a + p b a + p b2
2 2
a b p
= 2
a + p b a + p b2
2 2
a b
= 2 p .
a + p b a + p b2
2 2
Como
a b
, 2 ,
a + p b a + p b2
2 2
conclumos que
1 a a b b
((a + b (a+p b)) )
1
1
= p 2 = 22 2 2 22 2
p p .
a + p ab + pa b + p ab + p b

Observe que a proposio acima fornece uma famlia infinita
de subcorpos de . A saber, p para cada nmero primo
positivo p . Desde que p i = p p e p i , os cor-
pos p no so subcorpos de .
Um raciocnio idntico ao anterior permite concluir que os
anis do tipo p , p um nmero primo positivo, formam
uma famlia infinita de subdomnios de que no so subdom-

nios de . Observe ainda que valem as incluses
211
p p ,
indicando que o anel da esquerda subanel do anel da direita.
Proposio 6.5.3. Sejam p e q nmeros primos positivos tais que p q .
Ento no existe relao de incluso entre p e q e entre
p e q .
Demonstrao. Vamos mostrar que p q . As ou-

tras trs verificaes so anlogas.
Desde que p p , basta provar que p q .
Suponha que p q . Ento existem a, b tais que
p = a + b q .
Elevando ao quadrado, temos
p = a 2 + 2 a b q q b 2 ,
e da,
(a 2 q b 2 + p) + 2 a b q = 0 = 0 + 0 p .
Segue do Lema 6.5.1 que
a 2 + p q b 2 = 0

2a b = 0
1 Caso: a = 0 e a 2 + p q b 2 = 0 .
Nesta situao temos p = q b 2 . Porm, isso implica em q | p . Ab-
surdo, pois p e q so nmeros primos positivos e distintos.
2 Caso: b = 0 e a 2 + p q b 2 = 0 .
Agora temos a 2 = p , que tambm absurdo, pois a 2 0 e
p <0.
Portanto a suposio p q leva a absurdo, e conclumos
que p q . Consequentemente, p q .

212
Existe outro subanel de que merece destaque. Considere o

conjunto
[i ] = {a + b i ; a, b } .
Proposio 6.5.4. O conjunto [i ] subdomnio de , mas no

subcorpo.
Demonstrao. Sejam a + b i , c + d i [i ] . Ento (a c) ,

(b d ) , (a c b d ) , (a d + b c) , e da
(a + b i ) (c + d i ) = (a c) + (b d ) i [i ] .
(a + b i ) (c + d i ) = (a c b d ) + (a d + b c) i [i ] .
Segue que [i ] subanel de e tem unidade, pois 1 = 1 + 0i .

Logo [i ] subdomnio de .
No entanto [i ] no subcorpo, pois 0 2 [i ] mas
1
21 = [i ] .
2
1 1
De fato, se [i ] , ento = a + b i , a, b .
2 2
1 1
A igualdade + 0 i = a + b i diz que = a , que no poss-
2 2
vel.
1
Portanto = 21 [i ].
2

Definio 6.5.1. O domnio [i ] chamado de Anel de Inteiros de

Gauss.
Informaes. O anel de inteiros de Gauss bastante usado em

Teoria de Nmeros. Particularmente no estudo dos nmeros in-
teiros que so soma de dois quadrados. Um primeiro resultado
desse estudo devido a Fermat (1606 1665), que descreveu quan-
do um nmero primo p soma de dois quadrados. A saber:
p soma de dois quadrados p = 2 ou p 1(mod 4) p no

irredutvel em [i ] .
Esse resultado foi generalizado pelo prprio Fermat da maneira

seguinte.
213
Um nmero natural n soma de dois quadrados se, e somente

se, os primos p que dividem n e so da forma p 3 (mod 4) tm
expoente par.
Assim, sabemos que 35 = 7.5 no soma de dois quadrados, pois

7 3(mod 4) , mas 7 tem expoente mpar na decomposio de 35 .
Por outro lado, 245 = 7 2.5 soma de dois quadrados, pois o nico
primo da decomposio de 245 que cngruo a 3 mdulo 4 o
primo 7 , que tem expoente par. claro que 245 = 7 2 + 142 .
Lista de exerccios
1) Calcule o conjunto dos elementos inversveis do anel de in-
teiros de Gauss, isto , ( [i ]) .
2) Sejam p um nmero primo positivo e N : p
Para , p mostre que:
a) Se = a + b p , ento N ( ) = (a + b p ) (a b p ) .
b) N ( ) = 0 = 0 .
c) N ( ) = N ( ) N ( ) .
d) ( p ) N ( ) = 1 .

3) Calcule:
a) ( 17 ) ;

b) ( p ) , p nmero primo positivo.

4) Determine as possibilidades para e sabendo que

, 5 e = 3 .
5) Mostre que 2 + 5 e 2 5 so divisores de 9 em

5 .
214
6) Seja f : 2 M 2 ()
a 2 b
a + b 2 .
b a
a) Mostre que f monomorfismo;
b) Verifique que f no pode ser isomorfismo.
Resumo
Construmos formalmente o corpo dos nmeros comple-
xos e, atravs da identificao a = (a, 0) , vimos que sub-
corpo de .
Apresentamos as formas algbrica e trigonomtrica de um

nmero complexo.
Provamos as principais propriedades de nmeros comple-

xos que envolvem norma e conjugado.
Vimos que a Primeira Frmula de Moivre til para calcu-

lar potncia de nmeros complexos.
Definimos raiz n -sima complexa de um nmero comple-

xo e provamos que existem exatamente n razes n -simas
complexas de z , que so obtidas pela Segunda Frmula
de Moivre.
Destacamos as razes n -simas da unidade como ferramen-

ta para calcular as razes n -simas complexas de z .
Provamos que para cada nmero primo positivo p , o con-

junto [ p ] subcorpo de , e o conjunto [ p ] sub-
domnio de .
215
Referncias
[1] DOMINGUES, H. H.; IEZZI, G. lgebra moderna. 4. ed. So

Paulo: Atual, 2003.
um livro escrito para alunos de um curso de licenciatura em matem-

tica. Pode ser tomado como a principal referncia para o Curso de lge-
bra I. Possui muitas listas de exerccios e tambm exemplos resolvidos.
[2] GARCIA, A.; LEQUAIN, Y. Elementos de lgebra. Rio de

Janeiro: IMPA, 2003.
Um livro complementar, que traz aplicaes de estruturas algbricas.
[3] GONALVES, A. Introduo lgebra. Rio de Janeiro: SBM,

2001.
Apresenta estruturas algbricas com todo formalismo, sem tornar o

assunto muito carregado. Pode ser tomado como referncia. Tem boas
listas de exerccios.
[4] HEFEZ, A. Curso de lgebra. Rio de Janeiro: SBM, 2003. v. 1.

(Coleo Matemtica Universitria)
Livro complementar.
[5] MONTEIRO, L. H. J. Elementos de lgebra. Rio de Janeiro:

LTC, 1978.
Livro com contedo abrangente. Com aplicaes e exerccios. Pode ser

utilizado para pesquisa complementar.

Álgebra I PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Álgebra I PDF

Uploaded by

Copyright:

Available Formats

lgebra I

Oscar Ricardo Janesch

Universidade Federal de Santa Catarina

Curso de Licenciatura em Matemtica na

Ncleo de Criao e Desenvolvimento de Materiais

Reviso Gramatical: Daniela Piantola, Evillyn Kjellin, Hellen Melo Pereira

Copyright 2011, Universidade Federal de Santa Catarina/CFM/CED/UFSC

1. lgebra. I. Taneja, Inder Jeet. II. Ttulo.

Elaborada pela Bibliotecria Eleonora M. F. Vieira CRB 14/786

1. Anis, Domnios e Corpos................................................. 13

2. Alguns Anis Especiais..................................................... 33

3. Subanis, Elementos Notveis e Divisibilidade............ 61

4. Ideais e Anis Quociente................................................... 95

5. Homomorfismos e Isomorfismos.................................... 135

O contedo est dividido em seis captulos. Cada captulo est

Os captulos 1, 2 e 3 so menos extensos, e os exerccios referentes

Os exerccios integram ao texto. indispensvel resolv-los. As

O programa da disciplina foi desenvolvido de forma que inicias-

Todo o material deste livro de responsabilidade do Professor

Oscar Ricardo Janesch

Pitgoras tinha conhecimento que os egpcios e babilnios faziam

Para ter certeza dos resultados obtidos, Pitgoras aperfeioou a

Os conhecimentos sobre vrias reas da matemtica so forma-

A geometria foi o primeiro ramo da matemtica que teve sua teo-

A axiomatizao da lgebra ocorreu bem mais tarde. A primeira

se dedicavam tentativa de axiomatizar operaes em conjuntos de

O conjunto dos nmeros complexos foi o primeiro a ter sua cons-

Conjuntos com operaes que satisfazem axiomas determinados

A estrutura algbrica chamada anel o assunto do curso de lgebra

A definio de anel surge da necessidade de saber em quais conjun-

As respostas para as perguntas acima levaram aos seis axiomas de

Seja A um conjunto onde esto definidas duas operaes que satisfa-

a partir dos seis axiomas de anel consigamos provar outras quinze

Note que isso leva a uma mudana de enfoque. Deixamos de estu-

Existem vrias outras estruturas algbricas, mas neste curso trata-

No Captulo I definiremos formalmente as estruturas algbricas ci-

Neste captulo definiremos formalmente as estruturas

As operaes usuais de adio e multiplicao de nmeros in-

Essa notao usada para deixar claro que a adio e a multi-

claro que existem outras operaes em . Vejamos dois

Para indicar que consideramos no conjunto as operaes

Nosso interesse por propriedades das operaes de ( , +, ) .

(i) Comutatividade da adio:

(ii) Associatividade da adio:

(iii) Existncia de elemento neutro para a adio:

(iv) Existncia de elemento simtrico em relao adio:

(v) Associatividade da multiplicao:

(vi) Distributividade da multiplicao em relao adio:

Pelo fato de ( , +, ) satisfazer os axiomas acima, dizemos que

evidente que existem outros conjuntos munidos de duas ope-

claro que ( , +, ) tambm satisfaz outros axiomas, mas no

Para ilustrar de que maneira os axiomas de anel podem ser

Pelo axioma (iii): 0 = 0 + 0.

Pelo axioma (vi): a 0 = a 0 + a 0.

Pelo axioma (iv), existe um

Pelo axioma (ii): a 0 + x = a 0 + (a 0 + x ) .

Pelo axioma (iii): 0 = a 0.

Note que na demonstrao acima no foi relevante o fato de

Qualquer conjunto no vazio A, com duas operaes que

De forma mais geral:

Toda propriedade provada a partir dos axiomas de anel vale

Isso leva a uma mudana de enfoque. A saber, estudar um con-

usado na primeira metade do sculo passado, e alguns autores