Abstract:In this paper, by solving Diophantine equations involving simple $K_4$-groups, we will try to point out that it is not easy to prove the infinitude of simple $K_4$-groups. This problem goes far beyond what is known about Dickson's conjecture at present.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether the number of simple \(K_4\)-groups is finite or infinite. Specifically, the paper explores the problem of proving the infiniteness of the number of simple \(K_4\)-groups by solving Diophantine equations involving simple \(K_4\)-groups.
### Background and Problem Description
A simple \(K_4\)-group refers to a certain type of finite simple group. In a well - known problem in the field of group theory (see "Unsolved Problems in Group Theory"), the following question was raised: Is the number of simple \(K_4\)-groups finite or infinite? This problem was first proposed by the second author W. Shi in 1991 [2].
### Problem Simplification
W. Shi reduced the problem of simple \(K_4\)-groups to four Diophantine equations:
1. \(p^2 - 1=2^a3^b q^c\), where \(p, q\in P\) (the set of prime numbers), \(p > 3\), \(q > 3\), \(a, b, c\in N\) (the set of positive integers).
2. \(2^m - 1=p\), \(2^m + 1 = 3q^n\), where \(p, q\in P\), \(p > 3\), \(q > 3\), \(m, n\in N\).
3. \(3^m - 1=2p^n\), \(3^m + 1 = 4q\), where \(p, q\in P\), \(p > 3\), \(q > 3\), \(m, n\in N\).
4. \(3^m - 1=2p\), \(3^m + 1 = 4q^n\), where \(p, q\in P\), \(p > 3\), \(q > 3\), \(m, n\in N\).
### Existing Research Progress
In 2001, Y. Bugeaud, Z. Cao and M. Mignotte [3] proved that when \(n > 1\), the second and fourth equations have no solutions, and the third equation has only one unique solution \((p, q, m, n)=(11, 61, 5, 2)\).
### Main Contributions of the Paper
This paper further studied the first Diophantine equation and proved that if \(c > 1\), the equation \(p^2 - 1 = 2^a3^b q^c\) has only two solutions:
- \((p, q, a, b, c)=(97, 7, 6, 1, 2)\)
- \((p, q, a, b, c)=(577, 17, 7, 2, 2)\)
### Conclusion
Based on the above results, the paper points out that the problem of the infiniteness of the number of simple \(K_4\)-groups can be reduced to the following three Diophantine equations:
1. \(p^2 - 1=2^a3^b q\), where \(p, q\in P\), \(p > 3\), \(q > 3\), \(a, b\in N\).
2. \(2^m - 1=p\), \(2^m + 1 = 3q\), where \(p, q\in P\), \(p > 3\), \(q > 3\), \(m\in N\).
3. \(3^m - 1=2p\), \(3^m + 1 = 4q\), where \(p, q\in P\), \(p > 3\), \(q > 3\), \(m\in N\).
The paper emphasizes that proving the infiniteness of the number of simple \(K_4\)-groups is an extremely difficult problem, which goes beyond the current understanding of Dickson's conjecture. This involves multiple unsolved mathematical problems, such as the twin prime conjecture and the Sophie Germain prime conjecture, etc.