Friday, 6 September 2013

abstract algebra - Show that H=mathbbZ5[x]/langlex4+3x3+x+4rangle is not a field.



So I am looking over old exams in abstract algebra and I came across this question which seems to be a mistake. (Neither the original teacher who wrote it, nor my own teacher are available to answer)




Let H=Z5[x]/x4+3x3+x+4. Show that H is not a field.





Letting p(x)=x4+3x3+x+4, we can see that p(x) has no solutions in Z5. Therefore p(x) is irreducible over Z5, and thus p(x) is a maximal ideal. Now the factor group of a ring and a maximal ideal is a field. Thus H must be a field.



Am I wrong here, and if so how?


Answer



By the Berlekamp algorithm we obtain
x4+3x3+x+4=(x2+4x+2)2
over F5. Hence the quotient is not a field, because it has zero divisors.



No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...