Integral-valued polynomials over the set of algebraic integers of bounded degree

Let $K$ be a number field of degree $n$ with ring of integers $O_K$. We show that, if $h\in K[X]$ maps every element of $O_K$ of degree $n$ to an algebraic integer, then $h(X)$ is integral-valued over $O_K$, that is $h(O_K)\subset O_K$. We also prove that a similar property holds for a polynomial $f\in\mathbb{Q}[X]$ when we consider the set of all algebraic integers $\alpha$ of degree $n$: if $f(\alpha)$ is integral over $\Z$ for every such an $\alpha$, then $f(\beta)$ is integral over $\Z$ for every algebraic integer $\beta$ of degree smaller than $n$. The result is established by proving that the ring of integer-valued polynomials over the set of matrices $M_n(\mathbb{Z})$ has integral closure equal to the ring of polynomials in $\mathbb{Q}[X]$ which are integral-valued over the set of algebraic integers of degree equal to $n$.

Data and Resources

Additional Info

Field Value
Source https://hal.science/hal-00796333
Author Peruginelli, Giulio
Maintainer CCSD
Last Updated May 13, 2026, 18:33 (UTC)
Created May 13, 2026, 18:33 (UTC)
Identifier hal-00796333
Language en
contributor Institut fur Mathematik ; Technische Universität Graz (TU Graz)
creator Peruginelli, Giulio
date 2013-01-10T00:00:00
harvest_object_id 83af90b1-89a4-41f2-93a0-cfce68233ebf
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2024-03-29T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/1301.2045
set_spec type:UNDEFINED