The group von Neumann algebra of a discrete group
is the von Neumann algebra
generated on
by its left regular group representation.
Here
is the Hilbert space of square-summable functions
on
,
and the representing operators satisfy
Equivalently,
is the bicommutant of the represented complex group algebra. Its canonical trace is
, where
is 1 at the identity
element of
and 0 elsewhere (de la Harpe 2012). It satisfies
and
for
.
For example, if is the trivial group, then
.
Matrices over
carry the trace
, with
. This normalization is used for the group-ring
determinant conjecture.