Talk:Borel Conjecture for the 2-torus (Ex)
The selfhomotopy equivalences of an Eilenberg-Mac Lane space of type generally have , detected by the action of fundamental groups, and , with all other homotopy groups vanishing. In particular, is detected by the action on and all we have to do is produce a homeomorphism that acts by a given matrix . But via the identification the action of on produces such an element.
The same argument shows that the inclusion splits on In arbitrary dimensions.
Note: as described by a (now erased) suggestion, there is a more elementary method. You can treat the map as a periodic map sending every lattice point to itself. This is because the image of the origin's generators also generate the target's homology. This map of can be homotoped to the identity map linearly, producing a diffeomorphism. This also works for any , as the above proof does.