论 Dehn 算法的推广
群论
2008-01-16 v4 几何拓扑
摘要
将 Dehn 算法视为重写系统，我们将其推广以允许包含不一定代表群元素的字母的字母表。这将该算法可解决字问题的群类扩展至包含幂零群、许多相对双曲群（包括几何有限群以及某些几何可分解流形的基本群）。该群类具有若干良好的闭包性质。我们还证明，如果一个群具有一个无限子群和一个指数增长的子群，且它们可交换，则该群不容许此类算法。我们将这些算法称为 Cannon 算法。
引用
@article{arxiv.0706.3024,
title = {On a generalization of Dehn's algorithm},
author = {Oliver Goodman and Michael Shapiro},
journal= {arXiv preprint arXiv:0706.3024},
year = {2008}
}
评论
33 pages, 2 figures, credits Kambites and Otto, mentions new work in progress