Escolar Documentos
Profissional Documentos
Cultura Documentos
ROTEIRO DE ESTUDO 4
13 DE OUTUBRO DE 2011
Proposição 3.3: Seja um anel e seja B um subconjunto não vazio de A. Então B é um subanel
se, e somente se, para todo são satisfeitas as condições:
; .
Vejamos: -0 = 0 ; -2 = 6 ; -4 = 4 e -6 = 2.
0 -0= 0+ 0=0 2-2=2+6=0 4-4=4+4=0 6-6=6+2=0
0 -2= 0+ 6=6 2-4=2+4=6 4-6=4+2=6
0 -4= 0+ 4=4 2-6=2+2=4
0 -6= 0+ 2=2 Todos os resultados pertencem a L.
0 x 0=0 2x2=4 4x4=0 6x6=4
0 x 2=0 2x4=0 4x6=0
0 x 4=0 2x6=4
0 x 6=0 Todos os resultados pertencem a L.
Logo, L é ideal de ℤ8.
Para mostrar que não é subanel é suficiente mostrar que alguma das condições da
definição (ou da proposição 3.3) não é satisfeita.
A condição que não é satisfeita é a da inclusão: ℤ3 ⊄ ℤ6.
Apesar de ℤ3 = { 0, 1, 2 } e ℤ6 = { 0, 1, 2, 3, 4, 5 }, os elementos não são iguais! Lembre
que ℤm indica o conjunto das classes residuais módulo m; o conjunto de todos os restos da
divisão por m
Por exemplo:
1 em ℤ3 representa todos os números inteiros que deixam resto 1 na divisão por 3,
enquanto 1 em ℤ6 representa todos os números inteiros que deixam resto 1 na divisão 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, ...}
Lembrando que um subanel é um anel dentro de outro anel, e que para ser subanel o
conjunto com a adição deve ser um grupo abeliano, devemos encontrar todos os subgrupos do
grupo abeliano ℤ8, + e verificar quais deles são fechados para a multiplicação.
Subgrupos de ℤ8, + :
Pelo Teorema de Lagrange, esses subgrupos devem ter ordem 1, 2, 4 e 8. Assim, os
subgrupos são:
os triviais: L1 = { 0 } L2 = ℤ8
os próprios: L3 = { 0, 2, 4, 6 } L4 = { 0, 4 }
Sendo ℤ8, +, x um anel, é claro que ele é subanel dele próprio; o subconjunto L 1, é
também, trivialmente, subanel de ℤ8.
Que L3 é subanel de ℤ8 foi provado na questão 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.
0 0 = 0 ∈ L3 2 0 = 0 ∈ L3 4 0 = 0 ∈ L3 6 0 = 0 ∈ L3
0 2 = 0 ∈ L3 2 2 = 4 ∈ L3 4 2 = 0 ∈ L3 6 2 = 4 ∈ L3
0 4 = 0 ∈ L3 2 4 = 0 ∈ L3 4 4 = 0 ∈ L3 6 4 = 0 ∈ L3
0 6 = 0 ∈ L3 2 6 = 4 ∈ L3 4 6 = 0 ∈ L3 6 6 = 4 ∈ L3
1 0 = 0 ∈ L3 3 0 = 0 ∈ L3 5 0 = 0 ∈ L3 7 0 = 0 ∈ L3
1 2 = 2 ∈ L3 3 2 = 6 ∈ L3 5 2 = 2 ∈ L3 7 2 = 6 ∈ L3
1 4 = 4 ∈ L3 3 4 = 4 ∈ L3 5 4 = 4 ∈ L3 7 4 = 4 ∈ L3
1 6 = 6 ∈ L3 3 6 = 2 ∈ L3 5 6 = 6 ∈ L3 7 6 = 2 ∈ L3
Logo, L3 é subanel de ℤ8.
L3 = { 0, 4 }
0 0 = 0 ∈ L3 2 0 = 0 ∈ L3 4 0 = 0 ∈ L3 6 0 = 0 ∈ L3
0 4 = 0 ∈ L3 2 4 = 0 ∈ L3 4 4 = 0 ∈ L3 6 4 = 4 ∈ L3
1 0 = 0 ∈ L3 3 0 = 0 ∈ L3 5 0 = 0 ∈ L3 7 0 = 0 ∈ L3
1 4 = 4 ∈ L3 3 4 = 4 ∈ L3 5 4 = 4 ∈ L3 7 4 = 4 ∈ L3
Logo, L4 é subanel de ℤ8.
7. Verifique se ℤ, +, x é ideal de ℚ, +, x .