Estaba tratando de construir un espacio que tiene primero $n$ grupos de homología cualquier grupo abeliano dado $G_1, ..., G_n$ . Para demostrarlo me gustaría poder hacer lo siguiente: Dado cualquier espacio $X$ Puedo formar algunos $X'$ tal que $H_j(X') = 0$ algunos fijos $j$ y $H_i (X) = H_i (X')$ para todos $i \not = j$ es decir, un proceso de "relleno". $j$ -agujeros dimensionales".
No veo la forma de proceder. Parece plausible, pero tal vez como sólo puedo dibujar espacios "agradables" en mi cabeza.
¿Existe ese proceso?