Algebra I - Miolo - Web

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 978-85-8030-021-5

1. lgebra. I. Taneja, Inder Jeet. II. Ttulo.

Catalogao na fonte pela Biblioteca Universitria da UFSC
CDU 519.6
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 termina 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 captulo. Os captulo 4, 5 e 6 tm mais contedo e por isso os exerccios 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 curso, com os tutores ou com o professor da disciplina.
O programa da disciplina foi desenvolvido de forma que iniciasse com os conceitos bsicos e exigisse o mnimo de pr-requisitos.
Todas as sees, com exceo da primeira, utilizam conceitos e resultados 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
Introduo
Atualmente, quando estudamos conjuntos numricos, temos interesse 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 sculo 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 inicia 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 formalizados 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 provamse novas proposies, e a partir dos axiomas e das novas proposies 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 teoria 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 construo descrita pelo mtodo axiomtico. Isso ocorreu em 1833, com
trabalhos de Willian R. Hamilton (1805-1865). O ltimo foi o conjunto 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 axiomatizao 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 definidas 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 conjuntos 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 demais 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 satisfazem 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 estudar um conjunto baseados na natureza de seus elementos, e passamos 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 trataremos 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 unidade, anis comutativos com unidade, domnios e corpos.
No Captulo I definiremos formalmente as estruturas algbricas citadas 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 trataremos 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 corpo. Apresentaremos alguns exemplos e provaremos propriedades aritmticas dos anis.
1.1 Introduo
Iniciaremos com conceitos e resultados conhecidos sobre o conjunto 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 inteiros so indicadas respectivamente por
+ : e
( a , b) a + b
:
( a , b) a b .
Essa notao usada para deixar claro que a adio e a multiplicao so funes de em . Assim, a operao de adio 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 operaes que satisfazem os axiomas de anel. Por exemplo, (, +, ) ,
( , +, ) e (, +, ) com operaes usuais. Veremos neste captulo que existem muitos outros. Na verdade existem infinitos conjuntos 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 formarem 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 ( , +, ) , vamos 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 conjunto no pela natureza de seus elementos, mas sim pelas propriedades 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 propriedade para muitos conjuntos de uma s vez. Claro que estes
conjuntos devem ter operaes que satisfaam axiomas previamente estabelecidos. Em nosso caso, queremos conhecer propriedades obtidas atravs dos axiomas de anel e conhecer conjuntos
que satisfaam estes axiomas. Iniciaremos este trabalho na prxima 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 , b) a + b
: A A A
( 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 possibilidade 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 ento a, b A e podemos efetuar a operao a + (b) . Para facilitar a escrita, usamos a notao a b para indicar a + (b) , isto ,
a + (b) = a b . Chamamos de operao subtrao em A a operao 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 divisor 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 chamado 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 axiomas 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, usaremos 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 igualdade 0 a = 0 se prova de forma anloga. Pelo axioma (iii) temos:
(Multiplique por a esquerda)
0 = 0 + 0
(Use o axioma (vi))
a.0 = a.0 + a.0
(Some o simtrico x de a.0 , que

existe pelo axioma (iv))
a.0 + x = (a.0 + a.0) + x
(Use o axioma (ii))
0 = a.0 + 0
( a.0 + x = 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 assegura 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 comutativo 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 .
q
p
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 conjunto 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 tabela preenchida operando, em ordem, o elemento da coluna por
cada elemento da linha. Portanto, dada uma tabela deste tipo, sabemos como operar quaisquer dois elementos do conjunto.
24
Exemplo 1.2.7. Seja A = {e, a} um conjunto com 2 elementos. Defina as operaes + e em A , pelas tabelas abaixo:
+
Afirmamos que ( A, + , ) corpo onde 0 A = e e 1A = a . Analisando 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 verifica-se a distributividade direita. Portanto, ( A, + , ) anel. A comutatividade da multiplicao bvia. Desde que ae = e e aa = a
temos que 1A = a . Para provar que ( A, + , ) corpo, s falta mostrar que todo elemento diferente de 0 A = e tem inverso. Mas o
nico elemento diferente de 0 A = e a , que tem inverso a . Conclumos que ( A, + , ) corpo.
Vimos acima que para apresentar um exemplo de anel finito
com 2 elementos, d algum trabalho. Veremos no decorre deste 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 Exemplo 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 . Suponha 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 temos 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 propriedade (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

= ac + (b)c
(axioma(vi))
(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)
ba = ca b = c
a, b, c A, a 0 .
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 unidade 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 . Sabendo 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 chamadas anel, anel comutativo, anel com unidade, anel comutativo 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 algbricas 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. Trataremos 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 domnio, 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 simtrico 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 Ax e dados f A X e x X temos:
x X . Ento,
( 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 qualquer 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 funes 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
; aij A .
M n ( A) =
an1 an 2 ann
Note que quando n = 1 o conjunto M n ( A) pode ser identificado com A . Por isso nosso interesse por n 2 . Para simplificar a
escrita comum denotar a matriz
x11 x12 x1n
x
x22 x2 n
21
X=
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
correspondentes iguais. Assim, para X = xij , Y = yij M n (A)
( A)
temos:
X = Y xij = yij , i, j {1, 2,..., n} .
Em M n ( A) vamos definir a adio e a multiplicao de maneira usual. Dados X = xij , Y = yij M n (A),
( A)escrevemos:
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 existe 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
k =1
k =1
bij = xik akj = xik ykt ztj

n
=
k =1
n
=
k =1
n
=
t =1
n
t =1
x
t =1
ik
( ykt ztj )
(x
t =1
ik
(x
k =1
ik
ykt ) ztj
ykt ) ztj
= 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
k =1
k =1
k =1
k =1
aij = xik ( ykj + zkj ) = ( xik ykj + xik zkj ) = xik ykj + xik zkj .
Por outro lado,
XY + XZ = [ xij ][ yij ] + [ xij ][ zij ] = [bij ] + [cij ] onde
n
k =1
k =1
bij = xik ykj e cij = xik zkj

Segue que bij + cij = aij e ento
XY + XZ = [bij ] + [cij ] = [bij + cij ] = [aij ] = X (Y + Z ) .
1
0
(2) Seja 1 a unidade de A . Tome I =
0 0
1 0
M n ( A)
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 ] ,

IX = X .
1
0
Portanto, I =
isto , X I = X . Analogamente prova-se que

0 0
1 0
a unidade de M n ( A) .
0 1
Observao 2.2.1. O anel M n ( A) no comutativo em muitos casos. Por exemplo, se n 2 e A tem unidade, temos:
1
0
X = 0
1
0
0
0
0
0
0
1
0
1
0 , Y = 0
0
0
0 0 0
0 0 0
0 0 0 M n ( A) .
0 0 0
42
2
0
Mas XY = 0
0
0
0
0
0
0
0
1
1
0
0 e YX = 0
0
0
1
1
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
X =
0 0
0
0
0 0
, Y =
0 0
0
0
0
Porm X Y =
0 0
0 0
M n ( A) e X , Y 0 .
0 a
0 0
0 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 comutativos 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 congruncia 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 disso, 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 facilita 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
mod n)
n )e da a a = b .
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
mod n).
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 congruncia 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} temos 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 , suponha 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

