Subalgebras of the dual of the Fourier algebra of a compact group

Abstract

We let G denote an infinite compact group and G its dual. We use the notation of our book ((l), Chapters 7 and 8). Recall A(G) denotes the Fourier algebra of G (an algebra of continuous functions on G), and ℒ∞(G) denotes its dual space under the pairing 〈ƒ,φ〉 (ƒ ∈ A(G), φ ∈ ℒ∞(G)). Further, note ℒ∞(G) is identified with the C*-algebra of bounded operators on L2(G) commuting with left translation. The module action of A(G) of ℒ∞(G) is defined by the following: for ƒ ∈ A(G), φ ℒ∞(G), ƒ. φ ∈ ℒ∞(G) by 〈g, ƒ . φ〉 = 〈 ƒg, φ〉, g ∈ A(G) Also ‖ƒ . φ‖∞ ≥ ‖ƒ‖A ‖φ‖∞.