If G is a group of finite order m, then the order of any a∈G divides the order of G and in particular a^m = e.
If the order of finite group G is a prime order, then it has no proper subgroups.
A group of prime order (the order has only two divisors) is a cyclic group.