Abstract: A famous unsolved conjecture of P. Erdos and J. L. Selfridge states that there does not exist a covering system {a_s(mod n_s)}_{s=1}^k with the moduli n_1,...,n_k odd, distinct and greater than one. In this paper we show that if such a covering system {a_s(mod n_s)}_{s=1}^k exists with n_1,...,n_k all square-free, then the least common multiple of n_1,...,n_k has at least 22 prime divisors.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is a famous unsolved conjecture about odd covering systems, namely the Erdős - Selfridge conjecture. Specifically, this conjecture holds that there does not exist a covering system with distinct odd moduli greater than 1.
### The Erdős - Selfridge Conjecture
The conjecture proposed by Erdős and Selfridge is as follows:
- There **does not exist** a covering system \(\{a_s \pmod{n_s}\}_{s = 1}^k\), where the moduli \(n_1, n_2,\ldots, n_k\) are distinct odd numbers and all greater than 1.
### Main Contributions of the Paper
In this paper, the authors Song Guo and Zhi - Wei Sun proved that if there exists a covering system of distinct odd moduli all of which are square - free, then the least common multiple of these moduli has at least 22 distinct prime factors. The specific conclusion is as follows:
#### Theorem 1
Suppose \(\{a_s \pmod{n_s}\}_{s = 1}^k\) is an odd covering system, and \(N_A=[n_1, n_2,\ldots, n_k]\) is the least common multiple of these moduli. If \(N_A\) is square - free, then \(N_A\) has at least 22 distinct prime factors.
### Research Background
A covering system refers to a set of residue classes \(\{a_s \pmod{n_s}\}_{s = 1}^k\) that can cover all integers. Erdős first proposed this concept in the 1930s, and many number theorists and combinatorial mathematicians have studied it and discovered many surprising applications.
### Previous Work
- Berger, Felzenbaum and Fraenkel obtained some necessary conditions by the lattice geometry method in 1986 - 1987.
- Simpson and Zeilberger proved in 1991, by means of a complex sieve method, that if there exists a covering system of distinct odd moduli all of which are square - free, then its least common multiple has at least 18 distinct prime factors.
### Improvements in This Paper
The authors further improved the above - mentioned results through direct argumentation, proving that the least common multiple has at least 22 distinct prime factors, thereby providing stronger support for the Erdős - Selfridge conjecture.
### Conclusion
Through strict mathematical derivations, this paper further promotes the understanding of odd covering systems, and in particular, provides new evidence and support for the research on the Erdős - Selfridge conjecture.