Decision problems
Presenter
August 25, 2016
Keywords:
- geometric group theory
- hyperbolic group
- algorithms on presentations
- algorithms in group theory
- uncomputable problems
- word problem
- recursive enumerability
MSC:
- 20F65
- 20F67
- 20F05
- 20F06
- 20Fxx
- 20-xx
- 05C85
Abstract
The (non)existence and complexity of algorithms has been a central theme in combinatorial and, later, geometric group theory since their inception, with low dimensional topology providing both motivation and a significant field of application. In this talk I will review some of the milestones in the development of decision problems in group theory, highlighting the geometry behind them. I shall then survey the current state of the art, with an emphasis on applications to geometry and topology and including decision problems for profinite groups.