DISCIPLINA: LGEBRA II

PROFESSORA FORMADORA: Odete Amanda ROTEIRO DE ESTUDO 4 13 DE OUTUBRO DE 2011

Definio de subanel: Seja ; Proposio 3.3: Seja se, e somente se, para todo ; Definio de ideal: Seja temos: e .

um anel e B um subconjunto no vazio de A. Dizemos que B um e , ou seja, dados tem-se: . um anel e seja B um subconjunto no vazio de A. Ento B um subanel so satisfeitas as condies: . um anel. Um subanel um ideal de , se para cada e

subanel de A se B fechado para as operaes de

1. Mostre que L = { 0, 2, 4, 6 } subanel de

= { 0, 1, 2, 3, 4, 5, 6, 7 } .

Devemos verificar as condies da proposio 3.3, lembrando que y indica o simtrico aditivo de y. Como os conjuntos so finitos, devemos fazer todas as verificaes. Vejamos: -0 = 0 ; -2 = 6 ; -4 = 4 e -6 = 2. 0 0 0 0 -0= -2= -4= -6= 0+ 0+ 0+ 0+ 0 0 0 0 x x x x 0=0 6=6 4=4 2=2 0=0 2=0 4=0 6=0 2-2=2+6=0 2-4=2+4=6 2-6=2+2=4 2x2=4 2x4=0 2x6=4 4-4=4+4=0 4-6=4+2=6 6-6=6+2=0

Todos os resultados pertencem a L. 6x6=4 Todos os resultados pertencem a L.

4x4=0 4x6=0

Logo, L ideal de 8. 2. Verifique se 2 = { 2k; k } subanel de , +, x .

Vamos verificar as condies da proposio 3.3 atentando para o fato de que sendo os conjuntos infinitos, devemos trabalhar com a expresso genrica dos elementos: Sendo x, y 2, temos que x = 2k e y = 2r, com k, r . Alm disso, -y = 2(-r) = -2r. Ento, x y = 2k 2r = 2(k r), com k r x y 2. x x y = 2k x 2r = 2(k x 2r) = 2 (2kr), com 2kr x x y 2. Portanto, como as condies da proposio 3.3 esto satisfeitas, 2 subanel.

3. Mostre que

= { 0, 1, 2 } no subanel de

= { 0, 1, 2, 3, 4, 5 } . (captulo 3 do mdulo)

Para mostrar que no subanel suficiente mostrar que alguma das condies da definio (ou da proposio 3.3) no satisfeita. A condio que no satisfeita a da incluso: 3 6. Apesar de 3 = { 0, 1, 2 } e 6 = { 0, 1, 2, 3, 4, 5 }, os elementos no so iguais! Lembre que m indica o conjunto das classes residuais mdulo m; o conjunto de todos os restos da diviso por m Por exemplo: 1 em 3 representa todos os nmeros inteiros que deixam resto 1 na diviso por 3, enquanto 1 em 6 representa todos os nmeros inteiros que deixam resto 1 na diviso por 6. Veja: 1 em 3 representa o conjunto { 1, 4, 7, 10, 13, 16, ...} 1 em 6 representa o conjunto { 1, 7, 13, 19, ...} 4. Determine todos os subanis de
8

Lembrando que um subanel um anel dentro de outro anel, e que para ser subanel o conjunto com a adio deve ser um grupo abeliano, devemos encontrar todos os subgrupos do grupo abeliano 8, + e verificar quais deles so fechados para a multiplicao. Subgrupos de 8, + : Pelo Teorema de Lagrange, esses subgrupos devem ter ordem 1, 2, 4 e 8. Assim, os subgrupos so: os triviais: L1 = { 0 } L2 = 8 os prprios: L3 = { 0, 2, 4, 6 } Sendo L4 = { 0, 4 }

8, +, x

um anel, claro que ele subanel dele prprio; o subconjunto L 1,

