MathOverflow is a question and answer site for professional mathematicians. 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

Any group homomorphism $\phi\colon H\to G$ gives rise to an induction/restriction adjunction between $G$-representations and $H$-representations: $$ \hom_G(\phi_! M, N) \cong \hom_H(M, \phi^* N) $$ However, it seems that most textbooks and web pages about representation theory inexplicably consider only the case when $\phi$ is injective, i.e. exhibits $H$ as a subgroup of $G$. In this case, there are formulas for the character of $\phi_! M$ in terms of the character of $M$: $$ \chi_{\phi_!(M)}(g) = \frac{1}{|H|} \sum_{k\in G \atop k^{-1} g k \in H} \chi_M(k^{-1} g k) = \sum_{\text{cosets } k H \atop k^{-1} g k \in H} \chi_M(k^{-1} g k) . $$ Can someone give a reference for versions of these formulas when $\phi$ is not injective?

share|cite|improve this question
Isn't it enough to replace $H$ bu $\phi (H)$ to reduce to the injective case ? – Paul Broussous Mar 1 '12 at 11:47
up vote 4 down vote accepted

Exercise 7.1 in Serre's Linear Representations of Finite Groups gives a formula (without proof) in the case where $\phi$ is surjective. It is probably straightforward to compose this formula with your formula for the injective case to get the general formula.

share|cite|improve this answer
This should yield the general formula by induction by steps. – Marc Palm Mar 1 '12 at 8:52
Thanks! I've put them together into the general formula at . I'd still be interested to hear any other references for the general (or just the surjective) case. – Mike Shulman Mar 1 '12 at 18:11

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.