Pontryagin duality for finite groups

Every element of $\mathbb{Q}/\mathbb{Z}$ can be written uniquely in the form $q+\mathbb{Z}$ for $q\in [0,1)$ (if this isn't obvious, you should take a moment to prove it). So, let $G=\{0,g_1,g_2,\cdots,g_n\}$ be a finite group, and denote $n_i:=\vert g_i \vert$. Then, for all $f\in G^*$, $n_i f(g_i)=0+\mathbb{Z}$. Write $f(g_i)=\frac{a_i}{b_i} + \mathbb{Z}$ with $a_i,b_i\in \mathbb{N}$, $a_i<b_i$, and $gcd(a_i,b_i)=1$. Then, in $\mathbb{Z}$, we have $b_i \vert a_i n_i$ which implies $b_i \vert n_i$. Since there are only finitely many positive integer divisors of $n_i$ and only finitely many corresponding choices for $a_i$, there are a finite number of ways to choose $f$. That takes care of the first question.

For the second, I'll bet you can show that the map sending 1 to $\frac{1}{n}+\mathbb{Z}$ is a generator for $G^*$ by using an argument similar to the one above.

I got a hint for 1. Yes, $\mathbb Q / \mathbb Z$ has infinitely many elements, but how many elements does it have of order $n$, for given $n$? (Hence these would be the possibilities for elements of $G$ to be mapped to.)

Here's an alternate solution to Jack's. Suppose first that $G$ is abelian, and decompose it as a direct sum of cyclic groups. Since $\hom(A \oplus B, H) \cong \hom(A, H) \oplus \hom(B, H)$ for any abelian groups $A,B,H$, we are reduced to showing that $2$ is true. Now it suffices to check directly that there are $n$ possible images for the generator of $\mathbb{Z}/n\mathbb{Z}$ (they are $0/n, 1/n, \dots, (n-1)/n$, as Patrick hints to). In fact, this shows that for a finite abelian group $G$, we have $G\simeq G^*$ ('$\simeq$' denotes non-canonical isomorphism).

Now if $G$ is not abelian, notice that by the fact that the abelianization functor is left adjoint to the forgetful functor $\mathbf{AbGrp} \to \mathbf{Grp}$, we have a canonical isomorphism

$$\hom(G_{Ab}, \mathbb{Q}/\mathbb{Z}) \cong \hom(G, \mathbb{Q}/\mathbb{Z})$$

which shows that $\hom(G, \mathbb{Q}/\mathbb{Z})$ is finite for every finite group $G$ (in fact, for every group $G$ whose abelianization is finite).