Solution

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

Put the generators into the rows of the integer matrix
Its determinant is . A full-rank integer lattice generated by its rows has index equal to the absolute determinant, hence
For a direct verification, form a unimodular basis because their row determinant is , and . In these integer coordinates , visibly leaving eighteen cosets.

New to topics? Read the docs here!