A computational approach to the Thompson group $F$

S. Haagerup, U. Haagerup, M. Ramirez-Solano

Let $F$ denote the Thompson group with standard generators $A=x_0$, $B=x_1$. It is a long standing open problem whether $F$ is an amenable group. By a result of Kesten from 1959, a…