If $f$ has no non trivial fixed points and $f\circ f$ is the identity then $f(x)=x^{-1}$ and $G$ is abelian for $f$ an automorphism of $G$
Finite $G$ with involutory automorphism $\alpha$ with no nontrivial fixed points. Proving properties of $\alpha$.