- journal article metadata
European Mathematical Society Publishing House
2016-12-25 23:45:01
Rendiconti del Seminario Matematico della Università di Padova
Rend. Sem. Mat. Univ. Padova
RSMUP
0041-8994
2240-2926
General
10.4171/RSMUP
http://www.ems-ph.org/doi/10.4171/RSMUP
subscribers, moving wall 5 years
European Mathematical Society Publishing House
Zuerich, Switzerland
© European Mathematical Society (from 2013)
136
2016
0
Automorphisms of finite order of nilpotent groups IV
B.A.F.
Wehrfritz
Queen Mary University of London, LONDON, UNITED KINGDOM
Nilpotent group, automorphism of finite order
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.
Group theory and generalizations
61
68
10.4171/RSMUP/136-6
http://www.ems-ph.org/doi/10.4171/RSMUP/136-6