Mapping cone as a Moore space

algebraic-topologyhomology-cohomology

Given an abelian group $G$ and natural number $n \geq 1$, a Moore space of type $(G,n)$ is a connected CW-complex $M(G,n)$ whose reduced homology is given by:

$\tilde{H}_i(M(G,n)) \cong
\begin{cases}
G & \quad \text{if } i=n ,\\
0 & \quad \text{ otherwise}.
\end{cases}
$

I was able to describe how to construct a Moore space for finitely generated abelian $G$ but now I am stuck on something else. Let $K$ be a subgroup of $G$ ($G$ abelian), and let $\gamma:M(K,n) \rightarrow M(G,n)$ be a map of Moore spaces s.t. $\gamma$ induces the inclusion homomorphism on the $n$-th reduced homology. I want to show that the mapping cone $C_{\gamma}$ is a Moore space of type $M(G/K,n)$, but I am not really sure how to do this. Any help is much appreciated.

Best Answer

Let $M_\gamma$ be the mapping cylinder of $\gamma$, which is homotopy-equivalent to $M(G, n)$. Then the mapping cone $C_\gamma$ sits in a cofibre sequence

$$ M(K, n) \to M_\gamma \to C_\gamma $$

and therefore we get a long exact sequence of homology groups. This sequence is mostly zero, except the following segment:

$$ \dots \to 0 \to H_{n+1}(C_\gamma) \to H_n(M(K, n)) \to H_n(M_\gamma) \to H_n(C_\gamma) \to 0 \to \dots$$

Then $H_n(M(K, n)) \cong K$ and $H_n(M_\gamma)\cong H_n(M(G, n)) \cong G$ and the homomorphism is given by inclusion and hence is injective so $H_{n+1}(C_\gamma) \cong 0$, and by the first isomorphism theorem $H_n(C_\gamma) \cong G/K$.