Recognizing geometric 3-manifold groups using the word problem
Group Theory
2012-10-09 v1 Geometric Topology
Abstract
Adyan and Rabin showed that most properties of groups cannot be algorithmically recognized from a finite presentation alone. We prove that, if one is also given a solution to the word problem, then the class of fundamental groups of closed, geometric 3-manifolds is algorithmically recognizable. In our terminology, the class of geometric 3-manifold groups is `recursive modulo the word problem'.
Keywords
Cite
@article{arxiv.1210.2101,
title = {Recognizing geometric 3-manifold groups using the word problem},
author = {Daniel Groves and Jason Fox Manning and Henry Wilton},
journal= {arXiv preprint arXiv:1210.2101},
year = {2012}
}
Comments
30 pages