Induced trivial representation

2k Views Asked by At

Let $G$ be a finite group, and $H$ be a subgroup of $G$.

If I am not mistaken, we have

$$Ind_H^G \,\,1_H=1_G+\sum_{\chi\neq 1} n_\chi \chi$$

where $\chi$ are irreducible representations.

My question is, what representations are these?

I guess is should be a proper subset (if $H$ is a proper subgroup) of the irreducible representations of $G$, but I'm not too sure of that either.

And if that's correct, how do I know which $\chi$ occur in the decomposition above.

2

There are 2 best solutions below

2
On

One way to answer this is given by what is called Frobenius reciprocity (for simplicity, I am assuming that we are working over the complex numbers here).

This states that the constituents of the induced representation are precisely those which, when restricted to the subgroup, have the trivial representation as a constituent.

The above also works for any other irreducible representation of the subgroup, and even says what the multiplicities are (being the same as the multiplicity when one restricts).

2
On

There is a nice interpretation of $1_{H}^G$ in terms of permutation characters. Let $X$ be a set on which $G$ acts. Then the character $\chi$ of the permutation action is given by the following formula: $\chi(g)=\#\{$fixed points of $g$ on $X$$\}$. Now, if $G$ acts transitively on $X$ and $H=H_x$ is the stabilizer subgroup of $G$ on one of the points $x \in X$, then $\chi=1_{H}^G$.