Solution

ID: past-exam-of-the-rings-and-modules-course-of-the-university-of-oxford/2023/2/a/iii/solution

In the direct sum of modules , every has a unique expression , with and . Define
The 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!