Automorphisms of finite order of nilpotent groups. IV. (Q509917)

Let \(\varphi\) be an automorphism of finite order \(m\) of a group \(G\), then there are two maps (not usually homomorphims) related to \(\varphi\): \[ \Psi: \, G \rightarrow G, \;\;\; g \mapsto g\cdot g^{\varphi} \cdot \dots \cdot g^{\varphi^{m-1}} \text{ and } \Gamma: \, G \rightarrow G, \;\;\; g \mapsto [g, \varphi]=g^{-1} \cdot g^{\varphi}. \] Let \(\mathrm{ker}(\Psi)=\{ g \in G \mid \Psi(g)=1 \}\), \(\mathrm{ker} (\Gamma)=\{ g \in G \mid \Gamma(g)=1 \}\), let \(r,s \in \mathbb{N}\), and define the subgroups \(X=\big \langle \, x^{\alpha} \mid x \in \mathrm{ker}(\Psi),\; \alpha \in \mathrm{Aut}(G),\; x^{r} \in \bigcup_{s\geq 0} \Gamma(G)^{s} \, \big\rangle\), \(Y=\big \langle \, \Gamma(g)^{\alpha} \mid g \in G, \; \alpha \in \mathrm{Aut}(G),\; \Gamma(g)^{r} \in \mathrm{ker}(\Gamma) \, \big \rangle \), \(X^{*}=\big \langle \, (x^{r})^{\alpha} \mid \alpha \in \mathrm{Aut}(G), \; x^{r} \in \bigcup_{s\geq 0} \Psi(G)^{s} \, \big \rangle\), \(Y^{*}=\big \langle \, \big (\Gamma(g)^{r} \big )^{\alpha} \mid g \in G, \; \alpha \in \mathrm{Aut}(G), \; \Gamma(g)^{r} \in \mathrm{ker}(\Gamma) \, \big \rangle\). In this paper, the author proves that if \(G\) is a nilpotent group of class \(c\), then \(X\) and \(Y\) have finite exponents dividing \((mr)^{c}\) and \(X^{*}\) and \(Y^{*}\) have finite exponents dividing \(m(nr)^{c-1}\) (meaning \(1\) if \(G\) has order \(1\)). For Part III see [the author, Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 109, No. 2, 295--301 (2015; Zbl 1330.20050)].