Riesz sets and a theorem of Bochner (Q762405)

Let G be a locally compact abelian group, \(\hat G\) its dual group, and p a positive integer. A measurable subset S of \(\hat G\) is called a small p-set in \(\hat G\) if \(\mu^ p\in L^ 1(G)\) for every complex measure \(\mu\) on G whose Fourier transform \({\hat \mu}\) vanishes off S. A Riesz set is a small 1-set. The purpose of the paper is to develop criteria for subsets of \(\hat G\) to be small p-sets. A typical result is the following theorem. A measurable set S in \(\hat G\) is a small r-set iff there exist a closed subgroup \(\Gamma\) \(\subseteq \hat G\) and positive integers p and q such that (i) \(r=pq\), (ii) \((\gamma +S)\cap \Gamma\) is a small q-set in \(\Gamma\) for a dense set of \(\gamma\in \hat G\), and (iii) the image of S in \(\hat G/\Gamma\) is a small p-set. Several related results concerning images and inverse images of small p-sets under continuous homomorphisms are given. The author also obtains an extension of the classical Bochner theorem which says that any proper cone in \({\mathbb{Z}}^ n\) is a Riesz set.