the main goal of this quick note is to simultaneously misrepresent the work done by Harmonic Analysts and by working under some dubious assumptions, shed some light on how we can define a Fourier transform on finite abelian groups.
Suppose we are given a function that is periodic, and suppose further that it is a function that deserves to be integrated. Then, we know from the grapevine that we can rewrite in terms of its “Fourier series:”
and lest anyone is nauseated by trigonometric functions, let’s quickly generalize out of this to functions by rewriting and in terms of . In other words, we are now thinking about
Now, we can write , where
Indeed, from a slightly different point of view, has the structure of a Hilbert Space, with norm induced by the inner product . And as one can check, forms an orthonormal basis for this Hilbert space.
However, we can adopt a slightly different point of view. We can consider the action of on this space of functions, given by , or the regular representation . Equivalently, we can consider functions , with acting on itself by complex multiplication. Then, the inner product is in fact induced by Haar measure, and it agrees with Lebesgue measure, so nothing changes. In particular, since is compact and abelian, we have that the representation of on is completely reducible, and all irreducible representations are one dimensional. Indeed, for each , and since is abelian, all functions are class functions (conjugation invariant), so we have that gives the same inner product, although it “averages” over the group, to make the characters unit length. Indeed, then the classical results in Fourier decomposition are in fact just statements about the representation theory of .
Our goal is to now apply the same principles to finite abelian groups. In particular, the same statements hold true, for finite abelian groups, and their characters form a basis for the regular representations , so we can also consider the “Fourier decomposition” of functions on finite Abelian groups. The only modification here, is that we take the easier inner product
Hence, we obtain a decomposition (fourier inversion formula):
which is exactly what we wanted.
However, we can actually rewrite this in a slightly more convenient way. First, we have to note that since is finite, there is some so that . Since is a group homomorphism, we also have that for some for each , we know that is actually unitary, in the sense that , and , which is an easier way to compute the “fourier coefficients.”
Moreover, the characters of finite abelian groups are not too difficult to compute, by the classification of finite abelian groups:
First, suppose that is finite cyclic. Then we can construct exactly characters, by letting be a primitive root of unity, and letting be an assignment of roots of unity to each group element. We then define . Since there are exactly characters here, it will suffice to check that each has norm under the inner product, which is an easy verification. Similarly, whenever , since the inner product is just
but this is a sum over roots of unity, but it is also well known that this is zero, so these are orthogonal one dimensional representations. Note further that . Furthermore, we can check that a homomorphism splits over direct sum by the universal property of (co)products. Hence, by the structure theorem for finite abelian groups, we have that , so we can define , with the standard basis.
So, we in fact have an orthonormal basis for the space of functions !