The expression of functions as sums of finite differences on compact Abelian groups (Q1293780)

Let \(G\) be a compact Abelian group with Haar measure \(\mu_G\). Let \({\mathcal H}(G)= \{f\in L_2(G): \int_Gf d \mu_G=0\) and \(\sum_{\gamma \in\widehat G}| \widehat f(\gamma) |^{1/2} <\infty\}\), where \(\widehat f\) is the Fourier transform of \(f\). The authors show that \(G\) is topologically generated by not more than \(n\) elements if and only if, for each function \(f\in{\mathcal H}(G)\), there are \(a_1,\dots,a_n\) in \(G\) and functions \(f_1, \dots, f_n\) in \({\mathcal H} (G)\) such that \(f=\sum^n_{j=1} (f_j- \delta a_j*f_j)\), where \(\delta_a\) is the Dirac measure at the point \(a\) in \(G\).