Polynomials over ring of integers of global fields that have roots modulo every finite indexed subgroup (Q2161147)

This paper proves results about intersective polynomials. A polynomial with coefficients in the ring of integers \(O_K\) of a global field \(K\) is called intersective if it has a root modulo every finite-indexed subgroup of \(O_K\). The main result shown by the author gives two equivalent conditions for a polynomial \(f(x)\in O_K[x]\) to be intersective. One of these conditions involves the Galois group of the splitting field of the polynomial, whereas the second criterion is verifiable entirely in terms of constants which depend upon \(K\) and the polynomial \(f\) itself. The proofs use the theory of global field extensions and upper bound on the least prime ideal in the Chebotarev density theorem. After the introduction, the rest of the article is organized into three sections. The second section contains statements and proofs of results that are required to prove the main result. Section 3 contains the proof of the main result. Section 4 contains some examples, consequences and discussions pertaining to the theorem.