# Rendiconti del Seminario Matematico della Università di Padova

Volume 136, 2016, pp. 61–68
DOI: 10.4171/RSMUP/136-6

Published online: 2016-12-22

Automorphisms of finite order of nilpotent groups IV

B.A.F. Wehrfritz[1]

(1) Queen Mary University of London, UK

Let $\phi$ be an automorphism of finite order of the nilpotent group $G$ of class $c$ and $m$ and $r$ positive integers with $\phi^{m} = 1$. Consider the two (not usually homomorphic) maps $\psi$ and $\gamma$ of $G$ given by $$\psi\colon g\longmapsto g\cdot g \phi \cdot g\phi^{2}\cdot\ldots\cdot g\phi^{m-1} \quad\text{and}\quad \gamma\colon g \mapsto g^{-1}\cdot g\phi\quad\text{for }g\in G.$$ We prove that the subgroups $$X =\langle x\alpha\colon x\in\ker\:\psi, \alpha \in \mathrm {Aut}\: G, x^{r}\in\textstyle\bigcup_{s\geq 0}(G\gamma)^{s}\rangle,$$ $$Y =\langle g\gamma\alpha\colon g\in G, \alpha\in\mathrm {Aut}G\:, (g\gamma)^{r}\in \mathrm {ker}\:\gamma\rangle,$$ $$X^{\ast} =\langle x^{r}\alpha\colon x\in\mathrm {ker}\:\psi, \in \alpha\in\mathrm{Aut} \:G, x^{r}\in\textstyle\bigcup_{s\geq 0}(G\psi)^{s} \rangle,$$ $$Y^{\ast}=\langle(g\gamma)^{r}\alpha\colon g\in G, \alpha\in\mathrm{Aut}\: G, (g\gamma)^{r}\in\mathrm {ker}\:\gamma\rangle=\langle((G\gamma)^{r}\cap\mathrm {ker}\:\gamma)\mathrm{Aut}\:G\rangle$$ of $G$ all have finite exponent bounded in terms of $c$, $m$ and $r$ only. This yields alternative proofs of the theorem of [4] and its related bounds.

Keywords: Nilpotent group, automorphism of finite order

Wehrfritz B.A.F.: Automorphisms of finite order of nilpotent groups IV. Rend. Sem. Mat. Univ. Padova 136 (2016), 61-68. doi: 10.4171/RSMUP/136-6