Exponent of a finite group admitting a coprime automorphism (Q2173868)

Let \(G\) be a finite group, let \(\phi \in\mathrm{Aut}(G)\) and let \(F_{\phi}=C_G(\phi)\) and \(K_{\phi}=\{x^{-1}x^{\phi} \mid x\in G\}.\) The authors are interested to bound the exponent of \(G\) and of \([G, \phi]=\langle K_{\phi} \rangle\) given that some local information is at hand. They obtain two main theorems as follows: Theorem 1.2: Let \(n=|\phi|\) be co-prime to \(|G|\) and suppose that every element in the set \(F_{\phi}\cup K_{\phi}\) is contained in a \(\phi\)-invariant subgroup of \(G\) of exponent dividing \(e\). Then, then exponent of \(G\) is bounded in terms of \(e\) and \(n\). Theorem 1.3: Let \(n=|\phi|\) be co-prime to \(|G|\), with \(F_{\phi}\) nilpotent of class \(c\) and with \(x^e=1\) for all \(x\in K_{\phi}.\) Suppose that any two elements of \(K_{\phi}\) are contained in a \(\phi\)-invariant solvable subgroup of \(G\) of derived length \(d\). Then, the exponent of \([G, \phi]\) is bounded in terms of \(c,d,e,n\). The proof of Theorem 1.2 uses Lie-theoretical tools, while the proof of Theorem 1.3 depends on the classification of the finite simple groups (which forces \(G\) to be solvable). A result of independent interest is Lemma 2.3, which gives necessary and sufficient conditions for having \(G=K_{\phi}F_{\phi}\) for a co-prime automorphism \(\phi\) of \(G\).