 D. Higman criterion

D. Higman's criterion says that an $RG$-module $M$ is relative projective module for $H$ exactly when there is $\alpha \in {\mathrm{End}}_{RH}(M)$ satisfying