Integer-valued polynomials on algebras

From MaRDI portal
Publication:2377443



Abstract: Let D be a domain with quotient field K and A a D-algebra. We call a polynomial with coefficients in K that maps every element of A to an element of A "integer-valued on A". For commutative A we also consider integer-valued polynomials in several variables. For an arbitrary domain D and I an arbitrary ideal of D we show I-adic continuity of integer-valued polynomials on A. For Noetherian one-dimensional D, we determine the spectrum and Krull dimension of the ring Int_D(A) of integer-valued polynomials on A. We do the same for the ring of polynomials with coefficients in M_n(K), the K-algebra of n x n matrices, that map every matrix in M_n(D) to a matrix in M_n(D).


Let \(D\) be a domain which is not a field, let \(K\) be its field of quotients, and let \(A\) be a torsion-free \(D\)-algebra, finitely generated as a \(D\)-module and satisfying \(K\cap A=D\). A polynomial \(f\in K[X]\) is said to be integer-valued on \(A\), if \(f(A)\subset A\). The ring of all such polynomials is denoted by \(\mathrm{Int}_D(A)\). Integer-valued polynomials on \(A\) in \(n\geq2\) variables are defined similarly, however they form a ring, denoted by \(\mathrm{Int}^n_D(A)\) only if \(A\) is commutative. The author shows (Theorem 2.2) that if \(f\in K[X_1,\dots,X_n]\) is integer-valued on \(A\), then the polynomial function \(A^n\longrightarrow A\), induced by \(f\), is uniformly \(I\)-adically continuous for every ideal \(I\) of \(D\). This is then used to provide a description of prime ideals in \(\mathrm{Int}^n_D(A)\). This description is applied in the last section to characterize prime ideals in the ring of polynomials with coefficients in \(M_n(K)\), the ring of \(n\times n\) matrices over \(K\), mapping \(M_n(D)\) in \(M_n(D)\), studied earlier by \textit{N. J. Werner} [Commun. Algebra 40, No. 12, 4717--4726 (2012; Zbl 1272.16028)].




Cited in
(51)








This page was built for publication: Integer-valued polynomials on algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2377443)