The Group C*-algebra C*(G)
Let C be the group ring of a discrete group G.
For a locally compact group G, the group C*-algebra C*(G) of G is defined to be the C*-enveloping algebra of L1(G), i.e. the completion of Cc(G) with respect to the largest C*-norm:
where π ranges over all non-degenerate *-representations of Cc(G) on Hilbert spaces. When G is discrete, it follows from the triangle inequality that, for any such π, π(f) ≤ ||f||1. So the norm is well-defined.
It follows from the definition that C*(G) has the following universal property: any *-homomorphism from C to some B (the C*-algebra of bounded operators on some Hilbert space ) factors through the inclusion map C C*max(G).
Read more about this topic: Group Algebra
Famous quotes containing the word group:
“Just as a person who is always asserting that he is too good-natured is the very one from whom to expect, on some occasion, the coldest and most unconcerned cruelty, so when any group sees itself as the bearer of civilization this very belief will betray it into behaving barbarously at the first opportunity.”
—Simone Weil (1910–1943)