\(\pi\)-blocks and isometries (Q1105025)

For the definition of \(\pi\)-blocks see the preceeding review. Let \(B_ 0^{\pi}\) be a principal \(\pi\)-block. In this paper the following two theorems are proved: Th. 1. Let \(\pi\subseteq \pi (G)\), G be a finite group, \(L\leq G\), A be a union of \(\pi\)-sections of L. Assume: (i) G has a nilpotent Hall \(\pi\)-subgroup, H say, and \(N_ G(X)\) is solvable whenever \(1<X\leq H\). (ii) L has a nilpotent Hall \(\pi\)-subgroup, and whenever two \(\pi\)-elements of A are conjugate in G they are conjugate in L. (iii) For each \(\pi\)-element \(a\in A\), \(C_ G(a)=C_ L(a)O_{\pi '}(C_ G(a))\). Then there is an isometry \(\sigma\) : \(V_ 0^{\pi}(L,A)\to V_ 0^{\pi}(G,A\) *) such that \[ \theta^{\sigma}=\sum_{\chi \in B^{\pi}_ 0(G)}<\theta \quad G,\chi >\chi \] for any \(\theta \in V^{\pi}(L,A)\), the space of class functions which are linear combinations of characters in \(B_ 0^{\pi}(L)\) and which vanish outside A, and there is a smallest union of \(\pi\)-sections of G containing A. Th. 2. Let G, \(\pi\) be as above, (i) as in Th. 1 and \(2\not\in \pi\). If \(3\in \pi\) suppose that \(ASL(2,3)=Qd(3)\) is not involved in G. Then the remaining hypotheses of Th. 1 are satisfied with \(L=N_ G(ZJ(H))\), \(A=\{\pi\)-singular elements of \(L\}\). Furthermore, if \(L/O_{\pi '}(L)\) is a Frobenius group with Frobenius kernel \(HO_{\pi '}(L)/O_{\pi '}(L)\), all irreducible characters in \(B_ o^{\pi}(G)\) are constant on \(\pi\)-sections of non-identity \(\pi\)-elements. Here \(J(H)=<J(O_ p(H)|\) \(p\in \pi >\) where \(J(O_ p(H))\) denotes the subgroup generated by abelian subgroups of maximal order in \(O_ p(H)\).