# The Frobenius-Nakayama Formula

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?

-
Another name for this result (or rather, something that implies it) is "induction is left-adjoint to restriction." –  mt_ Jun 11 '12 at 14:33