On the \(\varphi\)-structure on the projective group \(L_2(q)\) (Q1280635)

If \(f\) is a non-identical automorphism of the projective group \(G=L_2(q)\), then there exist \(a,b\) in \(G\) such that \(df(c)=cd\), where \(c=af(a)^{-1}\neq 1\) and \(d=b^{-1}f(b)\). As a consequence, the group \(G\) is not isomorphic to the automorphism group of any finite left distributive quasigroup (i.e., a quasigroup satisfying \(x.yz=xy.xz\)).