1 problem

Let $X$ be a finite set, let $X^*$ be the rooted tree given by the free monoid on $X$, and let $G\leq\operatorname{Aut}(X^*)$ be a generalized basilica group: namely, $G$ admits a…