${\rm Aut}\,\mathbb Z_p\simeq \mathbb Z_{p-1}$ I'm trying to prove that ${\rm Aut}\,\mathbb Z_p\simeq \mathbb Z_{p-1}$ (p prime).
I know that ${\rm Aut}\,\mathbb Z_p$ has $p-1$ elements because $\mathbb Z_p$ has $p-1$ possiblities of generators, so intuitively I see ${\rm Aut}\,\mathbb Z_p\simeq \mathbb Z_{p-1}$, but I couldn't prove it formally.
I'm trying to build an isomorphic function, but I don't how to do it.
Am I in the right way? Maybe I'm forgetting some trick or something.
Thanks
 A: What you've said so far is correct, but the fact that the group is cyclic of order $p-1$ is significantly harder.  You'll need some real idea here; it's not a matter of just following your nose.
One standard approach is to prove the Cyclicity Criterion: a group $G$ of finite order $n$ is cyclic $\iff$ for each divisor $d$ of $n$ there are at most $d$ elements $x$ with $x^d = 1$ (the identity element).  This is generally proved using a counting argument, and it is helpful to know that $\sum_{d \mid n} \varphi(d) = n$, where $\varphi(d) = \# (\mathbb{Z}/d\mathbb{Z})^{\times}$ is the number of integers $1 \leq e \leq d$ with $\gcd(e,d) = 1$.  
With that in hand you should observe that $\mathbb{Z}/p\mathbb{Z}$ is a field, and thus the number of roots of the polynomial $x^d - 1 = 0$ in it is at most $d$.  This argument ends up showing a little more: any finite subgroup of the multiplicative group of a field is cyclic.  
P.S.: If I tell you that the result is often called "existence of primitive roots modulo $p$", that may help you look it up in many standard introductory texts on algebra and/or number theory.  
A: Take an automoprhism, show it must come from multiplication by nonzero in $\mathbb{Z}_p$ by looking at what it does to 1 and by using that it is a homomorphism. Then show that this group is cyclic (primitive roots and all that jazz). This comes down to existence of primitive roots, which is where the rub is. Then you will have that the automorphism group is cyclic of $p-1$ elements, whence the answer. 
A: Here's an another method. We need to prove that Aut $\mathbb Z_p\simeq \mathbb Z_{p-1}$ (p prime).
We know that Aut $\mathbb Z_p\simeq U(p)$
By Gauss's result, we know that when $p$ is prime, then $U(p^k) \simeq  Z_{\phi(p^k)} $
Hence, $U(p) \simeq  Z_{p-1} $
Since, isomorphism follows transitivity laws : $=> Aut ~ \mathbb Z_p\simeq \mathbb Z_{p-1}$ when $ p$ is prime.
A: Use one lemma: Give $F$ a field, finite subgroup (in multiplicative operation in $F$) of $F^{\times}$ is a multiplicative cyclic group.
Since $Z_{p}$ is a field, we know that there exists m in $Z_{p}$ such that $$Z_{p}^{\times} = {1,m,m^{2},...,m^{p-2}}$$
now, define $\sigma \in Aut(Z_{p})$, $\sigma(1)=m$, then for every $\tau \in Aut(Z_{p}), \tau(1)=n=m^k$
Hence all $\tau = \sigma^k,$ which gives $Aut(Z_{p})$ isomorphic to $<\tau>$
