Re: [obm-l] Dúvida sobre álgebra

[Claudio Buffara <claudio.buffara@xxxxxxxxxxxx>]

on 18.06.04 20:36, João Paulo at lebesgue@mail.com wrote:

> Prezados amigos da lista, eu gostaria de saber porque o seguinte fato
> (aparentemente óbvio), mas que eu não consegui argumentos, é verdade:
> Z[t]/(t^2 - 2,3t -1) não é isomorfo à Z[sqrt(2),1/3].
> desde já agradeço,
> []'s
> João.

17 = (3t + 1)*(3t - 1) - 9*(t^2 - 2) ==>
17 pertence ao ideal I = (t^2 - 2,3t - 1) de Z[t] ==>
I = 17 + I = (1 + I) + (1 + I) + ... + (1 + I) (17 parcelas) ==>
Z[t]/I tem caracteristica 17.

Por outro lado, Z[raiz(2),1/3] tem caracteristica zero.

Logo, os dois aneis nao podem ser isomorfos.

[]s,
Claudio.


=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================