Professional Documents
Culture Documents
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
Comisso Editorial
Antnio Carlos Gardel Leito
Albertina Zatelli
Elisa Zunko Toma
Igor Mozolevski
Luiz Augusto Saeger
Roberto Corra da Silva
Ruy Coimbra Charo
Design Instrucional
Coordenao: Elizandro Maurcio Brick
Design Instrucional: Maria Carolina Machado Magnus
Reviso Gramatical: Daniela Piantola, Evillyn Kjellin, Hellen Melo Pereira
Ficha Catalogrfica
J35a
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
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.
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
11
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
17
0 = 0 + 0.
Multiplicando por a:
a 0 = a (0 + 0) .
a 0 = a 0 + a 0.
a 0 + x = a 0 + (a 0 + x ) .
Como x simtrico de a 0 :
0 = a 0 + 0.
0 = a 0.
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
a, b A .
(ii) (a + b) + c = a + (b + c),
a, b, c A .
a A .
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 .
: 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
20
21
0 = 0 + 0
0 = a.0 + 0
( a.0 + x = 0 )
( a.0 + 0 = a.0 )
0 = a 0.
a 1 ( ab) = a 1 0
a 1 ( ab) = 0
( a 1a )b = 0
1 b = 0
b=0.
22
23
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.
26
(2) Seja a A . Sabemos que a tem um simtrico a A . Suponha que x A tambm simtrico de a .
x = x + 0
= 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 )
(axioma (vi))
= 0b
= 0 .
(propriedade (3))
27
(axioma (vi))
= ab + (ac)
(propriedade (7))
= ab ac .
(axioma(vi))
(propriedade (7))
= ac bc
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))
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} .
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
30
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
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.
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
37
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
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
39
= (X +Y ) + Z .
Na quarta igualdade acima usamos a associatividade da adio do
anel A .
Axioma (iii): Elemento neutro.
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
k =1
k =1
=
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
0 0
1 0
M n ( A)
0 1
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
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
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 .
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
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 .
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 .
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
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 .
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.
_
___
___
__
___
___
__ __
___ ___
1 + 3 = 15+ 10 e 1 3 = 15 10 .
__
__
__
___
___
___
__
___
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 .
__
__
__
__
__
__
__
__ __
__ __
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 )
__
__
__
__
__
__
__
__ __
__ __
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 .
__
__
__
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 .
__ __ __
Axioma (v): a ( b 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 .
____
__ __
__
____
__ __
a = 1 a = 1 a e a = a 1 = a 1 .
__
Portanto, 1 a unidade de n .
51
__ __
__
__
__
__
__
__
__ __
__
__ __
__
0 + 0 = 0 , 0 + 1 = 1 , 1 0 = 0 e 1 1 = 1 .
1
0
__
_____
__
__
1 + 1 = 1 + 1 = 2 = 0
__ __
(pois 2 0 (mod 2) )
__
0 0 = 0
__
__
__
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
__
52
__ __ __ __
__ __ __ __ __
53
Olhando
para a tabela de multiplicao em 4 , vemos que
__
2 2 = 0 e portanto 4 no 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
__
__
54
_________
___
___
__ __
__ __
__ __
__ __
__
__ __
__ __
1 = nr + sx = nr + sx = n r + x s = 0 r + x s = 0 + x s = x s .
__
__
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.
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 ) .
Axioma (iii): Elemento neutro.
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 .
Axioma (iv): Elemento simtrico.
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
.
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) .
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
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.
64
65
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
no subanel de 4 , pois
= ( ac + pbd ) + ( ad + bc ) p p , pois
O anel p chamado de anel adjuno
p.
67
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.
68
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
0 0
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
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
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.
73
74
75
76
77
x, y A.
78
()
(())
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
79
80
do
exemplo
acima
leva
, para cada n-
inversvel.
Portanto o inverso de a + b p a b p p ou
.
Agora vamos provar que todo elemento de
forma.
dessa
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,
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.
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.
86
Se K corpo e
.
ento os associados a a so
temos que
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
. So equiva-
88
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
, pois 02 p.12 1 .
, tais que
ou
((
))
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 .
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
sio anterior,
redutvel em 2 .
Para
p=5
sabemos
que
ento
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
93
x y = y x,
y A}.
subanel comutativo de A .
a 0
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 .
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.
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 .
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
4.1.8.
um ideal de 4 . Se 1 I
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
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.
104
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.
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 ,
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 = .
ideal de e determine
107
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
108
a 0
=
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 .
109
i =1
j =1
110
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
=
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
.
fcil ver que 2. 8 + 4. 8 = 2. 8 .
{}
112
a 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
114
mb M e
115
116
p , p = primo positivo .
p , p = primo positivo .
{0} 4 2
117
{0} 6 3
118
Exemplo 4.3.7.
2 ideal primo e maximal de .
11 ideal primo e maximal de .
83 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 .
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
a b (mod 2 ) 2 | (a-b).
(a b )
121
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
- 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 )
.
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 .
124
a A
a A
a A
125
ou 2 , no h outras classes.
Portanto,
126
.
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
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
anel.
A
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
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
A
tambm comutativo.
I
Demonstrao. Exerccio.
2
anel com unidade 4 , apesar de 2 no ter unidade.
6
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
.
.
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)
133
Lista de exerccios
1) Se I ideal do anel A e a A , mostre que:
A
aI a = 0 .
I
2) Prove o Corolrio 4.4.1.
3) Vimos que
onde
0 = 0 + 6 ,
2 = 2 + 6 ,
4 = 4 + 6 .
2
.
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.
.
.
e ento efe.
138
,
,
, homomorfismo.
, portanto f o homo-
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 ,
,
,
,
, pon
demos pensar em generalizar o Exemplo 5.1.7 para um anel quociente qualquer. Note que isso razovel, pois as operaes no
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
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
{}
, te-
f : p
x x
f : p .
xx
Desde que
Para calcular
tisfazem f (x ) = x = 0 . Mas,
x = 0 x 0n xn .
Logo, N ( f ) = n , isto , o ncleo de f exatamente o ideal n
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
, 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 ,
, 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
(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
146
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)
ideal de
subanel de B .
(2)
ideal de A .
148
Demonstrao.
(1) Como A subanel de A e
sio 5.2.2 (1), temos que
(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
.
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
150
e Im ( f ) =
M 2 ( A ) .
0 b
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
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 ,
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
( )
.
.
152
Como
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
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
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
Logo f homomorfismo.
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
156
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
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
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
Logo f homomorfismo.
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
160
a 2b
Sabemos que
provar que 2 A .
Defina f : 2 A por
a + b 2, c + d 2 2 temos:
. Para
=
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.
161
a
mo positivo p . Isto , A =
b
morfo ao corpo p .
pb
M 2 () um corpo isoa
tra que A =
M 2 () p , para cada nmero
b a
A =
M 2 () domnio.
b
a
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
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
162
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
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-
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) .
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
e sabemos
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
N ( f ) = {(0, y ) x } = {0}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
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
2
e B = 4 .
8
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
. Depois
.
, a ( x) = a x a 1 , isomorfismo.
b) Calcule ( a ) 1 .
c) Se b ( A) , mostre que
7) Sejam A = { f : ; f funo} e I = f A;
1
f = 0 .
2
A
.
I
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
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)) .
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) .
175
a + bi = c + di (a, b) = (c, d ) a = c e b = d .
176
a
b
2
i.
2
a + b a + b2
2
3
5
1
2 2 i = (3 5 i ) .
2
3 +5 3 +5
34
2
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
Im ( f ) =
; a, b .
b a
b=d
a + bi = c + d i .
Agora vamos ver que f homomorfismo.
178
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
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
179
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
180
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 .
z = b i.
z = (a, b)
a
b
z = (a,b)
Figura 6.2.1
181
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 .
183
Figura 6.2.2
184
(
)
(
Figura 6.2.3
(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.
= 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
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)
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
z
z
, z .
a+ b
a b
188
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
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
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
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
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
Lembrando que
sen (u + v) = sen u cos v + sen v cos u
k +1
(cos (k + 1) + i sen (k + 1) ) .
z = 2 cos + i sen .
3
3
e ento
3
192
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
z = 3 i = 2 cos
+ i sen
.
6
6
11
11
( 3 i )10 = 210 cos 10
+ i sen 10
.
6
6
9 2 = .
3
3
1
9
( 3 i )10 = 210 cos + isen = 210 + i
= 2 (1 + 3 i ) .
3
3
2
2
(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
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
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
, calcule z 2 .
8
195
5
5
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 .
196
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
197
.
Dividindo t por n escrevemos t = nq + k , 0 k < n , isto ,
k {0,1,..., n 1}.
Assim,
.
Como
e
,
conclumos que
.
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.
198
+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.
a=
a i.
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-
2k
= k .120
n
arg (0 ) = 60 =
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
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
7
6
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
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
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
(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
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
Figura 6.4.5
205
1
Figura 6.4.6
(*)
x + ( y + 1) i = 2 x + ( y 1) i ,
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
Figura 6.4.8
Lista de exerccios
1) a) Calcule a raiz quadrada real de
6.
6.
207
2 + 2 i e represen-
208
c) z 4 > 3 .
d) Re ( z 1 ) <
1
.
2
e) z 4 > z .
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
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
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
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
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
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.
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 ) ;
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.