Non-triviality Conditions for Integer-valued Polynomial Rings on Algebras

TL;DR

This paper investigates conditions under which the ring of integer-valued polynomials on a torsion-free algebra over a domain is nontrivial, extending classical results and analyzing the structure and dimension of these rings.

Contribution

It establishes equivalences and conditions for nontriviality of integer-valued polynomial rings on algebras, generalizing known results from the classical setting.

Findings

Nontriviality of ${ m Int}_K(A)$ is equivalent to that of ${ m Int}(D)$ when $A$ is finitely generated.

Provides necessary and sufficient conditions for nontriviality when $D$ is Dedekind.

Shows ${ m Int}_K(A)$ has Krull dimension 2 for Dedekind domains.

Abstract

Let $D$ be a commutative domain with field of fractions $K$ and let $A$ be a torsion-free $D$-algebra such that $A \cap K = D$. The ring of integer-valued polynomials on $A$ with coefficients in $K$ is ${\rm Int}_K(A) = \{f \in K[X] \mid f(A) \subseteq A\}$, which generalizes the classic ring ${\rm Int}(D) = \{f \in K[X] \mid f(D) \subseteq D\}$ of integer-valued polynomials on $D$. The condition on $A \cap K$ implies that $D[X] \subseteq {\rm Int}_K(A) \subseteq {\rm Int}(D)$, and we say that ${\rm Int}_K(A)$ is nontrivial if ${\rm Int}_K(A) \ne D[X]$. For any integral domain $D$, we prove that if $A$ is finitely generated as a $D$-module, then ${\rm Int}_K(A)$ is nontrivial if and only if ${\rm Int}(D)$ is nontrivial. When $A$ is not necessarily finitely generated but $D$ is Dedekind, we provide necessary and sufficient conditions for ${\rm Int}_K(A)$ to be nontrivial. These conditions also allow us to prove that, for $D$ Dedekind, the domain ${\rm Int}_K(A)$ has Krull dimension 2.