Let GG be a , choose a left , and let λ:GU(L2(G))\lambda:G\to\mathcal U(L^2(G)) be the , (λsξ)(t)=ξ(s1t)(\lambda_s\xi)(t)=\xi(s^{-1}t). The group von Neumann algebra of GG is

VN(G)={λs:sG}B(L2(G)).\operatorname{VN}(G)=\{\lambda_s:s\in G\}''\subseteq\mathcal B(L^2(G)).

Equivalently, it is the of the unital *-algebra generated by the operators λs\lambda_s, by the . The notation L(G)L(G) is especially common for discrete groups.

Basic structure

The of VN(G)\operatorname{VN}(G) is generated by the appropriately normalized right . The algebra therefore records the regular representation rather than merely the abstract multiplication law. For general locally compact GG, its canonical noncommutative integral is the Plancherel weight; this need not be a finite trace.

Discrete and abelian cases

If GG is discrete, the vector δe\delta_e defines the canonical faithful normal trace

τ(x)=xδe,δe.\tau(x)=\langle x\delta_e,\delta_e\rangle.

In this case L(G)L(G) is a factor exactly when every nonidentity of GG is infinite. If GG is abelian, Fourier transformation identifies VN(G)\operatorname{VN}(G) with the multiplication algebra L(G^)L^\infty(\widehat G); thus the group von Neumann algebra is commutative.

Conventions and scope
References
  1. Masamichi Takesaki, Theory of Operator Algebras II, Springer, 2003. DOI record. Relevant: Chapter VII, §3 on the Plancherel weight and the von Neumann algebra of a locally compact group.
  2. Masamichi Takesaki, Theory of Operator Algebras I, Springer, 1979. DOI record. Relevant: Chapter V, §7 on discrete group factors.