2
$\begingroup$

Which one is a field?
i) $\cfrac{\mathbb{Z}[x]}{\langle{x^2+2}\rangle}$
ii)$\cfrac{\mathbb{Q}[x]}{\langle{x^2-2}\rangle}$

I think both are correct because for both the cases ${\langle{x^2+2}\rangle}$ and${\langle{x^2-2}\rangle}$ are irreducible in ${\mathbb{Z}[x]}$ ${\mathbb{Q}[x]}$ respectively.

So please confirm me am I right? Because in book answer is given only option ii).

$\endgroup$
  • 3
    $\begingroup$ I don't believe the first one is a field. For instance, what is the multiplicative inverse of 3 in that case? $\endgroup$ – Kieran Cooney Nov 29 '14 at 17:32
  • 1
    $\begingroup$ @Ramden, the maximal ideals of $\;\Bbb Z[x]\;$ are exactly the ones of the form $\;\langle\;p\,,\,\,f(x)\;\rangle\;$ , with $\;p\;$ a prime and $\;f(x)\pmod p\;$ irreducible over $\;\Bbb F_p[x]\;$ . Thus, the first one cannot be a field. $\endgroup$ – Timbuc Nov 29 '14 at 17:36
3
$\begingroup$

If $K$ is a field and $f\in K[X]$ is an irreducible polynomial, then $(f)$ is maximal, that is, $K[X]/(f)$ is a field. (Can you prove this?)

If $K$ is an integral domain which is not a field, then the story can be very different. Let $f=X+1$. Obviously $f$ is irreducible in $K[X]$, but $K[X]/(X+1)\simeq K$ which is not a field.
In your case, $K=\mathbb Z$ and $f=X^2+2$. Then $\mathbb Z[X]/(X^2+2)\simeq\mathbb Z[\sqrt{-2}]$ which is an integral domain, but not a field. (For instance, $\sqrt{-2}$ is not invertible.)

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.