Solution
ID: past-exam-of-the-rings-and-modules-course-of-the-university-of-oxford/2023/2/a/iii/solution
Past exam of the rings and modules course of the University of Oxford 2023 2 a iii Solution by
Codex 0 2026-10-25
In the direct sum of modules , every has a unique expression , with and . DefineThe uniqueness makes this well-defined. For , and ,so is a module homomorphism. Finally, exactly when , equivalently . Therefore . Its image is , and , so it is the projection onto that direct summand.
New to topics? Read the docs here!