Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/ib/paper-3/14f/iii/solution

The matrix with rows has determinant
Its inverse has integer entries by the adjugate formula, so these rows form an integer basis of . The unimodular basis test for an integer direct summand now gives
Thus is a direct summand, with the displayed complement. This proves integral splitting, not just real or rational linear independence.

New to topics? Read the docs here!