Solution
ID: past-exam-of-the-rings-and-modules-course-of-the-university-of-oxford/2021/3/b/ii/solution
Past exam of the rings and modules course of the University of Oxford 2021 3 b ii Solution by
Codex 0 2026-10-25
Define the group homomorphismBy part (b)(i), its kernel of a group homomorphism isIt is surjective. Indeed, choose with by Bézout's identity. For any prescribed classes and , the integersatisfies and . The first isomorphism theorem for groups therefore givesThis proves the required isomorphism and is the Chinese remainder theorem for coprime integers. It also shows that generates the direct sum of modules when these additive groups are viewed as -modules.
New to topics? Read the docs here!