Generalized factorials and fixed divisors over subsets of a Dedekind domain (Q1273198)

For a subset \(X\) of a Dedekind domain \(D\) and a polynomial \(F\in D[x]\), the fixed divisor \(d(X,F)\) of \(F\) over \(X\) is the ideal \((\{F(a),a\in X\})\). Continuing earlier work [J. Reine Angew. Math. 490, 101--127 (1997; Zbl 0899.13022)], \textit{M. Bharagava} shows that for a primitive polynomial \(F\) of degree \(k\), \(d(X,F)\) divides the so-called \(k\)-th factorial ideal \(\nu_k(X)\), a generalization of the ideal of \(\mathbb{Z}\) generated by \(k!\); and that for any ideal divisor \(I\) of \(\nu_k(X)\), there exists such an \(F\) satisfying \(d(X,F) = I\). These results extend classical theorems of Polya and Gunji-McQuillan, respectively. A further result gives the description of \(d(X,F)\) in terms of the coefficients of \(F\).