Is F automatic?

Tuesday, 7 March 2023

Abstract

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.