در مثال ۵.۱.۹ کتاب Monomial ideals نوشتهٔ Herzog و Hibbi علت جملهٔ نخست چیست؟ ترجمهٔ این جمله که در ابتدای این مثال نوشته شدهاست را در زیر میبینید.
از توپولوژی جبری میدانیم که اگر $\Delta$ یک فضای توپولوژیک انقباضپذیر باشد آنگاه برای هر $i$ داریم $\widetilde{H}^i(\Delta;K)=0$.