Anis quocientes

Meta da aula

Apresentar o desenvolvimento da estrutura algbrica de anel quociente.

objetivos

Ao final desta aula, voc dever ser capaz de: Apresentar a relao de congruncia mdulo I. Identificar os passos que levam caracterizao de um anel quociente. Apresentar e demonstrar as primeiras propriedades operatrias da congruncia mdulo I.

Voc vai precisar dos conhecimentos sobre anis e ideais, desenvolvidos nas Aulas 21 a 23 do curso de lgebra I. Voc tambm vai precisar dos conceitos de ideal de Z e dos anis dos inteiros mdulo n, do seu curso de lgebra I.

AULA

Pr-requisitos

lgebra II | Anis quocientes

INTRODUO

Bem-vindo ao curso de lgebra II. Aqui vamos estudar duas importantes e belssimas estruturas algbricas: os anis e os grupos. Estas teorias tm razes em problemas muito longnquos que relativamente h pouco tempo foram resolvidos. Nesta aula, vamos copiar a construo dos anis dos inteiros mdulo n, visto no seu curso de lgebra I, para o caso geral de um anel A e de um ideal I de A. Portanto, uma boa idia rever as aulas daquele curso. Voc perceber uma idia que recorrente na matemtica: a construo de uma estrutura abstrata geral seguindo os passos de um exemplo particular muito importante.

EXPANDINDO O CONCEITO DE CONGRUNCIA Definio 1

Sejam A um anel e I um ideal de A. Definimos a seguinte relao binria em A: a b (mod I) b a I Dizemos, neste caso, que a e b so congruentes mdulo I. Esta relao satisfaz s seguintes propriedades, que a tornam uma relao de equivalncia.

Proposio 1
1. Propriedade Reflexiva a a (mod I) 2. Propriedade Simtrica Se a b (mod I), b a (mod I). 3. Propriedade Transitiva Se a b (mod I) e b c (mod I), ento a c (mod I).

Demonstrao
1. Basta observar que a a = 0 I.

b (mod I), ento b a I. Assim, a b = I. (b a) I, pela condio I2 de subanel. Logo, b a (mod I).
2. Como a

CEDERJ

ATIVIDADE 1. Prove a propriedade transitiva da congruncia mdulo I.

GENERALIZANDO AS CLASSES DE CONGRUNCIA

Agora, que vimos que a congruncia mdulo I uma relao de equivalncia, sabemos que o anel A fica decomposto em classes de equivalncia. So subconjuntos disjuntos, cuja unio todo o anel A, caracterizando o que chamamos de uma partio de A. Ser neste conjunto de classes de equivalncia que definiremos operaes de adio e multiplicao, de modo a transform-lo num anel.

Definio 2
Sejam A um anel, I um ideal de A, e a mdulo I) como sendo o conjunto a = a + I = {a + x x I}. A prxima proposio afirma que as classes de congruncia so exatamente as classes de equivalncia da relao congruncia mdulo I.

A. Definimos a classe

