Brauer characters and normal Sylow \(p\)-subgroups (Q1643098)

In this paper, the author studies some variations of the well-known Itô-Michler theorem for \(p\)-Brauer characters, where \(p\) is a prime. It is well known that Brauer character degrees do not behave well with respect to divisibility. In general, it is not even true that a Brauer character degree divides the order of the group. For example, if \(G = \mathtt{McL}\) and \(p=2\), then \(G\) has an irreducible \(p\)-Brauer character \(\varphi\) with \(\varphi(1) = 2^{9} \cdot 7\) while \(\vert G \vert = 2^{7}\cdot 3^{6}\cdot 5^{3} \cdot 7 \cdot 11\). So \(\varphi(1)\) does not divide the order of \(G\) and furthermore, the \(2\)-part of \(\varphi(1)\) is larger than the \(2\)-part of the order of \(G\). This cannot happen for \(p\)-solvable groups as, by the Fong-Swan theorem, \(\varphi(1)\) always divides \(\vert G \vert\). In this paper, it is proved that a \(p\)-solvable finite group \(G\) has a normal Sylow \(p\)-subgroup if and only if \((\varphi(1)_{p})^{2} \leq \vert G: \mathrm{ker}(\varphi) \vert_{p}\) for all irreducible \(p\)-Brauer characters of \(G\). For arbitrary finite groups \(G\) it is proved that they have a normal Sylow \(p\)-subgroup if and only if \((\varphi(1)_{p})^{\mu_{p}} \leq \vert G: \mathrm{ker}(\varphi) \vert_{p}\) for all irreducible \(p\)-Brauer characters of \(G\), where \(\mu_{p}=2\) if \(p\geq 5\), \(\mu_{3}=3\), and \(\mu_{2}=9\). In the \textit{corrigendum} [the author, ibid. 505, 597--598 (2018; Zbl 1453.20019)], some mistakes in the proofs of Theorems 2.6 and 3.3 are corrected.