distintos.
so dois a dois
Exemplo 2.3.2.
Como 0 = 2 = 4 = ...
1 = 3 = 5 = ...
Tambm podemos escrever
Exemplo 2.3.3.
representado por
16 = 2 , 10 = 3 , 25 = 4 , 5 = 5 e 13 = 6 .
, que tambm pode ser

, pois 7 = 0 , 15 = 1 ,
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, enquanto 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 precisamos 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 operaes, de forma que o resultado no dependa da escolha dos representantes.
__ __
Sejam a , b n . Defina a adio e a multiplicao em n , respectivamente, por:
48
__
__
______
a+ b = a + b
__ __
_____
a b = ab .
Assim,
+ : n n n
__ __
: n n n
______
__ __
(a, b ) a + b
_____
(a, b ) a b .
Vamos fazer um teste para verificar se h chance dessas operaes 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 disso, 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 propriedades 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 ______

sabemos
que __0 __ e
. Tambm
__
__
__
______
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__ ___________

. Tambm ______
a __ e
( a ) + a = ( a ) + a e__
a__ a_______
= a +__a =______
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 temos

__
____
__ __
__
____
__ __
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

+
1
0
Para completar, calculamos

__
__
_____
__
__
1 + 1 = 1 + 1 = 2 = 0
__ __
(pois 2 0 (mod 2) )
__
0 0 = 0
__
__
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
__ __ __ __
Exemplo 2.3.6. 4 = {0, 1, 2, 3} .

Seguindo de forma anloga aos exemplos acima, temos:
+
__ __ __ __ __
Exemplo 2.3.7. 5 = {0, 1, 2, 3, 4} .

