No label defined (Q4494232)

Let \(T\) be a regular rooted \(p^n\)-tree. An automorphism of \(T\) induced by permutation of the edges of the root is called rooted. Let \(v_0,v_1,\dots,v_n,\dots\) be a path along the orientation of \(T\), i.e., \(v_i\) is a vertex of level \(i\) and a child of \(v_{i-1}\). An automorphism \(\alpha\) of \(T\) is called directed if the restriction of \(\alpha\) to the level \(n\) permutes the children of \(v_{n-1}\) and fixes \(v_n\) and the rest of the vertices of the level for every \(n\geq 1\). A group \(G\) generated by one rooted and one directed automorphism of \(T\) is studied in the paper. The author proves a necessary and sufficient condition for \(G\) to be torsion. Note that for \(G\) acting transitively on all levels of \(T\) a similar sufficient condition was obtained by \textit{N. Gupta} and \textit{S. Sidki} [Contemp. Math. 33, 232-246 (1984; Zbl 0553.20016)] in a more general setting. It is also shown that \(G\) is not finitely presented. A necessary and sufficient condition for \(G\) to be a branch group is found and it is proved that in this case \(G\) is just infinite, i.e., does not have infinite proper quotients. For the entire collection see [Zbl 0933.00023].