Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ib/paper-3/1e/ii/solution

Integer row and column operations give
Thus the Smith normal form is
The two relation vectors are the columns of the displayed matrix, so its cokernel is the presented module. Consequently

New to topics? Read the docs here!