Let A=(acbd) be a matrix with integer entries. Considering S1 as the quotient space R/Z, show that the function
φA:S1×S1([x],[y])⟶S1×S1⟼([ax+by],[cx+dy])
is well-defined and continuous. If in addition det(A)=±1, show that φA is a homeomorphism.
State the Seifert-van Kampen theorem. Let XA be the space obtained by gluing together two copies of S1×D2 along their boundaries using the homeomorphism φA. Show that the fundamental group of XA is cyclic and determine its order.