图Ｇ的团复形是一个抽象复形，它的单形是Ｇ的团，用Ｃ（Ｇ）表示。一个复形Ｋ称为无圈的如果Ｈｑ（Ｋ）＝０（ｑ〉０），Ｈｐ（Ｋ）≌Ｊ。Ｉｖａｓｈｃｈｅｎｋｏ（１９９４）是无圈的。在组合拓扑讨论班上（１９９８）谢力同教授提出上述......