Tuesday, 7 March 2023
Thompson's group F is a much-studied and interesting example of a finitely presented group. The definition of an automatic group goes back to Thurston and others in the 1980's, which is about efficient computation for finitely generated groups.
I will explain what automatic is, what F is, and give some failed attempts at proving that F is or is not automatic.
University of Technology Sydney (UTS)
Tuesday 7 March 2023, 12:05 pm