residual de a mdulo I (tambm chamada classe de congruncia de a

Proposio 2
Sejam A um anel, I um ideal de A, e a, b A. Ento a b (mod I) se, e somente se, a = b.

CEDERJ

AULA

lgebra II | Anis quocientes

Demonstrao
() Vamos provar a incluso a b. Como a b (mod I), ento y = b a I. Assim, a = b y. Agora, um elemento genrico de a da forma a + x com x I. Segue que: a + x = (b y)

+x = b + (x y) b ,

pois x y I. A incluso inversa, b a, anloga, e ser uma atividade para voc. () Temos a = b, ento b = b + 0 b = a. Como b a, existe x I, tal que b = a + x. Portanto, temos b a = x I, ou seja, a b (mod I). Vamos, agora, demonstrar a propriedade da partio que a congruncia mdulo I gera no anel A.

Proposio 3
1. Se a b 2. U a = A.
aA

, ento a = b.

Demonstrao

, existe um elemento c a b. De c a, temos que c = a + x com x I. De c b, temos que c = b + y, com y I. Logo, b + y = a + x, o que nos d: b a = x y I,
ou seja, a b (mod I). Pela Proposio 2, segue que a = b. 2. Temos a
aA

1. Como a b

mente, U a A, ento segue que

a para todo a A, ento A U a. Como, clara. U a = A,

aA aA

Denotamos por A/I o conjunto das classes residuais mdulo I, ou seja, A/I = a a A .

10

CEDERJ

Definio 3
Em A/I, definimos as seguintes operaes: Adio: a + b = a + b; Multiplicao: a . b = a . b. Observao Como a

= a + I, uma outra notao muito utilizada para as

operaes de adio e multiplicao, definidas anteriormente, : (a + I) + (b + I) = (a + b) + I; (a + I) . (b + I) = (a . b) + I. A prxima proposio mostra que estas operaes, em A/I, esto bem definidas, na medida em que no dependem dos representantes a e b das classes residuais a e b, respectivamente.

Proposio 4
Se a = a1 e b = b1, ento: 1. a + a = a1

+ b1;

2. a . b = a1 . b1.

Demonstrao

= a1, ento, pela Proposio 2, a a1 (mod I), ou seja, a 1 a = x, com x I. Analogamente, de b = b 1, segue que b1 b = y, com y I. Ento,
1. Se a (a1

+ b1) a + b = (a1 a) + (b1 b) = x + y I,

CEDERJ

11

AULA

multiplicao em A/I.

O prximo passo a definio das operaes de adio e

lgebra II | Anis quocientes

logo, (a + b) Portanto,

(a1 + b1) (mod I), ou seja, a + b = a1+ b1.

a + b = a + b = a1 + b1 = a1+ b1. 2. Esta parte um pouco mais trabalhosa, pois depende de um

= a1, ento a1 a = x, com x I, e, de b = b1 , segue que b1 b = y, com y I. Ento,

certo traquejo algbrico. Como anteriormente, se a (a1 . b1) (a . b) = (a1 . b1 a . b1) + (a . b1 a . b)

= (a1 a ). b1 + a . (b1 b) = x . b1 + a . y I,
pois, x . b1 I e a . y I. Portanto, (a . b) (a1 . b1)(mod I), ou seja, a . b = a1 . b1 . Assim, a.b=a.b

= a1 . b1 = a1 . b1 .

Podemos, agora, completar nossa construo. Segue que (A/I, +, ) um anel, chamado de anel quociente, ou anel das classes residuais mdulo I, cujo zero dado por 0 e cuja unidade dada por 1. Exemplo 1 Sejam (Z, +, .) o anel dos inteiros e I o ideal de Z dado por I = 12Z = {12k k Z}. Ento o anel Z/I = {a + I a Z} consiste em 12 elementos: Z/I = {0 + I, 1 + I, 2 + I, ..., 11+ I} = {0, 1, 2, ..., 11} = Z12 que so as classes residuais mdulo 12. Como 12 no um nmero primo, ento, por teorema dado no Volume III de lgebra I, Z/I anel, mas no um domnio.

12

CEDERJ

Se voc achou esta aula mais abstrata, no se preocupe, pois ela mesmo. Apesar de termos feito uma construo semelhante que voc fez no seu curso de lgebra I, qualquer passagem de uma estrutura algbrica, como um anel, para uma estrutura quociente, como o anel quociente, requer um salto de abstrao. Tenha pacincia e insista na compreenso destes conceitos. Eles so importantes na lgebra e sero utilizados ao longo de todo o curso de lgebra II.

ATIVIDADE FINAL
1. Verifique que os axiomas de anel valem para (A/I, +, .).

RESUMO
A construo da relao de equivalncia que consiste na congruncia mdulo I, o primeiro passo da construo do anel quociente, feita por meio da introduo das operaes de adio e multiplicao no conjunto das classes residuais mdulo I. Tudo isto, seguindo a construo anloga que foi feita no seu curso de lgebra I, para obter-se o anel dos inteiros mdulo n.

CEDERJ

13

AULA

CONCLUSO

lgebra II | Anis quocientes

RESPOSTAS

Atividade 1 De a b (mod I), temos que x = b a I. De b c (mod I), temos y = c b I. Ento

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

=y+xI,
ou seja, a c (mod I).

Atividade Final Percorra cada um dos axiomas que definem um anel, lembrando que os elementos neutros so 0 e 1. Por exemplo, A1. Associatividade da Adio:

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

= a + (b + c) = (a + b) + c = a + b +c = (a + b) + c.

14

CEDERJ