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 know this is a really unrigorous answer but this is what I've got. Criticisms are greatly appreciated. I referred to this answer on mathoverflow.
Observe first that $|\mathrm{Hom}\left(\mathbb{Z}^n, G\right)|$ = $|\mathrm{Hom}\left(\mathbb{Z}^{n-1}\times \mathbb{Z}, G\right)|$. Once again, we can uniquely describe each element in that set by describing where they send the bases to; in other words
$$
\Phi_n\left(\gamma_n\right) = \left(\gamma_n\left(1,0,....,0\right), \gamma_n\left(0,1,....,0\right),...,\gamma_n\left(0,0,....,1\right)\right)\quad\text{n times}
$$
But note this is the same as describing where each element sends the first $n-1$ bases to, and then where it sends the $n$th base to. Hence, $\mathrm{im}\left(\Phi_n\right)$ is in bijection with the set of all $\left(\mathrm{im}\left(\Phi_{n-1}\right), g\right)$ where $g\in G$ such that the homomorphism property still holds.
In order for homomorphism to hold, consider an arbitrary $\gamma_{n-1}$ in $\mathrm{Hom}\left(\mathbb{Z}^{n-1}, G\right)$. We have that $\gamma_{n-1}\left(1,0,...,0\right)\ast ...\ast\gamma_{n-1}\left(0,0,...,1\right)$ can commute any way we desire in order to preserve the underlying abelian nature of where the homomorphism is mapping from. Therefore, we require that $\gamma g = g \gamma$. In other words, $g^{-1}\gamma g = \gamma$. Note that this is exactly how we fix objects from $\mathrm{Hom}\left(\mathbb{Z}^{n-1}, G\right)$ by the group action of conjugacy from elements in $G$.
Therefore, consider the group action where $G$ acts on the set $|\mathrm{Hom}\left(\mathbb{Z}^{n-1}, G\right)|$, with conjugacy classes of homomorphisms. Then,
$$
\begin{aligned}
|\mathrm{Hom}\left(\mathbb{Z}^{n-1}\times \mathbb{Z}, G\right)| &= \sum_{g_{n-1}\in G}|\{ \gamma_{n-1}\in \mathrm{Hom}\left(\mathbb{Z}^{n-1}, G\right)\;|\;g\gamma g^{-1} = \gamma \} \\
&= \sum_{g_{n-1}\in G}|\mathrm{Fix}\left(g\right)|
\end{aligned}
$$
Therefore,
$$
|G|\cdot N_{n-1} = \sum_{g_{n-1}\in G}|\mathrm{Fix}\left(g\right)| = |\mathrm{Hom}\left(\mathbb{Z}^{n}, G\right)|
$$
Consider the case where $n=3$, we need to find $N_2$, i.e. the number of conjugacy classes of homomorphisms from $\mathbb{Z}^2$ to $G$. I claim this is $N_1\times N_1$. To loosely argue this, consider that if some $j$ and $k$ are in the same conjugacy class of homomorphisms from $\mathbb{Z}$ to $G$ under operating as $l$, then $\left(j,k\right)$'s are in the same conjugacy class of homomorphisms from $\mathbb{Z}^2$ to $G$ under operating with $l$. Now that we need to count ordered pairs, since in principle $j$ and $k$ could be equal, we need to count it $N_1^2$ times. Hence,
(this part is really sketchy and I don't really know how to formalize it)
$|\mathrm{Hom}\left(\mathbb{Z}^{n}, G\right)| = |G|N^{n-1}$ by induction.
Best Answer
You only really need to understand one example to understand the case of any finite group: $\widehat{\mathbb{Z}/n\mathbb{Z}}$.
Indeed, it's not hard to show that $\widehat{A\times B}\cong \widehat{A}\times\widehat{B}$ by the obvious maps (this is just saying that Hom is additive in the first entry). From this and the structure theorem we see that $\widehat{A}$ is just a product of groups of the form $\widehat{\mathbb{Z}/n\mathbb{Z}}$.
Now, if $G$ is a non-abelian group we merely note that
$$\text{Hom}_\mathbf{Grp}(G,\mathbb{C}^\times)=\text{Hom}_\mathbf{Grp}(G^\text{ab},\mathbb{C}^\times)$$
where $G^\text{ab}$ is the abelianization of $G$ (i.e. $G/[G,G]$). Thus, we see that
$$\widehat{G}\cong\widehat{G^{\text{ab}}}$$
So, we really can restrict ourselves to looking at $\widehat{\mathbb{Z}/n\mathbb{Z}}$.
Well, what is a homomorphism $\mathbb{Z}/n\mathbb{Z}\to\mathbb{C}^\times$? It's just specifying an element $z$ of $\mathbb{C}^\times$ for which $1$ maps to, and the only condition on $z$ is that $z^n=1$. Thus, we are really looking at mappings $\mathbb{Z}/n\mathbb{Z}\to \mu_n$ (where the latter is the group of $n^{\text{th}}$ roots of unity). But, it's clear that $1$ can map to any element of $\mu_n$, and thus we see that specifying $\mathbb{Z}/n\mathbb{Z}\to\mu_n$ is really just picking some $e^{\frac{2\pi i r}{n}}$ for which $1$ should map to.
In fact, it's not hard to see that from this that the mapping
$$\mathbb{Z}/n\mathbb{Z}\to\widehat{\mathbb{Z}/n\mathbb{Z}}:r\mapsto \left(1\mapsto e^{\frac{2\pi i r}{n}}\right)$$
is actually an isomorphism of groups!
Thus, as groups, $\widehat{\mathbb{Z}/n\mathbb{Z}}$ is nothing but $\mathbb{Z}/n\mathbb{Z}$, and the isomorphism is very explicit. Following previous statements you can then deduce that $\widehat{G}\cong G^\text{ab}$, and the isomorphism is fairly explicit. In fact, you should prove to yourself that if $\widehat{\mathbb{Z}}:=\text{Hom}(\mathbb{Z},\mathbb{T})$, then $\widehat{\mathbb{Z}}\cong\mathbb{T}$(where $\mathbb{T}$ is the circle group), and so you can extend the above calculation to finitely generated groups $G$.
The above is actually just the very beginning of a rich and beautiful subject. Namely, we can extend the above notion of a dual group from a finite group, or a finitely generated group, to any locally compact abelian group. The correct notion of dual there is the Pontryagin Dual of a locally compact group $G$, which is defined to be the group of continuous homomorphisms $G\to\mathbb{T}$ with the obvious group structure, and with the topology of uniform convergence on compact subsets. There it is not true that $G\cong\widehat{G}$ (we have seen one example of this). But, there is the celebrated Pontryagin duality theorem which states that $\widehat{\widehat{G}}\cong G$ in a natural way for all $G$.
This level of generality is the most illuminating way to understand many of the common notions in mathematics, such as the Fourier transform. In fact, it is ubiquitous in modern mathematics, from analysis (e.g. the Fourier transform) to number theory (the character group of various local and global fields).