Word Processing in Groups
This reading seminar will be based on "Word Processing in Groups" by David Epstein, J. Cannon, D. Holt, S. Levy, M. Paterson and W. Thurston. In term 2 the seminar will take place between 12noon and 1pm on Thursdays in the Mathematics Institute. It will start 31st January (Week 4) and all are welcome to attend. See the schedule below for further details of topics.
We aim to study automatic groups: finitely generated groups with several finite-state automata that can be used to tell if a word in the generators is in a "canonical form" or if two canonical words differ by a generator. These groups are interesting as these automata provide a solution to the word problem.
We will try to give the general definitions required in each of the topics. It will be helpful to have an idea of group presentations and hyperbolicity. Common examples may include the braid groups and the triangle groups. Baumslag's review of the book [pdf] may also be helpful. Feel free to contact me if you would like more information or to be added to the mailing list.
|Regular languages II
|Automatic groups & the word problem
|Finding automatic structures
|Braid groups & the conjugacy problem
|Braid groups & the conjugacy problem II
|Cayley graphs & isoperimetric inequalities
|3-manifold groups II
|Regular languages III
See here for information about other Geometry and Topology activities at Warwick.