Thursday, 17 July 2014

abstract algebra - Are these rings fields?

Are the following rings fields?






1) Q[x]/x2+1



Since a polynomial ring taking values on any field is a E.D, and hence a P.I.D, this is a field iff the ideal is prime or maximal.



Any irreducible in this quotient ring is a maximal ideal, and x2+1 is an irreducible polynomial in the quotient ring, since we don't have algebraic closure, hence the quotient ring is a field.







2) F2[x]/x2+1



Not sure how to show if x2+1 is irreducible here, I have a feeling it isn't but no way to expand on that. Some comments, I do know that F2 means I am taking values from {0,1} and hence 1=1(mod2)






3) Q[x]/x4+6x3+9x+6




Here I just need to see if x4+6x3+9x+6 is irreducible.



What I did was a bit strange:



x4+6x3+9x+6
=(x+1)x3+5x3+9x+6
=x3((x+1)+5)+9x+6
=x(x2((x+1)+5)+9)+6




Which gives us the root x=6 and hence this will be generated by (x+6), so this is not maximal, hence this quotient ring is not a field. This feels sketchy, since perhaps that root is in Q but the other ones aren't.






Is my logic correct in 1)&3), how do I do 2)?

No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

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