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

I am currently reading a paper where it refers to the usual Frobenius-Nakayama formula describing quotients of an induced module. It is refering to the following result:

If $k$ is a field, $P$ is a subgroup of a group $G$, $F$ is a $kP$-module and $W$ is a $kG$-module, then we have that $\operatorname{Hom}_{kP}(F,W_{P})\cong_{k}\operatorname{Hom}_{kG}(\operatorname{Ind}_{P}^{G}(F),W).$

However, having searched for the Frobenius-Nakayama formula, I cannot find it in any reliable sources. Does anybody know of a good source for this result, and/or if the result is normally referred to by an alternative name?

share|cite|improve this question
Another name for this result (or rather, something that implies it) is "induction is left-adjoint to restriction." – m_t_ Jun 11 '12 at 14:33
up vote 3 down vote accepted

Over a field of characteristic not dividing the group order, this is called Frobenius reciprocity. The version you give is usually called Frobenius-Nakayama reciprocity.

See page 58-59 of Alperin's Local Representation Theory for a proof.

A very introductory treatment is given on page 231 of James–Liebeck's Representations and Characters of Groups.

A more general version is proved on page 46 of Benson's Representations and Cohomology.

share|cite|improve this answer
Thanks for a very quick and helpful response. The reference to Benson's book is extremely useful. – David Ward Jun 11 '12 at 14:02
No prob. I added two more treatments. A should be better if you are doing group theory. J-L should be better if you're just learning character theory, and B might be better if you are doing representation theory. – Jack Schmidt Jun 11 '12 at 14:04

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.