问题
扭结 K ⊂ S³ 的扭结群 π₁(S³∖K) 是三维拓扑的代数指纹。本问：①哪些抽象群可出现为扭结群（或其子群）？②扭结群的剩余有限性——几何化时代后的现状。注意现代口径：几何化 + 阿戈尔虚哈肯已把 «三流形基本群剩余有限» 变成定理（命题 3），题面 «逐一证明» 的说法对应几何化之前的传统工作方式。
主要概念
维尔廷格表现
扭结图的每个弧给一个生成元，每个交叉给一个关系 ⟨a, b, c, d | c = a b−1a−1b 型⟩—— «四弧关系»；消去冗余得 n 交叉扭结的 n 生成 n 关系表现。扭结群是 «三维 » 群：一类亏格、可分性、纤维化性质都有拓扑含义。
几何化三分
扭结补沿雅可比–沙伦分割分解为：环面结块（Seifert 纤维化）、双曲块、复合结块。几何化定理（佩雷尔曼）给每块几何模型；阿戈尔 2012 的虚哈肯 + 虚纤维化把双曲块 « virtually special» 化——这是群论侧剩余有限性的引擎。
主要命题与证明
命题 1（平凡结群 = ℤ，完整证明） 平凡结的补是实心圆环，π₁ ≅ ℤ。
证明 平凡结（标准嵌入圆）的补 S³ ∖ N(K) 微分同胚于 D² × S¹（实心圆环—— «环面坐标 » 显式给出：角度坐标 + 距离坐标）。实心圆环形变收缩到核心圆 S¹，基本群 ℤ。□
命题 2（圆环结群的表现与剩余有限，完整推导） (p, q)-圆环结的扭结群 = ⟨x, y | xp = yq⟩；它线性（从而剩余有限）。
推导 圆环结补是 Seifert 纤维化：⟨x, y, h | xph = 1, yqh = 1, h 中心⟩（h = 纤维）。消 h（h = x−p = y−q）：⟨x, y | xp = yq⟩ ✓。线性性：⟨x, y | xp = yq⟩ 是 «环面结群 ⟹ 双循环 amalga»，可嵌入 SL(2, ℝ)（x, y 取两个旋转的显式矩阵，公共幂给出同一旋转），马采夫定理给剩余有限。□
命题 3（全部三流形群剩余有限，严格梗概） 紧致三维流形的基本群剩余有限（几何化 + 阿戈尔虚哈肯的联合推论）——特别地每个扭结群剩余有限。
梗概 ①可约块递归到不可约块；②塞弗特纤维块线性（命题 2 型）⟹ 剩余有限；③双曲块：阿戈尔证明虚哈肯 + 虚纤维化 ⟹ 虚特珠（virtually special）：有有限指数子群到直角阿廷群（RAAG）的拟凸嵌入；RAAG 线性 ⟹ 剩余有限，剩余有限沿有限指数子群提升回全群（有限核论证）。④拼装：剩余有限性沿 «块分解» 的图论粘合（塞克斯玛型引理：块群剩余有限 ⟹ 缝合群剩余有限）。□
命题 4（剩余空白，诚实陈述） ①«哪些群出现为扭结群» 无完整抽象刻画（必要条件：亏格、多项式增长子群结构、 Alexander 多项式的代数约束……充分条件远未拼齐）；②扭结群的共轭可分离性对一般扭结开放（双曲扭结的多数情形与数论扭结已知）；③ «每个扭结群都 «大»（含非交换自由子群，平凡结除外）» 已知，而 «哪些双曲流形群是扭结补群» 的拓扑–群论接口仍在整理。
现状说明 ①的经典工具：扭结群亏格 = Seifert 曲面亏格、缺格性质；近年进展是把 «扭结性» 转译为 «平面叶状结构 + 弱几何» 的组合条件（Greene 型的 «斜率判据» 线），完整刻画仍开放。□
进展与文献
Rolfsen《Knots》（维尔廷格表现的标准库）；Hempel《3-Manifolds》与 Jaco–Shalen–Johannson 分解理论；Perelman（几何化）；Agol 2013（虚哈肯定稿）；Aschenbrenner–Friedl–Wilton《3-manifold groups》（群论侧全景）；Greene 的 «扭结性判据» 系列。与本册问题 28（线性）、32 号（共轭可判定）、38 号（映射类群虚性质）构成 «三维–群论 » 接口群； «扭结群共轭可分离 » 与虚纤维化的互推是当前最活跃的一线。