Clifford theory and tensor induction (Q1813961)

Suppose \(G\) is a finite group and \(W\) is a simple \(FG\)-module over some field \(F\). In studying \((G,W)\) one often can achieve that \(W\) is faithful and primitive. Then \(W\) is ``quasiprimitive'', i.e., the restriction of \(W\) to any normal subgroup of \(G\) is homogeneous (Clifford). It then follows that every abelian normal subgroup \(A\) of \(G\) is cyclic and, whenever \(F\) contains the \(\exp (A)\)th roots of unity, \(A\) will act through scalar multiplications on \(W\) and so will be in the centre \(Z(G)\) of \(G\). Now assume also that \(G\) is nonabelian and that \(E\) is a minimal nonabelian normal subgroup of \(G\). Assume further that \(F\) contains the \(\exp (E)\)th roots of unity. Then \(Z= Z(E)\) is cyclic and central in \(G\), and one of the following holds: (A) \(E\) is the central product of quasisimple groups which are permuted transitively by \(G\). (B) \(E\) is an extraspecial \(p\)-group for some prime \(p\), or the central product of an extraspecial 2-group with \(Z\) being of order 4. At any rate, \(\mathbb{E}= E/Z\) is a simple and symplectic \(\mathbb{F}_ p G\)-module (via conjugation; \(p=2\) in the latter case), and we have one of the following: (B1) \(\mathbb{E}\) is quasiprimitive; (B2) \(\mathbb{E}\) is the direct sum of two \(G\)-conjugate subspaces which are totally isotropic and dual to each other; (B3) \(E\) is the central product of proper subgroups which are permuted transitively by \(G\). One would like to have a tool to reduce the study of \((G,W)\) of a situation where \(E\) is quasisimple in (A) or (B1) resp. (B2) do hold. Such a technique is Clifford theory of tensor induction. The objective of the paper is to investigate this in detail.