Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ib/paper-1/9e/i/solution

Assume (i). For , write the ideal . Then for some . Since , the element divides both; and every common divisor of divides the displayed linear combination . Thus is a greatest common divisor and (ii) holds.

New to topics? Read the docs here!