Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-7/2/b/solution

For any injection , the direct sum decomposition gives natural module isomorphisms
Under these, is the block-diagonal map . It is injective because is a flat module. If an element lies in the kernel of , insert zero in the other component; injectivity of the whole map forces that element to be zero. Hence is injective for every , which proves . This establishes that direct summands of flat modules are flat, without a finite-generation assumption.

New to topics? Read the docs here!