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.

Articles by others on the same topic (0)

There are currently no matching articles.