Introdução à Álgebra - MAT/CEAD/UFOP - 2019-2

Cláudia Raquel Martins Corrêa

Resolução - Trabalho 2 - Anéis Quociente

A
1) Determine e as tabelas das operações em cada caso:
I
a) A = Z e I = h2i
A
= {x/x ∈ Z} e x = {y ∈ Z; y − x ∈ 2Z}
I
Se y − x ∈ 2Z então existe q ∈ Z tal que y − x = 2q, ou seja y = 2q + x. Logo os
possı́veis valores para x são os possı́veis restos da divisão de um inteiro por 2, que são
0 e 1.
A
Logo = {0, 1} = Z2 .
I
A partição que este anel quociente determina em Z é Z = {inteiros pares}∪{inteiros ı́mpares}.

+ 0 1 · 0 1
0 0 1 0 0 0
1 1 0 1 0 1

b) A = 3Z e I = 12Z
A
= {x/x ∈ 3Z} e x = {y ∈ 3Z; y − x ∈ 12Z}
I
Se x, y ∈ 3Z, então existem k1 , k2 ∈ Z tal que x = 3k1 e y = 3k2 .
Se y − x ∈ 12Z então existe q ∈ Z tal que y − x = 12q, ou seja 3(k2 − k1 ) = 12q ⇒
k2 − k1 = 4q ⇒ k2 = 4q + k1 .
Logo os possı́veis valores para k1 são os possı́veis restos da divisão de um inteiro por
4, que são 0, 1, 2 e 3.
k1 = 0 ⇒ x = 0
k1 = 1 ⇒ x = 3
k1 = 2 ⇒ x = 6
e k1 = 3 ⇒ x = 9
A
Logo = {0, 3, 6, 9}.
I
A partição que este anel quociente determina em 3Z é:

3Z = {0, 12, 24, . . .} ∪ {3, 15, 27, . . .} ∪ {6, 18, 30, . . .} ∪ {9, 21, 33, . . .}

1
2

+ 0 3 6 9 · 0 3 6 9
0 0 3 6 9 0 0 0 0 0
3 3 6 9 0 3 0 9 6 3
6 6 9 0 3 6 0 6 0 6
9 9 0 3 6 9 0 3 6 9

c) A = Z8 e I = 2Z8
2Z8 = {0, 2, 4, 6}
A
= {x/x ∈ Z8 } e x = {y ∈ Z8 ; y − x ∈ 2Z8 }
I
Se y − x ∈ 2Z8 então existe q ∈ Z8 tal que y − x = 2q, ou seja y = 2q + x.
Logo os possı́veis valores para x são os possı́veis restos da divisão de um inteiro por
2, que são 0 e 1.
A
Logo = {0, 1}.
I
De fato, observe que {0} = {2} = {4} = {6} pois a diferença entre quaisquer dois
A
desses elementos é um elemento de 2Z8 e também {1} = {3} = {5} = {7}, ou seja
I
determina a seguinte partição em A = Z8 :

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

As tabelas são as mesmas do item (a).

2) Seja A um anel qualquer.
A
a) Se I = {0}, mostre que: x ∈ ⇒ x = {x} para todo x ∈ A.
I
x = {y ∈ Z; y − x ∈ I}.
Como I = {0}, então y − x = 0, ou seja, y = x. Logo x = {x}.
A
b) Se I = A, mostre que: x ∈ ⇒ x = 0 para todo x ∈ A.
I
Dado x ∈ A, temos que x ∈ I. Como 0 ∈ I = A, então x − 0 = x ∈ I. Logo x = 0.
3) a) Mostre que 2Z × 3Z é um ideal de Z × Z.
Z×Z
b) Determine .
2Z × 3Z
3