Deveno

there are a couple of "easier" cases you might want to look into first:

|G| = pq, p,q distinct primes.

|G| = p^k, p a prime.

the second case is "harder", although you may have proved both of these already if you have covered the sylow theorems.

by the way, any group of prime order is necessarily cyclic (why?).