The Woods-Erdős conjecture for polynomial rings (Q5957920): Difference between revisions

The Woods-Erdős conjecture states that there exists an absolute constant \(k\in {\mathbb N}\) such that, for any integer \(a,\) knowing only the sets of prime divisors of the numbers \(a,a+1,\ldots,a+k,\) it is possible to restore the number \(a\) itself. Up to now the conjecture remains open. In the paper under review the analogues of the Woods-Erdős conjecture in the rings of polynomials over finite fields are proved and some undecidability results are obtained. Let \(p\) be a prime, \(q=p^m\) and \(F_q\) be a finite field with \(q\) elements. \(F_q^*\) is the multiplicative group of \(F_q.\) For \(f\in F_q[X_1,\ldots,X_n]\) the set of its irreducible factors is denoted by \(\text{supp}(f).\) \(f\perp g\) means that \(f\) and \(g\) have no common non-trivial divisors. Denote \(S_{X_i}(f)=f+X_i, i=1,\ldots,n.\) Theorem 2. Let \({\varphi}_0,{\varphi}_2\in F_q^*,{\varphi}_1\in F_q[X_1,\ldots,X_n], \deg {\varphi}_1=1.\) Let \(f,g\in F_q[X_1,\ldots,X_n].\) The equality \(f=g\) holds iff \[ \begin{aligned} \text{supp}(f)&= \text{supp} (g),\\ \text{supp} (f+{\varphi}_0)&= \text{supp} (g+{\varphi}_0),\\ \text{supp} (f+{\varphi}_1)&= \text{supp} (g+{\varphi}_1),\\ \text{supp} (f+{\varphi}_1+{\varphi}_2)&= \text{supp} (g+{\varphi}_1+{\varphi}_2). \end{aligned} \] It is proved that the theory \(Th(F_q[X_1,\ldots,X_n],S_1,S_{X_1},\perp)\) is undecidable.