Hung P. Tong-Viet
Abstract:For a finite group $G$ and an irreducible complex character $\chi$ of $G$, the codegree of $\chi$ is defined by $\textrm{cod}(\chi)=|G:\textrm{ker}(\chi)|/\chi(1)$, where $\textrm{ker}(\chi)$ is the kernel of $\chi$. In this paper, we show that if $H$ is a finite simple exceptional group of Lie type or a projective special linear group and $G$ is any finite group such that the character codegree sets of $G$ and $H$ coincide, then $G$ and $H$ are isomorphic.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to characterize some finite simple groups by character codegrees. Specifically, the author focuses on finite simple exceptional groups of Lie type and projective special linear groups, and proves that if two finite groups \(G\) and \(H\) have the same set of character codegrees, and \(H\) is a simple group of the above - mentioned types, then \(G\) and \(H\) must be isomorphic.
### Background and Motivation
In group theory, the character function of a finite group and its related concepts (such as character degrees and character codegrees) are very important for understanding the structure of the group. The character codegree is defined as:
\[ \text{cod}(\chi)=\frac{|G:\ker(\chi)|}{\chi(1)} \]
where \(\chi\) is an irreducible complex character function of the group \(G\), \(\ker(\chi)\) is the kernel of \(\chi\), that is, the set of all elements \(g\) such that \(\chi(g)=\chi(1)\), and \(\chi(1)\) is the degree of the character function \(\chi\).
### Research Problem
The main research problem in this paper is to verify the following conjecture:
**Codegrees Conjecture**: Let \(H\) be a finite non - abelian simple group, and \(G\) be a finite group. If \(G\) and \(H\) have the same set of character codegrees, that is, \(\text{cod}(G)=\text{cod}(H)\), then \(G\) and \(H\) are isomorphic.
### Main Results
The author proves that for finite simple exceptional groups of Lie type and projective special linear groups \(\text{PSL}_n(q)\) (where \(n\geq4\) and \(q\) is a prime power), the above conjecture holds. Specifically, the main theorem is as follows:
**Theorem 1**: Let \(H\) be a finite non - abelian simple exceptional group of Lie type or \(\text{PSL}_n(q)\) (where \(n\geq4\) and \(q\) is a prime power), and let \(G\) be a finite group. If \(\text{cod}(G)=\text{cod}(H)\), then \(G\cong H\).
### Proof Methods
The author uses the following steps to prove the main theorem:
1. **Minimal Counterexample Assumption**: Assume that \(G\) is a group of the smallest order that satisfies \(\text{cod}(G)=\text{cod}(H)\) but \(G\not\cong H\).
2. **Structure Analysis**: Using known group - theory results, prove that \(G\) has a unique minimal normal subgroup \(N\), and \(G/N\cong H\).
3. **Character Codegree Properties**: Use the properties of character codegrees, especially that \(N\) is a faithful irreducible \(\mathbb{F}_rH\)-module, and \(r^{2m}\) divides \(|H|\).
4. **Contradiction Construction**: By calculating the relationship between \(r^{2m}\) and \(|H|\), construct a contradiction, thereby proving that \(G\cong H\).
### Conclusion
This paper, through strict mathematical proofs, verifies that the character codegree conjecture holds for specific types of finite simple groups, providing a new perspective and tool for the study of group theory. This result not only deepens the understanding of the structure of finite simple groups, but also provides a basis for further research on other types of groups.