Fong characters in \(\pi\)-separable groups (Q1072639)

All groups considered in this paper are finite. Let G be a p-solvable group and suppose H is a p-complement of G. Let \(\phi\in IBr(G)\), where IBr(G) denotes the set of irreducible Brauer characters of G. Then \(\phi_ H\) is an ordinary character of H and one wishes to know the decomposition of \(\phi_ H\) in terms of Irr H, the set of the ordinary irreducible complex characters of H. It was \textit{P. Fong} [Trans. Am. Math. Soc. 103, 484-494 (1962; Zbl 0105.256)] who proved that \(\phi_ H\) ''contains'' some \(\alpha\in Irr H\) such that for each \(\chi\in Irr G\), the decomposition number \(d_{\chi \phi}\) is equal to \((\alpha^ G,\chi)\). He also proved that \(\alpha (1)=\phi (1)_{p'}\), the p-regular part of \(\phi\) (1). We call such \(\alpha\) a ''Fong character'' associated with \(\phi\). Now let G be \(\pi\)-separable. [Notation is chosen so, that in the ''classical'' case, \(\pi\) is the complement p' of \(\{\) \(p\}\) in the set of primes.] Define \(I_{\pi}(G)=\{\chi |\) \(\chi\in Irr G\), \(\chi^*\) is not of the form \(\chi^*=\xi^*+y^*\) for \(\xi\),y\(\in Char G\}\); here \(\zeta^*\) denotes the restriction of the class function \(\zeta\) to the set \(G^*\) of the \(\pi\)-elements of G. In section 4 of the paper a certain equivalence relation \(\equiv_ G\) on the set Char(H) of characters of \(H\leq G\) is defined. [We suppress here the precise definition.] The main object of this paper is now the proof of the following theorems. (A) Suppose G is \(\pi\)-separable and let \(H\subseteq G\) be a Hall \(\pi\)- subgroup. Then \(\alpha\in Irr H\) is a Fong character in G iff every element of the \(\equiv_ G\)-class of \(\alpha\) is irreducible. If \(\alpha\),\(\beta\in Irr H\) are Fong characters, they are associated with the same \(\phi \in I_{\pi}(G)\) iff \(\alpha \equiv_ G\beta\). (B) Let G be \(\pi\)-separable with Hall \(\pi\)-subgroup H and suppose \(\alpha\in Irr H\) is quasi-primitive. Then \(\alpha\) is a Fong character, and there exists \(R\subseteq G\) with \(H\subseteq R\) such that \(\alpha\) extends to a character of R and every such extension induces irreducibly to G. Finally, as an important application it is shown that (C) Let H be a Hall subgroup of an M-group G \(\{\) i.e. each \(\chi\in Irr G\) is a monomial irreducible character\(\}\). If \(\alpha\in Irr H\) is primitive, then \(\alpha\) is a linear character, i.e. \(\alpha (1)=1.\) In order to achieve all these results, much work has to be done, such as: {\S} 2. Review of \(\pi\)-theory, {\S} 3. Restriction and induction, {\S} 4. Linking. {\S} 5. Proof of Theorem (A), {\S} 6. Primitivity, {\S} 7. M- groups, {\S} 8. All irreducibles Fong, {\S} 9. Some examples and questions, {\S} 10. Further remarks. It is a nice paper, worthful to be studied.