[obm-l] Ideal Maximal

[Claudio Buffara <claudio.buffara@xxxxxxxxxxxx>]

Oi, pessoal:

Estou com a seguinte duvida:

Sejam: 
Z_4 = anel dos inteiros mod 4
e 
Z_4[x] = anel dos polinomios com coeficientes em Z_4.
O ideal <x^2 + 1> de Z_4[x] eh maximal?

Eu diria que sim, dado que x^2 + 1 eh irredutival sobre Z_4, mas nesse caso,
Z_4[x]/<x^2 + 1> seria um corpo, o que nao eh verdade, pois contem o
elemento 2 + <x^2 + 1>, o qual eh um divisor de zero.

Onde estah o meu erro?

Um abraco,
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
=========================================================================