(This post brought to you after a panicked hour yesterday discovering compensating errors in a formula/proof, and a tedious couple of hours today spent rederiving the formulas for Fourier transform and Fourier inversion for $G \times G$ when $G$ is a finite group. It turns out that the identity $1^2=1$ is rather dangerous…)