Abstract:Let $G$ be a finite group, and $\pi$ be a set of primes. The $\pi$-core $\mathbf{O}_\pi(G)$ is the unique maximal normal $\pi$-subgroup of $G$, and $b(G)$ is the largest irreducible character degree of $G$. In 2017, Qian and Yang proved that if $H$ is a solvable $\pi$-subgroup of $G$, then $|H\mathbf{O}_\pi(G)/\mathbf{O}_\pi(G)|\le b(G)^3$. In this paper, we improve the exponent of $3$ to $3\log_{504}(168)<2.471$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the relationship between the largest irreducible character degree \(b(G)\) of a finite group and the orders of some solvable subgroups. Specifically, the paper improves the previous estimate of the upper bound on the order of a solvable \(\pi\)-subgroup \(H\) and its index in the quotient group \(HO_{\pi}(G)/O_{\pi}(G)\).
### Main problems
1. **Background problems**:
- Let \(G\) be a finite group and \(\pi\) be a set of prime numbers.
- \(O_{\pi}(G)\) is the \(\pi\)-core of \(G\) (i.e., the largest normal \(\pi\)-subgroup of \(G\)).
- \(b(G)\) represents the largest irreducible character degree of \(G\).
2. **Existing results**:
- In 2017, Qian and Yang proved that if \(H\) is a solvable \(\pi\)-subgroup of \(G\), then
\[
|HO_{\pi}(G)/O_{\pi}(G)| \leq b(G)^3
\]
3. **Improvement in this paper**:
- This paper improves the above - mentioned exponent from 3 to \(3\log_{504}(168)\approx2.4703421\), denoted as \(\mu\).
- That is, the main result of this paper is:
\[
|HO_{\pi}(G)/O_{\pi}(G)| \leq b(G)^{\mu}
\]
### Overview of the paper content
1. **Introduction part**:
- Relevant symbols and definitions are introduced, and the previous work is reviewed.
- The main theorem of this paper is proposed: for any solvable \(\pi\)-subgroup \(H\), \(|HO_{\pi}(G)/O_{\pi}(G)| \leq b(G)^{\mu}\).
2. **Bounds of finite simple groups**:
- For non - abelian finite simple groups \(G\), more precise bounds are given by calculating and analyzing character tables.
- In particular, for groups of type \(PSL_{2}(q)\), detailed calculations are carried out using GAP software.
3. **Permutation groups and coloring**:
- By studying the properties of permutation groups, the concept of 3 - coloring is introduced to reduce the number of permutations that keep the color unchanged.
- It is proved that for 2 - groups and solvable groups, there exists a specific 3 - coloring such that the number of permutations that keep the color unchanged is minimized.
4. **Proof of the main result**:
- Using the "Large Orbit Theorem" and other group - theory tools, the main result is gradually derived.
- By decomposing subgroups, applying character theory, etc., the improved bound \(b(G)^{\mu}\) is finally proved.
5. **Further discussion**:
- The space for improvement is analyzed, and a conjecture is proposed: for any solvable \(\pi\)-subgroup \(H\), \(|HO_{\pi}(G)/O_{\pi}(G)| \leq b(G)^2\).
### Summary
This paper significantly improves the relationship between the order of solvable subgroups and the largest irreducible character degree in finite groups by introducing new mathematical tools and techniques, providing a more precise theoretical basis for subsequent research.