Seguindo de forma anloga aos exemplos acima, temos:
+
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 unitrio 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 satisfeita 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 . Tomando 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, temos 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 satisfazem 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
Sabemos que M 2 ( 2 ) anel com elementos neutro __
__ __
0
1 0
unidade __ __ .
0 1
0
e
__
0
__
Como vimos nas Observaes 2.2.1 e 2.2.2, M 2 ( 2 ) no comutativo e tem divisores de zero. fcil fazer contas em M 2 ( 2 ) ,
veja exemplo abaixo:
__
0
__
1
__
__
1 1
+ __
__
0 1
__
0
__
1
__
__
1 1
__ __
0 1
__
1 1
= __
__
1 0
0
,
__
1
__
__
1 1
= __
__
1 1
__
__
1
.
__
1
__
Veremos agora um outro procedimento para obter anis, a partir 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 elementos 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 chamado 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
__ 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,
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 procedimento 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 Proposio 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
, com exceo da distributiviaxiomas de anel em
dade. Conclua que
no anel.
Dica: Tome
,
.
e calcule
60
Resumo
Neste captulo vimos que:
Com as operaes usuais de soma e multiplicao de funes, 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 matrizes, 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 ento 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 vrias 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 novos 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 destacaremos 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 chamados 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 . Esses 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 fechadas 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 descrevemos 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 equivalentes:
(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 hereditrios. 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, aplicando 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 subanel 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
Basta observar que
subanel de 4 .
0 0 =0 2.0
= 2.0
0= 02.2
==2.2
2.0
= 0=
=0
2.2
4 =
4 e0 4
0 0 = 0 , 0 2 = 2 , 2 00 0= =2 2.0
, 02 0=
=22.2
2.0
= 0=
=0
2.2
4 =
4 .0 4
66
Exemplo 3.1.5. O conjunto

3 3 = 1 B .
no subanel de 4 , pois
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 ,
e
= ( 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 infinito, 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
p=
ac
.
bd
Vimos na Observao anterior que p . Portanto no verdade 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 subconjunto 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, dizemos 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 unidade A quando B tem unidade e 1B = 1A .
Vamos ver agora dois exemplos de subanis que no so unitrios. 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 utilizaremos 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 subanel 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
1nx
==1.
uv
1 ==1.vu 1nx.n
=11.=n=1.
xnunx
1=n1,x nx = 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 domnio,
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 subdomnio de A quando B subanel unitrio e domnio.
A prxima proposio caracteriza os subdomnios como subanis 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 subcorpo 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 elemento 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 equivalentes:
(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 exemplos 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
e 2
esto em , temos:
2
a pb
a pb2
a
b
y= 2
p p .
2 2
2
a pb a pb
fcil ver que
uy

a
b
2
2 2
2
a pb a pb
p = 1.
Logo u tem inverso u 1 = y [ p ] .

Portanto, p subcorpo de .
Para encerrar esta seo vamos ver como os subanis se comportam 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 prximo 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 algumas contas efetuadas no anel ficam simples quando trabalhamos
com tais elementos.
Para exemplificar, suponha que desejamos resolver a equao 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 forma, 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, denotaremos o inverso de a por a 1 .

O conjunto dos elementos inversveis do anel com unidade A
denotado por (A).
( A)
((A)
(AA))= {a A; y A : ay = ya = 1} .
Definio 3.2.2. Seja ( A, + , ) um anel. Dizemos que a A elemento:
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:
Ddz (A),
( A),para o conjunto dos elementos divisores de zero do
anel A .
Reg (A),
( A),para o conjunto dos elementos regulares do anel A .
Idemp (A),
( A),para o conjunto dos elementos idempotentes do
anel A .
Nilp (A),
( A),para o conjunto dos elementos nilpotentes do anel 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 corpo, podemos usar a proposio abaixo.
75
Proposio 3.2.1. Se D um domnio ento:

(1)Ddz
Ddz((D)
D) = .
(2)Reg
Reg((D)
D ) = D {0}.
(3)Idemp
Idemp((D)
D ) = {0,1}.
(4)Nilp
Nilp((D)
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
g ((D)
Reg
(DA)), D {0} . Por outro lado, se
a D, a 0, ento a no divisor de zero pois Ddz ((D)
D) = .
Logo D {0} Re
Regg(D).
A ),
(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 podemos ter x n 1 = 0. Logo x = 0 , e daNilp
Nilp((D)
D ) = {0}.
76
Corolrio 3.2.1. Se K um corpo, ento:

(1)((K)
(KK))==KK{{00}}. .
(2)Ddz
Ddz((K)
(KK))==.
(3) Reg
Reg(((K)
KK))==KK{{
00}}.
(4)Idemp
Idemp((K)
0,1}}.
(KK))=={{0,1
(5) Nilp
Nilp((K)
(KK))=={{00}}. .
Demonstrao. (1) imediato da definio de corpo. Para (2), (3),
(4) e (5), basta lembrar que todo corpo domnio e usar a proposio anterior.
Observe que se K corpo ento ((K)

Reg(K)
(KK))==Reg
((KK).)
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
sem divisores de zero, isto ,Ddz
Ddz((A)
A ) = . Por outro lado sabemos
queDdz
Ddz((A)
A ) = se, e somente se,Reg
Reg((A)
A ) = A {0}.
{0}.Acabamos de estabelecer 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 cancelar 3 obtendo x = 2.
()
2 Forma: Como 3 inversvel em 4 e 3

plicar 3 x = 2 por
(())
1
1
= 3, podemos multi-
11
1
obtendo xx== 33 .2
.2==3.2
3.2==66==2.2.
Existem algumas relaes entre elementos regulares, divisores de zero, inversveis, nilpotentes e idempotentes. Se
A um anel qualquer, imediato queDdz
Ddz
Ddz((A(A)
A))Reg
Reg(((A)
e
AA))==
Ddz((A(A)
Ddz
Ddz
A))Reg
Reg(((A)
AA))==AA{
{0}.
{00}}. . Outras relaes esto na proposio
abaixo.
Proposio 3.2.3. Seja A um anel.
(1) Idemp ( A ) Nilp ( A ) = {0}.
{0}.
(2) Se A tem unidade, ento
(3) Se A corpo, ento ( A) = Reg ( A)..

Demonstrao. (1) Seja
. Ento x 2 = x
e existe n {
{0}
0} que podemos tomar o menor possvel, tal
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
, e
Pela definio de elemento regular,
como
temos que
.
(3) Vimos no Corolrio 3.2.1 que se A corpo ento
Reg ( A ) = A {
{0},
0}, e claro queReg ( A ) = A {
{0}.
0}, Portanto,
( 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 calcular
.
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 mltiplo 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 mdulo 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
Veremos agora como caracterizar

mero primo positivo p .
leva
, para cada n-
Proposio 3.2.5. Se p um nmero primo positivo, ento
Demonstrao. Primeiro vamos provar que todo elemento do conjunto
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
forma.
dessa
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 elementos 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 saber, 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 quocientes 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 diviso 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 domnios. Chamamos a ateno para o fato de que divisibilidade em
corpos sempre trivial, pois um elemento no nulo divide qualquer 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.
(2) a | b e a | d a | (bx
y ).
(b x + ddy).
(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
c x ++vvy)
y ) = b x + d y a | ((bx
b x ++ddy).
y ).
a d )c = b d a d | b d .
(3) a | b a c = b, c A ((ad)
(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 seguinte 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 equivalncia em D.

Demonstrao. Veja o Exerccio 9.
A prxima proposio assegura que dois elementos so associados 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
a (xy
(x y - 11)) == 00
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 associados 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 elementos inversveis. Como 7 corpo, pois 7 primo, os associados 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 qualquer 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 produto de inversveis, tambm no fcil encontrar todos os elementos 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
temos que
Assim, multiplicando pelos inversveis acima, obtemos os seguintes associados a 3 + 2 3 :

,
,
,
e
.
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 domnio . Provaremos isso na prxima proposio, que tambm assegura 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 obtendo 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
lentes:
. So equiva-
(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 positivos de p, j que p nmero primo. Pela Identidade de Bezout, 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
a b x++ pby),
p b y )isto
, , 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 elemento 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, irredutveis 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 irredutvel depende fortemente do anel onde consideramos tal elemento. Por exemplo, 2 e 2 . Vimos que 2 primo e irredutvel 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 elemento p redutvel em p . Logo no primo em p .
De fato, p no inversvel em p , de acordo com a Proposio 3.2.5. Para ver que p redutvel tome aa == bb =
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
nmero primo positivo p.
, pois 02 p.12 1 .
Pela Proposio 3.2.5,
p elemento primo tomamos
Para ver que
, tais que
ou
p primo em p , para todo
p | ( ab) . Devemos mostrar que
((
))
pp | |((ab
ab))
xx++ yy pp pp tal que
.
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 elemento irredutvel. A concluso que elementos associados a elementos 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 garante 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 multiplicado 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 multiplicado por um elemento inversvel resulta num elemento irredutvel. Como nossa hiptese que p u irredutvel, multiplicando
por u 1 obtemos que
irredutvel.
A proposio acima pode ser usada para produzir novos elementos primos e irredutveis a partir de elementos primos e irredutveis 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 elementos primos e irredutveis, multiplicando
p por elementos
inversveis de p .
Para
p = 2,
usando
Proposio
, e ento
3.2.5
vemos
que
primo e irredu-
tvel em 2 .
Para
p=5
teremos
que
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= 2 + 2 2 no elemento primo nem ir-
sio anterior,
redutvel em 2 .
Para
p=5
sabemos
que
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. Contudo, 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
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

i =1
de B1 , B2 ,..., Bn . Verifique que
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 ;
Verifique que
x y = y x,
y A}.
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, nilpotentes 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. Mostramos 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 atravs 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 fechados 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 comutativo 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 fechado por diferenas e produtos, isto , I subanel. Se I ideal
direita, procedemos de forma anloga. Quando I ideal bilateral, 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 basta 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 , chamados 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 unidade 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 possui 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 esquerda 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 0 c d 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 qualquer. Para isso, basta tomar todos os mltiplos de um elemento
fixado no anel. O Lema abaixo traz um caso mais geral, onde tomamos 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 esquerda 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 gerador, temos um nome especial para o ideal, de acordo com a definio 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 ocorrer 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.
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

. Portanto, os ideais de 4 so exata-
resta apenas
mente 0. 4 ,
No exemplo acima vimos que todos os ideais de 4 so principais. 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 particular, 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 subanel 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 procurado. 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 Proposio 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 equivalentes:
(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 determinar 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 divisvel por 12, conclumos que m = 6 . Portanto I = 6 .
Veremos a seguir que os anis n tambm so anis principais. 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, destacamos 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 proposto 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
0 c
M 2 ( ) .
3) Verifique se I ideal do anel comutativo A quando:
e A=.
a)
e A=.
b)
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
n tal que I = n .
ideal de e determine
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. Tambm 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 reciprocamente 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 .
Exemplo 4.2.2. Sejam
A = M 2 ( ),
a b
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 . Usaremos as seguintes notaes:
e
I + J = {x + y ; x I e y J }
n
I . J = xi yi ;
i =1
n , xi I , yi J .
Note que I . J o conjunto de todas as somas finitas de elementos 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
i =1
j =1
Sejam u , v I . J . Ento u = ai bi , v = c j d j com m, n ,

ai , c j I e bi , d j J , i = 1, 2,..., n e j = 1, 2,..., m . Como I ide. Logo
al esquerda de A temos
,
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 = M 2 ( ),
a b
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 mostrar 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 somente 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
.
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 produto 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 mltiplo 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
0 0
M 2 ( ) .
De acordo com a Proposio 4.2.2(5), I . J ideal de M 2 ( ). Vamos 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 1 = 0 1 I. J .
0
0
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
x y
a 0
I =
M 2 ( ) ento I . J ideal
M 2 ( ) e J =
0 0
b 0
bilateral de M 2 ( ) e I . J = M 22 ( ). Esse exemplo um caso particular 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 exemplo 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
respectivamente. Calcule I . J .
3 e
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 melhor estrutura algbrica dos anis quocientes.
Neste trabalho abordaremos apenas ideais primos e ideais maximais em anis comutativos. O estudo para anis no comutativos 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 maximais de um anel comutativo com unidade.
Proposio 4.3.1. Em um anel comutativo com unidade todo ideal maximal 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 ento M M + a A A . Desde que M ideal maximal de A conclumos 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 Proposio 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 comutativo com unidade.
Proposio 4.3.2. Seja A um anel comutativo com unidade. So equivalentes:
(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 equivalentes:

(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 concluir 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
{0} ideal primo e maximal de
p , p = primo positivo .
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 Exerccio 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 primo 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 Proposio 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, conhecido 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 diferente 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 elemento 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 ideais 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 relao de equivalncia em A , e que o conjunto das classes de equivalncia um anel, que chamaremos de anel quociente.
A construo do anel quociente pode ser vista como uma generalizao 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 mdulo 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
. A relao em 6 definida por I
e o ideal
.
claro que um elemento sempre est relacionado com ele mesmo, 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 partio. Provaremos na Proposio 4.4.2 que isso no coincidncia,
mas sim um fato geral. Com este objetivo em mente vamos estudar 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)
- 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 elementos 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.
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 .
(1)
(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 ,
claro que
a A
a A . Por outro lado, dado b A sabemos que
a A
b b a , pois b um dos conjuntos que esto sendo reunia 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 classe,
. 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 mltiplos de 3.
Como 1 / 0 (mod 3), temos uma nova classe definida por 1. A saber, 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 relao congruncia mdulo n , estudada no Captulo II. Logo, o conjunto 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 conclumos 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
seja anel precisamos definir operaes de adio e
I
A
multiplicao em . Faremos isso com base nas operaes defiI
nidas em n =
.
n
Para que
127
A
A
. Defina a adio e a multiplicao em , resI
I
pectivamente, por
a+b = a+b
Sejam a, b
a .b = a b .
Assim,
+:
A A
A

I I
I
(a, b )
a+b
A A
A

I I
I
(a, b )
ab.
A
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 operaA
es de adio e multiplicao em
no dependem da escolha
I
de representante para as classes operadas.
Sabemos que os elementos de
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 Proposio 4.4.2(1) conclumos que a b = x y e ento ab = x y .
Agora vamos provar o principal resultado desta seo. Chamamos 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

I
anel.
A
Demonstrao. Vamos provar que , +, satisfaz os seis axioI
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 elemento 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 consequnI
cia da comutatividade da adio em A . De forma anloga pode ser
provado que se a multiplicao comutativa em A , ento a multiA
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
(2) Se A anel comutativo ento o anel
A
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 .
Logo,
2
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, tomando 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
uma
I
tarefa difcil. Muitas vezes o interesse maior em conhecer a meA
lhor estrutura do anel quociente, isto , saber quando
tem uniI
dade, comutativo, domnio ou corpo. Note que o corolrio
acima fornece informaes desse tipo a partir de informaes sobre o anel A .
Em geral, descrever os elementos do anel quociente
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.
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 .
(1)
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
Seja J um ideal de A tal que I J A . Ento existe
A
corpo, existe
a J tal que a I . Segue que a 0 , e como
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 .
(2)
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 .
Faa as tabelas das operaes do anel quociente
2
.
6
3
4) Descreva os elementos do anel quociente
e faa as tabe6
las das operaes.
5) Considere o anel A = 6 e o ideal I = 2. 6 . Descreva os eleA
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 podem 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 direita 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 maximal primo. Alm disso, {0} ideal primo (respectivamente maximal) de A se, e somente se, A domnio (respectivamente corpo).
A partir de um ideal I do anel A construmos o anel quoA
ciente . Vimos que a comutatividade e a existncia de uniI
A
dade se transportam de A para
, mas que no vale a recI
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 conjunto. Isso leva a pensar que as funes de interesse sobre 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 temos 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
tuar a adio em B
e ento efe.
O axioma (ii) permite fazer um raciocnio anlogo para a multiplicao.

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
lembrando 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 identidade f : A A , f (a ) = a, a A , um homomorfismo chamado
homomorfismo identidade.
De fato, para a, b A temos:
,
e
.
, no homomorfismo.
Exemplo 5.1.3. f : ,
Tome 1, 2 e note que
, enquanto
.
Logo,
e f no homomorfismo.
Exemplo 5.1.4. f : 2 2 ,
Basta notar que
e
morfismo identidade de 2 .
, homomorfismo.
, portanto f o homo-
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
, homomorfismo.
Exemplo 5.1.6. f : ,
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 projeo cannica.
De fato,
e
.
, pon
demos pensar em generalizar o Exemplo 5.1.7 para um anel quociente qualquer. Note que isso razovel, pois as operaes no
anel quociente so semelhantes s operaes no anel n =

.
n
Lembrando que n um anel quociente, isto , n =
A
,
I
, homomorfismo chamado homomorfismo projeo
cannica.
De fato,
Exemplo 5.1.8. Seja I um ideal do anel A . A funo f : A
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,
0 a 0 x 0
a + x
=
=
+
b + y 0 b 0 y
0
e
a x 0 a 0 x 0
=
=
0 b y 0 b 0 y
.
Exemplo 5.1.10. f : 2 2 ,
momorfismo.
De fato, sejam a + b 2 , c + d 2 2 .
, ho-
.
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 ncleo (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 imagem 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 homomorfismo 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 ncleo e imagem do homomorfismo de anis f : A B . A saber, verificaremos 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 . Ento:
N ( f ) = A e Im ( f ) = {0}.
Exemplo 5.1.12. Se A um anel e f : A A ,
N ( f ) = {0} e Im ( f ) = A .
, ento:
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 : ,

mos:
N ( f ) = {0} e Im ( f ) = .
, te-
O mesmo vale para os homomorfismos

f : ,
x x
f : p
x x
f : p .
xx
Exemplo 5.1.15. Para n , n 2 , vamos calcular o ncleo e a

imagem do homomorfismo f : n ,
.
claro que Im ( f ) = n .
Desde que
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 homoA
morfismo f : A ,
.
I
Desde que
, temos que todo
A
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
elemento de
a = 0 a 0 I a I .
143
Logo N ( f ) = I , isto , o ncleo do homomorfismo projeo cannica 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 elemento 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 ob0 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
.
.
144
Lista de exerccios
1) Verifique se cada uma das funes abaixo um homomorfismo 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 ,
.
.
A 2 (A),
g) f : A x A M
A um anel qualquer.
h) f : 2 6 ,
2) Calcule o ncleo e a imagem dos homomorfismos do exerccio 1.

