Solution

ID: past-exam-of-the-algebraic-number-theory-course-of-the-university-of-oxford/2023/2/b/i/solution

By the correspondence theorem for ideals, an ideal of has the form with . If , apply unique factorization of ideals in a number field to . Every prime ideal dividing contains and hence . Primality gives , and maximality gives . Thus for some .
The inclusion forces : if , cancellation using the invertible fractional ideal would give , which is impossible. The zero ideal corresponds to , while the unit ideal corresponds to . Consequently the nonzero proper ideals are exactly
When , there are none, in agreement with being a field.

New to topics? Read the docs here!