‎‎Suppose that ‎‎$‎‎X$ ‎is ‎a finite ‎2-dimensional CW-complex with free fundamental group ‎and ‎‎$‎‎‎\phi‎ :K ‎\longrightarrow ‎X‎$ is a map which ‎induces ‎an ‎isomorphism ‎of ‎fundamental ‎groups, where $K$ is a finite bouquet of circles with the wedge point $a$. Consider the mapping cylinder $M=X\bigcup\_{\phi} (K \times \{1\})$‎. ‎Denote $\pi\_n (M\_{‎\phi‎},K \times \{ 1\} )$ by $\pi\_n (\phi )$‎. ‎Recall ‎that ‎an ‎element ‎of ‎‎$‎‎\pi\_n (‎\phi‎ )$ ‎is ‎represented ‎by a‎ ‎pair ‎of ‎maps ‎‎$‎‎‎\beta ‎:‎\mathbb{S}^{n-1}‎\longrightarrow ‎K‎$‎ ‎and ‎‎$‎‎‎\gamma ‎:‎\mathbb{D}^n ‎\longrightarrow ‎X‎$‎ ‎with ‎‎$‎‎‎\gamma‎|\_{‎\mathbb{S}^{n-1}‎}=\phi‎ \circ ‎\beta‎$. In the paper ''Finiteness conditions for CW-complexes'' of C.T.C.Wall in Propositon 3.3, Wall has mentioned that since ‎‎$‎‎\pi\_2 (‎\phi‎)$ ‎is a‎ ‎free ‎‎$‎‎‎\mathbb{Z}\pi\_1 (X)‎$-module‎, then we can attach 2-cells ‎to ‎‎$‎‎K$, ‎necessarily ‎with ‎trivial ‎attaching ‎maps, to make $\phi$ a homotopy equivalence. 


My question is that:  

What is Wall's mean concerning ''necessarily ‎with ‎trivial ‎attaching ‎maps''?  

If his mean is that 2-cells are wedged to the wedge point a, then how can I get to this fact? 


Thank you for your help.



A question about a statement in the paper of C.T.C. Wall
The attaching map for a 2-dimensional cell is a map $f: S^1 \to K$, and it determines an element $[f]$ of $\pi\_1(K)$ (up to conjugacy). What Wall means by trivial attaching maps is that these elements of $\pi\_1(K)$ must be trivial. If they weren't, then the map $\pi\_1(K) \to \pi\_1(K \cup\_f D^2) \to \pi\_1(X)$ that attaches the cell would send the element $[f] \in \pi\_1(K)$ to the trivial element, which contradicts the fact that the map $\phi$ was an isomorphism on $\pi\_1$ in the first place.


The homotopy type of the complex you get by gluing 2-dimensional cells only depends on the homotopy classes of the attaching maps (to prove this you typically use multiple applications of the homotopy extension property). Therefore, up to homotopy equivalence it really is the case that you can just attach 2-dimensional cells to the basepoint. The second homotopy group $\pi\_2(K \vee \bigvee S^2)$ is a free $\Bbb Z[\pi\_1(K)]$-module generated by the copies of $S^2$, and Wall's construction is sending these to a set of generators for $\pi\_2(X)$ over $\Bbb Z[\pi\_1(X)]$.


