Induced representation

This article gives a basic definition in the following area: linear representation theory
View other basic definitions in linear representation theory |View terms related to linear representation theory |View facts related to linear representation theory

This article describes a notion of representation, or a group action on a certain kind of object.
View a complete list of types of representations

Definition

In abstract terms

Suppose $G$ is a group, $H$ is a subgroup of $G$ , and $\alpha :H\to GL(V)$ is a linear representation of $H$ on a vector space $V$ over a field $K$ . The induced representation of $G$ is a linear representation of $G$ on a new (bigger) vector space $W$ over the same field $K$ , defined as follows.

$W$ is defined as the $K$ -vector space of functions (under pointwise addition and scalar multiplication) $f:G\to V$ satisfying $\!f(hg)=\alpha (h)(f(g))$ for all $h\in H$ and $g\in G$ . Note here that $f(g)\in V$ while $\alpha (h)\in GL(V)$ is a linear transformation of $V$ , so it makes sense to apply $\alpha (h)$ to $f(g)$ . The dimension of $W$ is the product of the dimension of $V$ and the index $[G:H]$ of $H$ in $G$ .
The action of $G$ on $W$ is defined by the following map $\beta :G\to GL(W)$ . For $g\in G$ , $\beta (g)$ is the linear transformation that sends $f\in W$ to the following function $f_{0}$ : $f_{0}(k):=f(kg)$ for $k\in G$ . Note that the $g$ gets multiplied on the right in order to make this a left action, because the multiplication is happening on the inside rather than the outside.

In matrix terms

Using the same notation as the previous definition, this more concrete description works when the index $[G:H]$ as well as the degree of $\alpha$ are both finite. Suppose $[G:H]=n$ and $\alpha$ has degree $m$ , with $V$ identified with $K^{m}$ via a basis, so that $\alpha$ is now a map from $H$ to $GL(m,K)$ . Then, we do the following:

Choose a left transversal of $H$ in $G$ , i.e., a set $S$ that intersects every left coset of $H$ in $G$ at exactly one point. Choose a bijection between this left transversal and $\{1,2,\dots ,n\}$ , and label the coset representatives $s_{1},s_{2},\dots ,s_{n}$ .
If $\beta$ is the induced representation, we define $\beta (g)$ , for any $g\in G$ , as the following $mn\times mn$ matrix. We first begin by viewing it as a $n\times n$ block matrix with each block a $m\times m$ matrix. Define $q=s_{i}^{-1}gs_{j}$ . For $i,j\in \{1,2,\dots ,n\}$ , the $ij^{th}$ block is defined as $\alpha (q)$ if $q\in H$ and $0$ otherwise. Note that the matrix is a block monomial matrix in the sense that, as a block matrix, every row has exactly one nonzero block and every column has exactly one nonzero block.

Facts

Iteration

Induction of representations is transitive: If $A\leq B\leq C$ are groups then $\operatorname {Ind} _{B}^{C}\circ \operatorname {Ind} _{A}^{B}=\operatorname {Ind} _{A}^{C}$ .

Relation with induced class functions

Character of induced representation is induced class function of character

Relation with restriction of representations

Frobenius reciprocity relates the representation-theoretic operations of induction and restriction

Particular cases of induction of representations