Exercise 17, § 6

Let G be a finite commutative group. Now prove the equivalence of the following conditions: (a) G is cyclic. (b) Every Sylow subgroup of G is cyclic. (c) For every prime number $p$, the number of elements $x \in G$ such that $x^p = e$ is $\leq p$.