Gelfand–Naimark construction

Redirect to:

• Positive-definite function on a group