On the difficulty of presenting finitely presentable groups
We exhibit classes of groups in which the word problem is uniformly solvable but in which there is no algorithm that can compute finite presentations for finitely presentable subgroups. Direct products of hyperbolic groups, groups of integer matrices, and right-angled Coxeter groups form such classe...
| Main Authors: | , |
|---|---|
| 格式: | Journal article |
| 語言: | English |
| 出版: |
2010
|