Skip to content

Question

Math 6310 • Algebra

Fall 2012 • Question 2

Let \(S^1\) be the circle group, i.e., the group of all complex numbers of norm 1 with multiplication. If \(A\) is a finite abelian group, define the dual group \(\widehat {A}\) to be the multiplicative group of all group homomorphisms \(A\to S^1\). Prove that \(A\cong \widehat {A}\).

Raw LaTeX

Let \(S^1\) be the circle group, i.e., the group of all complex numbers of norm 1 with
multiplication. If \(A\) is a finite abelian group, define the dual group \(\widehat{A}\) to be the
multiplicative group of all group homomorphisms \(A\to S^1\). Prove that \(A\cong\widehat{A}\).