Question on a passage from "Rational Points on Elliptic Curves" I was reading the book "Rational Points on Elliptic Curves", when I've crossed with the following passage:
"(...) since $3$ does not divide the order $p-1$ (where $p$ is a prime) of the cyclic group $\mathbb{F}_p^*$, then the map $x \mapsto x^3$ is an automorphism of $\mathbb{F}_p^*$.
I was able to prove this result, by proving that this map must be injective (note that if $x \neq y$ and $x^3=y^3$, then $p|x^2+xy+y^2$ and using some quadratic reciprocity I was able to extract a contradiction), but my proof does not work for the general case. So, my question is: 

Let $a$ be an integer and suppose $a$ does not divide $p-1$. Prove that the map $x \mapsto x^a$ is an automorphism of $\mathbb{F}_p^*$.

 A: Call this map $f$. Then $f$ is an automorphism if and only if $\text{gcd}(a,p-1) = 1$.
Proof. If $\text{gcd}(a,p-1) = 1$, then there exists $x,y \in \mathbb{Z}$ such that $xa + y(p-1) = 1$. Now consider the map $g\colon k \mapsto k^x$, then this map is the inverse of the our map. Indeed, $f\circ g = g \circ f$ sends $k$ to $k^{xa} = k^{1-y(p-1)} = k$ because $k^{p-1} = 1$.
Now suppose that $\text{gcd}(a,p-1) = d >1$.Let $g$ be a generator. My claim is that $g$ is not in the image of $f$. If it would be, then 
$g = z^a$ for some $z \in \mathbb{F}_q^{\times}$. Write $a = dn$ and $z = g^k$. Then this would imply that 
$$g^{d(nk)-1} = 1$$
Which would imply that the order of $g$, $p-1$, would divide $d(nk)-1$, so $d$ would divide $d(nk)-1$, contradiction.
Remark: One can show that if $\text{gcd}(a,p-1) = d$, then $$\text{im}(f) = \langle g^d \rangle$$
A: It's not true, e.g. $6$ does not divide $3-1$ but $x \to x^6$ is not an automorphism of $\mathbb F^*_3$.  But it works if $a$ is prime.
Hint: what is the order of $x$ in $\mathbb F^*_p$ if $x^a = 1$? 
A: What is true is that if $a$ and $p-1$ are coprime, then $x\mapsto x^a$ is an automorphism of $\mathbf F_p^{\times}$.
This results from the fact that  $\mathbf F_p^{\times}$ is a cyclic group, and if $\zeta$ is a generator of this group, the other generators are precisely the set of $\zeta^a$ for $0<a<p-1$, coprime to $p-1$.
