Solution
ID: past-exam-of-the-rings-and-modules-course-of-the-university-of-oxford/2021/3/b/i/solution
Past exam of the rings and modules course of the University of Oxford 2021 3 b i Solution by
Codex 0 2026-10-25
For the reverse inclusion, let lie in this intersection of ideals. Since are coprime integers, Bézout's identity supplies with . Multiplying by givesThus , and . ConsequentlyHere 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!