Every induces a based homeomorphism
Its inverse is , and under the lift-endpoint description of the fundamental group of the torus, its induced map on is multiplication by .
The map is the quotient of by integer translations, and
Given a based loop at , the path lifting theorem gives a unique lift beginning at . Its endpoint lies in . The homotopy lifting property shows that this endpoint depends only on , so define
Lifting a concatenation after translating the second lift by the endpoint of the first shows that is a group homomorphism. It is surjective because, for every , the path is a loop whose lift ends at . If a lift ends at zero, it is a loop in the simply connected space and contracts there; projecting the contraction proves that its original loop is null-homotopic. Thus is injective, and the lift-endpoint description of the fundamental group of the torus gives