Você está na página 1de 10

Anis comutativos, Euclideanos, fatoriais, principais e Noetherianos

Podemos dizer que em geral os anis so partes de um corpo onde no temos diviso. A palavra anel deve ter-se originado quando Galois estudou pela primeira vez corpos nitos. No estudo das congruncias mdulo

o que fazemos enrolar o conjunto dos inteiros num crculo. Enrolar em

crculo leva a anel. Enm, esse o nome. Por exemplo:

F [x ]

so anis com os quais estamos

convivendo. Mas podemos fabricar muitos outros. Para um conjunto ser anel deve ter uma unidade multiplicativa, isto , um

1.

Deve ter um zero,

0,

ter soma e produto de seus elementos. O produto

deve ser distributivo em relao a soma. Por exemplo: propriedades, tem

Mn

o conjunto das matrizes

n por n tem essas

1 que a matriz identidade;

tem

0 que a matriz nula.

Somamos e multiplicamos

matrizes e a multiplicao distributiva em relao a soma. Logo um anel. A diferena entre esse anel e os dois outros exemplos,

Z e F [x ],

que em

Mn

a multiplicao no comutativa. Anis onde

a multiplicao comutativa so chamados de abelianos em homenagem a Abel. Outro exemplo de anel no comutativo o conjunto de todas as funes produto usual de funes:

F = {f : R R | f

funo

com a soma e o

(f + g )(t) = f (t) + g (t)

(f g )(t) = f (t)g (t).


Mas claro

Observao. Todo corpo tambm um anel e todo subcorpo tambm um subanel.


que no vale a recproca. Na verdade podemos dizer que um corpo

um anel tal que para todo

x F,

se

x = 0,

ento

tem um inverso

x 1

em

F.

Num anel devemos esperar que muitos elementos, embora no nulos,

no tenham inverso. Em um anel

um elemento que tem inverso chamado de uma unidades. existe

Denio. Seja A um anel e A = { u A |


elementos de

vA

tal que

uv = 1 }.

Isto

so os

que tem inverso em

A.

Observao. Na verdade A um grupo em relao a multiplicao do anel.


Por exemplo, se

for um corpo, ento

A = A

{ 0 }. Z[i]

Para

temos

Z = {1, 1}.

Em

Z[i] = { a + bi | a, b Z}

(verique como exerccio que

um anel) temos

Z[i] = { 1, 1, i, i }
Na verdade

(mais tarde demonstraremos isso). Em isso vale para todo anel

F [x],

onde

um corpo temos

F [x]] = F .

A : A[ x ] = A .

Um outro exemplo interessante o seguinte: seja

Z(3) =

a Q|3 b b
1

Verique como exerccio que fato

Z(3)

um anel (subanel de

Q).

Nesse anel

Z (3)

muito grande. De

Z (3) =

a Q|3 b b

3 a

. C)
e encontre seu grupo de

Questo 1.
unidades. Seja

1 + 3 = 2