3) Verifique que
,
, homomorfismo 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. Verifique 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 homomorfismo 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:
.
e B anel, podemos somar o simtrico f (0 A )
Como
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 , homomorfismo.
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 qualquer inteiro a 0 , a funo f a : ,
, no homomorfismo.
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 homomorfismo. 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
(2) Se I ideal de A , ento
subanel de B .
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 ) .
subaComo I ideal ento I subanel, segue de (1) que
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 : ,

, homomorfismo 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 ,
, homomorfismo de anis e que 2 ideal de . Pela Proposio 5.2.2,
subanel de 4 e ideal de
. Tambm vimos que
. Por. Note que
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
sio 5.2.2 (1), temos que
ento, pela Propo 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 ,
, homomorfismo, pois uma restrio do homomorfismo f : 6 ,
.
ideal de 4 e
Pela Proposio 5.2.3 sabemos que

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 imagem de f .
149
Note que
,
e
e assim
ou Im ( f ) = 6 . Mas 1 Im ( f ). De fato,
que no possvel pois 4k 1 mpar.
Logo, Im ( f ) 6 e da
diz que
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 homomorfismo pode ser usado para verificar se esse homomorfismo monomorfismo.
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
N ((ff ))=={{00}}.
Logo,
, 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 monomorfismo nem epimorfismo.
Exemplo 5.2.12. Vimos no Exemplo 5.1.18 que se
f : 2 2 ,
a b 2 , ento
Im ( f ) = 2 . Logo f monomorfismo e epimorfismo.
O exemplo acima apresenta um homomorfismo bijetor. Homomorfismos bijetores so chamados isomorfismo. Trataremos desse assunto na prxima seo.
Para terminar esta seo vamos destacar propriedades especficas 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 epimorfismo 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
= f 2, 4 ,
claro que
0 4
( )
.
.
152
Como
, segue da Proposio 5.2.5(2) que
inverso de
5 0
, isto ,
a inversa de
0 7
2 0
.
0 4
Lista de exerccios
1) Verifique que nenhuma das funes abaixo homomorfismo 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. Calcule
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 epimorfismo.
c) Se f e g so monomorfismos, mostre que g f monomorfismo.
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 monomorfismo.
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, tambm 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 conhecido, 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 identidade f : A A ,
, isomorfismo pois bijetor.
154
Exemplo 5.3.2. f : 2 2 ;
morfismo.
De fato, j vimos no Exemplo 5.1.18 que
isoe
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
0 a
A .
x 0
Defina f : A por f (x ) =
. Para x, y temos:
0 x
x+ y
f (x + y ) =
0
x y
f (x y ) =
0
0 x 0 y
=
+
x + y 0 x 0
0 x 0 y
=
x y 0 x 0
0
= f (x ) + f ( y )
y
0
= f (x ) f ( y ).
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
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
e
. Note que
.
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 direo
. De fato, como vimos na Observao 5.3.1, as propriedades 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 comutativo. 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 existem 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, comutativo 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 agora 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 melhor estrutura algbrica para o anel. Cada propriedade preservada por isomorfismo conhecida como propriedade invariante
por isomorfismo. Por exemplo, a comutatividade do anel invariante por isomorfismo, pois se A comutativo e A B , ento B
comutativo.
Conforme comentamos no incio desta seo, isomorfismo entre anis so ferramentas para estudar anis. O procedimento o
seguinte: Queremos conhecer propriedades de um anel B e sabemos que B A , onde A um anel cujas propriedades so conhecidas. Se essas propriedades so invariantes por isomorfismo,
ento elas valem em B .
Exemplo 5.3.6. Verificar que
Vimos no Exemplo 5.3.3 que
clumos que
corpo.
corpo.
, e como corpo con-
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 conclumos 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 0 0 1
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
)
,
temos:
(
)
22
c d z t
a b x
f
+
c
d
z
a + x b + y
y
= f
t
c + z d + t
a + x b + y 0
= c + z d + t 0
0
0
0
a b 0 x
= c d 0 + z
0 0 0 0
y 0
t 0
0 0
a b
x
= f
+ f
c d
z
y
.
t
159
y
a x + b z a y + bt
= f c x + d z c y + d t
t
a b x
f
c d z
a x + b z a y + bt 0
= c x + d z c y + d t 0
0
0
0
a b 0 x
= c d 0 z
0 0 0 0
a b
= f
c d
y 0
t 0
0 0
x
f
z
y
.
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
e ento f injetora. Portanto f isomorfismo.
Segue que
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
a + b 2, c + d 2 2 temos:
. Para
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
fismo.
e ento f injetora. Portanto f isomor-
Acompanhando as contas do exemplo anterior, vemos que ele

