Abstract:P. Erdős conjectured in 1962 that on the ring $\mathbb{Z}$, every set of $n$ congruence classes in $\mathbb{Z}$ that covers the first $2^n$ posotive integers also covers the ring $\mathbb{Z}$. This conjecture was first confirmed in 1970 by R. B. Crittenden and C. L. Vanden Eynden. Later, in 2019, P. Balister, B. Bollobás, R. Morris, J. Sahasrabudhe, and M. Tiba provided a more transparent proof. In this paper we folllow the approach by R. B. Crittenden and C. L. Vanden Eynden and prove the generalized Erdős' conjecture in the setting of polynomial rings over finite fields. We prove that every set of $n$ cosets of ideals in $\mathbb F_q[x]$ that covers all polynomials whose degree is less than $n$ covers the ring $\mathbb{F}_q[x]$
What problem does this paper attempt to address?
This paper attempts to solve the Erdős - type conjecture problem in the polynomial ring over a finite field. Specifically, the paper aims to prove that in the finite field \(F_q[x]\), any set of \(n\) ideal cosets, if they cover all polynomials of degree less than \(n\), then they also cover the entire ring \(F_q[x]\).
### Main problem description
1. **Background and motivation**:
- In 1962, P. Erdős proposed a conjecture: on the integer ring \(\mathbb{Z}\), any set of \(n\) congruence classes, if they cover the first \(2n\) positive integers, then they cover the entire integer ring.
- This conjecture was first proved in 1970 by R. B. Crittenden and C. L. Vanden Eynden, and a more concise proof was provided in 2019 by P. Balister, B. Bollobás, R. Morris, J. Sahasrabudhe and M. Tiba.
2. **Generalization to the polynomial ring over a finite field**:
- The paper generalizes the above conjecture to the polynomial ring over the finite field \(F_q[x]\), where \(q\) is the number of elements in the finite field.
- Specifically, the paper attempts to prove that in \(F_q[x]\), any set of \(n\) ideal cosets, if they cover all polynomials of degree less than \(n\), then they also cover the entire ring \(F_q[x]\).
### Main contributions of the paper
- **Main theorems**:
- Theorem 1: Let \(f_1(x), f_2(x),\ldots, f_n(x)\) and \(r_1(x), r_2(x),\ldots, r_n(x)\) be polynomials in \(F_2[x]\) such that \(\deg(r_i(x)) < \deg(f_i(x))\) (\(1\leq i\leq n\)). Suppose there exists some polynomial \(g(x)\in F_2[x]\) such that for all \(1\leq i\leq n\), \(g(x)\not\equiv r_i(x)\pmod{f_i(x)}\), then there exists a polynomial \(g_0(x)\in F_2[x]\) such that \(\deg(g_0(x)) < n\) and \(g_0(x)\) satisfies the same property.
- Theorem 2: The same conclusion also holds for \(F_q[x]\), that is, for polynomials \(f_1(x), f_2(x),\ldots, f_n(x)\) and \(r_1(x), r_2(x),\ldots, r_n(x)\) in \(F_q[x]\), if there exists some polynomial \(g(x)\in F_q[x]\) such that for all \(1\leq i\leq n\), \(g(x)\not\equiv r_i(x)\pmod{f_i(x)}\), then there exists a polynomial \(g_0(x)\in F_q[x]\) such that \(\deg(g_0(x)) < n\) and \(g_0(x)\) satisfies the same property.
- **Further conjecture**:
- The author also proposes a stronger conjecture, believing that the condition \(\deg(g_0(x)) < n\) can be changed to \(\deg(g_0(x)) < n/(q - 1)\).
### Methodology
The paper mainly adopts the method proposed by R. B. Crittenden and C. L. Vanden Eynden, rather than the more direct method of P. Balister et al., because the latter depends on mapping ring elements to an algebraically closed field and preserving...