Skip to content

Question

Math 6310 • Algebra

Fall 1996 • Question 8

Let \(f\colon \mathbb {Z}^n\to \mathbb {Z}^n\) be a map of free Abelian groups of rank \(n\) defined by a matrix \(A\) with non-zero determinant. Show that the cokernel of \(f\) is finite and that its order is equal to the absolute value of the determinant of \(A\).

Raw LaTeX

Let \(f\colon \mathbb{Z}^n\to\mathbb{Z}^n\) be a map of free Abelian groups of rank \(n\) defined by
a matrix \(A\) with non-zero determinant. Show that the cokernel of \(f\) is finite and that its
order is equal to the absolute value of the determinant of \(A\).