Exercise 6, § 4

Let G be a locally compact group. Show that if $\mathscr{K}(G)$ is commutative for convolution, then G is abelian. (Show by regularization that $\mathscr{C}'(G)$ is commutative, and apply this to the measures $\varepsilon_s$, where $s \in G$.)