Definitions

# Group algebra

In mathematics, the group algebra is any of various constructions to assign to a locally compact group an operator algebra (or more generally a Banach algebra), such that representations of the algebra are related to representations of the group. As such, they are similar to the group ring associated to a discrete group.

## Group algebras of topological groups: Cc(G)

For the purposes of functional analysis, and in particular of harmonic analysis, one wishes to carry over the group ring construction to topological groups G. In case G is a locally compact Hausdorff group, G carries an essentially unique left-invariant countably additive Borel measure μ called Haar measure. Using the Haar measure, one can define a convolution operation on the space Cc(G) of complex-valued functions on G with compact support; Cc(G) can then be given any of various norms and the completion will be a group algebra.

To define the convolution operation, let f and g be two functions in Cc(G). For t in G, define

$\left[f * g\right]\left(t\right) = int_G f\left(s\right) g\left(s^\left\{-1\right\} t\right), d mu\left(s\right). quad$

The fact that f * g is continuous is immediate from the dominated convergence theorem. Also

$operatorname\left\{Support\right\}\left(f * g\right) subseteq operatorname\left\{Support\right\}\left(f\right) cdot operatorname\left\{Support\right\}\left(g\right)$

Cc(G) also has a natural involution defined by:

$f^*\left(s\right) = overline\left\{f\left(s^\left\{-1\right\}\right)\right\} Delta\left(s^\left\{-1\right\}\right)$

where Δ is the modular function on G. With this involution, it is a *-algebra.

Theorem. If Cc(G) is given the norm

$|f|_1 := int_G |f\left(s\right)| dmu\left(s\right), quad$ it becomes is an involutive normed algebra with an approximate identity.

The approximate identity can be indexed on a neighborhood basis of the identity consisting of compact sets. Indeed if V is a compact neighborhood of the identity, let fV be a non-negative continuous function supported in V such that

$int_V f_\left\{V\right\}\left(g\right), d mu\left(g\right) =1. quad$

Then {fV}V is an approximate identity. A group algebra can only have an identity, as opposed to just approximate identity, if and only if the topology on the group is the discrete topology.

Note that for discrete groups, Cc(G) is the same thing as the complex group ring CG.

The importance of the group algebra is that it captures the unitary representation theory of G as shown in the following

Theorem. Let G be a locally compact group. If U is a strongly continuous unitary representation of G on a Hilbert space H, then

$pi_U \left(f\right) = int_G f\left(g\right) U\left(g\right), d mu\left(g\right) quad$

is a non-degenerate bounded *-representation of the normed algebra Cc(G). The map

$U mapsto pi_U quad$

is a bijection between the set of strongly continuous unitary representations of G and non-degenerate bounded *-representations of Cc(G). This bijection respects unitary equivalence and strong containment. In particular, πU is irreducible if and only if U is irreducible.

Non-degeneracy of a representation π of Cc(G) on a Hilbert space Hπ means that

$\left\{pi\left(f\right) xi: f in operatorname\left\{C\right\}_c\left(G\right), xi in H_pi \right\}$

is dense in Hπ.

## The convolution algebra L1(G)

It is a standard theorem of measure theory that the completion of Cc(G) in the L1(G) norm is isomorphic to the space L1(G) of equivalence classes of functions which are integrable with respect to the Haar measure, where as usual two functions are regarded as equivalent if and only if they differ on a set of Haar measure zero.

Theorem. L1(G) is a Banach*-algebra with the convolution product and involution defined above and with the L1 norm. L1(G) also has a bounded approximate identity.

## The group C*-algebra C*(G)

Let C[G] 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:

$|f|_\left\{C^*\right\} := sup_pi |pi\left(f\right)| , quad$

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[G] to some B($mathcal\left\{H\right\}$) (the C*-algebra of bounded operators on some Hilbert space $mathcal\left\{H\right\}$) factors through the inclusion map C[G] $hookrightarrow$ C*max(G).

### The reduced group C*-algebra C*r(G)

The reduced group C*-algebra C*r(G) is the completion of Cc(G) with respect to the norm

$|f|_\left\{C^*_r\right\} := sup \left\{ |f*g|_2: |g|_2 = 1\right\}, quad$

where

$|f|_2 = sqrt\left\{int_G |f|^2 dmu\right\} quad$

is the L2 norm. Since the completion of Cc(G) with regard to the L2 norm is a Hilbert space, the C*r norm is the norm of the bounded operator "convolution by f" acting on L2(G) and thus a C*-norm.

Equivalently, C*r(G) is the C*-algebra generated by the image of the left regular representation on l2(G).

In general, C*r(G) is a quotient of C*(G). The reduced group C*-algebra is isomorphic to the non-reduced group C*-algebra defined above if and only if G is amenable.

## von Neumann algebras associated to groups

The group von Neumann algebra W*(G) of G is the enveloping von Neumann algebra of C*(G).

For a discrete group G, we can consider the Hilbert space l2(G) for which G is an orthonormal basis. Since G operates on l2(G) by permuting the basis vectors, we can identify the complex group ring CG with a subalgebra of the algebra of bounded operators on l2(G). The weak closure of this subalgebra, NG, is a von Neumann algebra.

The center of NG can be described in terms of those elements of G whose conjugacy class is finite. In particular, if the identity element of G is the only group element with that property (that is, G has the infinite conjugacy class property), the center of NG consists only of complex multiples of the identity.

NG is isomorphic to the hyperfinite type II1 factor if and only if G is countable, amenable, and has the infinite conjugacy class property.

## References

• J, Dixmier, C* algebras, ISBN 0-7204-0762-1
• A. A. Kirillov, Elements of the theory of representations, ISBN 0-387-07476-7

• L. H. Loomis, "Abstract Harmonic Analysis", ASIN B0007FUU30

Search another word or see Convolution algebraon Dictionary | Thesaurus |Spanish