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