I am having trouble with the following problem, taken from Herstein's Topics in Algebra 2nd Edition:
If $G$ is an abelian group, let $\hat G$ be the set of all homomorphisms of $G$ into the group of nonzero complex numbers under multiplication. If, $\phi_1,\phi_2\in \hat G$, define $\phi_1 \cdot \phi_2$ by $\phi_1 \cdot \phi_2(g) = \phi_1(g) \phi_2 (g)$ for all $g \in G.$
Show that, given $G$ is also finite and cyclic, $\hat G$ is cyclic and $G$ and $\hat G$ are isomorphic.
I have already proved that $\hat G$ is abelian and that for $\phi \in \hat G$ we have $\phi(g)$ a root of unity for every $g \in G$.
Since $G$ and $\hat G$ are both finite and abelian, we have $G=A_1 \times ...\times A_n$ and $\hat G=B_1 \times ... \times B_m$ where each $A_i$ and $B_i$ are cyclic.
Now I want to show that $n=m$ and that $A_i=B_i$ for each $i=1,..n$.
Is this a proper approach? If so, any suggestions on how I can go about this?