Integral-valued polynomials over sets of algebraic integers of bounded degree
type: Item
instance of: scholarly article
title: Integral-valued polynomials over sets of algebraic integers of bounded degree
zbMATH Open document ID: 1283.13017
author: Giulio Peruginelli
published in: Journal of Number Theory
publication date: 2014-02-11T00:00:00Z
full work available at URL: https://arxiv.org/abs/1301.2045
review text: Let \(R\) be a domain with quotient field \(K\). A subset \(A\) of \(R\) is said to be \textit{polynomially dense} if every polynomial \(f\in K[X]\) satisfying \(f(A)\subset R\) maps \(R\) into \(R\). The author deduces first from a result of \textit{R. Gilmer} [J. Number Theory 33, No. 1, 95--100 (1989; Zbl 0695.13015)] that if \(R\) is an order in the ring of integers in an algebraic number field of degree \(n\), and \(A_n\subset R\) consists of integers of degree \(n\), then \(A_n\) is polynomially dense (Theorem 2.1). Let \({\mathcal A}_n\) be the set of all algebraic integers of degree \(\leq n\), and for \(\alpha\in{\mathcal A}_n\) put \[ R_\alpha =\{f\in Q[X]:\;f(\alpha)\in Z[\alpha]\},\quad S_\alpha =\{f\in Q[X]:\;f(\alpha)\in Z_\alpha\}, \] \(Z_\alpha\) denoting the ring of integers in the field generated by \(\alpha\). It is shown (Theorem 3.1) that for any subset \({\mathcal A}\) of \({\mathcal A}_n\) the integral closure of \[ R_{{\mathcal A}} = \bigcap_{\alpha\in{\mathcal A}}R_\alpha \] equals \[ S_{{\mathcal A}} = \bigcap_{\alpha\in{\mathcal A}}S_\alpha. \] This is used to show (Theorem 1.2) that if \(A_n\) denotes the set of all algebraic integers of degree \(n\), then the sets \(\{f\in Q[X]:\;f({\mathcal A}_n)\subset {\mathcal A}_n\}\) and \(\{f\in Q[X]:\;f(A_n)\subset {\mathcal A}_n\}\) coincide. In the last part of the paper the author considers polynomials \(f\in Q[X]\) mapping \(M_n(Z)\) (the ring of \(n\times n\) matrices with integral entries) or a subset of it into \(M_n(Z)\).
Mathematics Subject Classification ID: 13F20
Mathematics Subject Classification ID: 11C08
Mathematics Subject Classification ID: 11R04
Mathematics Subject Classification ID: 13B25
zbMATH DE Number: 6256942
zbMATH Keywords: integer-valued polynomials
zbMATH Keywords: Prüfer domains
zbMATH Keywords: polynomially dense
zbMATH Keywords: integral closure
zbMATH Keywords: pullback
zbMATH Keywords: algebraic integers
reviewed by: Władysław Narkiewicz
MaRDI profile type: Publication
OpenAlex ID: W2038643256
Wikidata QID: Q38369840
arXiv ID: 1301.2045
cites work: Integer-valued polynomials
cites work: Integer-valued polynomials on algebras
cites work: Corrigendum to ``Integer-valued polynomials on algebras'' [J. Algebra 373 (2013) 414-425]
cites work: Ideal theory in pullbacks
cites work: Sets that determine integer-valued polynomials
cites work: Sur les polynômes à coefficients entiérs et de discriminant donné
cites work: Generalized rings of integer-valued polynomials
cites work: On a theorem of R. Gilmer
DOI: 10.1016/J.JNT.2013.11.007
Recommended article: Polynomial closure
Recommended article: Polynomial mappings
Recommended article: Integer-valued polynomials
Recommended article: Polynomial-mappings and \(M\)-equivalence
Recommended article: Universal properties of integer-valued polynomial rings
Recommended article: On the polynomial equivalence of subsets \(E\) and \(f(E)\) of \(\mathbb{Z}\)
Recommended article: SOME FIELD THEORETIC PROPERTIES AND AN APPLICATION CONCERNING TRANSCENDENTAL NUMBERS
Recommended article: Q3436760
Recommended article: Integer-valued polynomials on a subset
Recommended article: Mori domains of integer-valued polynomials
description: scientific article