第三步：制造机器 H。 这是最精彩的部分。作者在机器 G 内部，特意挑选了一个“子区域”（子群 A），这个子区域在数学上长得和那个“幽灵”模具 U 一模一样。 然后，作者利用一个数学技巧（共轭变换），发现这个子区域 A 可以被“折叠”或“旋转”，变成它自己内部的一个更小的部分（t−1At⊊A）。 于是，作者把机器 G 中对应这个子区域的部分切下来，做成了机器 H。
结果： 机器 H 继承了机器 G 的“有限指纹”（因为它们来自同一个模具，且那个“幽灵”模具没有有限指纹，所以切不切都不影响指纹）。但是，因为 H 内部那个可以“自我折叠”的特性，H 就可以把自己塞进自己的小盒子里。
5. 结论意味着什么？
这篇论文的结论非常有力：
“有限指纹”无法完全定义一个数学结构的“性格”。
这就好比你给两个人拍了 X 光片（有限视角），发现他们的骨骼结构完全一样。你可能会以为他们的性格、习惯、甚至能不能做某些高难度动作（比如把自己变小）也是一样的。但作者证明了：即使骨骼（有限商群）完全一样，一个人的身体结构（群本身）可能允许他做缩骨功，而另一个人则不行。
作者通过构造两个有限生成且剩余有限的群 G 和 H，满足 G≅H，但 G 是共 Hopf 的而 H 不是，从而证伪该性质。
核心工具
Wise 的剩余有限 Rips 构造：
对于任意有限表示群 Q，存在短正合列 $1 \to K \to G \to Q \to 1，其中G是无挠双曲群、剩余有限的，且K$ 是有限生成的。
Bridson 的通用无环群（Universal Acyclic Group）U：
这是一个有限表示群，具有三个关键性质：
(a) 无环性（Acyclic）：Hi(U,Z)=0 对所有 i≥1 成立。
(b) 平凡有限维完备化：U=1。
(c) 通用性：任何有限表示群都可以嵌入到 U 中。
Bridson-Grunewald 准则：
若 $1 \to N \to G \to Q \to 1是短正合列，且Q有限表示，若\widehat{Q}=1且H_2(Q, \mathbb{Z})=0，则诱导映射\widehat{N} \to \widehat{G}$ 是同构。
构造步骤
构造群 G：
取 Q=U（Bridson 的通用无环群）。
应用 Wise 的 Rips 构造得到 $1 \to K \to G \xrightarrow{\pi} U \to 1$。
根据 Sela 的定理，无挠单端（one-ended）双曲群是共 Hopf 的。作者证明 G 是单端双曲群，因此 G 是共 Hopf 的。
构造群 H：
利用 U 的通用性，在 U 内部构造一个子群 A<U 和一个元素 t∈U，使得 A≅U 且 t−1At⊊A（即 A 共轭于其真子群）。
定义 H=π−1(A)<G 为 A 在 G 中的原像。
由于 t−1At⊊A，通过提升 t 到 G 中的元素 g，共轭映射 cg 将 H 同构地映射到其真子群 cg(H)。因此，H 不是共 Hopf 的。
证明有限维完备化同构：
利用 Bridson-Grunewald 准则：
对于 G：$1 \to K \to G \to U \to 1，因\widehat{U}=1且H_2(U)=0，故\widehat{K} \cong \widehat{G}$。
对于 H：$1 \to K \to H \to A \to 1，因A \cong U，故\widehat{A} \cong \widehat{U} = 1且H_2(A)=0，故\widehat{K} \cong \widehat{H}$。
由此得出 G≅K≅H。
3. 主要贡献与结果 (Key Contributions & Results)
主定理 (Theorem 1.1 / 3.1)： 存在有限生成剩余有限群 G 和 H，满足：
G≅H；
G 是共 Hopf 的；
H 不是共 Hopf 的。 结论：共 Hopf 性不是有限维性质。
构造技巧的创新： 作者没有对 Rips 构造的核 K 进行复杂的结构分析，而是巧妙地将 H 构造为 G 的一个原像子群（preimage subgroup）。利用 U 内部存在的“自嵌入”结构（A≅U 且 A 共轭于真子群），直接通过共轭作用证明了 H 的非共 Hopf 性。这种方法使得证明更加简洁且直接。