Pure Maths Colloquium: Automatic structures, braid groups and Artin groups
17 January 2011 17:15 in CM221
I'll introduce and discuss briefly the theory of automatic groups, developed by Thurston, Epstein and others 20-25 years ago in order to exploit properties they had observed in the fundamental groups of compact 3-manifolds, explain some of the implications of automaticity and describe some of the open problems.
I'll illustrate the talk with some discussion of Coxeter groups, braid groups and Artin groups, and refer to my own recent work with Derek Holt, which proves that all Artin groups of large type are shortlex automatic.
Contact email@example.com for more information