Definition 2.11 (Convolution). Given $f, g : G \to ℂ$ , we define their convolution $f * g : G \to ℂ$ by

f * g (x) = 𝔼_{y \in G} f (y) g (x - y) \forall x \in G .