On the fixed-point set and commutator subgroup of an automorphism of a group of finite rank. (Q442640)

Let \(G\) be a soluble group and \(\varphi\) be an automorphism of \(G\). If \(G\) is polycyclic, \textit{G. Endimioni} and \textit{P. Moravec} [in Monatsh. Math. 167, No. 2, 165-174 (2012; Zbl 1270.20031)] discuss the relationship between the fixed-point set \(C_G(\varphi)\) and the commutator subgroup \([G,\varphi]=\langle g^{-1}g^\varphi\mid g\in G\rangle\); in particularNEWLINENEWLINE (i) If \(C_G(\varphi)\) is finite and \(\varphi\) has order \(2\), then \([G,\varphi]'\) is finite;NEWLINENEWLINE (ii) If \(C_G(\varphi)\) is finite, then so is \(G/[G,\varphi]\);NEWLINENEWLINE (iii) If \(|\varphi|\) is finite, then so is the index \(|G:[G,\varphi]C_G(\varphi)|\).NEWLINENEWLINE In the work under review the author has been able to extend the three above mentioned results to the case of the finite extension \(G\) of a FAR-group (that is a soluble group with finite Hirsch number that satisfies \(\min\)-\(p\) for every prime \(p\)). In addition, he weakens the FAR-hypothesis in many places. For (i) it suffices only that \(G\) is a group with finite Hirsch number; for (iii) it suffices to assume that \(G\) is a soluble-by-finite group with finite Hirsch number satisfying \(\min\)-\(p\) for all primes \(p\) dividing the order of \(\varphi\).