The basilica Thompson group is not finitely presented (Q2286351): Difference between revisions

Summary: We show that the Basilica Thompson group introduced by \textit{J. Belk} and \textit{B. Forrest} [Groups Geom. Dyn. 9, No. 4, 975--1000 (2015; Zbl 1366.20026)] is not finitely presented, and in fact is not of type \(\mathrm{FP}_2\). The proof involves developing techniques for proving non-simple connectedness of certain subcomplexes of CAT(0) cube complexes.