Deje que %-%-% sea un complejo de CW.
Supongamos que %-%-% es un ciclo que es una suma de los mapas %-%-% que factor como %-%-%. ¿Se ve a decir que %-%-% es homóloga de valores NULL?
En términos más generales, podríamos preguntar lo siguiente que también parece ser cierto pero difícil de probar:
Deje que %-%-% sea el subcomplejo generado por %-%-% y %-%-% para todos los mapas %-%-% que factor como %-%-%. ¿Es %-%-% acíclico?
