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.

Articles by others on the same topic (0)

There are currently no matching articles.