positive definite kernel on a group.
invariant group action and the Kolmogorov decomposition.
(L1)* = L∞ and Cauchy Schwarz.