Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-151/5/a/iii/solution

Assume is injective. If two elements have the same image under the first projection , then . Applying gives , so injectivity of gives . Hence the natural map is injective.

New to topics? Read the docs here!