We show that the "profinite direct sum" is a good notion of infinite direct sums for profinite modules having properties similar to direct sums of abstract modules. For example, the profinite direct sum of projective modules is projective, and there is a Mackey's Formula for profinite modules described using these sums. As an application, we prove that the class of profinite groups of type ΦR is closed under subgroups.
J. Tang (Mon,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: