Definition
Full group C*-algebra
The full group C-algebra is the universal C-completion of the convolution algebra of a locally compact group.
Definition
Let be a locally compact group. For in the group algebra, define
where ranges over all strongly continuous unitary representations of . The full group -algebra is the completion of in this norm. Equivalently, it is the enveloping -algebra obtained from every integrated form, rather than from one selected representation.
Universal representation property
Every strongly continuous unitary representation of integrates uniquely to a nondegenerate representation of the -algebra . Conversely, every nondegenerate representation of comes from a unique . For nondiscrete , the individual operators are generally represented by unitaries in the multiplier algebra, not by elements of itself Williams, chapter 2 and appendix A.
Full versus reduced
The left regular representation supplies a canonical quotient
onto the reduced group -algebra. This quotient is an isomorphism when is amenable; it need not be injective for a nonamenable group. The adjective “full” records that all unitary representations contribute to the defining norm.
Standard examples
For a discrete group, is the universal -algebra generated by unitaries satisfying the group relations. For a locally compact abelian group, Fourier transform identifies with , where is the Pontryagin dual.
References
- Dana P. Williams, Crossed Products of -Algebras, Mathematical Surveys and Monographs 134, American Mathematical Society, 2007. DOI record. Relevant: chapters 1–2 and appendix A on group algebras, integrated forms, and nondegenerate representations.
- Gerald B. Folland, A Course in Abstract Harmonic Analysis, 2nd edition, CRC Press, 2016. DOI record. Relevant: chapters on unitary representations and group -algebras.