2
$\begingroup$

Let $R = \mathbb Z[ i ] / (5)$ .

Prove that any ideal in $R$ is principal.

Any ideas on how to prove this?

2 Answers 2

3

$\mathbb{Z}[i]$ is a Euclidean domain hence it is a principal ring. Consider the homomorphism $\phi:\mathbb{Z}[i]\rightarrow \mathbb{Z}[i]/\left<5\right>$ that sends $x$ to $x+\left<5\right>$. This homomorphism is surjective, thus $\mathbb{Z}[i]/\left<5\right>$ is a principal ring.

  • 0
    Yes I should have said that it is just a principal ring.2012-12-14
3

Your ring is isomorphic to $\Bbb{Z}[x]/(5,x^2+1) \cong \Bbb{F}_5[x]/(x^2 + 1) $. Now notice that $x^2 + 1 = (x+2)(x+3)$ in here. The ideals $(x+2)$, $(x+3)$ are coprime since $x+3 - x-2 = 1$ and hence by the Chinese Remainder Theorem

$\Bbb{F}_5[x]/(x^2 + 1) \cong \Bbb{F}_5[x]/(x+2) \oplus \Bbb{F}_5[x](x+3) \cong \Bbb{F}_5 \times \Bbb{F}_5.$

This is a product of PIRs and hence is a PIR. Alternatively, $\Bbb{Z}[i]$ is a Dedeking domain since it is the ring of integers of $\Bbb{Q}(i)$, and hence by this exercise here is a PIR.