Homotopy type of space of maps into a \(K(G,n)\) (Q1947742)

Let \(X\) be a connected CW complex, \(G\) an abelian group, and let \(K(G,n)\) denote the Eilenberg MacLane space of type \((G,n)\). Let \(\text{map}_*(X,Y)\) denote the space of pointed maps \(f:X\to Y\). In this paper, the author proves that the space \(\text{map}_*(X,K(G,n))\) is homotopy equivalent to the cartesian product \(\prod_{i\leq n}(\text{map}_*(M_i,K(G,n))\), where \(M_i\) denotes the Moore space of type \((H_i(X,\mathbb Z),i)\). In particular, he shows that if \(X^{\prime}\) is a CW complex and it is homotopy equivalent to \(X\), \(\text{map}_*(X,K(G,n))\) and \(\text{map}_*(X^{\prime},K(G,n))\) are homotopy equivalent. The proof is based on the minimal decomposition of CW complexes.