Galois structure on integral valued polynomials (Q331115)

Let \(K\) be a finite extension of the rationals, let \({\mathcal O}_K\) be its ring of integers and let \(\mathrm{Int}_Q({\mathcal O}_K)\) be the ring of polynomials \(f\in Q[X]\) satisfying \(f( {\mathcal O}_K)\subset {\mathcal O}_K\) (these rings were introduced by \textit{K. A. Loper} and \textit{N. J. Werner} [J. Number Theory 132, No. 11, 2481--2490 (2012; Zbl 1281.13012)]). The authors show that if \(K,L\) are two finite Galois extensions of the rationals with \(\mathrm{Int}_Q({\mathcal O}_K)=\mathrm{Int}_Q({\mathcal O}_L)\), then \(K=L\) (Theorem 1.1), and use local considerations to construct a regular \(Z\)-basis of \(\mathrm{Int}_Q({\mathcal O}_K)\) in the case when \(K\) is a tamely ramified Galois extension of \(Q\) (Theorem 1.2). If \(R\) is a ring of polynomials, then for \(n=1,2,\dots\) the ideals \(I_n\) generated by the leading terms of polynomials \(f\in R\) with \(\deg f=n\) are called the characteristic ideals of \(R\). In Theorem 3.7 the authors determine them for \(R=\mathrm{Int}_Q({\mathcal O}_K)\) in the case when \(K/Q\) is a tamely ramified Galois extension.