被局部拟凸双曲群区分的群的有效凝聚性

我们证明每个被局部拟凸无挠双曲群$\Gamma$区分的有限生成群$G$是有效凝聚的：即，有限生成子群的表示可以从子群生成元计算出来。我们通过将$G$嵌入到$\Gamma$的迭代中心化扩张中来研究$G$，并证明这种嵌入是可计算的。我们还给出了枚举所有被$\Gamma$区分的有限生成群的算法，以及判定一个给定群（具有可解的字问题）是否被$\Gamma$区分的算法。如果$\Gamma$可能有挠，我们证明通过迭代与几乎阿贝尔群在初等子群上的融合积从$\Gamma$得到的群是有效凝聚的。