Talk:Reidemeister torsion (Ex)
From Manifold Atlas
Since the chain complex in question is finite and levelwise projective we know that contractibility is implied by being acyclic. And we see directly that if then the complex is exact, hence acyclic. To compute the Reidemeister torsion we need to construct a chain homotopy such that
Here we can take to be the map as then
and then we need to choose to be the map .
To compute the torsion of this complex we have to consider the class
which is given by
and hence the matrix of in the standard basis is given by
whose class in is the same as the class of since
where stands for equality in and is the elementary matrix with at the entry.