Integer-valued polynomials on algebras (Q2377443)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Integer-valued polynomials on algebras
scientific article

    Statements

    Integer-valued polynomials on algebras (English)
    0 references
    0 references
    2 July 2013
    0 references
    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)].
    0 references
    integer-valued polynomials
    0 references
    polynomial mappings
    0 references
    Krull dimension
    0 references
    matrix algebras
    0 references
    polynomial rings
    0 references
    \(I\)-adic topology
    0 references
    torsion-free algebras
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references