pode ser facilmente generalizado, trocando 2 por um nmero pri-
161
a
mo positivo p . Isto , A =
b
morfo ao corpo p .
pb
M 2 () um corpo isoa
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
No entanto, o Exemplo 5.3.11 mostra que A =
b
pb
M 2 ( )
a
subanel comutativo de
, pois A domnio. Assim, mesmo sem fazer contas, temos certeza que
a
pb c
a d
pd c
=
c d
pd a
c b
pb
.
a
Outro resultado que obtemos sem precisar fazer contas que A

no tem divisores de zero, isto ,
a
implica em
a
pb c
a d
pd 0 0
=
c 0 0
pb 0 0
c
=
ou
a 0 0
d
pd 0 0
=
.
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 . Trocando o contradomnio B por
obtemos o homomorfismo sobrejetor 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 ) =
, homomor0 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 homomorfismo de anis. Ento:
a f (a)
isomorfismo.
Demonstrao. J vimos na Proposio 5.3.2 que a
subanel 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
Portanto,
um anel.
, uma correspondn-
cia entre anis. No entanto, os elementos de
so classes de
163
equivalncia, e ento devemos provar que no depende da escolha 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
anis.
isomorfismo de
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,

,
onde x indica classe no anel 6 e x indica classes no anel
4
.
12
164
4
a partir de
12
informaes do anel {0, 2, 4} 6 . Analisando a tabela
Agora podemos obter informaes sobre o anel
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 epimorfismo.
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
um domnio que no
{0} x
corpo, pois tem essa estrutura.
Assim, podemos concluir que
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 epimorfismo.
( 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 funo 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 formado 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 .
g) A =
2
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

c) f :
2
, 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 : isomorfismo, ento f a funo identidade de .

Dica: Prove por induo que
verifique que
. Depois
.
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 .
b) a nilpotente em A f (a)
(a ) nilpotente em B .
7) Sejam A = { f : ; f funo} e I = f A;
a) Mostre que I ideal de A .
1
f = 0 .
2
b) Use o Teorema do Isomorfismo para provar que
A
.
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 ) .
c) Conclua que
12
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 imagem 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 elementos 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 falando, 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 alguma estrutura algbrica, e sabemos que a melhor estrutura algbrica corpo.
Atualmente dizemos que um corpo algebricamente
fechado, para indicar que todo polinmio no constante
com coeficiente em tem suas razes em . Esse resultado 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 clculo 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 Proposio 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 direto 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
(a 2 + b 2 ) 1 =
1
.
a + b2
2
b
a
Tome (a, b) 1 = 2
2 .
, 2
2
2
a +b a +b
b
a
(a, b) (a, b) 1 = (a, b) 2
, 2
2
2
a +b a +b
a2
a b
b2
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) .
b
a
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 . Veremos 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 injetora. 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 isomorfismo, 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 corpo 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 elemento 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 imaginria.
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 analogia, chamamos b de parte imaginria do nmero z = a + bi .
Notao: Para z = a + bi , denotamos a parte real e a parte imaginria de z , respectivamente, por:
Re ( z ) = a e Im ( z ) = b .
Definio 6.1.2. Um nmero complexo real quando sua parte imaginria 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.
O inverso de a + bi 0
a
b
2
i.
2
a + b a + b2
2
Vejamos alguns exemplos de operaes com nmeros complexos escritos na forma a + bi .

