Homotopy equivalences and free modules