Using the Smith normal form to manipulate lattice subgroups and closed torus subgroups

Let denote the space of matrices with integer coefficients, and let be the group of invertible matrices with integer coefficients. The Smith normal form takes an arbitrary matrix and factorises it as , where , , and is a rectangular diagonal matrix, by which we mean that the principal minor is diagonal, with all other […]