Let be module sources at . Since and , Mackey decomposition givesThe module source has module vertex . By Krull–Schmidt theorem it is a summand of one term, and minimality of its module vertex forces . As both subgroups have order , . The corresponding term is simply , which is indecomposable. ThusThis proves conjugacy of sources of an indecomposable module at the specified module vertex.
Articles by others on the same topic
There are currently no matching articles.