tambm, trivialmente, subanel de 8. Que L3 subanel de 8 foi provado na questo 1. Vamos testar o outro candidato: 0-0=0+0=0 0x0=0 0-4=0+4=4 0x4=0 4-4=4+4=0 4x4=0 Todos os resultados pertencem a L4; logo, L4 subanel de 8. Portanto, 8 tem quatro subanis: os triviais: L1 = { 0 } L2 = 8 os prprios: L3 = { 0, 2, 4, 6 } L4 = { 0, 4 } 5. Calcule todos os subanis de . (captulo 3 do mdulo)

Com as mesmas justificativas da questo anterior, os subanis de 12 so: os triviais: L1 = { 0 } L2 = 12 os prprios: L3 = { 0, 2, 4, 6, 8, 10 } L4 = { 0, 3, 6, 9 } 6. Determine todos os subanis prprios de so ideais. todo x L, tem-se xa L e ax L.
No caso em questo no h necessidade de verificar os dois sentidos, pois o anel comutativo.

L5 = { 0, 4, 8 }

L6 = { 0, 6 }

e de

e, em seguida, verifique quais deles

A definio de ideal diz: um subanel L, de um anel A, ideal se para todo a A e para

a) Na questo 4, foram determinados os subanis de 8 : os triviais so ideais: L1 = { 0 } L2 = 8 dos prprios, L3 = { 0, 2, 4, 6 } L4 = { 0, 4 }, vamos verificar qual(is) atende(m) definio de ideal. L3 = { 0, 2, 4, 6 }
0 0 = 0 L3 0 2 = 0 L3 0 4 = 0 L3 0 6 = 0 L3 1 0 = 0 L3 1 2 = 2 L3 1 4 = 4 L3 1 6 = 6 L3 2 0 = 0 L3 2 2 = 4 L3 2 4 = 0 L3 2 6 = 4 L3 3 0 = 0 L3 3 2 = 6 L3 3 4 = 4 L3 3 6 = 2 L3 4 0 = 0 L3 4 2 = 0 L3 4 4 = 0 L3 4 6 = 0 L3 5 0 = 0 L3 5 2 = 2 L3 5 4 = 4 L3 5 6 = 6 L3 6 0 = 0 L3 6 2 = 4 L3 6 4 = 0 L3 6 6 = 4 L3 7 0 = 0 L3 7 2 = 6 L3 7 4 = 4 L3 7 6 = 2 L3

Logo, L3 subanel de 8. L3 = { 0, 4 }
0 0 = 0 L3 0 4 = 0 L3 1 0 = 0 L3 1 4 = 4 L3 2 0 = 0 L3 2 4 = 0 L3 3 0 = 0 L3 3 4 = 4 L3 4 0 = 0 L3 4 4 = 0 L3 5 0 = 0 L3 5 4 = 4 L3 6 0 = 0 L3 6 4 = 4 L3 7 0 = 0 L3 7 4 = 4 L3

Logo, L4 subanel de 8. a) Os subanis de 12 so: os triviais: L1 = { 0 } L2 = 12 os prprios: L3 = {0, 2, 4, 6, 8, 10} L4= {0, 3, 6, 9} L5 = {0, 4, 8} L6 = {0, 6} Procedendo como acima, verificamos que todos os subanis so ideais. 7. Verifique se , +, x Lembrando que ideal de , +, x , +, x .

anel comutativo, pois a multiplicao comutativa, vamos

verificar se para todo a e para todo x , tem-se xa . 1 1 7 Se escolhermos a = e x = 7 , temos que 7 2 2 2 Logo, , +, x 8. Justifique as seguintes afirmaes: a)

. no ideal de , +, x .

n ideal de , qualquer que seja n . Lembrete: n = { nk; k } Sejam x = nk n e a = w . Vamos mostrar que xa n. De fato: xa = nk w = n(k w) n, pois k w . Logo, n, +, x ea= no ideal de , +, x .

b)

no ideal de . Se escolhermos x =
1 2

3 , temos que

1 2

3
2

Logo, , +, x

no ideal de

, +, x .

Vale ressaltar que os alunos devem fazer apenas os exerccios 1 a 6 da lista de exerccios que se encontra no captulo 3.