Averaging and Group Algebras

The group algebra provides a powerful algebraic framework for studying representations, while averaging techniques enable the construction of invariant structures.

DefinitionGroup Algebra

Let $G$ be a finite group and $\mathbb{F}$ a field. The group algebra $\mathbb{F}[G]$ is the vector space with basis $\{e_g : g \in G\}$ and multiplication defined by: $e_g \cdot e_h = e_{gh}$ extended linearly to all of $\mathbb{F}[G]$ .

An element of $\mathbb{F}[G]$ is a formal sum $\sum_{g \in G} \alpha_g e_g$ where $\alpha_g \in \mathbb{F}$ , and multiplication is given by: $\left(\sum_{g} \alpha_g e_g\right) \cdot \left(\sum_{h} \beta_h e_h\right) = \sum_{g,h} \alpha_g \beta_h e_{gh}$

The group algebra $\mathbb{F}[G]$ is an associative algebra with unit element $e_e$ (where $e$ is the identity of $G$ ). It has dimension $|G|$ as a vector space over $\mathbb{F}$ .

DefinitionAveraging Operator

Let $V$ be a representation of a finite group $G$ over a field $\mathbb{F}$ where $|G|$ is invertible (i.e., $\text{char}(\mathbb{F}) \nmid |G|$ ). For a linear map $\phi: V \to V$ , the averaging of $\phi$ is: $\bar{\phi} = \frac{1}{|G|} \sum_{g \in G} \rho(g) \circ \phi \circ \rho(g^{-1})$

If $\phi$ is already a $G$ -homomorphism, then $\bar{\phi} = \phi$ .

ExampleKey Properties of Averaging

Invariance: The averaged map $\bar{\phi}$ is always a $G$ -homomorphism, even if $\phi$ is not. For any $h \in G$ : $\rho(h) \circ \bar{\phi} = \bar{\phi} \circ \rho(h)$

Projection: If $\phi: V \to V$ is a projection onto a subspace $W$ (i.e., $\phi^2 = \phi$ ), then $\bar{\phi}$ is a $G$ -equivariant projection.

Example: For $V = \mathbb{C}^3$ with $G = S_3$ acting by permuting coordinates, and $\phi$ the projection onto the first coordinate, averaging gives the projection onto the one-dimensional space of constant vectors $(c,c,c)$ .

Remark

The averaging technique is fundamental in representation theory. It allows us to construct $G$ -invariant objects from arbitrary ones, and is the key tool in proving Maschke's theorem. The requirement that $|G|$ be invertible is essential—when $\text{char}(\mathbb{F})$ divides $|G|$ , complete reducibility fails.

DefinitionRegular Representation

The left regular representation of $G$ on $\mathbb{F}[G]$ is defined by: $\rho(g)(e_h) = e_{gh}$ extended linearly.

This representation has dimension $|G|$ and contains every irreducible representation of $G$ with multiplicity equal to its dimension (when $\mathbb{F} = \mathbb{C}$ ).

The group algebra perspective unifies various constructions in representation theory. A representation $\rho: G \to GL(V)$ extends uniquely to an algebra homomorphism $\mathbb{F}[G] \to \text{End}(V)$ , and conversely, every $\mathbb{F}[G]$ -module defines a representation of $G$ .