Induction of irreducible modules from normal subgroups (Q1403887)

The paper under review contributes to the Clifford theory of simple modules over group algebras, by offering alternative proofs and slight extensions to results by \textit{M.~E.~Harris} [Trans. Am. Math. Soc. 309, No. 2, 831-842 (1988; Zbl 0706.20007)] and \textit{A.~Laradji} [J. Algebra 247, No. 2, 365-369 (2002; Zbl 1036.20003)]. Let \(F\) be an algebraically closed field of characteristic \(p>0\), and let \(N\) be a normal subgroup of a finite group \(G\). Moreover, let \(W\) be a simple \(FN\)-module, and write \(\text{Ind}^G_N(W)=\bigoplus^s_{i=1}a_iP_i\) with pairwise non-isomorphic indecomposable \(FG\)-modules \(P_1,\dots,P_s\). It is shown that, for \(i=1,\dots,s\), the head \(V_i\) of \(P_i\) is simple and isomorphic to the socle of \(P_i\). Also, \(V_1,\dots,V_s\) form a set of representatives for the isomorphism classes of simple \(FG\)-modules \(V\) with \(W|\text{Res}^G_N(V)\). For \(i,j=1,\dots,s\), the multiplicity \(r_{ij}\) of \(V_i\) as a composition factor of \(P_j\) equals \(\dim\Hom_{FG}(P_i,P_j)\), and \(r_{ij}=r_{ji}\). Now assume, in addition, that \(G/N\) is \(p\)-solvable with \(p\)-complement \(H/N\). Then, for \(i=1,\dots,s\), \(\text{Res}^G_H(V_i)\) is completely reducible. If \(X_i\) denotes a composition factor of \(\text{Res}^G_H(V_i)\) of minimal dimension then \(X_i^G\) is isomorphic to \(P_i\), and \(\dim P_i=(\dim W^G)_p(\dim V_i)_{p'}\).