Re:[obm-l] Algebra: elementos nilpotentes e aneis de integridade

De:

owner-obm-l@mat.puc-rio.br

Para:

"OBM-L" obm-l@mat.puc-rio.br

Cópia:

Data:

Fri, 16 Jun 2006 23:49:35 -0300

Assunto:

[obm-l] Algebra: elementos nilpotentes e aneis de integridade

> Pessoal,

> Alguém pode, por favor, me dar uma dica de como resolver estes dois

> problemas de álgebra?

> 1) Mostre que o conjunto dos elementos nilpotentes de um anel

> comutativo A é um subanel de A.

Se a, b são tais que a^m = 0 e b^n = 0, então:

(ab)^(mn) = 0 e (a-b)^(m+n) = 0

Como A é comutativo, (ab)^(mn) = a^(mn)*b^(mn) = (a^m)^n*(b^n)^m = 0^n*0^m = 0 e

(a - b)^(m+n) = SOMA(k=0...m+n) (-1)^k*Binom(m+n,k)*a^(m+n-k)*b^k

Se k <= n, então a^(m+n-k) = a^m*a^(n-k) = 0*a^(n-k) = 0

Se k > n, então b^k = b^n*b^(k-n) = 0*b^(k-n) = 0

Logo, todos os termos do somatório se anulam.

> 2) Prove detalhadamente: Se a é um elemento do anel de integridade A e

> a^2 = 1, então a = 1 ou a = -1.

a^2 = 1 <==> a^2 - 1 = 0 <==> (a - 1)*(a + 1) = 0

Como A é um domínio de integridade, a - 1 = 0 ou a + 1 = 0 <==>

a = 1 ou a = -1.

> Aqui minha primeira dúvida é se isso é realmente verdade. No anel Z_3

> (anel dos inteiros módulo 3), por exemplo, que é um anel de

> integridade, o fato de a^2 = 1 não significade de a = 1 ou a = -1 (em

> Z_3, 2^2 é igual a 1).

Mas em Z_3, -1 = 2...

[]s,

Claudio.