The automorphism group of a multi-GGS group (Q6655503)

The family of \textsf{GGS}-groups (so called because it generalizes the groups introduced by \textit{R. I. Grigorchuk} in [Funct. Anal. Appl. 14, 41--43 (1980; Zbl 0595.20029); translation from Funkts. Anal. Prilozh. 14, No. 1, 53--54 (1980)] and by \textit{N. Gupta} and \textit{S. Sidki} [Math. Z. 182, 385--388 (1983; Zbl 0513.20024)]) consists of groups that are groups of automorphisms of a \(p\)-regular rooted tree \(X^{\ast}\), for an odd prime \(p\). They are two-generated, and one of the generators is defined according to a one-dimensional subspace \(\mathbf{E} \subseteq \mathbb{F}_{p}^{p-1}\). Allowing \(\mathbf{E}\) to be more than one-dimensional yields a natural generalization, called multi-\textsf{GGS} groups.\N\NIn this paper the author computes the automorphism groups of all non-constant multi-\textsf{GGS} groups. In particular, let \(G\) be a multi-\textsf{GGS} group, then (i) if \(G\) is regular, then \(\mathrm{Aut}(G)=\big ( G \rtimes \prod_{\mathbb{N}} C_{p} \big ) \rtimes \big ( U \times W \big )\), (ii) if \(G\) is symmetric, then \(\mathrm{Aut}(G)=\big ( G \rtimes C_{p} \big ) \rtimes \big ( U \times W \big )\). Here \(U\), \(W\) are two finite groups defined in the paper and the definitions of ``costant'', ``regular'' and ``symmetric'' can be found in \S 2.2.