Escolar Documentos
Profissional Documentos
Cultura Documentos
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
F [x ]
convivendo. Mas podemos fabricar muitos outros. Para um conjunto ser anel deve ter uma unidade multiplicativa, isto , um
1.
0,
Mn
tem
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 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
x F,
se
x = 0,
ento
tem um inverso
x 1
em
F.
vA
tal que
uv = 1 }.
Isto
so os
A.
A = A
{ 0 }. Z[i]
Para
temos
Z = {1, 1}.
Em
Z[i] = { a + bi | a, b Z}
um anel) temos
Z[i] = { 1, 1, i, i }
Na verdade
F [x],
onde
um corpo temos
F [x]] = F .
A : A[ x ] = A .
Z(3) =
a Q|3 b b
1
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
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
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.
{0} N
existem
a, b A, b = 0,
com
q, r A
tais que
a = bq + r
r = 0, A.
ou
Anis com a propriedade acima so chamados de Anis Euclidianos. Temos os exemplos muito conhecidos de (grau de com
Para o anel
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
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
A.
Mas uma questo a ser considerada se a famlia dos anis Euclidianos bastante
Questo 2.
euclidianos.
com
(n) = |n|
F [x]
com
(f (x)) =
gr f (x)
so anis
Exemplo:
em
Tomemos
Z[i] = { a + bi | a, b Z }.
Gauss. Acho que foi Gauss que constatou suas excelentes propriedades aritmticas. Vamos denir
Q(i)1
a + bi = a bi.
vale
u, v Q(i)
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
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]
para tornar
Z[i]
Dados ou
u, v Z[i], v = 0,
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]
1.
Sejam ento
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
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].
(),
como
Igualmente ajustamos o
para termos
ad bc 1 n . 2 2 c +d 2
Tomamos agora
q = m + ni Z[i]
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
Z[i]. Q( 2)
ser dada
Questo 4.
por
a + b 2 = a b 2
Z[ 2].
Agora a conjugao em
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].
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]
d =
1, 2, 3, 7, 11.
casos
Para
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:
Dizemos que
a = bc.
a
por
b|a. a por b r = 0.
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)
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.
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
b = au,
com
u A,
e igualmente,
a = bv ,
com
vA
pois
b|a.
Isso implica
b = bvu
(por hiptese
a, b = 0)
leva a
1 = vu.
Logo
u A
(tambm
v = u1 A ).
b|a,
isto
so associados.
ab
a|b
b|a.
ab
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
1.
d|a
a|b, d
divide os dois;
se
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
Questo 12.
Se
um MDC de
b,
ento
outro MDC de
se e somente se
d d.
de dois elementos
a, b
de um anel
A.
:A
{0} N a, b A, b = 0,
com existem
(I ) q, r A
tais que
a = bq + r
r = 0,
ou
a funo que permite fazer a diviso euclidiana de dois elementos de Vamos assumir que
a, b A
{ 0 },
(ab) (a).
(II )
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
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)
(c) Para
a, b A,
e
a b,
ento
(a) = (b). a A
(d) Se
aA
(a) = (1),
mostre que
a, b A.
Mostre que se
a b,
ento
(a) = (b).
Veremos a seguir que em um anel Euclidiano todo par de elementos Esse resultado as vezes chamando de
a, b ,
Teorema de Bezout:
dA
de
Seja
um anel Euclidiano e
a, b A, a, b = 0. d = ta + sb.
b.
t, s A
tais que
Demonstrao.
Tomemos o conjunto
D = {xa + yb = 0 | x, y A };
e
em
A.
Em
I = {(z ) | z D} N dD
tal que
N).
O conjunto
(d)
I.
um MDC de
b.
Como
dP
existem
t, s A
tais que
d = ta + sb.
Vejamos primeiro que que
() q, r A r
tais
a = dq + r
e, muito importante,
r=0
ou
divide
a.
r = a qd
e trocamos
rD
se r = 0.
r=0
e
Mas
(d)
o menor valor de
Logo no
r D.
Portanto
d|a. e|a
Finalmente, se
e A e
e|b,
como
d = ta + sb,
e|d.
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
Se
r1 = 0,
divide
por
r1 : b = q2 r 1 + r 2 , r2 = 0
7 ou
Se
r2 = 0,
divide
r1
por
r2 : r 1 = q3 r2 + r 3 , r3 = 0
ou
Se
r3 = 0,
divide
r2
por
r3 ,
rn2 = qn rn1 + rn ,
e
rn (x) = 0
ou
rn1 = qn+1 rn + 0.
O MDC vai ser
rn .
rn
rn
divide
b.
rn |rn1 , rn |rn
e
pois logo
rn+1 = 0, rn |rn2
rn |rn1
vamos repetindo
e e e
rn |r2 rn |r1 rn |b
rn |r1 rn |b rn |a t
e
rn
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
. . .
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.
A = Q[x] e = gr :
seja
f = x6 + x5 9x4 10x3 x2 + 9x + 9 q1 = x2 3x + 9
e
r1 =
x6 + x5 9x4 10x3 x2 + 9x + 9 = (x2 3x + 9)(x4 + 4x3 6x2 7x 10) + (57x3 + 42x2 + 42x + 99)
Na segunda diviso, de
por
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.
u(x)
v (x).
r 1 = f q1 g
r 2 = g q2 r1 =
v (x) = 1 + q2 q1 = 1 +
1 30 x 57 361
x2 3x + 9
h = uf + vg .
Denio. Dizemos que dois elementos a, b A so relativamente primos se um MDC deles for
uma unidade de
A,
d,
de
de
a b
b,
com
d A . A
satisfaz:
Questo 16.
1
um MDC de
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.
k A,
aX + bY = k
tem soluo
se e somente se
d|k . A
Euclidiano para mostrar que a
Referncias
[BE]
[C]
[GL]
A. Garcia e Y. Lequain, Elementos de lgebra, Projeto Euclides, Associao Instituto Nacional de Matemtica Pura e Aplicada (IMPA), 2002.
[H]
[R]
10