SUGESTÃO DE SOLUCÃO P1, ÁLGEBRA COMUTATIVA, MM 427A

(02/05/2016)

NOTA. Escolher 4 perguntas. Cada uma vale 2.5 pontos.

1. Seja A um anel e S ⊆ A um subconjunto multiplicativo. Provar que existe ideal primo

I de A tal que I ∩ S = ∅.

Sugestão de solução. Seja X := {J ideal de A tal que J ∩ S = ∅}. Temos que X 6=

∅ pois J = (0) ∈ X . Aplicamos o Lema de Zorn a (X , ⊆) pois claramente cadeias
ascendentes tem cota superior, e assem seja I um ideal maximal para este par. Afirmamos
que I é primo. De fato, suponhamos x, y 6∈ I e devemos provar que xy 6∈ I. Temos que
I + xA, I + yA contem propriamente a I e logo existem α, β ∈ S, i1 , i2 ∈ I, a, b ∈ A tal
que α = i1 + xa, β = i2 + yb e logo xy 6∈ I.

2. Seja A = Z10 e S = A \ Div0 (A). Calcular o conjunto de unidades de S −1 A.

Sugestão de solução. Seja a/s ∈ S −1 A uma unidade. Logo existe b/t ∈ S −1 A tal que
ab/st = 1/1 i.e. existe s1 ∈ S tal que s1 (ab − st) = 0. Em particular tudos os elementos
de S sõ inversiveis e logo abs−1 t−1 = 1. Logo a/s é uma unidade see a ∈ S.

3. Sejam m e n números inteiros positivos. Provar que que existe f : Zm → Zn homo-

morfismo de aneis com f (1̄) = 1̄ se e somente sem n divide m.

Sugestão de solução. Suponha f (1̄) = 1̄. Logo mf (1̄) = m1̄ implice m1̄ = f (m̄) = 0
isto é m̄ = 0 em Zn e logo n divide m. Recı́procamente, suponha que n divide m.
Considere f (ā) = ā) onde a primeira classe é ao respeito de m e a segunda é ao respeito
de n. Vejamos que esta bem definido. Se ā = a¯1 logo m divide a (a − a1 ) e pelo tanto n
divide (a − a1 ).

4. Seja A um anel onde para x ∈ A existe natural n = n(x) ≥ 2 tal que xn = x. Provar
que tudo idel primo é maximal.
1
2

Sugestão de solução. Seja I um ideal primo de A. Provaremos que A/I é um corpo.

Seja x̄ ∈ A/I, x̄ 6= 0̄. Temos x̄(x̄n−1 − 1̄) = 0̄. Como A/I é dominio, segue-se que
x̄n−1 = 1̄. Logo x̄x̄n−2 = 1̄ e segue-se que x̄ tem inversa.

5. Seja A um anel onde para cada x ∈ A, x2 = x. Provar que cada ideal finitamente
gerado é principal.

Sugestão de solução. Se x2 = x onserve que fazendo x = a + a, 2a = 0 para tudo

a ∈ A. Seja I um ideal de A gerado por f1 , . . . , fn . Se n = 2, I esta gerado por F , onde
F = f1 + f2 + f1 f2 pois temos que f1 = f1 F , f2 = f2 F . Se n = 3, I está gerado por
(f1 , f2 ) e f3 ) e logo por indução por F = f1 + f2 + f3 + f1 f2 + f1 f3 + f2 f3 + f1 f2 f3 .