The Basilica Thompson group is not finitely presented

Stefan Witzel, Matthew C. B. Zaremsky

We show that the Basilica Thompson group introduced by Belk and Forrest is not finitely presented, and in fact is not of type FP_2. The proof involves developing techniques for pro…