Fourier transform on finite groups

The Fourier transform of a function ${\displaystyle f:G\rightarrow \mathbb {C} \,}$ at a representation ${\displaystyle \varrho :G\rightarrow GL(d_{\varrho },\mathbb {C} )\,}$ of ${\displaystyle G\,}$ is

${\displaystyle {\widehat {f}}(\varrho )=\sum _{a\in G}f(a)\varrho (a).}$

For each representation ${\displaystyle \varrho \,}$ of ${\displaystyle G\,}$, ${\displaystyle {\widehat {f}}(\varrho )\,}$ is a ${\displaystyle d_{\varrho }\times d_{\varrho }\,}$ matrix, where ${\displaystyle d_{\varrho }\,}$ is the degree of ${\displaystyle \varrho \,}$.

The inverse Fourier transform at an element ${\displaystyle a\,}$ of ${\displaystyle G\,}$ is given by

${\displaystyle f(a)={\frac {1}{|G|}}\sum _{i}d_{\varrho _{i}}{\text{Tr}}\left(\varrho _{i}(a^{-1}){\widehat {f}}(\varrho _{i})\right).}$

If the group G is a finite abelian group, the situation simplifies considerably:

• all irreducible representations ${\displaystyle \varrho _{i}}$ are of degree 1 and hence equal to the irreducible characters of the group. Thus the matrix-valued Fourier transform becomes scalar-valued in this case.

• The set of irreducible G-representations has a natural group structure in its own right, which can be identified with the group ${\displaystyle {\widehat {G}}:=\mathrm {Hom} (G,S^{1})}$ of group homomorphisms from G to ${\displaystyle S^{1}=\{z\in \mathbb {C} ,|z|=1\}}$. This group is known as the Pontryagin dual of G.

The Fourier transform of a function ${\displaystyle f:G\rightarrow \mathbb {C} }$ is the function ${\displaystyle {\widehat {f}}:{\widehat {G}}\to \mathbb {C} }$ given by

${\displaystyle {\widehat {f}}(\chi )=\sum _{a\in G}f(a){\bar {\chi }}(a).}$

The inverse Fourier transform is then given by

${\displaystyle f(a)={\frac {1}{|G|}}\sum _{\chi \in {\widehat {G}}}{\widehat {f}}(\chi )\chi (a).}$

For ${\displaystyle G=\mathbb {Z} /n}$, a choice of a primitive n-th root of unity ${\displaystyle \zeta }$ yields an isomorphism

${\displaystyle G\to {\widehat {G}},}$

given by ${\displaystyle m\mapsto (r\mapsto \zeta ^{mr})}$. In the literature, the common choice is ${\displaystyle \zeta =e^{2\pi i/n}}$, which explains the formula given in the article about the discrete Fourier transform. However, such an isomorphism is not canonical, similarly to the situation that a finite-dimensional vector space is isomorphic to its dual, but giving an isomorphism requires choosing a basis.

A property that is often useful in probability is that the Fourier transform of the uniform distribution is simply ${\displaystyle \delta _{a,0},\,}$ where 0 is the group identity and ${\displaystyle \delta _{i,j}\,}$ is the Kronecker delta.

Fourier Transform can also be done on cosets of a group.

There is a direct relationship between the Fourier transform on finite groups and the representation theory of finite groups. The set of complex-valued functions on a finite group, ${\displaystyle G}$, together with the operations of pointwise addition and convolution, form a ring that is naturally identified with the group ring of ${\displaystyle G}$ over the complex numbers, ${\displaystyle \mathbb {C} [G]}$. Modules of this ring are the same thing as representations. Maschke's theorem implies that ${\displaystyle \mathbb {C} [G]}$ is a semisimple ring, so by the Artin–Wedderburn theorem it decomposes as a direct product of matrix rings. The Fourier transform on finite groups explicitly exhibits this decomposition, with a matrix ring of dimension ${\displaystyle d_{\varrho }}$ for each irreducible representation. More specifically, the Peter-Weyl theorem (for finite groups) states that there is an isomorphism

${\displaystyle \mathbb {C} [G]\cong \bigoplus _{i}\mathrm {End} (V_{i})}$

given by

${\displaystyle \sum _{g\in G}a_{g}g\mapsto \left(\sum a_{g}\rho _{i}(g):V_{i}\to V_{i}\right)}$

The left hand side is the group algebra of G. The direct sum is over a complete set of inequivalent irreducible G-representations ${\displaystyle \varrho _{i}:G\to \mathrm {GL} (V_{i})}$.

The Fourier transform for a finite group is just this isomorphism. The product formula mentioned above is equivalent to saying that this map is a ring isomorphism.

This generalization of the discrete Fourier transform is used in numerical analysis. A circulant matrix is a matrix where every column is a cyclic shift of the previous one. Circulant matrices can be diagonalized quickly using the fast Fourier transform, and this yields a fast method for solving systems of linear equations with circulant matrices. Similarly, the Fourier transform on arbitrary groups can be used to give fast algorithms for matrices with other symmetries (Åhlander & Munthe-Kaas 2005). These algorithms can be used for the construction of numerical methods for solving partial differential equations that preserve the symmetries of the equations (Munthe-Kaas 2006).

• Fourier transform
• Representation theory of finite groups
• Character theory