Induction from irreducible modules of normal subgroups in \(p\)-solvable groups. (Q1348672)

This paper presents a class of indecomposable modules for \(p\)-solvable groups which behave in similar ways to the well known principal indecomposable modules. To describe these modules, we must first provide some notation. Let \(p\) be a prime and let \(F\) be an algebraically closed field of characteristic \(p\). Let \(G\) be a finite \(p\)-solvable group and let \(N\) be a normal subgroup of \(G\). Let \(H/N\) be a Sylow \(p\)-complement of \(G/N\). Let \(W\) be an irreducible \(FN\)-module and let \(V_1,\dots,V_s\) be all the pairwise non-isomorphic \(FG\)-modules lying over \(W\). The author proves the following results. The restriction \((V_i)_H\) of \(V_i\) to \(H\) is completely reducible. Let \(U_i\) be an irreducible summand of \((V_i)_H\) of minimum dimension and let \(P_i=U_i^G\). Then \(P_i\) is isomorphic to an indecomposable direct summand of \(W^G\), and both the socle and the head of \(P_i\) are isomorphic to \(V_i\). Furthermore, every composition factor of \(P_i\) is isomorphic to some \(V_j\) and \(\dim P_i=(\dim W^G)_p(\dim V_i)_{p'}\), where the subscripts denote the \(p\)-part and \(p'\)-part of the respective dimensions. Each indecomposable summand of \(W^G\) is isomorphic to some \(P_j\). The author's main tool in the proof is the theory of Fong characters introduced by \textit{I. M. Isaacs} [J. Algebra 99, 89-107 (1986; Zbl 0587.20005)].