Generators of maximal ideals in the ring of integer-valued polynomials (Q1288312): Difference between revisions

The maximal ideals of the ring of integer-valued polynomials, \(\text{Int} (\mathbb{Z})=\{f(X) \in\mathbb{Q} [X]\mid f(z) \in\mathbb{Z}\) for all \(z\in \mathbb{Z}\}\), are known to be just the ideals \(M_{p,\alpha} =\{f(X) \in\text{Int}(\mathbb{Z}) \mid| f(\alpha) |_p<1\}\); here \(p\) is a prime, \(\alpha\) a \(p\)-adic integer and \(|\cdot |_p\) denotes the usual \(p\)-adic valuation. The authors derive a criterion for the binomial polynomial \({X\choose n}\) to be element of \(M_{p,\alpha}\). Furthermore they show that \(M_{p,n}\), \(n\in \mathbb{Z}^+\), is generated by the polynomials \(p\), \(1+(p-1) {X\choose n}\), \(\{{X \choose m}\}_{m>n}\). A generating set for \(M_{p,\alpha}\) in general is also provided.