Let be module vertices of , and choose a module such that . Relative -projectivity then givesApply 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 henceThus all vertices of an indecomposable module are conjugate in .
Articles by others on the same topic
There are currently no matching articles.