枚举极限群
群论
2007-05-23 v2
摘要
我们证明了极限群集合是递归的，回答了 Delzant 提出的一个问题。证明的一个要素是观察到具有局部回缩（a la Long and Reid）的有限展示群是相干的，此外，存在一种算法可以计算有限生成子群的展示。另一个主要要素是能够在相对双曲群中算法化地计算中心化子。应用包括极限群和自由群的识别算法的存在性。
引用
@article{arxiv.0704.0989,
title = {Enumerating limit groups},
author = {Daniel Groves and Henry Wilton},
journal= {arXiv preprint arXiv:0704.0989},
year = {2007}
}
评论
14 pages; added recognition algorithms for free groups and surface groups