Solution

ID: past-exam-of-the-rings-and-modules-course-of-the-university-of-oxford/2021/3/b/i/solution

Every multiple of is a multiple of both and , so .
For the reverse inclusion, let lie in this intersection of ideals. Since are coprime integers, Bézout's identity supplies with . Multiplying by gives
Thus , and . Consequently
Here Bézout's identity follows from the allowed principal ideal domain property of : the ideal is generated by their greatest common divisor, which is .

New to topics? Read the docs here!