3
$\begingroup$

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?

  • 0
    Another name for this result (or rather, something that implies it) is "induction is left-adjoint to restriction."2012-06-11

1 Answers 1

3

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.

  • 0
    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.2012-06-11