Bhargava factorials and irreducibility of integer-valued polynomials (Q2153785)

For a set \(S\) of rational integers the author considers the ring Int\((S,Z)\) of polynomials \(f\in Q[X]\) satisfying \(f(S)\subset Z\). For given integers \(d,k\) the author introduces \(d_k\)-orderings in the following way: For every prime divisor \(p\) of \(d\) let \(\{u_p(i)\}\) be a \(p\)-ordering of \(S\), as defined by \textit{A. M. S. Ramasamy} and \textit{S. P. Mohanty} [J. Indian Math. Soc., New Ser. 62, No. 1--4, 210--214 (1996; Zbl 0899.11011)]. A \(d_k\)-ordering of \(S\) is a sequence \(x_1,x_2,\dots,x_k\) of elements of \(S\) satisfying \[ x_i\equiv u_p(i)\pmod{p^{e_k+1}}\ (1\le i\le k) \] for all \(p|d\), with \(p^{e_k}\) being the largest power of \(p\) dividing \[ \prod_{q|d\ prime}\prod_{i=0}^{k-1}\left(u_q(k)-u_q(i)\right). \] This notion is used to provide a criterion of irreducibility for polynomials \(f\in\mathrm{Int}(S,Z)\) (Theorem 3.6). The author states at the end of the paper that his result can be carried over to arbitrary Dedekind domains.