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:
“Even in harmonious families there is this double life: the group life, which is the one we can observe in our neighbour’s household, and, underneath, another—secret and passionate and intense—which is the real life that stamps the faces and gives character to the voices of our friends. Always in his mind each member of these social units is escaping, running away, trying to break the net which circumstances and his own affections have woven about him.”
—Willa Cather (1873–1947)