Definition

Let GG be a . For ff in the , define

fmax=supUGf(s)Usds,\|f\|_{\max}=\sup_U\left\|\int_G f(s)U_s\,ds\right\|,

where UU ranges over all of GG. The full group CC^*-algebra C(G)C^*(G) is the completion of L1(G)/kermaxL^1(G)/\ker\|\cdot\|_{\max} in this norm. Equivalently, it is the enveloping CC^*-algebra obtained from every , rather than from one selected representation.

Universal representation property

Every strongly continuous unitary representation UU of GG integrates uniquely to a of the C(G)C^*(G). Conversely, every nondegenerate representation of C(G)C^*(G) comes from a unique UU. For nondiscrete GG, the individual operators UsU_s are generally represented by unitaries in the , not by elements of C(G)C^*(G) itself Williams, chapter 2 and appendix A.

Full versus reduced

The supplies a canonical quotient

C(G)Cr(G)C^*(G)\twoheadrightarrow C_r^*(G)

onto the . This quotient is an isomorphism when GG is ; 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, C(G)C^*(G) is the universal CC^*-algebra generated by unitaries satisfying the group relations. For a locally compact , Fourier transform identifies C(G)C^*(G) with C0(G^)C_0(\widehat G), where G^\widehat G is the .

References
  1. Dana P. Williams, Crossed Products of CC^*-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.
  2. Gerald B. Folland, A Course in Abstract Harmonic Analysis, 2nd edition, CRC Press, 2016. DOI record. Relevant: chapters on unitary representations and group CC^*-algebras.