Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-4/2/c/solution

Choose a Sylow -subgroup of a module vertex . Its index divides the -part of , so it is a unit in under the hypothesis. For every -module , the induction counit from splits by averaging: equivalently, the relative trace satisfies
The D. Higman criterion therefore makes every -module relatively -projective. Since is relatively -projective, transitivity of induction makes it relatively -projective. Minimality of the module vertex now forces . Thus every module vertex is a -subgroup.

New to topics? Read the docs here!