Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $A$ be an arbitrary (possibly infinite) Abelian group. A character $\chi$ is a group homomorphism from $A$ to the multiplicative group of complex numbers.

I can prove that if $A$ is finite then the characters form a basis for the set of functions from $A$ to $\mathbb{C}$, but how can we prove this for an infinite Abelian group? I guess that we might need to add extra assumptions like the group being locally compact, but I am not sure.

So here is my question:

How can we prove that the set of characters forms a basis for the space of functions from $A$ to $\mathbb{C}$? Do we need any extra assumptions on $A$?

share|cite|improve this question
up vote 7 down vote accepted

The classical proof of this uses a measure and hence integral (Fourier transform) that can be defined because of the topological properties of the underlying group. In case of finite Abelian groups, this boils down to the discrete topology, in case of infinite ones you need the local compactness to ensure what is called the Pontryagin duality. See e.g.

share|cite|improve this answer
Thanks. Your answer is quite helpful. – Kaveh Apr 29 '11 at 7:48

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.