Let be module vertices of , and choose a module such that . Relative -projectivity then gives
Apply Mackey decomposition to the inner restriction and use induction transitivity. The resulting module is a direct sum of modules induced to from subgroups , for representatives . By Krull–Schmidt theorem, the indecomposable module is a summand of one of these induced representations. It is therefore relatively projective for one intersection contained in . Minimality of forces , so .
Interchanging gives for some . The two inclusions force equal orders, and hence
Thus all vertices of an indecomposable module are conjugate in .

Articles by others on the same topic (0)

There are currently no matching articles.