Is this correct?
If a group has prime order $p$, then it is cyclic since it all nonidentity elements have order $p$ by Cauchy's theorem.
If it is cyclic, then it is abelian since every element is a power of the generator.
Thus, every group of prime order is abelian.
