Kervaire 特徵化定理

設 為一個 群，則存在分段線性 紐結 在 中，對於 且 當且僅當 滿足

1. 是有限可表示的，

2. 阿貝爾化 的 是無限迴圈群，

3. 某個單元素的正規閉包是整個 ，

4. ；群的二階同調群是平凡的。