Nguyen N. Hung,Alexander Moretó
Abstract:Let $H$ be a nonabelian finite simple group. Huppert's conjecture asserts that if $G$ is a finite group with the same set of complex character degrees as $H$, then $G\cong H\times A$ for some abelian group $A$. Over the past two decades, several specific cases of this conjecture have been addressed. Recently, attention has shifted to the analogous conjecture for character codegrees: if $G$ has the same set of character codegrees as $H$, then $G\cong H$. Unfortunately, both problems have primarily been examined on a case-by-case basis. In this paper and the companion [HM22], we present a more unified approach to the codegree conjecture and confirm it for several families of simple groups.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the codegree isomorphism conjecture of finite simple groups. Specifically, the authors explore the question of whether two groups \(G\) and \(H\) are isomorphic if they have the same set of codegrees (i.e., all of their irreducible character codegrees are the same). Further, they propose a stronger conjecture: if \(H\) is a non - abelian finite simple group, \(G\) is a finite group, and the set of codegrees of \(G\) is contained in the set of codegrees of \(H\), then \(G\) must be isomorphic to \(H\).
### Main contributions
1. **Unified method**: The paper presents a more unified method to deal with the codegree isomorphism conjecture, rather than using the case - by - case analysis method as in previous studies.
2. **Verify specific group families**: The authors verify that this conjecture holds for several classes of groups, including alternating groups, sporadic simple groups, and certain simple groups of Lie type (such as \(2B2\), \(2G2\), \(2F4\), \(G2\), \(3D4\), \(F4\), \(2E6\), \(A\leqslant3\), \(2A\leqslant6\), \(C2\), \(C3\), and \(B3\)).
3. **Key theorems**: By proving some key theorems, such as Theorem D, the authors show how to find a faithful irreducible character whose degree is not in the set of character degrees of \(S\) in specific cases, thus proving the difference in codegree sets.
### Key formulas
- **Codegree definition**:
\[
\text{cod}(\chi):=\frac{|G:\ker(\chi)|}{\chi(1)}
\]
where \(\chi\) is an irreducible character of group \(G\).
- **Codegree set**:
\[
\text{cod}(G): =\{\text{cod}(\chi)\mid\chi\in\text{Irr}(G)\}
\]
- **Character degree**:
\[
\text{cd}(S):=\{\chi(1)\mid\chi\in\text{Irr}(S)\}
\]
### Conclusion
Through these results, the authors not only verify that the codegree isomorphism conjecture holds for some important group families, but also provide a new method to study this problem, providing a powerful tool for future research.