positive definite kernel on a group.

invariant group action and the Kolmogorov decomposition.

(L1)* = L and Cauchy Schwarz.