No label defined (Q4449342)

An automorphism \(a\) of a group \(X\) is called quadratic if there are integers \(n=n(a)\) and \(m=m(a)\) such that \(x^{a^2}=x^nx^{ma}\) for all \(x\in X\). For a given Frobenius group \(G\) an element \(g\in G\) is called quadratic if \(g\) acting by conjugation on the kernel of \(G\) induces a quadratic automorphism. The main result of the article is the following theorem: If \(G\) is a Frobenius group generated by two quadratic elements of finite order then \(G\) is finite and its kernel is Abelian. Using this theorem the authors obtain some results about detached subgroups of infinite groups and about groups acting freely on Abelian groups. A proper subgroup \(H\) of \(G\) is called detached if \(H^g\cap H=1\) for all \(g\in G\setminus H\). \textit{A.~I.~Sozutov} and \textit{V.~P.~Shunkov} [Mat. Sb., N. Ser. 100(142), 495-506 (1976; Zbl 0348.20028)] proved that if \(H\) is a detached subgroup of \(G\), \(a\in H\) is an element of odd prime order \(p\), and the subgroup \(L_g=\langle a,a^g\rangle\) is finite for all \(g\in G\setminus H\) then there is a normal complement of \(H\) in \(G\). The authors prove that in case \(p=3\) the finiteness condition on \(L_g\) can be replaced by the weaker condition that \(L_g\) is a Frobenius group. Suppose that a group \(G\) generated by elements of order 3 acts freely on an Abelian group. The first author [Sib. Mat. Zh. 41, No. 2, 329-338 (2000; Zbl 0956.20036)] showed that if \(G\) is periodic then \(G\) is finite. The authors prove that the following conditions are equivalent for \(G\): (1) the subgroup \(\langle g_1g_2\rangle\) is finite for all \(g_1,g_2\in G\) of order \(3\); (2) the subgroup \(\langle g_1,g_2\rangle\) is finite for all \(g_1,g_2\in G\) of order \(3\); (3) \(G\) is finite.