Let . If , then , sodefines a continuous map on . Since , the integral general linear group contains as another integer matrix, and is the inverse of . Hence is a homeomorphism, and .
The map is the lift of fixing the origin. A loop whose lift ends at is sent to a loop whose lift ends at . Under the isomorphism in part (a), the induced map is thereforeThis is precisely the integral linear automorphism of the torus associated with .
Articles by others on the same topic
There are currently no matching articles.