Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $G$ be a finite group and $\mathbb{k}$ is algebraically closed with characteristic zero. Let $H$ be an Abelian subgroup of $G$. Show that the degree of any irreducible representation $V$ of $G$ is bounded by the index of $H$ in $G$.

Given any irreducible representation $V$ of $G$, I know I can get a representation of $H$ by restricting: $V|_H$. But $H$ is Abelian, so $V|_H$ will be a direct sum of $1$-dimensional, and hence irreducible, representations of $H$...

I just don't see how am I going to be able to say something meaningful about the degree of a representation of $G$. Clearly it will have something to do with counting cosets, so it'd be nice if $H$ were normal, but that need not be the case (I'm guessing, given the way the problem is written.) Any help is appreciated

share|cite|improve this question
You might as well work over the complex field. Let $\chi$ be the character afforded by $V.$ Then $\langle \chi|_{H}, \chi|_{H} \rangle \geq \chi(1)$ since if we write $\chi|_{H} = \sum_{i=1}^{h}m_{i}\lambda_{i}$ where $h = |H|$ and the $\lambda_{i}$ are the irreducible (linear!) characters of $H,$ then $\langle \chi|_{H}, \chi|_{H} \rangle \geq \chi(1)$ since $\langle \chi|_{H}, \chi|_{H} \rangle= \sum_{i=1}^{h}m_{i}^{2}.$ On the other hand, this inner product is at most $[G:H]$ since $\chi$ is irreducible for $G$. – Geoff Robinson Oct 15 '12 at 1:01
char 0 is superfluous. Res(V) has a 1 dim sub by abelianality of H. So by adjunction V receives a map from a G-rep of dim |G/H|, surjective by irreducibility of V. – bartogian Oct 15 '12 at 5:09
@GeoffRobinson: How does irreducibility of $\chi$ imply $\langle \chi|_H, \chi|_H\rangle \le [G:H]$. – Bey Oct 16 '12 at 0:42
@bartogian: What is adjunction? – Bey Oct 16 '12 at 0:44
@Bey: Because $\sum_{g \in G} |\chi(g)|^{2} = |G|$, so we certainly have $\sum_{h \in H} |\chi(h)|^{2} \leq |G|$, with equality if and only if $\chi$ vanishes identically outside $H.$ – Geoff Robinson Oct 16 '12 at 7:07

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.