6
$\begingroup$

Is $(11)$ a prime ideal of $\mathbb{Z}[\sqrt{-5}]$? I know that $11$ is an irreducible element in $\mathbb{Z}[\sqrt{-5}]$. Now to determine whether it is prime we can say $\mathbb{Z}[\sqrt{-5}]$ isomorphic to $\mathbb{Z}[x]/(x^2 + 5)$. So we get an isomorphism $$ \mathbb{Z}[\sqrt{-5}]/(11) \;\;\simeq\;\; \mathbb{Z}_{11}[x]/(x^2 + 5) \,.$$

Since $\mathbb{Z}_{11}$ is a field, $\mathbb{Z}_{11}[x]$ is a PID, and since $(x^2 + 5)$ is irreducible over $\mathbb{Z}_{11}[x]$, the ring $\mathbb{Z}_{11}[x]/(x^2 + 5)$ is a field. Hence $(11)$ can be treated as a maximal ideal as well as a prime ideal in the ring $\mathbb{Z}[\sqrt{-5}]$.

$\endgroup$
1
  • 1
    $\begingroup$ Your method is correct and answer too. Refer this link for more methods. $\endgroup$
    – Error 404
    Jan 30, 2017 at 8:07

1 Answer 1

3
$\begingroup$

As indicated in the comments, yes, you are correct. It might be wise to justify why $(x^2+5)$ is irreducible over $\mathbb{Z}_{11}[x]$ though.


I'm posting this CW answer so that users who confidently concur have something to vote on, and so this question doesn't stagnate in the Unanswered Questions Queue. If however anyone would like to write a more substantial response to the question, please downvote this answer and post your response.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .