Re: [obm-l] Irredutíveis e Anéis

[Claudio Buffara <claudio.buffara@xxxxxxxxxxxx>]

Oi, Gugu:

Obrigado pela solucao.

[]s,
Claudio.

on 11.05.05 15:03, Carlos Gustavo Tamm de Araujo Moreira at gugu@impa.br
wrote:

> Se p divide (a+b.raiz(3))(c+d.raiz(3)), entao p divide
> (a^2-3b^2)(c^2-3d^2), e logo p divide um desses fatores, digamos a^2-3b^2.
> Como x^2-3 'e irredutivel, e logo nao tem raiz em Z/pZ, se p divide a^2-3b^2
> entao p divide b (senao b e' invertivel em Z/pZ, e a/b e' raiz de x^2-3), e
> logo p divide a, donde p divide a+b.raiz(3).
> Abracos,
> Gugu
>> 
>> 

=========================================================================
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
=========================================================================