logo

Irreducible Representations of Groups 📂Representation Theory

Irreducible Representations of Groups

Definition

Let a group $G$ and a finite dimensional vector space $V$ be given. Call $\operatorname{GL}(V)$ the general linear group. The following group homomorphism $\rho$ is called a representation of $G$ on $V$.

$$ \rho : G \to \operatorname{GL}(V) $$

$\rho$-Invariant

A subspace $W$ of $V$ is said to be $\rho$-[invariant] or $G$-invariant if it satisfies the following.

$$ \rho (g) (W) \subset W, \qquad \forall g \in G $$

Subrepresentation

For a $\rho$-invariant $W$, any $\sigma : G \to \operatorname{GL}(W)$ satisfying the following is, plainly, a representation of $G$. Such a $\sigma$ is called a subrepresentation of $\rho$.

$$ \sigma (g) = \rho (g)|_{W}, \qquad \forall g \in G, $$

Irreducible and Reducible Representations

The trivial subspaces $V$ and $\varnothing$ of $V$ are always invariant. If $V$ has a nontrivial invariant subspace, then $V$ is called reducible. Otherwise, i.e., if it has no nontrivial invariant subspace, $V$ is called irreducible (not reducible).

Explanation

This looks similar to the linear-algebra fact that the characteristic polynomial of a linear transformation factors into the characteristic polynomials of the restriction maps on invariant subspaces. In fact, it is essentially the same statement. For a linear map $T : V \to V$ on the finite-dimensional vector space $V$, suppose $V$ decomposes as the direct sum of $T$-invariant subspaces $W_{i}$.

$$ V = W_{1} \oplus W_{2} \oplus \cdots \oplus W_{k} $$

Then the matrix representation of $T$ has the form of a block diagonal matrix whose blocks are the matrix representations of $T|_{W_{i}}$. (See here.)

$$ [T] = \begin{bmatrix} [T|_{W_{1}}] & O & \cdots & O \\ O & [T|_{W_{2}}] & \cdots & O \\ \vdots & \vdots & \ddots & \vdots \\ O & O & \cdots & [T|_{W_{k}}] \end{bmatrix} $$

Similarly, a representation being reducible means it can be expressed in block-diagonal form. For example, if $W_{1}, W_{2}$ is invariant under the representation $\rho : G \to \operatorname{GL}(n, \mathbb{R})$, and $\mathbb{R}^{n} = W_{1} \oplus W_{2}$, then $\rho(g)$ can be written as the following block-diagonal matrix. (We use the same notation for a linear transformation and its matrix representation.)

$$ \rho(g) = \begin{bmatrix} \rho(g)|_{W_{1}} & O \\ O & \rho(g)|_{W_{2}} \end{bmatrix} $$

In other words, the representation $\rho$ can be written as the direct sum of the two representations $\rho|_{W_{1}}$ and $\rho|_{W_{2}}$.