Induction of irreducible modules from normal subgroups (Q1403887): Difference between revisions

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'}\).