A note on the Hilbert irreducibility theorem. The irreducibility theorem and the strong approximation theorem (Q2277516)

Let \(k\) be a finite algebraic number field, \(f(t,x)\in k(t)[x]\) an irreducible polynomial. A subset of \(k\) of the form \(U_{f,k}=\{s\in k \mid f(s,x)\) is defined and irreducible in \(k[x]\}\) is called a basic Hilbert subset of \(k\), while a Hilbert subset of \(k\) means the intersection of a non-empty Zariski open subset of \(k\) and a finite number of basic Hilbert subsets. The aim of the paper is to prove the following: Main theorem: Let \(\Omega\) be the set of all primes of a finite algebraic number field \(k\), \(q\) an element of \(\Omega\) and \(S\) a finite subset of \(\Omega-\{q\}\) such that \(\Omega-S-\{q\}\) contains only non-Archimedean primes of \(k\). Let us choose \(\alpha_ P\in k\), for any \(P\in S\). Then, for any positive number \(\varepsilon\) and for any Hilbert subset \(H\) of \(k\), there is \(\alpha\in H\) such that \(| \alpha -\alpha_ P|_ P\leq \varepsilon\) for any \(P\in S\) and \(| \alpha |_ P\leq 1\) for any \(P\in \Omega -S-\{q\}\).