7
$\begingroup$

Let $A$ be an $n \times n$ matrix with integer coefficients and nonzero determinant. Can we say something about $ \mathbb{Z}^n /\ \text{im}( \phi )$ (here $\phi : v \mapsto Av$ )?

This problem has arised as I was solving some problem in homology theory.

$\endgroup$
1
  • $\begingroup$ The other posters have mentioned the smith normal form - this is covered very well in Dummit and Foote, for instance. $\endgroup$
    – Elle Najt
    Jun 15, 2014 at 0:39

2 Answers 2

5
$\begingroup$

$[\mathbb{Z}^n:\mathrm{im}\,\phi]=|\det A|$. The image under $\phi$ of the lattice generated by the standard basis in $\mathbb{Z}^n$ is another lattice with unit cell having volume $|\det A|$. Since every triple of basis elements in $\mathbb{Z}$ is linearly independent and $A$ is nonsingular, their images are also, and no lattice reductions can occur.

$\endgroup$
5
$\begingroup$

This can be seen from applying Smith's normal form to the matrix $A$ to get an equivalent matrix $$A'={\rm diag}\;(d_1,\ldots,d_n)$$

Then each $d_i\neq 0$ since the determinant is nonzero. Now one can produce distinct linear combinations $\lambda_1 \overline{e_1}+\cdots+\lambda_n\overline{e_n}$ in $d_1d_2\cdots d_n=\det A$ ways, and one can show these are all, which gives Eric's result.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged .