Let G be a finite group which possesses an automorphism such that iff. g = 1.
Suppose |G| = n and .
First, I don't get why this would only work if g is 1.
If I had to guess, you are asking about the common problem: "If is a finite group and such that and possesses no non-identity fixed points, then is the inverse map and is abelian."