Solution

ID: past-exam-of-the-algebra-analysis-and-differential-equations-2-course-of-the-university-of-oxford/2010/algebra/3/c/solution

The intersection is an additive subgroup of , and for , . Thus it is an ideal of , necessarily for a unique .
Because , one has . Conversely, if with coprime to , multiplication by gives . Write ; then . Thus .
Every positive integer factors as with . The factor is a unit, so it does not change the ideal. The complete distinct list is
They are distinct because the intersection of the displayed nonzero ideal with is : admissible denominators cannot cancel any of these prime powers. The triple gives itself.

New to topics? Read the docs here!