Practical computations with finitely presented groups.
Presenter
June 15, 2021
Abstract
The topics to be discussed are: (1) Techniques associated with coset enumeration and subgroup presentations (including Todd-Coxeter and Reidemeister-Schreier).
(2) Algorithms associated with abelian, nilpotent and polycyclic groups, and with collection.
(3) Techniques associated with rewriting, in particular the Knuth-Bendix process, and computation and use of automatic and coset automatic structures.
(4) Testing for hyperbolicity.