Mostre que o seguinte conjunto um anel (subanel de e

Z[ ] = {a + b | a, b Z}.

Neste curso praticamente s estudaremos anis abelianos, ou comutativos. Nossos exemplos mais conhecidos e interessantes so os anis

F [x ],

onde

um corpo. Vamos ver que esses dois anis

tem muito em comum. Por exemplo, dados dois inteiros, ou dois polinmios, sempre podemos fazer a diviso de um pelo outro e encontrar um quociente e um resto. Essa propriedade chamada de diviso euclidiana e temos toda uma famlia de anis caracterizados pela diviso euclidiana.

Denio. Dizemos que um anel A euclidiano se existir uma funo


:A
tal que para todo par de elementos

{0} N
existem

a, b A, b = 0,
com

q, r A

tais que

a = bq + r

r = 0, A.

ou

(r) < (b).

Isto , podemos realizar uma diviso euclidiana em

Anis com a propriedade acima so chamados de Anis Euclidianos. Temos os exemplos muito conhecidos de (grau de com

Z, onde (n) = |n|, o valor absoluto de n.

Para o anel

F [x] temos (f (x)) = gr f (x)

f (x).

Mas ser que existem outros? Um exemplo trivial e sem graa o caso de um corpo O interesse nos anis euclidianos vem do fato de que muitas outras

(x) = 1, para todo x F .

propriedades fortes decorrem dela. Por exemplo sempre existe MDC de dois elementos que um MDC pode ser escrito na forma irredutveis de

a, b A

ua + vb com u, v A; todo elemento tem fatorao nica em

A.

Mas uma questo a ser considerada se a famlia dos anis Euclidianos bastante

grande para justicar seu estudo.

Questo 2.
euclidianos.

Verique que de fato

com

(n) = |n|

F [x]

com

(f (x)) =

gr f (x)

so anis

Vamos ento ao novo exemplo. 2

Exemplo:
em

Tomemos

Z[i] = { a + bi | a, b Z }.

Esse anel conhecido como anel dos inteiros de

Gauss. Acho que foi Gauss que constatou suas excelentes propriedades aritmticas. Vamos denir

Q(i)1

uma conjugao pondo

a + bi = a bi.
vale

Essa conjugao tem boas propriedades:

u, v Q(i)

u + v = u + v, uv = uv. N (u) = uu.


Isto ,

Com o auxlio da conjugao denimos uma norma: Verica-se facilmente as seguintes propriedades:

N (a + bi) = a2 + b2 .

Questo 3.
se e somente se

Quaisquer que sejam

u, v Q(i) u Z[i]

temos

N (uv ) = N (u)N (v ).

Mais ainda

N (u) = 0
(Usando

u = 0.

Finalmente, para

temos

N (u) = 1 Z[i]).

se e somente se

u Z[i]

a funo norma torna-se fcil encontrar as unidades de

Vamos mostrar que essa funo norma um anel euclidiano.

tem a propriedade de uma funo

para tornar

Z[i]

Dados ou

u, v Z[i], v = 0,

vamos mostrar que exitem

q, r Z[i]

tais que

u = vq + r,

onde

r=0

N (r) < N (v ).

Digamos que

u = a + bi z=

v = c + di

seja

u ac + bd ad bc = 2 + 2 i Q[i]. v c + d2 c + d2
Sabemos contudo que a

Em geral

z Z[i]

pois tem parte real e parte imaginria no inteiras.

distncia entre dois inteiros sempre maior inteiro contido em

1.

Sejam ento

o maior inteiro contido em

ad bc . c2 + d2

ac + bd c2 + d2

Isto ;

ad bc ac + bd < m + 1, n 2 < n + 1. 2 2 c +d c + d2

Logo

ac + bd m < 1, c2 + d2

ad bc n < 1. c2 + d2

Vamos agora fazer um ajuste: Se

ac + bd 1 m , 2 2 c +d 2
Se

tomamos

m=m,

ac + bd 1 m > , 2 2 c +d 2
do que vai resultar

tomamos

m = m + 1,

1 ac + bd m . c2 + d2 2
1 Quando
em o conjunto um anel usamos

[],

como em

Q(i)

ou

Q( 2).
3

Z[i]

ou

F [x].

Quando o conjunto um corpo usamos

(),

como

Igualmente ajustamos o

para termos

ad bc 1 n . 2 2 c +d 2
Tomamos agora

q = m + ni Z[i]

que ser nosso candidato ao quociente euclidiano. De fato

u u N q =N q = v v
Tomamos a seguir

ac + bd m c2 + d2

ad bc n c2 + d2

1 2

1 ) 2

1 < 1. 2

N (u vq ) = N (v )N
Denindo-se ento

u q < N (v ). v
e vale a igualdade

r = u vq

temos que

r=0

ou

N (r) < N (v )

u = vq + r.

Fica

assim demonstrado que temos um algortimo de Euclides em

Z[i]. Q( 2)
ser dada

Questo 4.
por

Faa a mesma coisa no anel

a + b 2 = a b 2

Z[ 2].

Agora a conjugao em

e a norma dada por

N (a + b 2) = a2 + 2b2 . Q( d), d Z
no

Existem muitos outros exemplos onde a norma faz do anel de inteiros de quadrado, um anel euclidiano. Por exemplo tambm

Z[ 2], Z[ 3],

ou

Z[ 7].

Isso pode levar

ao erro de supor que o anel sempre ser euclidiano para a funo norma, mas isso no verdade. Para

d Z

d < 0 d

o anel

Z[ d]

s euclidiano para a funo norma nos casos

d =

1, 2, 3, 7, 11.
casos

Para

positivo somente temos a diviso euclidiana para a funo norma nos

d = 2, 3, 5, 6, 7, 11, 13, 17, 19, 21, 29, 33, 37, 41, 57, 73.
Utilizando a funo norma de

Questo 5.

N : Z[ d] Z

estude

Z[ d] .

Considere tambm

Z[ ] da Questo 1 e verique a com a ajuda da norma facilmente encontramos o grupo das unidades.

Depois de termos mais exemplos de Euclidianos vamos continuar seu estudo, mas antes de continuarmos vamos introduzir um novo conceito:

Denio. Seja A um anel e a, b A com b = 0.


tal que

Dizemos que

b divide a (em A) se existir c A

a = bc.

Vamos denotar essa relao  b divide

a

por

b|a. a por b r = 0.

Observe que num anel Euclidiano se

b|a,

ento o resto

da diviso Euclidiana de

Questo 6. Estude o que acontece em um anel euclidiano quando dividimos 1 por b = 0. Questo 7. Verique que a relao acima tem as seguintes propriedades:
4

1. Se

b|a b|a

a|d, b|d,

ento

b|d

( transitiva).

2. Se

ento

b|(a + d)

(um tipo de distributividade).

3. Usando a item anterior verique que se

b|(a + d)

b|a,

ento

b|d. b|b
para

Nas propriedades acima vimos que  | transitiva. Claro que tambm reexiva pois todo

b = 0.

Mas no simtrica. Quando simtrica temos uma situao especial.

Questo 8. Seja f (x) Q[x] um polinmio no constante e b C uma raiz de f (x).


a propriedade da diviso Euclidiana de

Mostre que

Q[x]

implica que

xb

divide

f (x).

Denio. Dizemos que dois elementos no nulos a, b de um anel A so associados se a|b e b|a
(a divide

divide

a). a|b,
temos

Claro que nesse caso, como tambm

b = au,

com

u A,

e igualmente,

a = bv ,

com

vA

pois

b|a.

Isso implica

b = bvu

que dividido por

(por hiptese

a, b = 0)

leva a

1 = vu.

Logo

u A

(tambm

v = u1 A ).

Questo 9. Reciprocamente, se u A e a, b A so no nulos tais que a = ub, mostre que a|b


e

b|a,

isto

so associados.

Podemos denotar essa relao assim

ab

a|b

b|a.

Questo 10. Mostre que para a, b A se tivermos a = b, ento a b. Questo 11.


equivalncia de Mostre que a relao

ab

uma relao de equivalncia e que

a classe de

1 (A = {x A | x 1 }).

Denio. Dados dois elementos a, b A de um anel A chama-se mximo divisor comum, MDC,
deles a um

que tem as seguintes propriedades:

1.

d|a

a|b, d

divide os dois;

2. se algum outro elemento

e dividir os dois, ento d divide e, em smbolos:

se

e|a e e|b, ento d|e.

Estamos dizendo que o MDC um divisor comum que contm todos os outros divisores comuns. Observe que se

um MDC de

b,

ento

ud,

com

u A ,

tambm um MDC de

b.

Logo

no temos MDC nico.

Questo 12.

Se

um MDC de

b,

ento

outro MDC de

se e somente se

d d.

Isto os MDCs so equivalentes num certo sentido. 5

Questo 13. Dena mnimo mltiplo comum


Seja

de dois elementos

a, b

de um anel

A.

Vamos voltar novamente ao estudo dos anis Euclidianos. Recordando,

um domnio euclidiano e seja

:A

{0} N a, b A, b = 0,
com existem

(I ) q, r A
tais que

tal que para todo par de elementos

a = bq + r

r = 0,

ou

(r) < (b), A.

a funo que permite fazer a diviso euclidiana de dois elementos de Vamos assumir que

tem a seguinte propriedade adicional para facilitar as contas:

a, b A

{ 0 },

(ab) (a).

(II )

Essa condio no na verdade necessria. Pode-se ver em Introduo a lgebra e Aritmtica, T.

o M. Viswanathan, Monograas de Matemtica, n 33, IMPA, 1979, nas pginas 252-255, proposies
2.3 e 2.4, que sempre que exite uma funo

estabelecendo uma diviso euclidiana, existe uma outra


tem a propriedade adicional. Se existe uma

que tambm estabelece uma diviso euclidiana e

que permite diviso euclidiana, existem outras que tambm permitiro e entre elas pode-se pegar uma com a propriedade adicional. Logo no faz mal nenhum usarmos essa propriedade. Observe

tambm que em todos os exemplos que vimos a funo da diviso euclidiana tinha essa propriedade.

Questo 14. Para uma que tem as duas propriedade (I) e (II) acima mostre que:
(a)

(1) (x), x A u A , (u) = (1).


se

(b) Para todo

(c) Para

a, b A,
e

a b,

ento

(a) = (b). a A

(d) Se

aA

(a) = (1),

mostre que

Dica. Faa a diviso euclidiana de 1 por a.


(e) Sejam

a, b A.

Mostre que se

a b,

ento

(a) = (b).

Dica. Calcular (ua) com u A .


6

Veremos a seguir que em um anel Euclidiano todo par de elementos Esse resultado as vezes chamando de

a, b ,

no nulos, tem MDC.

Teorema de Bezout:
dA
de

Seja

um anel Euclidiano e

a, b A, a, b = 0. d = ta + sb.

Ento existe o MDC

b.

Mais ainda, existem elementos

t, s A

tais que

Podemos demonstrar esse fato de duas maneiras. Primeira demonstrao:

Demonstrao.

Tomemos o conjunto

D = {xa + yb = 0 | x, y A };
e

estamos dizendo que

o conjunto de todas as combinaes de seguida tomemos o conjunto

que podemos fazer com coecientes

em

A.

Em

I = {(z ) | z D} N dD
tal que

(assumimos que zero est em o menor elemento de

N).

O conjunto

tem um menor elemento. Seja

(d)

I.

Vamos ver que

um MDC de

b.

Como

dP

existem

t, s A

tais que

d = ta + sb.
Vejamos primeiro que que

() q, r A r
tais

um divisor comum. Pelo algortimo de Euclides existem

a = dq + r

e, muito importante,

r=0

ou

(r) < (d).

Queremos ento que o resto

seja zero por sua

para provarmos que representao

divide

a.

Para provarmos isso, tomemos

r = a qd

e trocamos

(), r = a qd = a q (ta + sb) = (1 qt)a + (qs)b.

Conclumos ento que possvel que

rD

se r = 0.
r=0
e

Mas

(d)

o menor valor de

(r) < (d). d|b.

Logo no

r D.

Portanto

d|a. e|a

Mostra-se da mesma forma que e

Finalmente, se

e A e

for tal que

e|b,

como

d = ta + sb,

por um exerccio anterior,

e|d.

Mostramos assim que

tem as duas propriedades para ser o MDC de

b.
q.e.d.

Demonstrao.
t
e

(Segunda Forma) Vamos agora aplicar o mtodo das divises sucessivas. Essa

segunda demonstrao tem a vantagem de ser construtiva; ela mostra como encontrar os elementos

s.

Divide

por

b: a = q1 b + r 1 , r1 = 0
ou

(r1 ) < (b).

Se

r1 = 0,

divide

por

r1 : b = q2 r 1 + r 2 , r2 = 0
7 ou

(r2 ) < (r1 ).

Se

r2 = 0,

divide

r1

por

r2 : r 1 = q3 r2 + r 3 , r3 = 0
ou

(r3 ) < (r2 ).

Se

r3 = 0,

divide

r2

por

r3 ,

e vamos fazendo isso sucessivamente . . . . . . . . .

at encontrar um resto zero:

rn2 = qn rn1 + rn ,
e

rn (x) = 0

ou

(rn ) < (rn1 ).

rn1 = qn+1 rn + 0.
O MDC vai ser

rn .

Podemos ter certeza de que vai acontecer rn+1 = 0 porque temos


(b) > (r1 ) > (r2 ) > 0.
Logo a sequncia de divises vai ter parar em algum ponto. Para demonstrar que Vamos a vericao:

rn

um MDC vejamos primeiro que

rn

divide

b.

rn |rn1 , rn |rn
e

pois logo

rn+1 = 0, rn |rn2

rn |rn1

vamos repetindo

rn |r3 rn |r2 rn |r1


Concluso

e e e

rn |r2 rn |r1 rn |b

logo logo logo

rn |r1 rn |b rn |a t
e

rn

um divisor comum. Vamos agora encontrar os elementos

para ter

rn = ta + sb.

Para isso vamos tirando os restos nas equaes acima: da primeira equao troca na segunda troca na terceira

r 1 = a q1 b r2 = b q2 r1 = (q2 )a + (1 + q2 q1 )b r3 = r1 q3 r2 = a q1 b + q3 q2 a q3 (1 + q2 q1 )b = = (1 + q3 q2 )a + (q1 q3 q3 g2 q1 )b
. . .

vai repetindo at chegar a

rn = ta + sb
8

Para terminar usamos novamente o exerccio anterior que nos garante que se um

satiszer

e|a

e|b,

ento

e|un ,

terminando a demonstrao.

q.e.d.

Vamos agora ver um exemplo em e

A = Q[x] e = gr :

seja

f = x6 + x5 9x4 10x3 x2 + 9x + 9 q1 = x2 3x + 9
e

g = x4 + 4x3 6x2 7x 10.


isto :

Na primeira diviso vamos obter

r1 =

57x3 + 42x2 + 42x + 99,

x6 + x5 9x4 10x3 x2 + 9x + 9 = (x2 3x + 9)(x4 + 4x3 6x2 7x 10) + (57x3 + 42x2 + 42x + 99)
Na segunda diviso, de

g = x4 + 4x3 6x2 7x 10 q2 = 1 30 x 57 361


e

por

r1 = 57x3 + 42x2 + 42x + 99,

vamos obter

640 2 x +x+1 . 361 640 Antes de fazermos a terceira diviso observemos que o termo pode ser descartado. De fato 361 toda constante c = 0 pode ser descartada antes de dividir, pois se temos a(x) = b(x)q (x) + r (x), com r2 = r(x) = 0,
ou

gr r(x) < gr b(x) e c = 0 uma constante, c K , ento a(x) = cb(x)(c1 q(x)) + r(x)
x2 + x + 1
e no lugar do

e tudo vale da mesma forma. Vamos ento fazer a terceira diviso com que calculamos. Dividindo-se MDC

r2

r1

por

x2 + x + 1

obtemos

q3 = 57x + 99
Temos

r3 = 0.
e

Concluso: o

r2 = x2 + x + 1.

Vamos agora encontrar Logo

u(x)

v (x).

r 1 = f q1 g

r 2 = g q2 r1 =

g q2 (f q1 g ) = (q2 )f + (1 + q2 q1 )g . u(x) = q2 = 1 30 x 57 361


e

v (x) = 1 + q2 q1 = 1 +

1 30 x 57 361

x2 3x + 9

Questo 15. Calcule em Q[x] um MDC h(x) de f = x4 + x3 + 2x2 + x + 1 e g = x3 + 4x2 + 4x + 3


e encontre os polinmio

u(x), v (x) Q[x]

para os quais temos

h = uf + vg .

Denio. Dizemos que dois elementos a, b A so relativamente primos se um MDC deles for
uma unidade de

A,

isto , existe um MDC,

d,
de

de

a b

b,

com

d A . A
satisfaz:

Questo 16.
1
um MDC de

Mostre que um MDC, e

d,

em um anel

d A

se e somente se

em

A.

Questo 17. Sejam a e b dois elementos de um anel euclidiano A, (a, b A) tais que um MDC
deles em em

d.

Dado um outro elemento

k A,

mostre que a equao

aX + bY = k

tem soluo

se e somente se

d|k . A
Euclidiano para mostrar que a

Observamos no ltimo exerccio que precisamos supor que

equao tem soluo. Na outra direo, que trivial, a hiptese no necessria. 9

Referncias
[BE]

o P. Brumatti e A. J. Engler, Inteiros Quadrticos e Grupos de Classe, 23 Colquio Bras. de


Mat. IMPA, 2001.

[C]

H. Cohn, Advanced Number Theory, Dover Publications Inc., 1962.

[GL]

A. Garcia e Y. Lequain, Elementos de lgebra, Projeto Euclides, Associao Instituto Nacional de Matemtica Pura e Aplicada (IMPA), 2002.

[H]

I. N. Herstein, Topics in Algebra, John Wiley & Sons, 1975.

[R]

J. Rotman, Galois Theory, Springer-Verlag, 1990.

10