Take the 2-minute tour ×

Let $A$ be a finite, Abelian, additive group. Let $A^{*} = Hom(A, \mathbb{Q}/\mathbb{Z})$ denote the group of homomorphisms $f$ from $A$ to $\mathbb{Q}/\mathbb{Z}$. Take for granted that $A^{*}$ is an Abelian group (I have already proved this). Prove that $A$ is isomorphic to $A^{*}$ if $A$ is cyclic.

share|improve this question
What's the group operation on $A^*$? $(f \cdot g)(a) = f(a) \cdot g(a)$? –  Clive Newstead Oct 30 '12 at 18:30
That is indeed the case! –  user44069 Oct 30 '12 at 18:36
add comment

1 Answer

up vote 2 down vote accepted

Hint: If $A$ is cyclic, and $a$ generates it, then every homomorphism $f:A\to G$ is completely determined by $f(a)$.

share|improve this answer
add comment

Your Answer

