If $G$ is a group and $m\geqslant 1$ is an integer put $G[m] := ${$x^m = 1 : x ∈ G$}
a) If $G$ is cyclic of order $n$ and if $m|n$, show that $|G[m]| = m$.
(b) Suppose that $G = \langle x \rangle$ has order $n$, and that $m|n$. Prove that $G[m] = \langle x^{\frac{n}{m}} \rangle $
Not sure how to start this. Do we use $\sum_{d|n} φ(d) = n$?