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?