Exemplo 6.1.2. Calcular o inverso de z = 3 + 5 i .
Soluo.
z 1 =
3
5
1
2 2 i = (3 5 i ) .
2
3 +5 3 +5
34
2
Exemplo 6.1.3. Se a = 11 2i e b = 2 + i , calcular:

a
b
a + b, a 2b, a b a, a b b a,
e .
b a
Soluo.
a + b = (11 2 i ) + (2 + i ) = (11 + 2) + (2 + 1) i = 13 i .
a 2 b = (11 2 i ) 2 (2 + i ) = (11 2 i ) + (4 2 i ) = (11 4) + (2 2) i = 7 4 i.
a b a = a ( b 1) = (11 2 i ) (2 + i 1) = (11 2 i ) (1 + i ) = (11 + 2) + (11 2) i = 13 + 9 i.
a b b a = a b a b = 0 .

a
1
2 i 1
= a b 1 = (11 2 i ) = (11 2 i ) (2 i ) = ((22 2) + (11 4) i)
b
5
5 5 5
1
= (20 15 i ) = 4 3 i.
5
177
1
a
b
4
3
1
= b a1 = ( b 1 a) 1 = = (4 3 i ) 1 =
+ i = (4 + 3 i ).
a
25 25
25
b
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 ()
monomorfismo de anis e
a b
a + bi
,
b a
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
f ( a + b i ) = f (c + d i )
=
b a d
a=c
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 matrizes 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 a, b e suponha que desejemos calcular a b . Podemos
multiplicar as matrizes x = f ( a) e y = f ( b) obtendo x y e ento
f 1 ( x y ) = f 1 ( x) f 1 ( y ) = a b .
179
Exemplo 6.1.5. Sejam a = 11 2i e b = 2 + i . Ento:

11 2
2 1
f ( a) =
= x e f ( b) =
= y.
2 11
1 2
13 1
Como x + y =
,
1 13
a + b = f 1 ( x) + f 1 ( y ) =
2
5
24 7
1
y
xy=
e
=
1
7 24
5
1
f ( x + y ) = 13 i .
1
5
, temos:
2
a b = f 1 ( x) f 1 ( y ) = f 1 ( x y ) = 24 + 7 i .
b 1 = ( f 1 ( y ))1 = f 1 ( y 1 ) =
2 i
.
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 a = 1 + i e b = 3 2i , calcule:
a) a + b, 3a 2 b, ai bi, ba ;
b)
a b
, , i ab 1 , i ba1 , a1 b 1 .
b a
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.
9) Para que valores de a o nmero z =
a+i
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 , geometricamente, a reflexo de z em relao ao eixo horizontal, como na figura
abaixo.
b
z = (a, b)
a
b
z = (a,b)
Figura 6.2.1
Lema 6.2.1. A aplicao f : , f ( z ) = z , um isomorfismo.

Demonstrao.
Sejam a = a + bi , b = 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 isomorfismo, que chamamos de isomorfismo conjugao. Em particular
isso diz que a + b = a + b e a b = a b , para quaisquer a, b .
De fato,
a + b = f ( a + b) = f ( a) + f ( b) = a + b .
a b = f ( a b) = f ( a) f ( b) = a b .
A prxima proposio rene propriedades do isomorfismo
norma.
Proposio 6.2.1. Sejam a, b .
(1) a + b = a + b .
182
(2) a b = a b .
(3) a = a .
(4) a b = a b .
a a
(5) = ,
b b
b 0.
(6) a + a = 2 Re ( a) .
(7) a a = 2 Im ( a) 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) a b = f ( a b) = f ( a) f ( b) = a b .
a
a
(5) = a b 1 = f ( a b 1 ) = f ( a) f ( b 1 ) = f ( a) f ( b) 1 = a ( b) 1 = .
b
b
(6) e (7). Seja a = a + bi , ento
a + a = (a + bi ) + (a bi ) = (a + a ) + (b b) i = 2a = 2 Re ( a) .
a a = (a + bi ) (a bi ) = (a a ) + (b + b) i = 2b i = 2 Im ( a) i .
Exemplo 6.2.1. Seja b = 5 + 2i . Escreva a = b 3i na forma a + bi .

a = b 3i = b 3i = b + 3i = 5 + 2 i + 3i = 5 + 5i .
(2 + i ) 2
Exemplo 6.2.2. Escreva a =
na forma a + bi .
3 4i
(2 + i ) 2
a=
= (2 i ) (2 i ) (3 4 i ) 1 = (3 4 i ) (3 4 i ) 1 = 1 .
3 4i
Exemplo 6.2.3. Seja a . Mostre que a a .
Chame a = a + bi .
a a = (a + bi ) (a bi ) = (a 2 + b 2 ) + ( a b + a b) i = a 2 + b 2 .
183
Exemplo 6.2.4. Determine a tal que 4 i a + a = 10 + 5 i .

Seja a = a + bi .
10 + 5 i = 4 i a + a = 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 a = 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 complexos 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 a, b .
2
(1) a a = a .
(2) a = a = a .
185
(3) b 1 =
b
b
b 0.
(4) b 1 = b ,
b 0.
(5) a b = a b .
a
a
= ,
b
b
(6)
b 0.
(7) a + b a + b (desigualdade triangular).

(8) a b a b .
Demonstrao. Sejam a = a + b i e b = c + d i .
(1) a a = (a + b i ) (a b i ) = (a 2 + b 2 ) + (a b + b a ) i
2
= a 2 + b2 = ( a 2 + b2 )2 = a .
(2) a = a 2 + (b) 2 = a 2 + b 2 = a
e
a = a b i = (a ) 2 + (b) 2 = a 2 + b 2 = a .
(3) b 1 =
cdi
b
= 2.
2
2
c +d
b
(4) b 1 =
cdi
c
d
= 2
2
i
2
2
2
c +d
c + d c + d2
c2
d2
c2 + d 2
+
=
(c 2 + d 2 ) 2 (c 2 + d 2 ) 2
(c 2 + d 2 ) 2
1
1
=
2
c +d
c2 + d 2
1
=| b |1 .
| b|
186
(5) Por (1) temos

2
a b = a b a b = a b a b = aa b b = a b .
Desde que a b , a e b so nmeros reais positivos, extraindo
2
2
2
raiz quadrada na igualdade a b = a b = ( a b ) 2 , vem que
ab = a b .
(6)
(7)
Desde que a + b e a + b so nmeros reais positivos, toman2

