Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/ii/paper-1/20h/b/solution

The ideal has ideal norm two. Its square is contained in and has norm four, so . A generator would have field norm , impossible for integers . Thus its ideal class has order two.
Modulo three, , giving with . A generator of would have norm three, again impossible. If were principal, its generator would have norm nine. The only possibilities are , whose ideal is , not .
Finally . This element lies in but not , because in the latter quotient. Unique unique factorization of ideals in a number field and norms therefore give

New to topics? Read the docs here!