Kervaire 特征化定理

设 为一个 群，则存在分段线性 纽结 在 中，对于 且 当且仅当 满足

1. 是有限可表示的，

2. 阿贝尔化 的 是无限循环群，

3. 某个单元素的正规闭包是整个 ，

4. ；群的二阶同调群是平凡的。