Positive-definite function on a group

In mathematics, and specifically in operator theory, a positive-definite function on a group relates the notions of positivity, in the context of Hilbert spaces, and algebraic groups. It can be viewed as a particular type of positive-definite kernel where the underlying set has the additional group structure.

Source: Wikipedia — Positive-definite function on a group (CC BY-SA 4.0)