do raiz quadrada na desigualdade a + b ( a + b ) 2 , vem que
a+ b a + b .
(8) a = a b + b a b + b a b a b
b = b a + a b a + a = a b + a a b b a = ( a b ).
Como a b um nmero real, temos que
a b max { a b , ( a b )} = a b .
Exemplo 6.2.6. Sabendo que a = 34 e b = 4 + i , calcule a a e

a b 1 .
187
a a = a = 34
e
a b 1 = a b
= 34 ( 17) 1 =
34
= 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 .
c) z =
(3 2i )3
.
(3 + 2i )5
2) Sejam a = 1 3i e b = 3 i . Calcule:
a) a b, b a, a b e a b .
b) a b e a b 1 .
3) Determine a tal que i a + 3 a = 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 | a |= 7 e b = 3 + 2i , calcule a a e a b 1 .
7) Seja z =
i
. Escreva z na forma a + bi e calcule z 1 .
2 2i
8) Sejam a, b tais que a b . Mostre que:

a) a + b 0 .
b)
z
z
, z .
a+ b
a b
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 interesse numa nova representao que ser til no clculo de potncias 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
tg =
b
b
= arg ( z ) = arc tg .
a
a
claro que quando a = 0 temos
189
arg ( z ) =
, se b > 0
2
arg ( z ) =
3
, se b < 0 .
2
Observao 6.3.1. No falamos em representao trigonomtrica 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 escrita 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
.
6
11
11
3 i = 2 cos
+ i sen
.
6
6
Logo =
z = 3 i
z = (3) 2 = 3; cos = 0, sen = 1 .
3
.
2
3
3
3 i = 3 cos
+ i sen
.
2
2
Logo =
z = 7
.
Logo
= 0.
7 = 7 (cos 0 + i sen 0) .
z =
1 + i (1 + i ) (1 + i ) (1 1) + (1 + 1) i 2 i
=
=
=
=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
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
z k +1 = z
k +1
(cos (k + 1) + i sen (k + 1) ) .
Logo a frmula vale para k + 1 , e pelo primeiro princpio de induo

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 =
z = 2 cos + i sen .
3
3
e ento
3
192
Pela Frmula de Moivre,
5
5
3
5 1
z 5 = 25 cos
+ i sen
i = 16 16 3 i
= 2
3
3
2 2
6
6
6
6
z 6 = 26 cos
+ i sen
= 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
9
( 3 i )10 = 210 cos + isen = 210 + i
= 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.
Exemplo 6.3.4. Calcule
(1 + i )6
.
(1 i ) 4
1+ i
J vimos que
= i . Ento:
1 i
4
(1 + i )6 1 + i
2
4
2
=
(1 + i ) = i (1 + i ) = 1(1 + i ) (1 + i ) = 2 i .
4
(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,
Portanto,
e z = 2 cos + i sen .
4
4
4
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 a + i sen a) nmeros
complexos no nulos escritos na forma trigonomtrica.
a) Verifique que z w = r s (cos ( + a) + i sen ( + a)) .
b) Conclua que arg ( z w) arg ( z ) + arg ( w) (mod 2 ) .
1
1
(cos ( a) + i sen ( a)) = (cos a i sen a) .
s
s
r
d) Mostre que z w1 = (cos ( a) + i sen ( a)) .
s
z
e) Conclua que arg arg ( z ) arg ( w) (mod 2 ) .
w
c) Mostre que w1 =
194
2) Escreva na forma trigonomtrica.

a) 1 + 3 i .
b)
1
(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.
5) Escrever z =
1
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 algbrica.

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 trigonomtrica.
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 m4
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
bn = a .
a o nico nmero real positivo b tal que
Se n mpar e a qualquer, ento

b tal que b n = a .
a o nico nmero real
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
definida quando a < 0 e n par.
n
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 prxima 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-sima 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 complexas 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 nsimas 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 complexas de z dadas por
.
Demonstrao. Inicialmente note que k raiz n-sima complexa 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 a = a (cos x + i sen x) raiz n-sima complexa de z . Ento
an = z , isto ,
n
a (cos n x + i sen n x) = z (cos + i sen ) .

n
Pelo Lema 6.3.1 temos a = z e nx

n x== + 2t , t .
Segue que
197
.
Dividindo t por n escrevemos t = nq + k , 0 k < n , isto ,
k {0,1,..., n 1}.
Assim,
.
Como
e
,
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
w0 =
0+0
0 + 0
a cos
+ i sen
= a ,
2
2
w1 =
0 + 2
0 + 2
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 exatamente 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
w0 =
+0
+ 0
a cos
+ i sen
=
2
2
w1 =
+ 2
+ 2
a cos
+ i sen
=
2
2
a i,
a (i ) =
a i.
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 mdulo.
De fato,
,
e
199
Portanto as razes n-simas complexas k podem ser representadas 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 representar graficamente.
z = 8 = 8(cos + i sen )
e
2k
= k .120
n
arg (0 ) = 60 =
arg (1 ) = 60 + 120 = 180 =

arg (2 ) = 60 + 240 = 300 =
5
3
0 = 3 8 cos + i sen = 2 +
i = 1 + 3 i
3
3
2 2
1 = 3 8 (cos + i sen ) = 2
1
5
5
3
2 = 3 8 cos
+ i sen
i = 1 3 i
= 2
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
+ i sen
e z = z cos
,
3
3
3
arg (0 ) = 30 =
2k
= k .90
n
arg (1 ) = 30 + 90 = 120 =
2
3
arg (2 ) = 30 + 180 = 210 =
7
6
arg (3 ) = 30 + 270 = 300 =
5
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
+ i sen
1 = 2 cos
3
3
1
3
= 2 +
i = 1 + 3 i ,
2 2
7
7
+ i sen
2 = 2 cos
=
6
6
3 1
2
i = 3 i ,
2 2
e
3
1
5
5
3
= 2 cos
+ i sen
i = 1 3 i .
= 2
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:
cos
2k
2k
+ i sen
,
n
n
k = 0,1,..., n 1 .
2
2
+ i sen
, e usando a Primeira Frmun
n
la de Moivre para calcular potncias de w , temos que as razes
n-simas complexas da unidade so
Escrevendo w = cos
w = 1, w, w2 , ... , wn 1 .
Dizemos que wk raiz n-sima complexa primitiva da unidade quando mdc (n, k ) = 1 . A importncia de uma raiz primitiva
est no fato de podermos obter todas as demais a partir de potncias da primitiva. Veja o exemplo abaixo.
Exemplo 6.4.9. Determinar as razes sextas complexas da unidade, 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
w5 = cos 300 + i sen 300 =
1
3
i
2 2
As primitivas so: w e w5 .
w2
w3
w5
w4
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
w6 = cos
2 6
2 6
+ 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 * , podemos usar a raiz n -ensima complexa da unidade
203
w = cos
2
2
+ 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 comple2
2
+ isen
xa de z e w = cos
. 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
+ isen
= cos
+ isen
.
n
n
n
n
2 r
r
[0, 2 ).
Como 0 < 1 , temos
n
n
2 s
[0, 2 ).
Da mesma forma,
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.

