I'm having trouble with a problem from Hatcher's "Algebraic Topology" (Section 1.3, Problem 33).
I'll provide a rough summary of the objects involved, but for a more precise description, have a look at examples 1.35 and 1.44 (pg 65 and 76 respectively) in Hatcher's book.
Here are the objects involved:
$X_{m,n}$ = Double mapping cylinder of the two maps $S^1 \to S^1$ defined by $z\mapsto z^m$ and $z\mapsto z^n$.
$T_{m,n}$ = A graph(in fact a tree) constructed as follows: Start with one vertex. Add m vertexes and an edge to the original vertex from each of the m vertexes. For each of those m vertexes, connect n-1 new vertexes, and for each of those, add m-1 new vertexes, and continue ad infinitum. The result is an infinite tree where each vertex has degree m or n. Call the root vertex $v_a$ and call one of its adjacent vertices $v_b$.
$T_{m,n} \times \mathbb{R}$ = The universal covering space of $X_{m,n}$.
$G_{m,n}$ = The group of deck transformations of the above covering map. It is generated by two elements $a$ and $b$ (since we have that $\pi_1(X_{m,n})=\langle a,b|a^m=b^n \rangle$). They act on $T_{m,n}$ by rotation about ${v_a}$ and ${v_b}$ respectively. They act on the $\mathbb{R}$ component by translations of length $1/m$ and $1/n$, giving a map $G_{m,n}\to \mathbb{Z}$, where (I think) $1$ is mapped to by elements which translates a length $1/{\mathrm{lcm}{(m,n)}}$. Let $K$ be the kernel of this map. There is a free action of $K$ on $T_{m,n}$.
Question: "Let $d=\mathrm{gcd}(m,n)$. Show that the graph $T_{m,n}/K$ consists of $m/d$ vertices labelled $a$, and $n/d$ vertices labelled $b$, together with $d$ edges joining each $a$ vertex to each $b$ vertex."
There is a second part to the problem, but I was able to solve it given this part.