Let G be a finite group and let w A IrrðGÞ lie in a p-block of full defect for an odd prime p. We investigate mQðwÞp, the p-part of the rational Schur index of w. At the onset of this work, it was suspected that these Schur indices would not be divisible by p, and in Section 2 below, we show this to be the case when G is either supersolvable or p-nilpotent. Further motivation came from the situation in which G has a normal Sylow p-subgroup. Of course in this case all irreducible characters of G lie in p-blocks of full defect. Recall that a p-hyperelementary subgroup is a subgroup with a cyclic, normal p-complement and that by results of Brauer, Witt, and Berman G has a p-hyperelementary subgroup H with z A IrrðHÞ such that mQðwÞp divides mQðzÞ. If the Sylow p-subgroup of G is normal, all p-hyperelementary subgroups of G are nilpotent. Hence, the Schur indices of their irreducible characters are at most 2, and it follows that p does not divide mQðwÞ: One final case is that in which the Sylow p-subgroups of G are abelian. In this situation, Brauer’s height zero conjecture implies that the degrees of the irreducible characters in p-blocks of full defect are not divisible by p. Thus their Schur indices are not divisible by p either. However, in Section 3 we fix an a A N and construct a solvable group G with irreducible character w lying in the principal p-block of G=KerðwÞ and satisfying mQðwÞ 1⁄4 p. It is crucial to regard w as a faithful irreducible character of G=KerðwÞ, as one can always regard an irreducible character c of a group H as an irreducible character of a larger group G which surjects onto H. This does not a¤ect the Schur index of c, but it can easily be set up to ensure c lies in the principal p-block of G: The group SLð2; 3Þ has a rational-valued irreducible character w such that
Read full abstract