uwr = uws wr = ws cos
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
+ isen
=i
w = cos
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 solues 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 satisfaz a equao
Re ( z ) = 1 ;
S ={( x, y ) ; x = 1} = {(1, y ) } .
Figura 6.4.4

Re ( z ) 3 ;
S = {( x, y ) ; x 3} .
Figura 6.4.5
205

1 Im ( z ) < 1 ;
S ={( x, y ) ; 1 y < 1} .
1
1
Figura 6.4.6

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 = aa = 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
1
Figura 6.4.7

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.
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 graficamente.
6) Calcule as razes quintas complexas de 8 + 8 3 i e represente graficamente.
7) Calcule as razes oitavas complexas de
te graficamente.
2 + 2 i e represen-
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 .
d) Re ( z 1 ) <
1
.
2
e) z 4 > z .
6.5 Alguns subdomnios de

Nesta seo, p um nmero primo positivo, e usaremos a notao
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 verificar que cada um desses conjuntos um subanel de e determinar 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
pi =a+
p p .
a + bi = a +
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
p , ento = a + b p , a, b .
2
2
1
Pelo Lema anterior temos que = a . Que no possvel.
2
De fato, se
(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 p ) 1 = (a + b pi ) 1 =
Como
b pi
a
2
2
a + p b a + p b2
2
b p
a
2
2
a + p b a + p b2
a
b
2
p .
2
a + p b a + p b2
a
b
,
, 2
2
a + p b a + p b2
2
conclumos que
((a + b (a+p b))
1
1
1 a
a
b
b
p p .
= p 2 = 22 2 2 22 2
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 corpos 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 subdomnios 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 outras trs verificaes so anlogas.
p p , basta provar que p q .
Suponha que p q . Ento existem a, b tais que
Desde 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 . Absurdo, 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 poss2
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 inteiros que so soma de dois quadrados. Um primeiro resultado
desse estudo devido a Fermat (1606 1665), que descreveu quando 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 inteiros de Gauss, isto , ( [i ]) .
2) Sejam p um nmero primo positivo e N : p
Para a, b p mostre que:
a) Se a = a + b p , ento N ( a) = (a + b p ) (a b p ) .
b) N ( a) = 0 a = 0 .
c) N ( a b) = N ( a) N ( b) .
d) a ( p ) N ( a) = 1 .
3) Calcule:
a) ( 17 ) ;
b) ( p ) , p nmero primo positivo.
4) Determine as possibilidades para a e b sabendo que

a, b 5 e a b = 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
.
a
b
a) Mostre que f monomorfismo;
b) Verifique que f no pode ser isomorfismo.
Resumo
Construmos formalmente o corpo dos nmeros complexos e, atravs da identificao a = (a, 0) , vimos que subcorpo de .
Apresentamos as formas algbrica e trigonomtrica de um
nmero complexo.
Provamos as principais propriedades de nmeros complexos que envolvem norma e conjugado.
Vimos que a Primeira Frmula de Moivre til para calcular potncia de nmeros complexos.
Definimos raiz n -sima complexa de um nmero complexo 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 ferramenta para calcular as razes n -simas complexas de z .
Provamos que para cada nmero primo positivo p , o conjunto [ p ] subcorpo de , e o conjunto [ p ] subdomnio 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 matemtica. Pode ser tomado como a principal referncia para o Curso de lgebra 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.

Algebra I - Miolo - Web

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Algebra I - Miolo - Web

Transféré par

Droits d'auteur :

Formats disponibles

lgebra I

Oscar Ricardo Janesch

Universidade Federal de Santa Catarina

Curso de Licenciatura em Matemtica na

Laboratrio de Novas Tecnologias - LANTEC/CED

Ncleo de Criao e Desenvolvimento de Materiais

Redesenho do Projeto Grfico: Laura Martins Rodrigues,

Diagramao: Laura Martins Rodrigues

Copyright 2011, Universidade Federal de Santa Catarina/CFM/CED/UFSC

Janesch, Oscar Ricardo

2. Alguns Anis Especiais..................................................... 33

3. Subanis, Elementos Notveis e Divisibilidade............ 61

4. Ideais e Anis Quociente................................................... 95

5. Homomorfismos e Isomorfismos.................................... 135

6. O Corpo dos Nmeros Complexos................................. 169

Oscar Ricardo Janesch

se dedicavam tentativa de axiomatizar operaes em conjuntos de

a partir dos seis axiomas de anel consigamos provar outras quinze

Para indicar que consideramos no conjunto as operaes

Para ilustrar de que maneira os axiomas de anel podem ser

Pelo axioma (vi):

Pelo axioma (iv), existe um

Pelo axioma (iii):

Note que na demonstrao acima no foi relevante o fato de

De forma mais geral:

usado na primeira metade do sculo passado, e alguns autores

1.2 Anel, domnio e corpo

(iii) Existe 0 A A tal que a + 0 A = a = 0 A + a,

(iv) Dado a A , existe ( a ) A tal que a + ( a ) = ( a ) + a = 0 A .

Observao 1.2.1. Os smbolos + e indicam operaes em A, isto ,

Observao 1.2.3. Por indicar que o conjunto A anel, em relao

fuso sobre o anel considerado, escrevemos apenas 1 para indicar

Lema 1.2.1. Se A um anel, ento a 0 = 0 a = 0 , para todo a A .

(Use o axioma (vi))

a.0 = a.0 + a.0

(Some o simtrico x de a.0 , que

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

(Use o axioma (ii))

Proposio 1.2.1. Se K corpo, ento K domnio.

(multiplique por a 1 esquerda)

(use o Lema 1.2.1)

(use o axioma (v))

Portanto, quando ab = 0 devemos ter a = 0 ou b = 0 . Isso assegura que K um domnio.

Passemos aos exemplos de anis. Note que o Exemplo 1.2.1

Exemplo 1.2.3. No conjunto defina as operaes:

1.3 Propriedades dos anis

( 0 elemento neutro para A )

Logo x = a e ento a o nico simtrico de a .

Analogamente verifica-se que ab + ( a )b = 0 . Isso mostra que

(9) (a b)c = (a + (b))c

(10) a + b + ( a ) + ( b) = a + ( a ) + b + ( b) (axiomas (i) e (ii))

Proposio 1.3.2. Seja ( A, + , ) um anel com unidade.

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

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

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

Observao 1.3.3. Quando A anel com unidade a Proposio

Verifique que ((S , , )) um anel.

2.1 Anis de funes

(3) Se ( A, + , ) tem unidade, ento ( A X , + , ) tem unidade.

(3) Por hiptese A tem unidade 1. Defina : X A por ( x ) = 1 ,

Na demonstrao acima vimos que se A anel ento AX anel e

Temos que f , g , f 0, g 0, porm f .g = 0 . De fato,

2.2 Anis de matrizes

Mas, 1 + 3 = 4 e 15+ 10= 25_. No entanto, 25 4 (mod 7) e ento,

Dado a n , temos que a ____

Dado a n , temos que a _________