Definition 2.3 (Fourier transform). Given $f : G \to ℂ$ , define its Fourier transform $\hat{f} : \hat{G} \to ℂ$ by

\hat{f} (γ) = 𝔼_{x \in G} f (x) \bar{γ (x)} .