Videos

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.
Supplementary Materials