Recognizing geometric 3-manifold groups using the word problem

Daniel Groves, Jason Fox Manning, Henry Wilton

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 w…