No label defined (Q4944003)

Let \(G\) be a locally compact group and \(dg\) the left Haar measure on \(G\). In the Banach algebra \(L^1(G)\) the left translation operator \(L_g\) and the right translation operator \(R_g\) are defined by \[ L_gf(s)= f(g^{-1}s), \quad R_gf(s)= \Delta(g^{-1}) f(sg^{-1}), \] where \(\Delta(g)\) is the modular function of \(G\). Let \(S(G)\) denote a Segal algebra. A Segal algebra \(S(G)\) is said to be symmetric if it satisfies the following: (i) \(S(G)\) is right norm invariant: \(f\in S(G) \to R_gf\in S(G)\) and \(\|R_g f\|= \|f\|\) for \(f\in S(G)\) and all \(g\in G\), (ii) the mapping \(g\to R_gf\) of \(G\) into \(S(G)\) is continuous. The author shows that \(S(G)\) is an ideal in its second dual space if and only if \(G\) is compact, where the second dual is equipped with the Arens multiplication.