\(\varphi\)-structure on the group \(^3D_4\) (Q1589119)

According to \textit{V. M. Galkin} [Mat. Issled. 51, 43-54 (1979; Zbl 0447.20051)], a finite group \(G\) is called \(\varphi\)-group if there exists a nontrivial automorphism \(\varphi\) of \(G\) with the property: \(x\varphi(x^{-1})\in sTs^{-1}\) (\(x,s\in G\)) \(\Rightarrow x\in T\), where \(T=\{y\in G\mid\varphi(y)=y\}\). This \(\varphi\)-property is carried over to \(\varphi\)-invariant subgroups and factor groups by \(\varphi\)-invariant normal subgroups of a \(\varphi\)-group. There is the conjecture on the solvability of \(\varphi\)-groups, which is equivalent to the conjecture on the solvability of finite left-distributive quasigroups. In the present paper, the authors prove that the finite simple group \(G={^3D_4}(q)\) is no \(\varphi\)-group, i.e., the conjecture is valid for this group. The case of the group \(G=L_2(q)\) was considered by the authors [in Mat. Zametki 63, No. 5, 725-728 (1998; Zbl 0940.20072)].