Mark L. Lewis,Quanfu Yan
Abstract:Let $\chi$ be an irreducible character of a group $G,$ and
$S_c(G)=\sum_{\chi\in {\rm Irr}(G)}{\rm cod}(\chi)$ be the sum of the codegrees
of the irreducible characters of $G.$ Write ${\rm fcod}
(G)=\frac{S_c(G)}{|G|}.$ We aim to explore the structure of finite groups in
terms of ${\rm fcod} (G).$ On the other hand, we determine the lower bound of
$S_c(G)$ for nonsolvable groups and prove that if $G$ is nonsolvable, then
$S_c(G)\geq S_c(A_5)=68,$ with equality if and only if $G\cong A_5.$
Additionally, we show that there is a solvable group so that it has the
codegree sum as $A_5.$
What problem does this paper attempt to address?
This paper attempts to solve problems related to the codegree of characters of finite groups, especially by studying the sum of character codegrees (denoted as \(Sc(G)\)) to explore the structure of non - solvable groups. Specifically, the main objectives of the paper include:
1. **Explore the properties of \(fcod(G)\)**:
- Define \(Sc(G)=\sum_{\chi\in\text{Irr}(G)}\text{cod}(\chi)\), that is, the sum of the codegrees of the irreducible characters of the group \(G\).
- Introduce \(fcod(G)=\frac{Sc(G)}{|G|}\), that is, the ratio of \(Sc(G)\) to the order of the group \(G\).
- Study the properties of \(fcod(G)\) and show that there are some families of non - solvable groups \(\{G\}\) and \(\{H\}\) such that as \(|G|\) tends to infinity, \(fcod(G)\) can tend to 0 or infinity.
2. **Determine the lower bound of \(Sc(G)\)**:
- For non - solvable group \(G\), prove that \(Sc(G)\geq Sc(A_5) = 68\), where \(A_5\) is the alternating group, and the equality holds if and only if \(G\cong A_5\).
- Further discuss the influence of \(Sc(G)\) on the structure of group \(G\), especially for some specific types of groups (such as nilpotent groups, supersolvable groups, etc.), study whether \(Sc(G)\) satisfies certain inequality relations.
3. **Study of \(fcod(G) = 1\) in special cases**:
- Explore the structure of groups with \(fcod(G)=1\), and find that the symmetric group \(S_3\) is the smallest non - trivial group such that \(fcod(G) = 1\).
- Propose a conjecture: whether there exist infinitely many groups such that \(fcod(G)=1\), and give some evidence to support this conjecture partially.
4. **Other related results**:
- Through specific examples and lemmas, prove some important properties about \(fcod(G)\), such as its behavior in direct product groups.
- Discuss the properties of \(Sc(G)\) of \(p\)-groups, prove that \(Sc(G)\) is congruent to 1 modulo \(p\) for \(p\)-groups, so \(fcod(G)\neq1\).
In conclusion, this paper deeply explores the structural characteristics of finite groups through the study of character codegrees and their related invariants, especially in non - solvable groups and specific types of groups.